Function wedpr_l_crypto_zkp_discrete_logarithm_proof::verify_format_proof

pub fn verify_format_proof(
    c1_point: &RistrettoPoint, 
    c2_point: &RistrettoPoint, 
    proof: &BalanceProof, 
    c1_basepoint: &RistrettoPoint, 
    c2_basepoint: &RistrettoPoint, 
    blinding_basepoint: &RistrettoPoint
) -> Result<bool, WedprError>

Verifies two commitments satisfying an equality relationship, i.e. the values embedded in c1_point and c2_point satisfying c1_blinding = c2_blinding, where c1_point = c1_value * c1_basepoint + c1_blinding * blinding_basepoint, c2_point = c2_blinding * c2_basepoint.