Function wedpr_l_crypto_zkp_discrete_logarithm_proof::verify_equality_relationship_proof [−][src]
pub fn verify_equality_relationship_proof(
c1_point: &RistrettoPoint,
c2_point: &RistrettoPoint,
proof: &EqualityProof,
basepoint1: &RistrettoPoint,
basepoint2: &RistrettoPoint
) -> Result<bool, WedprError>
Verifies two commitments satisfying an equality relationship, i.e. the values embedded in c1_point, c2_point satisfying c1_value = c2_value, where c1_point = c1_value * basepoint1, c2_point = c2_value * basepoint2.