Crate bulletproofs_plus_plus 

Modules

error

prelude

range_proof

Copied from bulletproofs source mentioned in the paper - https://github.com/sanket1729/rust-bulletproofs-pp/blob/master/src/rangeproof.rs Some of the duplicate computation has been removed. Rangeproofs:

range_proof_arbitrary_range

setup

util

weighted_norm_linear_argument

Weighted Norm Linear argument for relation v = <c, l> + {|n|_mu}^2 given commitment C = v*G + <l, H_vec> + <n, G_vec>