Fix check

iden3 · Jan 20, 2025 · 87ab752 · 87ab752
1 parent 5a6fce1
commit 87ab752
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 1 deletion.
diff --git a/src/poseidon/poseidon-opt.ts b/src/poseidon/poseidon-opt.ts
@@ -27,7 +27,7 @@ export class Poseidon {
       throw new Error('Invalid inputs');
     }
 
-    if (inputs.some((i) => i > F.p)) {
+    if (inputs.some((i) => i < 0 || i >= F.p)) {
       throw new Error(`One or more inputs are not in the field: ${F.p}`);
     }
 

diff --git a/tests/poseidon.test.ts b/tests/poseidon.test.ts
@@ -134,5 +134,9 @@ describe('Poseidon test', () => {
     expect(() => poseidon.hash([1n, 1n + poseidon.F.p])).toThrow(
       `One or more inputs are not in the field: ${poseidon.F.p}`
     );
+
+    expect(() => poseidon.hash([1n, 1n - poseidon.F.p])).toThrow(
+      `One or more inputs are not in the field: ${poseidon.F.p}`
+    );
   });
 });