Function wedpr_l_crypto_zkp_discrete_logarithm_proof::prove_either_equality_relationship_proof

pub fn prove_either_equality_relationship_proof(
    c1_value: u64, 
    c2_value: u64, 
    c1_blinding: &Scalar, 
    c2_blinding: &Scalar, 
    c3_blinding: &Scalar, 
    c_basepoint: &RistrettoPoint, 
    blinding_basepoint: &RistrettoPoint
) -> BalanceProof

Proves three commitments satisfying either or equality relationships, i.e. the values embedded in c1_point = c1_value * c_basepoint + c1_blinding * blinding_basepoint c2_point = c2_value * c_basepoint + c2_blinding * blinding_basepoint c3_point = c3_blinding * blinding_basepoint where c1_value = c2_value or 0, It returns a proof for the above equality relationship.