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