Function wedpr_l_crypto_zkp_range_proof::prove_value_range[−][src]

pub fn prove_value_range(value: u64) -> (Vec<u8>, RistrettoPoint, Scalar)
Expand description

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

  1. the encoded string for the proof.
  2. the point representing the commitment created for the value.
  3. the random blinding value used in the above commitment.