pub fn verify_kzg_proof_impl( commitment: G1Affine, z: Scalar, y: Scalar, proof: G1Affine, kzg_settings: &KzgSettings, ) -> Result<bool, KzgError>