# scipr-lab/libsnark

C++ library for zkSNARKs

Repository: https://github.com/scipr-lab/libsnark
Canonical: https://ross.abutalabs.com/products/libsnark
Language: C++
License: NOASSERTION
License Family: other
Last push: 2025-06-12T22:39:48+00:00

## Health v2 (maintenance only)
Score: 44/100 (v2, computed 2026-09-03T02:20:16.233290+00:00)
- activity 26, release rhythm 35, longevity 100
- inputs: {"age_days": 4475, "days_push": 447, "days_rel": null, "gap_med": null, "n_releases_24m": 0}
- flags: no_releases, no_license
- formula: round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10)

## Adoption (not part of the score)
Stars 1931, forks 589 (observed 2026-08-28T04:05:56.172402+00:00)

## What it is
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
- artifact type: library
- maturity: maintenance
- function: cryptography, security
- domain: blockchain, privacy
- platform: cpp, cross-platform
- tags: zksnarks, zero-knowledge-proofs, zk-proofs, r1cs, gadget-library, c-plus-plus, cryptography, algorithms, linux, macos

## Member repositories
- scipr-lab/libsnark (main) score 44

## Provenance
- Observed fields: from GitHub, fetched 2026-08-28T04:05:56.172402+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:08:42.642865+00:00, confidence not recorded.
  - readme: https://github.com/scipr-lab/libsnark (fetched 2026-08-28T04:05:56.172402+00:00, sha 0745e827fcc2)
- Data as of 2026-08-30T08:39:29.467469+00:00.