Function wedpr_l_crypto_zkp_discrete_logarithm_proof::prove_product_relationship

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

Proves three commitments satisfying a product relationship, i.e. the values embedded in them satisfying c1_value * c2_value = c3_value. c3_value is not in the argument list, and will be directly computed from c1_value * c2_value. c?_blinding are random blinding values used in the commitments. The commitments (c?_valuevalue_basepoint+c?_blindingblinding_basepoint) are not in the argument list, as they are not directly used by the proof generation. It returns a proof for the above product relationship.