Merge pull request #48 from kobigurk/kobigurk/fix_and_assert_less_than

fix: improve LessThan and adds assert
iden3 · Aug 24, 2020 · 3f4734d · 3f4734d
2 parents 01e3f0d + 1cd3d20
commit 3f4734d
Show file tree

Hide file tree

Showing 3 changed files with 135 additions and 45 deletions.
diff --git a/circuits/comparators.circom b/circuits/comparators.circom
@@ -86,10 +86,11 @@ template LessThan(n) {
 */
 
 template LessThan(n) {
+    assert(n <= 252);
     signal input in[2];
     signal output out;
 
-    component n2b = Num2Bits(n*2+1);
+    component n2b = Num2Bits(n+1);
 
     n2b.in <== in[0]+ (1<<n) - in[1];
 

diff --git a/package-lock.json b/package-lock.json
diff --git a/package.json b/package.json
@@ -26,7 +26,7 @@
   "dependencies": {
     "blake-hash": "^1.1.0",
     "blake2b": "^2.1.3",
-    "circom": "0.5.10",
+    "circom": "0.5.21",
     "ffjavascript": "0.1.0",
     "web3": "^1.2.6"
   },