Function wedpr_l_crypto_zkp_discrete_logarithm_proof::prove_equality_relationship_proof[][src]

pub fn prove_equality_relationship_proof(
    c1_value: &Scalar,
    basepoint1: &RistrettoPoint,
    basepoint2: &RistrettoPoint
) -> EqualityProof

Proves two commitments satisfying an equality relationship, i.e. the values embedded in c1_point and c2_point satisfying c1_value = c2_value, where c1_point = c1_value * basepoint1, c2_point = c2_value * basepoint2. It returns a proof for the above equality relationship.