Function wedpr_l_crypto_zkp_discrete_logarithm_proof::verify_sum_relationship_in_batch[][src]

pub fn verify_sum_relationship_in_batch(
    c1_point_list: &Vec<RistrettoPoint>,
    c2_point_list: &Vec<RistrettoPoint>,
    c3_point_list: &Vec<RistrettoPoint>,
    proof_list: &Vec<BalanceProof>,
    value_basepoint: &RistrettoPoint,
    blinding_basepoint: &RistrettoPoint
) -> Result<bool, WedprError>
Expand description

Verifies all commitment tuples satisfying sum relationships, where each commitment tuple contains three commitment points, c1_point = c1_point_list[i], c2_point = c2_point_list[i], c3_point = c3_point_list[i], and the values embedded in c1_point, c2_point, c3_point satisfying c1_value + c2_value = c3_value.