Hacker News new | ask | show | jobs
by lifepillar 2260 days ago
WireGuard’s protocol was also formally verified by a third party [0]. That makes me more confident in using it than any social proof whatsoever :)

[0] https://prosecco.gforge.inria.fr/personal/bblanche/cryptover...