upgrade to 2.2.0

Signed-off-by: Chengxuan Xing <chengxuan.xing@kaleido.io>

zkp/circuits/anon.circom

@@ -13,7 +13,7 @@
 // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 // See the License for the specific language governing permissions and
 // limitations under the License.
-pragma circom 2.1.4;
+pragma circom 2.2.0;
 
 include "./basetokens/anon_base.circom";
 

zkp/circuits/anon_batch.circom

@@ -13,7 +13,7 @@
 // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 // See the License for the specific language governing permissions and
 // limitations under the License.
-pragma circom 2.1.4;
+pragma circom 2.2.0;
 
 include "./basetokens/anon_base.circom";
 

zkp/circuits/anon_enc.circom

@@ -13,7 +13,7 @@
 // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 // See the License for the specific language governing permissions and
 // limitations under the License.
-pragma circom 2.1.4;
+pragma circom 2.2.0;
 
 include "./basetokens/anon_enc_base.circom";
 

zkp/circuits/anon_enc_batch.circom

@@ -13,7 +13,7 @@
 // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 // See the License for the specific language governing permissions and
 // limitations under the License.
-pragma circom 2.1.4;
+pragma circom 2.2.0;
 
 include "./basetokens/anon_enc_base.circom";
 

zkp/circuits/anon_enc_nullifier.circom

@@ -13,7 +13,7 @@
 // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 // See the License for the specific language governing permissions and
 // limitations under the License.
-pragma circom 2.1.4;
+pragma circom 2.2.0;
 
 include "./basetokens/anon_enc_nullifier_base.circom";
 

zkp/circuits/anon_enc_nullifier_batch.circom

@@ -13,7 +13,7 @@
 // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 // See the License for the specific language governing permissions and
 // limitations under the License.
-pragma circom 2.1.4;
+pragma circom 2.2.0;
 
 include "./basetokens/anon_enc_nullifier_base.circom";
 

zkp/circuits/anon_enc_nullifier_kyc.circom

@@ -13,7 +13,7 @@
 // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 // See the License for the specific language governing permissions and
 // limitations under the License.
-pragma circom 2.1.4;
+pragma circom 2.2.0;
 
 include "./basetokens/anon_enc_nullifier_kyc_base.circom";
 

zkp/circuits/anon_enc_nullifier_kyc_batch.circom

@@ -13,7 +13,7 @@
 // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 // See the License for the specific language governing permissions and
 // limitations under the License.
-pragma circom 2.1.4;
+pragma circom 2.2.0;
 
 include "./basetokens/anon_enc_nullifier_kyc_base.circom";
 

zkp/circuits/anon_enc_nullifier_non_repudiation.circom

@@ -13,7 +13,7 @@
 // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 // See the License for the specific language governing permissions and
 // limitations under the License.
-pragma circom 2.1.4;
+pragma circom 2.2.0;
 
 include "./basetokens/anon_enc_nullifier_non_repudiation_base.circom";
 

zkp/circuits/anon_enc_nullifier_non_repudiation_batch.circom

@@ -13,7 +13,7 @@
 // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 // See the License for the specific language governing permissions and
 // limitations under the License.
-pragma circom 2.1.4;
+pragma circom 2.2.0;
 
 include "./basetokens/anon_enc_nullifier_non_repudiation_base.circom";
 

zkp/circuits/anon_nullifier.circom

@@ -13,7 +13,7 @@
 // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 // See the License for the specific language governing permissions and
 // limitations under the License.
-pragma circom 2.1.4;
+pragma circom 2.2.0;
 
 include "./basetokens/anon_nullifier_base.circom";
 

zkp/circuits/anon_nullifier_batch.circom

@@ -13,7 +13,7 @@
 // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 // See the License for the specific language governing permissions and
 // limitations under the License.
-pragma circom 2.1.4;
+pragma circom 2.2.0;
 
 include "./basetokens/anon_nullifier_base.circom";
 

zkp/circuits/anon_nullifier_kyc.circom

@@ -13,7 +13,7 @@
 // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 // See the License for the specific language governing permissions and
 // limitations under the License.
-pragma circom 2.1.4;
+pragma circom 2.2.0;
 
 include "./basetokens/anon_nullifier_kyc_base.circom";
 

zkp/circuits/anon_nullifier_kyc_batch.circom

@@ -13,7 +13,7 @@
 // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 // See the License for the specific language governing permissions and
 // limitations under the License.
-pragma circom 2.1.4;
+pragma circom 2.2.0;
 
 include "./basetokens/anon_nullifier_kyc_base.circom";
 

zkp/circuits/basetokens/anon_base.circom

@@ -13,7 +13,7 @@
 // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 // See the License for the specific language governing permissions and
 // limitations under the License.
-pragma circom 2.1.4;
+pragma circom 2.2.0;
 
 include "../lib/check-positive.circom";
 include "../lib/check-hashes.circom";

zkp/circuits/basetokens/anon_enc_base.circom

@@ -13,7 +13,7 @@
 // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 // See the License for the specific language governing permissions and
 // limitations under the License.
-pragma circom 2.1.4;
+pragma circom 2.2.0;
 
 include "../lib/check-positive.circom";
 include "../lib/check-hashes.circom";

zkp/circuits/basetokens/anon_enc_nullifier_base.circom

@@ -13,7 +13,7 @@
 // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 // See the License for the specific language governing permissions and
 // limitations under the License.
-pragma circom 2.1.4;
+pragma circom 2.2.0;
 
 include "../lib/check-positive.circom";
 include "../lib/check-hashes.circom";

zkp/circuits/basetokens/anon_enc_nullifier_kyc_base.circom

@@ -13,7 +13,7 @@
 // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 // See the License for the specific language governing permissions and
 // limitations under the License.
-pragma circom 2.1.4;
+pragma circom 2.2.0;
 
 include "../lib/check-positive.circom";
 include "../lib/check-hashes.circom";

zkp/circuits/basetokens/anon_enc_nullifier_non_repudiation_base.circom

@@ -13,7 +13,7 @@
 // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 // See the License for the specific language governing permissions and
 // limitations under the License.
-pragma circom 2.1.4;
+pragma circom 2.2.0;
 
 include "../lib/check-positive.circom";
 include "../lib/check-hashes.circom";

zkp/circuits/basetokens/anon_nullifier_base.circom

@@ -13,7 +13,7 @@
 // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 // See the License for the specific language governing permissions and
 // limitations under the License.
-pragma circom 2.1.4;
+pragma circom 2.2.0;
 
 include "../lib/check-positive.circom";
 include "../lib/check-hashes.circom";

zkp/circuits/basetokens/anon_nullifier_kyc_base.circom

@@ -13,7 +13,7 @@
 // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 // See the License for the specific language governing permissions and
 // limitations under the License.
-pragma circom 2.1.4;
+pragma circom 2.2.0;
 
 include "../lib/check-positive.circom";
 include "../lib/check-hashes.circom";

zkp/circuits/check_hashes_value.circom

@@ -13,7 +13,7 @@
 // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 // See the License for the specific language governing permissions and
 // limitations under the License.
-pragma circom 2.1.4;
+pragma circom 2.2.0;
 
 include "./lib/check-positive.circom";
 include "./lib/check-hashes.circom";

zkp/circuits/check_inputs_outputs_value.circom

@@ -13,7 +13,7 @@
 // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 // See the License for the specific language governing permissions and
 // limitations under the License.
-pragma circom 2.1.4;
+pragma circom 2.2.0;
 
 include "./lib/check-inputs-outputs-value-base.circom";
 

zkp/circuits/check_inputs_outputs_value_batch.circom

@@ -13,7 +13,7 @@
 // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 // See the License for the specific language governing permissions and
 // limitations under the License.
-pragma circom 2.1.4;
+pragma circom 2.2.0;
 
 include "./lib/check-inputs-outputs-value-base.circom";
 

zkp/circuits/check_nullifier_value.circom

@@ -13,7 +13,7 @@
 // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 // See the License for the specific language governing permissions and
 // limitations under the License.
-pragma circom 2.1.4;
+pragma circom 2.2.0;
 
 include "./lib/check-nullifier-value-base.circom";
 

zkp/circuits/check_nullifier_value_batch.circom

@@ -13,7 +13,7 @@
 // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 // See the License for the specific language governing permissions and
 // limitations under the License.
-pragma circom 2.1.4;
+pragma circom 2.2.0;
 
 include "./lib/check-nullifier-value-base.circom";
 

zkp/circuits/check_nullifiers.circom

@@ -13,7 +13,7 @@
 // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 // See the License for the specific language governing permissions and
 // limitations under the License.
-pragma circom 2.1.4;
+pragma circom 2.2.0;
 
 include "./lib/check-hashes.circom";
 include "./lib/check-nullifiers.circom";

zkp/circuits/gen.js

@@ -151,7 +151,7 @@ const processCircuit = async (circuit, ptau, skipSolidityGenaration) => {
   }
 
   const { stdout: ctOut, stderr: ctErr } = await execAsync(
-    `circom ${circomInput} --output ${provingKeysRoot} --r1cs`,
+    `circom --O2 ${circomInput} --output ${provingKeysRoot} --r1cs`,
   );
   if (verbose) {
     if (ctOut) {

zkp/circuits/lib/check-hashes-tokenid-uri.circom

@@ -13,7 +13,7 @@
 // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 // See the License for the specific language governing permissions and
 // limitations under the License.
-pragma circom 2.1.4;
+pragma circom 2.2.0;
 
 include "../node_modules/circomlib/circuits/poseidon.circom";
 include "../node_modules/circomlib/circuits/comparators.circom";

zkp/circuits/lib/check-hashes.circom

@@ -13,7 +13,7 @@
 // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 // See the License for the specific language governing permissions and
 // limitations under the License.
-pragma circom 2.1.4;
+pragma circom 2.2.0;
 
 include "../node_modules/circomlib/circuits/poseidon.circom";
 include "../node_modules/circomlib/circuits/comparators.circom";

zkp/circuits/lib/check-inputs-outputs-value-base.circom

@@ -13,7 +13,7 @@
 // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 // See the License for the specific language governing permissions and
 // limitations under the License.
-pragma circom 2.1.4;
+pragma circom 2.2.0;
 
 include "./check-positive.circom";
 include "./check-hashes.circom";

zkp/circuits/lib/check-nullifier-tokenid-uri.circom

@@ -13,7 +13,7 @@
 // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 // See the License for the specific language governing permissions and
 // limitations under the License.
-pragma circom 2.1.4;
+pragma circom 2.2.0;
 
 include "../node_modules/circomlib/circuits/poseidon.circom";
 include "../node_modules/circomlib/circuits/comparators.circom";

zkp/circuits/lib/check-nullifier-value-base.circom

@@ -13,7 +13,7 @@
 // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 // See the License for the specific language governing permissions and
 // limitations under the License.
-pragma circom 2.1.4;
+pragma circom 2.2.0;
 
 include "./check-positive.circom";
 include "./check-hashes.circom";

zkp/circuits/lib/check-nullifiers.circom

@@ -13,7 +13,7 @@
 // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 // See the License for the specific language governing permissions and
 // limitations under the License.
-pragma circom 2.1.4;
+pragma circom 2.2.0;
 
 include "../node_modules/circomlib/circuits/poseidon.circom";
 include "../node_modules/circomlib/circuits/comparators.circom";

zkp/circuits/lib/check-positive.circom

@@ -13,7 +13,7 @@
 // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 // See the License for the specific language governing permissions and
 // limitations under the License.
-pragma circom 2.1.4;
+pragma circom 2.2.0;
 
 include "../node_modules/circomlib/circuits/poseidon.circom";
 include "../node_modules/circomlib/circuits/comparators.circom";

zkp/circuits/lib/check-smt-proof.circom

@@ -13,7 +13,7 @@
 // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 // See the License for the specific language governing permissions and
 // limitations under the License.
-pragma circom 2.1.4;
+pragma circom 2.2.0;
 
 include "../node_modules/circomlib/circuits/smt/smtverifier.circom";
 

zkp/circuits/lib/check-sum.circom

@@ -13,7 +13,7 @@
 // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 // See the License for the specific language governing permissions and
 // limitations under the License.
-pragma circom 2.1.4;
+pragma circom 2.2.0;
 
 include "../node_modules/circomlib/circuits/poseidon.circom";
 include "../node_modules/circomlib/circuits/comparators.circom";

zkp/circuits/lib/ecdh.circom

@@ -1,4 +1,4 @@
-pragma circom 2.1.4;
+pragma circom 2.2.0;
 
 // Copyright © 2024 Kaleido, Inc.
 //

zkp/circuits/lib/encrypt-outputs.circom

@@ -1,4 +1,4 @@
-pragma circom 2.1.4;
+pragma circom 2.2.0;
 
 include "./ecdh.circom";
 include "./encrypt.circom";

zkp/circuits/lib/encrypt.circom

@@ -13,7 +13,7 @@
 // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 // See the License for the specific language governing permissions and
 // limitations under the License.
-pragma circom 2.1.4;
+pragma circom 2.2.0;
 
 include "../node_modules/circomlib/circuits/comparators.circom";
 include "../node_modules/circomlib/circuits/poseidon.circom";

zkp/circuits/lib/poseidon-ex.circom

@@ -1,4 +1,4 @@
-pragma circom 2.1.4;
+pragma circom 2.2.0;
 
 include "../node_modules/circomlib/circuits/poseidon.circom";
 

zkp/circuits/lib/poseidon.circom

@@ -1,4 +1,4 @@
-pragma circom 2.1.4;
+pragma circom 2.2.0;
 
 include "../node_modules/circomlib/circuits/poseidon.circom";
 

zkp/circuits/nf_anon.circom

@@ -13,7 +13,7 @@
 // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 // See the License for the specific language governing permissions and
 // limitations under the License.
-pragma circom 2.1.4;
+pragma circom 2.2.0;
 
 include "./lib/check-hashes-tokenid-uri.circom";
 include "./lib/ecdh.circom";

zkp/circuits/nf_anon_nullifier.circom

@@ -13,7 +13,7 @@
 // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 // See the License for the specific language governing permissions and
 // limitations under the License.
-pragma circom 2.1.4;
+pragma circom 2.2.0;
 
 include "./lib/check-nullifier-tokenid-uri.circom";
 include "./lib/check-hashes-tokenid-uri.circom";

zkp/js/test/circuits/check-hashes-tokenid-uri.circom

@@ -13,7 +13,7 @@
 // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 // See the License for the specific language governing permissions and
 // limitations under the License.
-pragma circom 2.1.4;
+pragma circom 2.2.0;
 
 include "../../../circuits/lib/check-hashes-tokenid-uri.circom";