Function wedpr_l_crypto_zkp_discrete_logarithm_proof::verify_either_equality_relationship_proof[][src]

pub fn verify_either_equality_relationship_proof(
    c1_point: &RistrettoPoint,
    c2_point: &RistrettoPoint,
    c3_point: &RistrettoPoint,
    proof: &BalanceProof,
    c_basepoint: &RistrettoPoint,
    blinding_basepoint: &RistrettoPoint
) -> Result<bool, WedprError>
Expand description

Verifies owner know a commitment’s secret value c_value and c_blinding, i.e. the values embedded in c_point = c_value * c_basepoint + c_blinding * blinding_basepoint