(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().
(bn128 again) If you attempt
e(P, Q)
whereP
orQ
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().