Bls Pairing check optimisation: skip exp for infinity (#7883)

Author: Marchhill

src/Nethermind/Nethermind.Evm/Precompiles/Bls/PairingCheckPrecompile.cs

@@ -46,6 +46,7 @@ private PairingCheckPrecompile() { }
         var acc = GT.One(buf.AsSpan());
         GT p = new(buf.AsSpan()[GT.Sz..]);
 
+        bool hasInf = false;
         for (int i = 0; i < inputData.Length / PairSize; i++)
         {
             int offset = i * PairSize;
@@ -61,14 +62,15 @@ private PairingCheckPrecompile() { }
             // x == inf || y == inf -> e(x, y) = 1
             if (x.IsInf() || y.IsInf())
             {
+                hasInf = true;
                 continue;
             }
 
             p.MillerLoop(y, x);
             acc.Mul(p);
         }
 
-        bool verified = acc.FinalExp().IsOne();
+        bool verified = hasInf || acc.FinalExp().IsOne();
         byte[] res = new byte[32];
         if (verified)
         {