Function wedpr_l_crypto_zkp_discrete_logarithm_proof::prove_format_proof

pub fn prove_format_proof(
    c1_value: u64, 
    c_blinding: &Scalar, 
    c1_basepoint: &RistrettoPoint, 
    c2_basepoint: &RistrettoPoint, 
    blinding_basepoint: &RistrettoPoint
) -> BalanceProof

Proves 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. It returns a proof for the above equality relationship.