Verified-zkEVMPolyFun

Lean 4 library for polynomial functors, interaction trees, and frameworks for modeling interactive and effectful protocols
Displaying 1-3 of 3 packages depending on Verified-zkEVM/PolyFun
Sort by

  1. Verified-zkEVM/Arklibuses04a12b6

    Formally Verified Arguments of Knowledge in Lean

  2. zksecurity/sigmausescf8b35c

    Formal verification of knowledge soundness for Generalized Bulletproofs

  3. Verified-zkEVM/VCViouses2964499

    A Lean library for machine-checked cryptographic proofs.