Skip to content

Commit 300f1ef

Browse files
authored
feat: New certificate tags to allow for more masterlists (#86)
* use 128-bit limb array for certificate tags * increase limb size to 253 bit * use generics for has_value_in_tags function * update utils to support new certificate tags * update circuit manifest fixture
1 parent 32b7ec2 commit 300f1ef

File tree

290 files changed

+1789
-1712
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

290 files changed

+1789
-1712
lines changed

package-lock.json

Lines changed: 226 additions & 226 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

package.json

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -22,8 +22,8 @@
2222
"@noble/curves": "^1.6.0",
2323
"@noble/hashes": "^1.5.0",
2424
"@noble/secp256k1": "^2.1.0",
25-
"@noir-lang/noir_js": "^1.0.0-beta.8",
26-
"@noir-lang/noir_wasm": "^1.0.0-beta.8",
25+
"@noir-lang/noir_js": "1.0.0-beta.8",
26+
"@noir-lang/noir_wasm": "1.0.0-beta.8",
2727
"@peculiar/asn1-cms": "^2.3.15",
2828
"@peculiar/asn1-ecc": "^2.3.15",
2929
"@peculiar/asn1-rsa": "^2.3.15",
@@ -35,7 +35,7 @@
3535
"@types/node": "^22.10.1",
3636
"@types/node-forge": "^1.3.11",
3737
"@zkpassport/poseidon2": "^0.6.1",
38-
"@zkpassport/utils": "^0.21.1",
38+
"@zkpassport/utils": "^0.22.0",
3939
"aws-cdk": "^2.176.0",
4040
"aws-cdk-lib": "^2.176.0",
4141
"babel-jest": "^29.7.0",

src/noir/bin/sig-check/dsc/tbs_1000/ecdsa/brainpool/192r1/sha1/src/main.nr

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -8,7 +8,7 @@ fn main(
88
certificate_registry_root: pub Field,
99
certificate_registry_index: Field,
1010
certificate_registry_hash_path: [Field; 16],
11-
certificate_tags: Field,
11+
certificate_tags: [Field; 3],
1212
salt: Field,
1313
country: str<3>,
1414
csc_pubkey_x: [u8; 24],

src/noir/bin/sig-check/dsc/tbs_1000/ecdsa/brainpool/192r1/sha256/src/main.nr

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -8,7 +8,7 @@ fn main(
88
certificate_registry_root: pub Field,
99
certificate_registry_index: Field,
1010
certificate_registry_hash_path: [Field; 16],
11-
certificate_tags: Field,
11+
certificate_tags: [Field; 3],
1212
salt: Field,
1313
country: str<3>,
1414
csc_pubkey_x: [u8; 24],

src/noir/bin/sig-check/dsc/tbs_1000/ecdsa/brainpool/192r1/sha384/src/main.nr

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -8,7 +8,7 @@ fn main(
88
certificate_registry_root: pub Field,
99
certificate_registry_index: Field,
1010
certificate_registry_hash_path: [Field; 16],
11-
certificate_tags: Field,
11+
certificate_tags: [Field; 3],
1212
salt: Field,
1313
country: str<3>,
1414
csc_pubkey_x: [u8; 24],

src/noir/bin/sig-check/dsc/tbs_1000/ecdsa/brainpool/192r1/sha512/src/main.nr

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -8,7 +8,7 @@ fn main(
88
certificate_registry_root: pub Field,
99
certificate_registry_index: Field,
1010
certificate_registry_hash_path: [Field; 16],
11-
certificate_tags: Field,
11+
certificate_tags: [Field; 3],
1212
salt: Field,
1313
country: str<3>,
1414
csc_pubkey_x: [u8; 24],

src/noir/bin/sig-check/dsc/tbs_1000/ecdsa/brainpool/224r1/sha1/src/main.nr

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -8,7 +8,7 @@ fn main(
88
certificate_registry_root: pub Field,
99
certificate_registry_index: Field,
1010
certificate_registry_hash_path: [Field; 16],
11-
certificate_tags: Field,
11+
certificate_tags: [Field; 3],
1212
salt: Field,
1313
country: str<3>,
1414
csc_pubkey_x: [u8; 28],

src/noir/bin/sig-check/dsc/tbs_1000/ecdsa/brainpool/224r1/sha256/src/main.nr

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -8,7 +8,7 @@ fn main(
88
certificate_registry_root: pub Field,
99
certificate_registry_index: Field,
1010
certificate_registry_hash_path: [Field; 16],
11-
certificate_tags: Field,
11+
certificate_tags: [Field; 3],
1212
salt: Field,
1313
country: str<3>,
1414
csc_pubkey_x: [u8; 28],

src/noir/bin/sig-check/dsc/tbs_1000/ecdsa/brainpool/224r1/sha384/src/main.nr

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -8,7 +8,7 @@ fn main(
88
certificate_registry_root: pub Field,
99
certificate_registry_index: Field,
1010
certificate_registry_hash_path: [Field; 16],
11-
certificate_tags: Field,
11+
certificate_tags: [Field; 3],
1212
salt: Field,
1313
country: str<3>,
1414
csc_pubkey_x: [u8; 28],

src/noir/bin/sig-check/dsc/tbs_1000/ecdsa/brainpool/224r1/sha512/src/main.nr

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -8,7 +8,7 @@ fn main(
88
certificate_registry_root: pub Field,
99
certificate_registry_index: Field,
1010
certificate_registry_hash_path: [Field; 16],
11-
certificate_tags: Field,
11+
certificate_tags: [Field; 3],
1212
salt: Field,
1313
country: str<3>,
1414
csc_pubkey_x: [u8; 28],

0 commit comments

Comments
 (0)