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