Trust model
What does we need to trust in order to trust these proofs.
Formally verifyingDalek elliptic curve cryptography
Project to formally verify the Rust code of curve25519-dalek using Lean
Project to formally verify the Rust code of curve25519-dalek using Lean
