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/Arklibusesc0c9236

    Formally Verified Arguments of Knowledge in Lean

  2. zksecurity/sigmausescf8b35c

    Formal verification of knowledge soundness for Generalized Bulletproofs

  3. Verified-zkEVM/VCViousesc0c9236

    A Lean library for machine-checked cryptographic proofs.