pub fn pairing_batch(pairs: &[(G1, G2)]) -> Gt