Function verify_kzg_proof 

pub fn verify_kzg_proof(
    commitment: G1Affine,
    proof: G1Affine,
    z: <Fr as PrimeField>::BigInt,
    y: <Fr as PrimeField>::BigInt,
) -> bool