Function wedpr_l_crypto_zkp_range_proof::prove_value_range_in_batch[−][src]

pub fn prove_value_range_in_batch(
    values: &[u64], 
    blindings: &[Scalar], 
    blinding_basepoint: &RistrettoPoint
) -> Result<(Vec<u8>, Vec<RistrettoPoint>), WedprError>
Expand description

Proves whether all values in the list belongs to (0, 2^RANGE_SIZE_IN_BITS - 1], and create commitments for them with provided random blinding values and blinding basepoint. It returns:

  1. the encoded string for the aggregated proof.
  2. the point list representing the commitments created for the values.