JoeyLupo / cryptolibLinks
☆16Updated 2 years ago
Alternatives and similar repositories for cryptolib
Users that are interested in cryptolib are comparing it to the libraries listed below
Sorting:
- Formalized Cryptography Proofs in Lean 4☆39Updated last week
- A foundational framework for modular cryptographic proofs in Coq☆66Updated last week
- Cryptographic routines for the Lean 4 language☆44Updated 11 months ago
- SampCert : Verified Differential Privacy☆80Updated 3 months ago
- A zero-knowledge Lean4 compiler and kernel