Function wedpr_l_crypto_zkp_discrete_logarithm_proof::verify_product_relationship

pub fn verify_product_relationship(
    c1_point: &RistrettoPoint, 
    c2_point: &RistrettoPoint, 
    c3_point: &RistrettoPoint, 
    proof: &BalanceProof, 
    value_basepoint: &RistrettoPoint, 
    blinding_basepoint: &RistrettoPoint
) -> Result<bool, WedprError>

Verifies three commitments satisfying a product relationship, i.e. the values embedded in c1_point, c2_point, c3_point satisfying c1_value * c2_value = c3_value.