ZK Circuit Catalog
A public, content-addressed catalog of zero-knowledge-proof circuit artifacts for mDL/mdoc and verifiable credential presentation, with traceable provenance for every entry. Every circuit here is experimental and unvetted — tread carefully before relying on one in production.
Circuits
What is this?
Longfellow ZK circuit presentation requires the prover (wallet) and verifier to load the same circuit artifact — there is no forward or backward compatibility between circuit revisions. Until this catalog existed, every consumer in the ecosystem vendored these ~300 KB binaries by hand, with no shared record of where they came from.
This catalog is provided by the SIROS Foundation as a service to the community — a shared, neutral home for these artifacts so no one has to vendor them by hand or guess where they came from.
This catalog fixes that by publishing, for every circuit:
- Content-addressed bytes — the download URL is the sha256 hash; a client can verify what it got without trusting the server.
- Origin — the upstream repo/PR/commit these bytes came from, identifying the organization or individual who created the circuit.
- Toolchain — what compiler/tool/build command actually produced them, not just which repo they're vendored from.
- License & open-source status — an explicit, human-legible claim, never inferred silently.
The service behind this page is go-zk-circuits,
published via the circuitctl CLI through ordinary git PRs — there is no upload API.
No circuit in this catalog has been independently vetted, and the catalog makes no promise about correctness. It exists to support the practical deployment of solutions built on zero-knowledge circuits for digital identity. Nothing about a circuit's fitness, security, or trustworthiness should be inferred from its presence here.