zkcrypto/bellman

Health v2 · maintenance only

Flags: no_releases no_license

Adoption not part of the score

1127 stars · 555 forks observed · 2026-08-28

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

bellman is a Rust crate for building zk-SNARK circuits, providing circuit traits, primitive structures, and gadgets like booleans and number abstractions. It bundles a Groth16 proving system implementation and works generically over scalar field types via the ff and group crates.

Use cases

• build zk-SNARK circuits in Rust
• generate and verify Groth16 zero-knowledge proofs
• implement private transactions for blockchain protocols
• create arithmetic circuits over a prime scalar field
• develop custom proving systems using circuit utilities

When to choose

• you need a mature, widely-used Rust library for Groth16 zk-SNARKs
• you want generic circuit building over pluggable scalar fields
• you are building privacy-preserving blockchain or cryptographic applications in Rust

When to avoid

• you need a higher-level zk DSL like Circom or Noir rather than a low-level Rust crate
• you require proving systems other than Groth16 without extra work
• your project is not in Rust

Facets

library · maturity stable

cryptography security developer-tools blockchain privacy rust cross-platform zk-snark zero-knowledge-proofs groth16 circuit-building rust-crate cryptography algorithms

Member repositories

For agents

markdown · JSON · MCP: product_card(name="zkcrypto/bellman")