On: The NSA called me after midnight and requested my ...

[mratsim]

Cryptographic software is at the very least audited, at the very best formally verified (i.e. proven bug-free).

And now you can use proof assistants that are used to prove mathematical formulas to generate crypto code: https://github.com/mit-plv/fiat-crypto