Function wedpr_l_crypto_zkp_discrete_logarithm_proof::verify_equality_relationship_proof_in_batch[][src]

pub fn verify_equality_relationship_proof_in_batch(
    c1_point_list: &Vec<RistrettoPoint>,
    c2_point_list: &Vec<RistrettoPoint>,
    proof_list: &Vec<EqualityProof>,
    basepoint1: &RistrettoPoint,
    basepoint2: &RistrettoPoint
) -> Result<bool, WedprError>
Expand description

Verifies all commitment pairs satisfying equality relationships, where each commitment pair contains two commitment points, c1_point = c1_point_list[i], c2_point = c2_point_list[i], and the values embedded in c1_point, c2_point satisfying c1_value = c2_value.