pairing code asserts on points at infinity

[ebfull]

(bn128 again) If you attempt e(P, Q) where P or Q are points at infinity, an internal assumption (during the miller loop if I remember correctly) that the points are in the affine is violated, causing an assertion later. We should expect the pairing to return Fp12::one().