fix assert

iden3 · Feb 22, 2024 · 693de6b · 693de6b
1 parent 643b913
commit 693de6b
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/circuits/lib/query/comparators.circom b/circuits/lib/query/comparators.circom
@@ -31,7 +31,7 @@ template InWithDynamicArraySize (maxValueArraySize){
         signal input valueArraySize;
         signal output out;
 
-        assert(maxValueArraySize < 256);
+        assert(maxValueArraySize <= 256);
 
         component eq[maxValueArraySize];
         signal isEq[maxValueArraySize+1];

diff --git a/circuits/lib/utils/arraySizeValidator.circom b/circuits/lib/utils/arraySizeValidator.circom
@@ -41,7 +41,7 @@ template ArraySizeValidator (maxValueArraySize) {
 
     signal opBits[5] <== Num2Bits(5)(operator); // values 0-15 are query operators, 16-31 - modifiers/computations
 
-    assert(maxValueArraySize < 256);
+    assert(maxValueArraySize <= 256);
 
     // query operator mux
     component mux = Mux4();

diff --git a/testvectorgen/utils/utils.go b/testvectorgen/utils/utils.go
@@ -334,7 +334,7 @@ func CalculateNullify(genesisID, claimSubjectProfileNonce, claimSchema, verifier
 func GetValueArraySizeForOperator(operator int) int {
 	result := 0
 	oneArrLengthOps := []int{1, 2, 3, 6, 7, 8}
-	twoArrLengthOps := []int{9}
+	twoArrLengthOps := []int{9, 10}
 	maxArrLengthOps := []int{4, 5}
 
 	if contains(oneArrLengthOps, operator) {