Graviola: fast, high-assurance cryptography for Rust
summary
Graviola is a new Rust crypto crate that targets TLS primitives, shipping S2N BigNum–backed public-key routines (100k+ lines of asm and ~500k lines of proof per architecture) and handwritten intrinsics for symmetric ops. A Python converter turns verified ARM/x86_64 assembly into Rust with inline asm, keeping build requirements to two deps and approximately one second build time. Benchmarks show competitive signing and key‑exchange; bulk encryption trails due to missing AVX‑512 intrinsics. Coverage goal is 99.7% line coverage.
AI-written summary · about
chapters (9)
- 0:00Introduction
- 1:08OpenSSL memory leak
- 3:15Rust cryptography options
- 7:31Compilers and side-channel risks
- 16:50Formal verification in cryptography
- 18:54Assembly to Rust portability
- 22:10Graviola library
- 27:10Project goals and plans
- 27:52Q&A
related talks
40mGraviola: fast, high-assurance cryptography for Rust
09mFormally Secure Hardware with Rust
39mKeynote: Towards High-Assurance Cryptographic Software
01h 00mKeynote: Bringing Verified Cryptographic Protocols to Practice
29mVale: Verifying High-Performance Cryptographic Assembly Code
31mSequoia: A New OpenPGP Implementation in Rust
01h 04mSoftware Verification meets Real-World Cryptography
35mrustls: modern, faster, safer TLS