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-verifica

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/ https://www.wireguard.com/formal-verification/ The code is small enough that can be reviewed.