Function wedpr_l_crypto_zkp_discrete_logarithm_proof::verify_knowledge_proof_in_batch[][src]

pub fn verify_knowledge_proof_in_batch(
    c_point_list: &Vec<RistrettoPoint>,
    proof_list: &Vec<BalanceProof>,
    c_basepoint: &RistrettoPoint,
    blinding_basepoint: &RistrettoPoint
) -> Result<bool, WedprError>
Expand description

Verifies all commitment pairs satisfying knowledge relationships, where each commitment pair contains one commitment points, c_point = c_point_list[i], the values embedded in c_point = c_value * c_basepoint + c_blinding * blinding_basepoint