Function wedpr_l_crypto_zkp_range_proof::verify_value_range_in_batch[−][src]

pub fn verify_value_range_in_batch(
    commitments: &Vec<RistrettoPoint>, 
    proof_bytes: &[u8], 
    blinding_basepoint: &RistrettoPoint
) -> bool

Expand description

Verifies whether all values embedded in the commentment list belongs to (0, 2^RANGE_SIZE_IN_BITS - 1].