pub fn neg_twisted_frobenius<F: PrimeField>( 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>>