Function bellperson::groth16::aggregate::verify_kzg_w

source ยท
pub fn verify_kzg_w<E, R>(
    v_srs: &VerifierSRS<E>,
    final_wkey: &(E::G1Affine, E::G1Affine),
    wkey_opening: &KZGOpening<E::G1Affine>,
    challenges: &[E::Fr],
    r_shift: &E::Fr,
    kzg_challenge: &E::Fr,
    pairing_checks: &PairingChecks<E, R>,
)
where E: MultiMillerLoop, R: RngCore + Send,
Expand description

Similar to verify_kzg_opening_g2 but for g1.