halo2_ecc::bn254::pairing

Function neg_twisted_frobenius

Source
pub fn neg_twisted_frobenius<F: BigPrimeField>(
    ecc_chip: &EccChip<'_, F, Fp2Chip<'_, F>>,
    ctx: &mut Context<F>,
    Q: impl Into<EcPoint<F, FqPoint<F>>>,
    c2: impl Into<FqPoint<F>>,
    c3: impl Into<FqPoint<F>>,
) -> EcPoint<F, FqPoint<F>>