{
  "slug": "verified-zkevm",
  "name": "Verified zkEVM program",
  "tagline": "The Ethereum Foundation program funding Lean verification of zkVMs and their proof systems",
  "maintainer": "Ethereum Foundation",
  "url": "https://verified-zkevm.org",
  "repo": "https://github.com/Verified-zkEVM/Overview",
  "category": "challenges",
  "targets": [
    "Clean",
    "zkLean",
    "Halva",
    "ArkLib",
    "LLZK",
    "Sail RISC-V Lean",
    "KEVM equivalence",
    "hax Lean backend"
  ],
  "approach": "Grants and coordination for a formally verified, bug-free zk(E)VM stack, targeted for 2027",
  "license": "Program; individual projects are open source",
  "status": "Active",
  "summary": "The Verified zkEVM program is the Ethereum Foundation initiative that funds and coordinates most of the ZK verification tooling on this index: Clean (zkSecurity), zkLean (Galois), Halva (Nethermind), ArkLib, LLZK (Veridise), the Sail RISC-V Lean model, KEVM equivalence work (Runtime Verification), VCV-io and hax's Lean backend (Cryspen), with a stated goal of formally verified zk(E)VMs by 2027.",
  "details": [
    "The program's December 2025 security roadmap sets dated targets: soundcalc integration by February 2026, 100-bit provable security by May 2026, 128-bit security and a formal soundness argument for recursion by the end of 2026. Its Overview repository is the best single map of who verifies what."
  ],
  "strengths": [
    "Single source of truth for funded, interoperable projects.",
    "Dated public milestones.",
    "Independent reviews (for example of sp1-lean) published openly."
  ],
  "limits": [
    "Ethereum-centric scope.",
    "Program, not a tool.",
    "Milestones can slip; check dates."
  ],
  "fit": [
    "Read the Overview before choosing a framework; alignment with the program is the strongest predictor of maintenance and interoperability."
  ],
  "references": [
    [
      "Verified zkEVM",
      "https://verified-zkevm.org"
    ],
    [
      "Overview repository",
      "https://github.com/Verified-zkEVM/Overview"
    ],
    [
      "EF zkEVM security roadmap (2025-12-18)",
      "https://blog.ethereum.org/2025/12/18/zkevm-security-foundations"
    ]
  ],
  "category_name": "Challenges and programs",
  "page": "https://sorryfree.com/frameworks/verified-zkevm/",
  "updated": "2026-09-13"
}