Consensys/gnark

Health v2 · maintenance only

Adoption not part of the score

1731 stars · 532 forks observed · 2026-08-28

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

gnark is a fast zk-SNARK library in Go offering a high-level API to define circuits, compile them to constraint systems, and generate/verify proofs with Groth16 and PLONK backends. It supports multiple pairing-friendly curves and powers production systems like the Linea zk-rollup.

Use cases

• build zero-knowledge proof circuits in Go
• generate and verify Groth16 proofs
• generate and verify PLONK proofs
• develop zk-rollup or zkEVM components
• export Solidity verifier contracts for on-chain verification
• prototype zk circuits in the browser playground

When to choose

• you need a high-performance, production-grade zk-SNARK library in Go
• you want to write circuits in idiomatic Go with reusable gadgets
• you need multiple proving systems (Groth16, PLONK) and curves
• you are building zk-rollups or blockchain privacy infrastructure

When to avoid

• you need zk tooling in a language other than Go
• you require stable serialized proof formats across versions
• you need GPU acceleration as a mature, non-experimental feature
• you need a simple high-level zk API without circuit-level thinking

Facets

library · maturity active

cryptography security compiler sdk blockchain developer-tools go cross-platform wasm zk-snarks zero-knowledge-proofs groth16 plonk r1cs zk-rollup zk-evm circuit-design proving-systems elliptic-curves cryptography algorithms gpu

Member repositories

For agents

markdown · JSON · MCP: product_card(name="Consensys/gnark")