Verified-zkEVMVCVio

Formalized Cryptography Proofs in Lean 4
Displaying 1-3 of 3 packages depending on Verified-zkEVM/VCVio
Sort by

  1. Verified-zkEVM/Arklibusesv4.30.0

    Formally Verified Arguments of Knowledge in Lean

  2. Beneficial-AI-Foundation/PQXDH-leanusesebea2fa

  3. NyxFoundation/TopSingleLayerusesv4.23.0

    Formal Verification of Top Single Layer Encoding