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.