Function wedpr_l_crypto_zkp_range_proof::prove_value_range_with_blinding_and_blinding_basepoint[−][src]

pub fn prove_value_range_with_blinding_and_blinding_basepoint(
    value: u64, 
    blinding: &Scalar, 
    blinding_basepoint: &RistrettoPoint
) -> (Vec<u8>, RistrettoPoint)
Expand description

Proves whether a value belongs to (0, 2^RANGE_SIZE_IN_BITS - 1], and create a commitment for the value with provided random blinding value and blinding basepoint. It returns:

  1. the encoded string for the proof.
  2. the point representing the commitment created for the value.