WireGuard formal verification, covering aspects of the cryptography, protocol, and implementation

Networking & Firewalls
3

They mentioned in a blog post a few months ago that they are working on it and tracking the verification. And that it was only a matter of time before it is implemented.