fix: add checks to tecurve::is_zero

noir-lang · Jun 27, 2023 · aa99176 · aa99176
1 parent 01d332c
commit aa99176
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/noir_stdlib/src/ec/tecurve.nr b/noir_stdlib/src/ec/tecurve.nr
@@ -235,8 +235,8 @@ mod curvegroup {
 
         // Check if zero
         fn is_zero(self) -> bool {
-            let Self {x, y, t: _t, z} = self;
-            (x == 0) & (y == z)
+            let Self {x, y, t, z} = self;
+            (x == 0) & (y == z) & (y != 0) & (t == 0)
         }
 
         // Conversion to affine coordinates