# Zokrates/ZoKrates

A toolbox for zkSNARKs on Ethereum

Repository: https://github.com/Zokrates/ZoKrates
Canonical: https://ross.abutalabs.com/products/zokrates
Homepage: https://zokrates.github.io
Language: Rust
License: LGPL-3.0
License Family: copyleft
Topics: zksnarks, ethereum, zero-knowledge, snark, language, verifiable-computation
Last push: 2024-08-01T16:50:35+00:00

## Health v2 (maintenance only)
Score: 23/100 (v2, computed 2026-09-02T17:46:02.011165+00:00)
- activity 0, release rhythm 8, longevity 100
- inputs: {"age_days": 3236, "days_push": 762, "days_rel": null, "gap_med": null, "n_releases_24m": 0}
- flags: none
- formula: round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10)

## Adoption (not part of the score)
Stars 1872, forks 383 (observed 2026-08-28T04:05:47.067023+00:00)

## What it is
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
- artifact type: cli-tool
- maturity: active
- function: compiler, cryptography, programming-language, cli, sdk
- domain: blockchain, developer-tools, programming-languages, privacy
- platform: cli, rust
- tags: zksnarks, zero-knowledge-proofs, ethereum, solidity, verifiable-computation, dapps, cryptography, linux, macos

## Member repositories
- Zokrates/ZoKrates (main) score 23

## Provenance
- Observed fields: from GitHub, fetched 2026-08-28T04:05:47.067023+00:00.
- Health v2: computed from the inputs above; adoption is never an input.
- Inferred fields (summary, facets, guidance): AI-extracted, prompt v1, taxonomy v1, on 2026-08-30T03:14:56.403239+00:00, confidence not recorded.
  - readme: https://github.com/Zokrates/ZoKrates (fetched 2026-08-28T04:05:47.067023+00:00, sha 2f3f0577bbb8)
  - homepage: https://zokrates.github.io (fetched 2026-08-29T10:53:47.344370+00:00, sha d03fac1eb05e)
- Data as of 2026-08-30T08:39:29.467469+00:00.