pub fn verify_kzg_proof( commitment: &[u8; 48], z: &[u8; 32], y: &[u8; 32], proof: &[u8; 48], ) -> bool
Verify KZG proof.