libcrux is a high-assurance cryptographic library written in Rust with formally verified code from...