fix not

o1-labs · Nov 7, 2023 · c5aa5f1 · c5aa5f1
1 parent 1e75122
commit c5aa5f1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/crypto/finite_field.ts b/crypto/finite_field.ts
@@ -126,7 +126,7 @@ function createField(p: bigint, t: bigint, twoadicRoot: bigint) {
       return mod(x + y, p);
     },
     not(x: bigint, bits: number) {
-      return 2n ** BigInt(bits) - (x + 1n);
+      return mod(2n ** BigInt(bits) - (x + 1n), p);
     },
     negate(x: bigint) {
       return x === 0n ? 0n : p - x;