{
  "slug": "llzk",
  "name": "LLZK",
  "tagline": "MLIR-based intermediate representation connecting ZK frontends to verification backends",
  "maintainer": "Veridise (Ethereum Foundation grant)",
  "url": "https://github.com/project-llzk",
  "repo": "https://github.com/project-llzk",
  "category": "zk-circuits",
  "targets": [
    "Circom",
    "Halo2",
    "Plonky3",
    "Noir (in progress)"
  ],
  "approach": "Shared MLIR dialect; lowers to Picus, zkLean, R1CS and Rocq (via Formal Land's rocq-of-llzk)",
  "license": "Open source",
  "status": "Active, v1.0 released 2026-04-08",
  "summary": "LLZK is a shared intermediate representation for ZK circuits built on MLIR. Frontends for Circom, Halo2 and Plonky3 (Noir in progress) lower into it, and backends emit Picus queries, zkLean models, R1CS and Rocq via Formal Land's rocq-of-llzk, so one circuit can be checked automatically and then proved.",
  "details": [
    "LLZK's value is interoperability: a team can start with Picus, then hand the same IR to zkLean or Rocq when a specification exists. Clean's roadmap lists LLZK integration for a Circom frontend, which would extend the same path to sound-and-complete proofs."
  ],
  "strengths": [
    "Decouples frontend language from verification backend.",
    "Backed by an EF grant and adopted by Galois and Formal Land backends.",
    "Makes SP1 and RISC Zero style verification repeatable."
  ],
  "limits": [
    "Infrastructure rather than a verifier; you still need a backend and a spec.",
    "Noir frontend incomplete at v1.0.",
    "Adds a translation step to the trusted computing base."
  ],
  "fit": [
    "Adopt LLZK when you maintain circuits in more than one language or want to move from automatic checks to proofs without re-modelling."
  ],
  "references": [
    [
      "LLZK v1.0 announcement",
      "https://veridise.com/blog/veridise-announcements/llzk-v1-0-a-new-phase-for-zk-shared-infrastructure/"
    ],
    [
      "project-llzk on GitHub",
      "https://github.com/project-llzk"
    ]
  ],
  "category_name": "ZK circuit verification",
  "page": "https://sorryfree.com/frameworks/llzk/",
  "updated": "2026-09-13"
}