circuit: remove index range check from SelectRegexRevel

zkemail · Sep 8, 2024 · 68ab54e · 68ab54e
1 parent d718290
commit 68ab54e
Showing 1 changed file with 0 additions and 4 deletions.
diff --git a/packages/circuits/utils/regex.circom b/packages/circuits/utils/regex.circom
@@ -27,10 +27,6 @@ template SelectRegexReveal(maxArrayLen, maxRevealLen) {
     signal isPreviousZero[maxArrayLen];
     signal isAboveMaxRevealLen[maxArrayLen];
 
-    // Assert startIndex < maxArrayLen
-    signal isValidStartIndex <== LessThan(bitLength)([startIndex, maxArrayLen]);
-    isValidStartIndex === 1;
-
     isPreviousZero[0] <== 1;
     for(var i = 0; i < maxArrayLen; i++) {
         isStartIndex[i] <== IsEqual()([i, startIndex]);