Function bellperson::groth16::aggregate::verify_kzg_v
source ยท pub fn verify_kzg_v<E, R>(
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>,
)
Expand description
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.