#zero-knowledge #bulletproofs

bulletproof-kzen

Implementation of Bulletproofs and Bulletproofs+ aggregated range proofs with multi-exponent verification

2 stable releases

Uses old Rust 2015

1.2.1 Dec 16, 2022
1.2.0 Oct 19, 2021

#2217 in Cryptography

Download history 684/week @ 2024-06-18 717/week @ 2024-06-25 1181/week @ 2024-07-02 1546/week @ 2024-07-09 939/week @ 2024-07-16 1028/week @ 2024-07-23 729/week @ 2024-07-30 1219/week @ 2024-08-06 1136/week @ 2024-08-13 841/week @ 2024-08-20 647/week @ 2024-08-27 718/week @ 2024-09-03 724/week @ 2024-09-10 451/week @ 2024-09-17 516/week @ 2024-09-24 450/week @ 2024-10-01

2,281 downloads per month
Used in 5 crates (via centipede)

GPL-3.0 license

135KB
3K SLoC

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.

Dependencies

~15MB
~236K SLoC