fix int64 mod when the input is negative and result = 0

o1-labs · Aug 21, 2024 · 78175fe · 78175fe
1 parent 0617674
commit 78175fe
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/src/lib/provable/int.ts b/src/lib/provable/int.ts
@@ -1334,7 +1334,11 @@ class Int64 extends CircuitValue implements BalanceChange {
     let isNonNegative = this.magnitude
       .equals(UInt64.zero)
       .or(this.sgn.isPositive());
-    rest = Provable.if(isNonNegative, rest, y_.value.sub(rest));
+    rest = Provable.if(
+      isNonNegative.or(rest.equals(0)),
+      rest,
+      y_.value.sub(rest)
+    );
     return new Int64(new UInt64(rest.value));
   }