dalek-cryptography/bulletproofs

Health v2 · maintenance only

Flags: no_releases

Adoption not part of the score

1130 stars · 238 forks observed · 2026-08-28

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

A pure-Rust implementation of Bulletproofs zero-knowledge range proofs using the Ristretto group over Curve25519. It supports single and aggregated range proofs, multiparty computation with session types, and an experimental programmable constraint system API.

Use cases

• generate zero-knowledge range proofs for confidential transactions
• aggregate range proofs across multiple parties
• prove statements with rank-1 constraint systems
• build privacy-preserving blockchain transactions
• compose zero-knowledge proofs with other Merlin-based protocols

When to choose

• you need fast Bulletproofs range proofs in Rust
• you want multiparty proof aggregation with statically enforced protocol flow
• you need proofs composable via Merlin transcripts
• you prefer Ristretto over secp256k1 for performance

When to avoid

• you need a stable constraint system API for production (it is experimental)
• you need general-purpose SNARKs rather than Bulletproofs
• your stack is not Rust

Facets

library · maturity maintenance

cryptography security privacy blockchain rust cross-platform zero-knowledge-proofs bulletproofs range-proofs ristretto multiparty-computation zk-snarks cryptography algorithms

Member repositories

For agents

markdown · JSON · MCP: product_card(name="dalek-cryptography/bulletproofs")