uplgrade circom compiler version to 2.1.9

zk-passport · Sep 20, 2024 · bd41e57 · bd41e57
1 parent 3329a6e
commit bd41e57
Show file tree

Hide file tree

Showing 58 changed files with 60 additions and 56 deletions.
diff --git a/circuits/circuits/disclose/disclose.circom b/circuits/circuits/disclose/disclose.circom
@@ -1,4 +1,4 @@
-pragma circom 2.1.5;
+pragma circom 2.1.9;
 
 include "circomlib/circuits/poseidon.circom";
 include "../utils/other/bytes.circom";

diff --git a/circuits/circuits/disclose/vc_and_disclose.circom b/circuits/circuits/disclose/vc_and_disclose.circom
@@ -1,4 +1,4 @@
-pragma circom 2.1.5;
+pragma circom 2.1.9;
 
 include "./verify_commitment.circom";
 include "./disclose.circom";

diff --git a/circuits/circuits/disclose/verify_commitment.circom b/circuits/circuits/disclose/verify_commitment.circom
@@ -1,4 +1,4 @@
-pragma circom 2.1.5;
+pragma circom 2.1.9;
 
 include "circomlib/circuits/poseidon.circom";
 include "../utils/other/bytes.circom";

diff --git a/circuits/circuits/dsc/instances/dsc_rsa_65537_sha1_2048.circom b/circuits/circuits/dsc/instances/dsc_rsa_65537_sha1_2048.circom
@@ -1,3 +1,4 @@
+pragma circom 2.1.9;
 include "../openpassport_dsc.circom";
 
 component main = OPENPASSPORT_DSC(3, 64, 32, 64, 32, 960, 256, 12);
diff --git a/circuits/circuits/dsc/instances/dsc_rsa_65537_sha256_2048.circom b/circuits/circuits/dsc/instances/dsc_rsa_65537_sha256_2048.circom
@@ -1,3 +1,5 @@
+pragma circom 2.1.9;
+
 include "../openpassport_dsc.circom";
 
-component main = OPENPASSPORT_DSC(1, 64, 32, 64, 32, 960, 256, 12);
+component main = OPENPASSPORT_DSC(1, 64, 32, 64, 32, 960, 256, 12);
diff --git a/circuits/circuits/dsc/instances/dsc_rsapss_65537_sha256_2048.circom b/circuits/circuits/dsc/instances/dsc_rsapss_65537_sha256_2048.circom
@@ -1,3 +1,4 @@
+pragma circom 2.1.9;
 include "../openpassport_dsc.circom";
 
 component main = OPENPASSPORT_DSC(4, 64, 32, 64, 32, 960, 256, 12);
diff --git a/circuits/circuits/dsc/openpassport_dsc.circom b/circuits/circuits/dsc/openpassport_dsc.circom
@@ -1,4 +1,4 @@
-pragma circom 2.1.5;
+pragma circom 2.1.9;
 
 include "circomlib/circuits/bitify.circom";
 include "circomlib/circuits/poseidon.circom";

diff --git a/circuits/circuits/ofac/ofac_name.circom b/circuits/circuits/ofac/ofac_name.circom
@@ -1,4 +1,4 @@
-pragma circom 2.1.5;
+pragma circom 2.1.9;
 
 include "circomlib/circuits/poseidon.circom";
 include "circomlib/circuits/comparators.circom";

diff --git a/circuits/circuits/ofac/ofac_name_dob.circom b/circuits/circuits/ofac/ofac_name_dob.circom
@@ -1,4 +1,4 @@
-pragma circom 2.1.5;
+pragma circom 2.1.9;
 
 include "circomlib/circuits/poseidon.circom";
 include "circomlib/circuits/comparators.circom";

diff --git a/circuits/circuits/ofac/ofac_passport_number.circom b/circuits/circuits/ofac/ofac_passport_number.circom
@@ -1,4 +1,4 @@
-pragma circom 2.1.5;
+pragma circom 2.1.9;
 
 include "circomlib/circuits/poseidon.circom";
 include "circomlib/circuits/comparators.circom";

diff --git a/circuits/circuits/prove/instances/prove_ecdsa_sha1.circom b/circuits/circuits/prove/instances/prove_ecdsa_sha1.circom
@@ -1,4 +1,4 @@
-pragma circom 2.1.6;
+pragma circom 2.1.9;
 
 include "../openpassport_prove.circom";
 

diff --git a/circuits/circuits/prove/instances/prove_ecdsa_sha256.circom b/circuits/circuits/prove/instances/prove_ecdsa_sha256.circom
@@ -1,4 +1,4 @@
-pragma circom 2.1.6;
+pragma circom 2.1.9;
 
 include "../openpassport_prove.circom";
 

diff --git a/circuits/circuits/prove/instances/prove_rsa_65537_sha1.circom b/circuits/circuits/prove/instances/prove_rsa_65537_sha1.circom
@@ -1,4 +1,4 @@
-pragma circom 2.1.6;
+pragma circom 2.1.9;
 
 include "../openpassport_prove.circom";
 

diff --git a/circuits/circuits/prove/instances/prove_rsa_65537_sha256.circom b/circuits/circuits/prove/instances/prove_rsa_65537_sha256.circom
@@ -1,4 +1,4 @@
-pragma circom 2.1.6;
+pragma circom 2.1.9;
 
 include "../openpassport_prove.circom";
 

diff --git a/circuits/circuits/prove/instances/prove_rsapss_65537_sha256.circom b/circuits/circuits/prove/instances/prove_rsapss_65537_sha256.circom
@@ -1,4 +1,4 @@
-pragma circom 2.1.6;
+pragma circom 2.1.9;
 
 include "../openpassport_prove.circom";
 

diff --git a/circuits/circuits/prove/openpassport_prove.circom b/circuits/circuits/prove/openpassport_prove.circom
@@ -1,4 +1,4 @@
-pragma circom 2.1.6;
+pragma circom 2.1.9;
 
 include "../utils/passport/customHashers.circom";
 include "../utils/passport/computeCommitment.circom";

diff --git a/circuits/circuits/utils/circom-ecdsa/ecdsa.circom b/circuits/circuits/utils/circom-ecdsa/ecdsa.circom
@@ -1,6 +1,6 @@
 /// This file implements the ECDSA verification algorithm along with public key generation (xG)
 
-pragma circom 2.1.5;
+pragma circom 2.1.9;
 include "../../../node_modules/circomlib/circuits/multiplexer.circom";
 
 include "p256.circom";

diff --git a/circuits/circuits/utils/circom-ecdsa/ecdsa_func.circom b/circuits/circuits/utils/circom-ecdsa/ecdsa_func.circom
@@ -1,4 +1,4 @@
-pragma circom 2.1.5;
+pragma circom 2.1.9;
 
 function get_g_pow_stride8_table(n, k) {
     assert(n == 43 && k == 6);

diff --git a/circuits/circuits/utils/circom-ecdsa/p256.circom b/circuits/circuits/utils/circom-ecdsa/p256.circom
@@ -1,4 +1,4 @@
-pragma circom 2.1.5;
+pragma circom 2.1.9;
 
 include "curve.circom";
 include "p256_func.circom";

diff --git a/circuits/circuits/utils/circom-ecdsa/p256_func.circom b/circuits/circuits/utils/circom-ecdsa/p256_func.circom
@@ -1,6 +1,6 @@
 /// This file provides methods to grab curve parameter based on various representations
 
-pragma circom 2.1.5;
+pragma circom 2.1.9;
 
 function get_A(n, k) {
     assert((n == 86 && k == 3) || (n == 64 && k == 4) || (n == 43 && k ==6));

diff --git a/circuits/circuits/utils/circom-ecdsa/p256_utils.circom b/circuits/circuits/utils/circom-ecdsa/p256_utils.circom
@@ -1,6 +1,6 @@
 /// UNUSED FILE
 
-pragma circom 2.1.5;
+pragma circom 2.1.9;
 
 include "bigInt_func.circom";
 include "p256_func.circom";

diff --git a/circuits/circuits/utils/other/array.circom b/circuits/circuits/utils/other/array.circom
@@ -1,4 +1,4 @@
-pragma circom 2.1.6;
+pragma circom 2.1.9;
 
 include "circomlib/circuits/comparators.circom";
 include "circomlib/circuits/bitify.circom";

diff --git a/circuits/circuits/utils/other/bytes.circom b/circuits/circuits/utils/other/bytes.circom
@@ -1,4 +1,4 @@
-pragma circom 2.1.6;
+pragma circom 2.1.9;
 
 include "circomlib/circuits/bitify.circom";
 include "circomlib/circuits/comparators.circom";

diff --git a/circuits/circuits/utils/other/chunk_data.circom b/circuits/circuits/utils/other/chunk_data.circom
@@ -1,4 +1,4 @@
-pragma circom 2.1.5;
+pragma circom 2.1.9;
 
 // Converts data into chunk_size chunks of 192 bits, assuming original n, k are 64 and 32.
 // This is because Poseidon circuit only supports an array of 16 elements.

diff --git a/circuits/circuits/utils/other/constants.circom b/circuits/circuits/utils/other/constants.circom
@@ -1,4 +1,4 @@
-pragma circom 2.1.6;
+pragma circom 2.1.9;
 
 
 function EMAIL_ADDR_MAX_BYTES() {

diff --git a/circuits/circuits/utils/other/fp.circom b/circuits/circuits/utils/other/fp.circom
@@ -1,4 +1,4 @@
-pragma circom 2.1.6;
+pragma circom 2.1.9;
 
 include "circomlib/circuits/bitify.circom";
 include "circomlib/circuits/comparators.circom";

diff --git a/circuits/circuits/utils/other/functions.circom b/circuits/circuits/utils/other/functions.circom
@@ -1,4 +1,4 @@
-pragma circom 2.1.6;
+pragma circom 2.1.9;
 
 /// @function log2Ceil
 /// @notice Calculate log2 of a number and round it up

diff --git a/circuits/circuits/utils/other/getCommonLength.circom b/circuits/circuits/utils/other/getCommonLength.circom
@@ -1,4 +1,4 @@
-pragma circom 2.1.5;
+pragma circom 2.1.9;
 
 include "circomlib/circuits/comparators.circom";
 include "circomlib/circuits/bitify.circom";

diff --git a/circuits/circuits/utils/other/smt.circom b/circuits/circuits/utils/other/smt.circom
@@ -1,4 +1,4 @@
-pragma circom 2.1.5;
+pragma circom 2.1.9;
 
 include "circomlib/circuits/poseidon.circom";
 include "circomlib/circuits/comparators.circom";

diff --git a/circuits/circuits/utils/passport/customHashers.circom b/circuits/circuits/utils/passport/customHashers.circom
@@ -1,4 +1,4 @@
-pragma circom 2.1.6;
+pragma circom 2.1.9;
 include "../other/fp.circom";
 include "circomlib/circuits/poseidon.circom";
 

diff --git a/circuits/circuits/utils/passport/date/dateIsLess.circom b/circuits/circuits/utils/passport/date/dateIsLess.circom
@@ -1,4 +1,4 @@
-pragma circom 2.1.6;
+pragma circom 2.1.9;
 
 include "../node_modules/circomlib/circuits/comparators.circom";
 

diff --git a/circuits/circuits/utils/passport/date/isOlderThan.circom b/circuits/circuits/utils/passport/date/isOlderThan.circom
@@ -1,4 +1,4 @@
-pragma circom 2.1.6;
+pragma circom 2.1.9;
 
 include "../node_modules/circomlib/circuits/comparators.circom";
 include "../node_modules/circomlib/circuits/bitify.circom";

diff --git a/circuits/circuits/utils/passport/date/isValid.circom b/circuits/circuits/utils/passport/date/isValid.circom
@@ -1,4 +1,4 @@
-pragma circom 2.1.6;
+pragma circom 2.1.9;
 
 include "../node_modules/circomlib/circuits/comparators.circom";
 include "../node_modules/circomlib/circuits/bitify.circom";

diff --git a/circuits/circuits/utils/passport/formatECDSAInputs.circom b/circuits/circuits/utils/passport/formatECDSAInputs.circom
@@ -1,4 +1,4 @@
-pragma circom 2.1.6;
+pragma circom 2.1.9;
 
 
 template FormatECDSAInputs(signatureAlgorithm, k) {

diff --git a/circuits/circuits/utils/passport/passportVerifier.circom b/circuits/circuits/utils/passport/passportVerifier.circom
@@ -1,4 +1,4 @@
-pragma circom 2.1.6;
+pragma circom 2.1.9;
 
 include "../other/array.circom";
 include "../other/bytes.circom";

diff --git a/circuits/circuits/utils/passport/secp256r1Verifier.circom b/circuits/circuits/utils/passport/secp256r1Verifier.circom
@@ -1,4 +1,4 @@
-pragma circom 2.1.6;
+pragma circom 2.1.9;
 
 include "./signatureAlgorithm.circom";
 include "../circom-ecdsa/ecdsa.circom";

diff --git a/circuits/circuits/utils/passport/signatureAlgorithm.circom b/circuits/circuits/utils/passport/signatureAlgorithm.circom
@@ -1,4 +1,4 @@
-pragma circom 2.1.6;
+pragma circom 2.1.9;
 
 function getHashLength(signatureAlgorithm) {
     if (signatureAlgorithm == 1 ) {

diff --git a/circuits/circuits/utils/passport/signatureVerifier.circom b/circuits/circuits/utils/passport/signatureVerifier.circom
@@ -1,4 +1,4 @@
-pragma circom 2.1.6;
+pragma circom 2.1.9;
 
 include "../rsa/rsaPkcs1.circom";
 // include "../rsa/rsaPkcs1v15.circom";

diff --git a/circuits/circuits/utils/rsa/powMod.circom b/circuits/circuits/utils/rsa/powMod.circom
@@ -1,4 +1,4 @@
-pragma circom 2.1.6;
+pragma circom 2.1.9;
 
 include "../other/bigInt.circom";
 

diff --git a/circuits/circuits/utils/rsa/rsa.circom b/circuits/circuits/utils/rsa/rsa.circom
@@ -1,4 +1,4 @@
-pragma circom 2.1.6;
+pragma circom 2.1.9;
 
 include "../other/fp.circom";
 

diff --git a/circuits/circuits/utils/rsa/rsaPkcs1.circom b/circuits/circuits/utils/rsa/rsaPkcs1.circom
@@ -1,4 +1,4 @@
-pragma circom 2.1.5;
+pragma circom 2.1.9;
 
 //include "@zk-email/circuits/lib/fp.circom";
 include "../other/fp.circom";

diff --git a/circuits/circuits/utils/rsa/rsaPkcs1v15.circom b/circuits/circuits/utils/rsa/rsaPkcs1v15.circom
@@ -1,4 +1,4 @@
-pragma circom 2.1.6;
+pragma circom 2.1.9;
 
 include "./powMod.circom";
 include "circomlib/circuits/bitify.circom";

diff --git a/circuits/circuits/utils/rsa/rsaVerify.circom b/circuits/circuits/utils/rsa/rsaVerify.circom
@@ -1,4 +1,4 @@
-pragma circom 2.1.6;
+pragma circom 2.1.9;
 
 include "./rsa.circom";
 

diff --git a/circuits/circuits/utils/rsapss/mgf1.circom b/circuits/circuits/utils/rsapss/mgf1.circom
@@ -1,4 +1,4 @@
-pragma circom 2.1.6;
+pragma circom 2.1.9;
 
 include "circomlib/circuits/bitify.circom";
 include "../sha2/sha256/sha256_hash_bits.circom";

diff --git a/circuits/circuits/utils/rsapss/xor2.circom b/circuits/circuits/utils/rsapss/xor2.circom
@@ -1,4 +1,4 @@
-pragma circom 2.1.6;
+pragma circom 2.1.9;
 
 template Xor2(n) {
     signal input a[n];

diff --git a/circuits/circuits/utils/sha1/constants.circom b/circuits/circuits/utils/sha1/constants.circom
@@ -1,4 +1,4 @@
-pragma circom 2.1.3;
+pragma circom 2.1.9;
 
 include "../node_modules/circomlib/circuits/bitify.circom";
 

diff --git a/circuits/circuits/utils/sha1/f.circom b/circuits/circuits/utils/sha1/f.circom
@@ -1,4 +1,4 @@
-pragma circom 2.1.3;
+pragma circom 2.1.9;
 
 include "./parity.circom";
 include "../node_modules/circomlib/circuits/sha256/maj.circom";

diff --git a/circuits/circuits/utils/sha1/parity.circom b/circuits/circuits/utils/sha1/parity.circom
@@ -1,4 +1,4 @@
-pragma circom 2.1.3;
+pragma circom 2.1.9;
 
 include "../node_modules/circomlib/circuits/sha256/xor3.circom";
 

diff --git a/circuits/circuits/utils/sha1/rotate.circom b/circuits/circuits/utils/sha1/rotate.circom
@@ -1,4 +1,4 @@
-pragma circom 2.1.3;
+pragma circom 2.1.9;
 
 template RotL(n, l) {
     signal input in[n];

diff --git a/circuits/circuits/utils/sha1/sha1.circom b/circuits/circuits/utils/sha1/sha1.circom
@@ -1,4 +1,4 @@
-pragma circom 2.1.3;
+pragma circom 2.1.9;
 
 include "constants.circom";
 include "sha1compression.circom";

diff --git a/circuits/circuits/utils/sha1/sha1compression.circom b/circuits/circuits/utils/sha1/sha1compression.circom
@@ -1,4 +1,4 @@
-pragma circom 2.1.3;
+pragma circom 2.1.9;
 
 include "./rotate.circom";  
 include "./xor4.circom";

diff --git a/circuits/circuits/utils/sha1/t.circom b/circuits/circuits/utils/sha1/t.circom
@@ -1,4 +1,4 @@
-pragma circom 2.1.3;
+pragma circom 2.1.9;
 
 include "./rotate.circom";
 include "circomlib/circuits/binsum.circom";

diff --git a/circuits/circuits/utils/sha1/xor4.circom b/circuits/circuits/utils/sha1/xor4.circom
@@ -1,4 +1,4 @@
-pragma circom 2.1.3;
+pragma circom 2.1.9;
 
 template Xor4(n) {
     signal input a[n];

diff --git a/circuits/circuits/utils/shaBytes/dynamic/sha256Bytes.circom b/circuits/circuits/utils/shaBytes/dynamic/sha256Bytes.circom
@@ -1,4 +1,4 @@
-pragma circom 2.1.6;
+pragma circom 2.1.9;
 
 include "circomlib/circuits/bitify.circom";
 include "circomlib/circuits/sha256/constants.circom";

diff --git a/circuits/circuits/utils/shaBytes/shaBytesDynamic.circom b/circuits/circuits/utils/shaBytes/shaBytesDynamic.circom
@@ -1,4 +1,4 @@
-pragma circom 2.1.6;
+pragma circom 2.1.9;
 
 include "./dynamic/sha1Bytes.circom";
 include "./dynamic/sha256Bytes.circom";

diff --git a/circuits/circuits/utils/shaBytes/shaBytesStatic.circom b/circuits/circuits/utils/shaBytes/shaBytesStatic.circom
@@ -1,4 +1,4 @@
-pragma circom 2.1.6;
+pragma circom 2.1.9;
 
 include "./static/Sha256BytesStatic.circom";
 include "./static/Sha1BytesStatic.circom";

diff --git a/circuits/circuits/utils/shaBytes/static/Sha1BytesStatic.circom b/circuits/circuits/utils/shaBytes/static/Sha1BytesStatic.circom
@@ -1,4 +1,4 @@
-pragma circom 2.1.5;
+pragma circom 2.1.9;
 
 include "circomlib/circuits/bitify.circom";
 include "../../sha1/sha1.circom";

diff --git a/circuits/circuits/utils/shaBytes/static/Sha256BytesStatic.circom b/circuits/circuits/utils/shaBytes/static/Sha256BytesStatic.circom
@@ -1,4 +1,4 @@
-pragma circom 2.1.5;
+pragma circom 2.1.9;
 
 include "circomlib/circuits/bitify.circom";
 include "circomlib/circuits/sha256/sha256.circom";