Function wedpr_l_crypto_zkp_discrete_logarithm_proof::verify_format_proof_in_batch

pub fn verify_format_proof_in_batch(
    c1_point_list: &Vec<RistrettoPoint>, 
    c2_point_list: &Vec<RistrettoPoint>, 
    proof_list: &Vec<BalanceProof>, 
    c1_basepoint: &RistrettoPoint, 
    c2_basepoint: &RistrettoPoint, 
    blinding_basepoint: &RistrettoPoint
) -> Result<bool, WedprError>

Verifies all commitment pairs satisfying equality relationships, where each commitment pair contains two commitment points, c1_point = c1_point_list[i], c2_point = c2_point_list[i], and the values embedded in c1_point, c2_point satisfying c1_blinding = c2_blinding.