Zokrates/ZoKrates

Health v2 · maintenance only

Adoption not part of the score

1872 stars · 383 forks observed · 2026-08-28

What it is AI-extracted, prompt v1, taxonomy v1, 2026-08-30, confidence not recorded

ZoKrates is a toolbox for zkSNARKs on Ethereum, providing a high-level domain-specific language for writing verifiable off-chain programs and compiling them to provable circuits. It generates zero-knowledge proofs and Solidity verifier contracts so DApps can verify computations on-chain cheaply and privately.

Use cases

• generate zkSNARK proofs for off-chain computations
• write zero-knowledge programs in a high-level language
• verify computations on-chain in a Solidity smart contract
• build privacy-preserving Ethereum DApps
• prove knowledge of secret inputs without revealing them
• compile circuits for verifiable computation

When to choose

• you need zero-knowledge proofs integrated with Ethereum smart contracts
• you want a high-level DSL instead of writing circuits by hand
• you need to reduce on-chain computation cost via verifiable computation

When to avoid

• you need zero-knowledge tooling for chains other than Ethereum
• you need production-hardened, audited ZK tooling for mainnet value transfer
• you want a general-purpose zkVM or modern ZK framework rather than a zkSNARK DSL

Facets

cli-tool · maturity active

compiler cryptography programming-language cli sdk blockchain developer-tools programming-languages privacy cli rust zksnarks zero-knowledge-proofs ethereum solidity verifiable-computation dapps cryptography linux macos

Member repositories

For agents

markdown · JSON · MCP: product_card(name="Zokrates/ZoKrates")