Comment Comment by arianvanp Related: Wireguard is a new VPN for linux in 4k lines of C https://www.wireguard.com/the model of wireguard has been proven correct by formal methods. Builds on modern crypto, and they kept code short for auditing purposes. parent arianvanp 9 years ago
the model of wireguard has been proven correct by formal methods. Builds on modern crypto, and they kept code short for auditing purposes.