Verified-zkEVMPolyFun

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

  1. Verified-zkEVM/Arklibusesv4.30.0

    Formally Verified Arguments of Knowledge in Lean

  2. Verified-zkEVM/VCViousesv4.30.0

    Formalized Cryptography Proofs in Lean 4