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>