pub fn multi_miller_loop_BN<F: PrimeField>( ecc_chip: &EccChip<'_, F, Fp2Chip<'_, F>>, ctx: &mut Context<F>, pairs: Vec<(&EcPoint<F, FpPoint<F>>, &EcPoint<F, FqPoint<F>>)>, pseudo_binary_encoding: &[i8]) -> FqPoint<F>