Graviola: fast, high-assurance cryptography for Rust
summary
Graviola is a Rust cryptography crate that embeds formally verified assembly from s2n-bignum as inline asm converted into Rust macros, keeping unsafe code confined to one module and compiling ~40k lines in under a second with only two dependencies. Benchmarks place it in the top three for common ops, it uses 150 kilobytes of precomputed tables for p256, and the build pipeline emits checked Rust files driven by 1500 macros to keep portability and performance.
AI-written summary · about
chapters (15)
- 0:00Graviola introduction
- 1:03Cryptography side-channel safety
- 4:19Performance vs side-channel risks
- 10:01Compiler risks in crypto
- 13:14Formally verified assembly in Rust
- 14:37Assembly to Rust macros
- 18:15Graviola project goals
- 20:43Licensing and build simplicity
- 21:06Supported algorithms
- 23:14Performance benchmarks
- 25:47Unsafe code management
- 27:41ASN.1 macros
- 29:25Data-independent timing
- 30:27Assembly for crypto
- 31:30Q&A
related talks
39mGraviola: fast, high-assurance cryptography for Rust
29mVale: Verifying High-Performance Cryptographic Assembly Code
09mFormally Secure Hardware with Rust
01h 00mKeynote: Bringing Verified Cryptographic Protocols to Practice
39mKeynote: Towards High-Assurance Cryptographic Software
13mVest: Verified, Secure, High-Performance Parsing and Serialization for Rust
37mRust and Other Interesting Things
13mOwlC: Compiling Security Protocols to Verified, Secure...