Show HN: Encrypted VPN in 2k lines of Go
Related: Wireguard is a new VPN for linux in 4k lines of C <a href="https:&#x2F;&#x2F;www.wireguard.com&#x2F;" rel="nofollow">https:&#x2F;&#x2F;www.wireguard.com&#x2F;</a><p>the model of wireguard has been proven correct by formal methods. Builds on modern crypto, and they kept code short for auditing purposes.