/bulletproofs

Bulletproofs and Bulletproofs+ Rust implementation for Aggregated Range Proofs over multiple elliptic curves

Primary LanguageRustGNU General Public License v3.0GPL-3.0

Bulletproofs

This library implements Bulletproofs+ and Bulletproofs aggregated range proofs with multi-exponent verification. The library supports multiple elliptic curves: secp256k1 , ristretto , ed25519

Usage

Control range and batch size using n,m variables. Supported range is any number 0<n<2^64. The library contains multiple test examples that can be followed (run them with Cargo test). To change an elliptic curve, change feature for Curv dependency inside Cargo.toml.

Benchmarks

Run cargo bench. For ristretto the current implementation is ~4x slower than dalek-cryptography.

Contact

Feel free to reach out or join the ZenGo X Telegram for discussions on code and research.