In this talk I will introduce you to ‘Graviola’, which is a new cryptography crate for Rust. Graviola heavily reuses formally verified assembly from the AWS s2n-bignum project — giving excellent performance and assurance. I’ll talk about what that means, why it is important for cryptography, and how Graviola compares to other Rust cryptography crates. I’ll cover some of the more unique technical aspects, such as the workflow for consuming stand-alone assembly in Rust in a portable and readable way, and why it is completely OK to have 1500 macros in a crate.
source
Graviola: fast, high-assurance cryptography for Rust – Joseph Birr-Pixton
