Redundant opposite point addition case (#198)

lambdaclass · Nov 7, 2023 · 2909e7b · 2909e7b
1 parent 98d717c
commit 2909e7b
Showing 1 changed file with 0 additions and 5 deletions.
diff --git a/precompiles/P256VERIFY.yul b/precompiles/P256VERIFY.yul
@@ -451,11 +451,6 @@ object "P256VERIFY" {
                         xr, yr, zr := projectiveDouble(xp, yp, zp)
                         leave
                     }
-                    // P + (-P) = Infinity
-                    xr := 0
-                    yr := MONTGOMERY_ONE_P()
-                    zr := 0
-                    leave
                 }
 
                 // P1 + P2 = P3