pub fn miller_loop_BN<F: BigPrimeField>( ecc_chip: &EccChip<'_, F, Fp2Chip<'_, F>>, ctx: &mut Context<F>, Q: &EcPoint<F, FqPoint<F>>, P: &EcPoint<F, FpPoint<F>>, pseudo_binary_encoding: &[i8], ) -> FqPoint<F>