Struct RangeProof 

pub struct RangeProof(/* private fields */);

Bulletproof Range Proofs

Implementations

impl RangeProof

pub fn prove( value: u64, blinding: &Blinding, range: &Range, rng: &mut impl AllowedRng, ) -> FastCryptoResult<RangeProof>

Prove that the value is in the given range using the given commitment blinding. This enables creating proofs for an existing commitment. Returns an InvalidInput error if the value is not in range.

pub fn verify( &self, commitment: &PedersenCommitment, range: &Range, rng: &mut impl AllowedRng, ) -> FastCryptoResult<()>

Verifies a range proof: That the commitment is to a value in the given range.

pub fn prove_batch( values: &[u64], blindings: &[Blinding], range: &Range, rng: &mut impl AllowedRng, ) -> FastCryptoResult<RangeProof>

Create a proof that all the given values are in the range using the given commitment blindings. This enables creating proofs for existing commitments.

Fails if

• any of the values are not in the range.
• values.len() != blindings.len(),
• values.len() is not a power of 2,

pub fn verify_batch( &self, commitments: &[PedersenCommitment], range: &Range, rng: &mut impl AllowedRng, ) -> FastCryptoResult<()>

Verifies that a range proof that all commitments are to values in the given range.

pub fn to_bytes(&self) -> Vec<u8>

Serialize a range proof. The output will be serialized Risretto255 group elements and scalars. It follows the format used in https://github.com/dalek-cryptography/bulletproofs/blob/be67b6d5f5ad1c1f54d5511b52e6d645a1313d07/src/range_proof/mod.rs#L59-L76.

pub fn from_bytes(bytes: &[u8]) -> FastCryptoResult<Self>

Deserialize a range proof. See also Self::to_bytes.

Trait Implementations

impl Debug for RangeProof

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.