Update comments with number of constraints

iden3 · Nov 26, 2023 · fcff54a · fcff54a
1 parent b528758
commit fcff54a
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/circuits/lib/query/query.circom b/circuits/lib/query/query.circom
@@ -35,7 +35,7 @@ template Query (valueArraySize) {
     signal eq <== IsEqual()([in, value[0]]);
 
     // LessThan
-    signal lt <== LessThan254()([in, value[0]]);
+    signal lt <== LessThan254()([in, value[0]]); // 767 constraints
 
     // lte
     signal lte <== OR()(lt, eq); // lte === lt || eq

diff --git a/circuits/offchain/credentialAtomicQueryV3OffChain.circom b/circuits/offchain/credentialAtomicQueryV3OffChain.circom
@@ -233,7 +233,7 @@ template credentialAtomicQueryV3OffChain(issuerLevels, claimLevels, valueArraySi
     /////////////////////////////////////////////////////////////////
 
     // verify query
-    // 2482 constraints (Query+LessThan+ForceEqualIfEnabled)
+    // 1756 constraints (Query+LessThan+ForceEqualIfEnabled)
     signal querySatisfied <== Query(valueArraySize)(
         in <== fieldValue,
         value <== value,
@@ -260,7 +260,7 @@ template credentialAtomicQueryV3OffChain(issuerLevels, claimLevels, valueArraySi
         claimSchema,
         verifierID,
         verifierSessionID
-    ); // 362 constraints
+    ); // 330 constraints
 
     /////////////////////////////////////////////////////////////////
     // Modifier Operator Validation & Output Preparation