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.