[−][src]Function wedpr_l_crypto_zkp_discrete_logarithm_proof::verify_sum_relationship
pub fn verify_sum_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 sum relationship, i.e. the values embedded in c1_point, c2_point, c3_point satisfying c1_value + c2_value = c3_value.