pub fn verify_pairings(x1: P1, x2: P2, y1: P1, y2: P2) -> bool
Check that e(x1, x2) = e(y1, y2).
e(x1, x2) = e(y1, y2)