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>>