I don't trust many libraries, especially those written in C. There exists formally-verified implementations for the symmetric key algorithms, but in the meantime everything that touches the network should likely be written in Rust, combined with the use of a formally-verified implementation of the cryptographic primitives.
I don't trust many libraries, especially those written in C. There exists formally-verified implementations for the symmetric key algorithms, but in the meantime everything that touches the network should likely be written in Rust, combined with the use of a formally-verified implementation of the cryptographic primitives.
https://github.com/mitls/hacl-star