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 u

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 https://github.com/mit-plv/fiat-crypto