Verified zk(E)VM

Popular repositories Loading

1. ArkLib ArkLib Public

   Formally Verified Arguments of Knowledge in Lean

   Lean 357 129

2. clean clean Public

   Lean circuit DSL

   Lean 210 37

3. VCVio VCVio Public

   A Lean library for machine-checked cryptographic proofs.

   Lean 175 61

4. evm-asm evm-asm Public

   Lean 60 14

5. CompPoly CompPoly Public

   Computable Polynomials in Lean.

   Lean 49 46

6. PolyFun PolyFun Public

   Lean 4 library for polynomial functors, interaction trees, and frameworks for modeling interactive and effectful protocols

   Lean 20 5