Comment Comment by aborsy No. If software is small enough, it can be proven.There is formal verification of the protocol and aspects of code:https://www.wireguard.com/formal-verification/The code is small enough that can be reviewed. parent aborsy 3 months ago
There is formal verification of the protocol and aspects of code:
https://www.wireguard.com/formal-verification/
The code is small enough that can be reviewed.