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:
- the encoded string for the aggregated proof.
- the point list representing the commitments created for the values.