Function bellperson::groth16::aggregate::verify_kzg_v

pub fn verify_kzg_v<E: Engine, R: RngCore + Send>(
    v_srs: &VerifierSRS<E>, 
    final_vkey: &(E::G2Affine, E::G2Affine), 
    vkey_opening: &KZGOpening<E::G2Affine>, 
    challenges: &[E::Fr], 
    kzg_challenge: &E::Fr, 
    pairing_checks: &PairingChecks<E, R>
)

verify_kzg_opening_g2 takes a KZG opening, the final commitment key, SRS and any shift (in TIPP we shift the v commitment by r^-1) and returns a pairing tuple to check if the opening is correct or not.