refactor: update rangecheck template

Rate-Limiting-Nullifier · May 25, 2023 · b40dfa6 · b40dfa6
1 parent 5262116
commit b40dfa6
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 5 deletions.
diff --git a/circuits/rln.circom b/circuits/rln.circom
@@ -27,8 +27,7 @@ template RLN(DEPTH, LIMIT_BIT_SIZE) {
     root <== MerkleTreeInclusionProof(DEPTH)(rateCommitment, identityPathIndex, pathElements);
 
     // messageId range check
-    signal rangeCheck <== RangeCheck(LIMIT_BIT_SIZE)(messageId, userMessageLimit);
-    rangeCheck === 1;
+    RangeCheck(LIMIT_BIT_SIZE)(messageId, userMessageLimit);
 
     // SSS share calculations
     signal a1 <== Poseidon(3)([identitySecret, externalNullifier, messageId]);

diff --git a/circuits/utils.circom b/circuits/utils.circom
@@ -39,8 +39,7 @@ template RangeCheck(LIMIT_BIT_SIZE) {
     signal input messageId;
     signal input limit;
 
-    signal output rangeCheck;
-
     signal bitCheck[LIMIT_BIT_SIZE] <== Num2Bits(LIMIT_BIT_SIZE)(messageId);
-    rangeCheck <== LessThan(LIMIT_BIT_SIZE)([messageId, limit]);
+    signal rangeCheck <== LessThan(LIMIT_BIT_SIZE)([messageId, limit]);
+    rangeCheck === 1;
 }