scipr-lab/libsnark

Health v2 · maintenance only

Flags: no_releases no_license

Adoption not part of the score

1931 stars · 589 forks observed · 2026-08-28

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

libsnark is a C++ library implementing zkSNARK schemes, cryptographic constructions for proving and verifying computations in zero knowledge. It provides proof systems for NP statements expressed as arithmetic circuits, R1CS constraints, and Boolean circuits, along with a gadget library for building such circuits.

Use cases

• generate zero-knowledge proofs for computations
• build privacy-preserving blockchain applications with zkSNARKs
• prove satisfiability of arithmetic circuits in zero knowledge
• verify succinct non-interactive proofs of computation integrity
• build zk-SNARK circuits for private transactions
• experiment with succinct argument systems in C++

When to choose

• you need a mature, well-studied C++ implementation of zkSNARK proof systems
• you are building zero-knowledge applications on chains like Zcash that historically use libsnark
• you want low-level control over arithmetic circuits and constraint systems
• you need a gadget library for constructing NP statements

When to avoid

• you want a modern, actively developed zk toolkit with newer proof systems (consider gnark, halo2, or arkworks)
• you need a Rust, Go, or JavaScript zero-knowledge library
• you want simple high-level APIs without circuit-level expertise
• your project requires a permissively maintained library with frequent updates, since development has largely stalled

Facets

library · maturity maintenance

cryptography security blockchain privacy cpp cross-platform zksnarks zero-knowledge-proofs zk-proofs r1cs gadget-library c-plus-plus cryptography algorithms linux macos

Member repositories

For agents

markdown · JSON · MCP: product_card(name="scipr-lab/libsnark")