The math library of Lean 4

A central repository for specifications of cryptographic algorithms in Cryptol

Formally Verified Cryptographic Proof Systems

Language for high-assurance and high-speed cryptography

Separation Logic Proofs in Lean

deprecated, use Verified-zkEVM repository instead

Formalized Cryptography Proofs in Lean 4

The Halo2 zero-knowledge proving system