real-or-random/BulletProofsPlus

A pure rust implementation of Bulletproofs+ Scheme

BulletProofs+

A pure rust implementation of Bulletproofs+ Scheme. Details about this scheme can be found in "Bulletproofs+: Shorter Proofs for Privacy-Enhanced Distributed Ledger", Heewon Chung and Kyoohyung Han and Chanyang Ju and Myungsun Kim and Jae Hong Seo (see https://eprint.iacr.org/2020/735).

Bulletproof+

This scheme is simpler with smaller proof size than the original bulletproof scheme. We used weighted inner product zero-knowledge argument instead of inner product argument.

Compile

To run main.rs,

cargo +nightly run --release

To run basic tests,

cargo +nightly test --release

To run benchmark,

cargo +nightly bench

Example - Range Proof

use rand_core::OsRng;
use curve25519_dalek::scalar::Scalar;
use merlin::Transcript;
use improvedbulletproof::PublicKey;
use improvedbulletproof::range::{RangeProof, RangeProver, RangeVerifier};

fn main() {
    let n = 32;
    let m = 16;
    let pk = PublicKey::new(n * m);
    let mut prover = RangeProver::new();
    for _i in 0..m {
        prover.commit(&pk, 31u64, Scalar::random(&mut OsRng));
    }
    let mut prover_transcript = Transcript::new(b"RangeProof Test");
    let proof: RangeProof = RangeProof::prove(
        &mut prover_transcript,
        &pk,
        n,
        &prover,
    );
    let mut verifier_transcript = Transcript::new(b"RangeProof Test");
    let mut verifier = RangeVerifier::new();
    verifier.allocate(&prover.commitment_vec);
    let result = proof.verify(
        &mut verifier_transcript,
        &pk,
        n,
        &verifier,
    );
    assert_eq!(result, Ok(()));
}