pub fn miller_loop_batch(pairs: &[(G2, G1)]) -> Result<Gt, CurveError>