@aztec/l1-artifacts 0.0.1-commit.3f296a7d2 → 0.0.1-commit.42ee6df9b
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/dest/HonkVerifierBytecode.d.ts +2 -2
- package/dest/HonkVerifierBytecode.d.ts.map +1 -1
- package/dest/HonkVerifierBytecode.js +1 -1
- package/l1-contracts/cache/DeployAztecL1Contracts.s.sol/31337/run-1775470251600.json +100 -0
- package/l1-contracts/cache/DeployAztecL1Contracts.s.sol/31337/run-latest.json +100 -0
- package/l1-contracts/cache/DeployRollupForUpgrade.s.sol/31337/run-1775470253081.json +19 -0
- package/l1-contracts/cache/DeployRollupForUpgrade.s.sol/31337/run-latest.json +19 -0
- package/l1-contracts/cache/solidity-files-cache.json +1 -1
- package/l1-contracts/generated/HonkVerifier.sol +41 -41
- package/l1-contracts/out/DeployAztecL1Contracts.s.sol/DeployAztecL1Contracts.json +1 -1
- package/l1-contracts/out/DeployAztecL1Contracts.t.sol/DeployAztecL1ContractsTest.json +1 -1
- package/l1-contracts/out/DeployRollupForUpgrade.s.sol/DeployRollupForUpgrade.json +1 -1
- package/l1-contracts/out/DeployRollupForUpgrade.t.sol/DeployRollupForUpgradeTest.json +1 -1
- package/l1-contracts/out/DeployRollupLib.sol/DeployRollupLib.json +1 -1
- package/l1-contracts/out/HonkVerifier.sol/BaseHonkVerifier.json +1 -1
- package/l1-contracts/out/HonkVerifier.sol/CommitmentSchemeLib.json +1 -1
- package/l1-contracts/out/HonkVerifier.sol/Errors.json +1 -1
- package/l1-contracts/out/HonkVerifier.sol/FrLib.json +1 -1
- package/l1-contracts/out/HonkVerifier.sol/Honk.json +1 -1
- package/l1-contracts/out/HonkVerifier.sol/HonkVerificationKey.json +1 -1
- package/l1-contracts/out/HonkVerifier.sol/HonkVerifier.json +1 -1
- package/l1-contracts/out/HonkVerifier.sol/IVerifier.json +1 -1
- package/l1-contracts/out/HonkVerifier.sol/RelationsLib.json +1 -1
- package/l1-contracts/out/HonkVerifier.sol/TranscriptLib.json +1 -1
- package/l1-contracts/out/build-info/{220de66511cbb79e.json → d2dee0af1a6aa96b.json} +1 -1
- package/l1-contracts/out/build-info/{f6afa18785375412.json → ddc86ac99814d2e3.json} +1 -1
- package/l1-contracts/out/shouting.t.sol/ScreamAndShoutTest.json +1 -1
- package/l1-contracts/package.json +1 -1
- package/package.json +1 -1
|
@@ -5,7 +5,7 @@ pragma solidity >=0.8.21;
|
|
|
5
5
|
uint256 constant N = 16777216;
|
|
6
6
|
uint256 constant LOG_N = 24;
|
|
7
7
|
uint256 constant NUMBER_OF_PUBLIC_INPUTS = 119;
|
|
8
|
-
uint256 constant VK_HASH =
|
|
8
|
+
uint256 constant VK_HASH = 0x1a3f894cf7d14569f22d5608b0f2588a8613dfcc3a93566dbe4e113cb4fb5295;
|
|
9
9
|
library HonkVerificationKey {
|
|
10
10
|
function loadVerificationKey() internal pure returns (Honk.VerificationKey memory) {
|
|
11
11
|
Honk.VerificationKey memory vk = Honk.VerificationKey({
|
|
@@ -13,24 +13,24 @@ library HonkVerificationKey {
|
|
|
13
13
|
logCircuitSize: uint256(24),
|
|
14
14
|
publicInputsSize: uint256(119),
|
|
15
15
|
ql: Honk.G1Point({
|
|
16
|
-
x: uint256(
|
|
17
|
-
y: uint256(
|
|
16
|
+
x: uint256(0x19d60fc6cb516b53fb02c2f744ef2dd3e4b405ec0592916f9e54ad49564cbb3b),
|
|
17
|
+
y: uint256(0x24bd86e923b001dcd4a0473009f68e92081a633a29644fd9a4a9d6389493c4c3)
|
|
18
18
|
}),
|
|
19
19
|
qr: Honk.G1Point({
|
|
20
|
-
x: uint256(
|
|
21
|
-
y: uint256(
|
|
20
|
+
x: uint256(0x19fc267282b0c6ec56af6cd24cda9674c130139bffc3c8db692fd5de2155be68),
|
|
21
|
+
y: uint256(0x23dac8f577dbbbe088b5670246d41130a50a24c18a641746b33e74dd910f4a78)
|
|
22
22
|
}),
|
|
23
23
|
qo: Honk.G1Point({
|
|
24
|
-
x: uint256(
|
|
25
|
-
y: uint256(
|
|
24
|
+
x: uint256(0x00d5cdc3287439391b5e162ce2185d9f1b5ab68f296e6e36db43b0919ffb1fff),
|
|
25
|
+
y: uint256(0x1e4520363297e3cdee4389d8a51b25a949975cd358f59ae93872dc8cc0add929)
|
|
26
26
|
}),
|
|
27
27
|
q4: Honk.G1Point({
|
|
28
|
-
x: uint256(
|
|
29
|
-
y: uint256(
|
|
28
|
+
x: uint256(0x1ae0d30a666f493f3b9bf24694b6c506512db1eb7f47950865f248261c951ef8),
|
|
29
|
+
y: uint256(0x2ba1ce4124f7f4c721b173a258516b2153807aa65d539b0e27924fb14a3ce538)
|
|
30
30
|
}),
|
|
31
31
|
qm: Honk.G1Point({
|
|
32
|
-
x: uint256(
|
|
33
|
-
y: uint256(
|
|
32
|
+
x: uint256(0x0a8c8d00df2bbaac52bf07ea6415f961b384d15326ac0ab3c4b76b01b3647515),
|
|
33
|
+
y: uint256(0x2e84a1450ccec0ded8b3d6081466c2dd38d34ef9f333caf4a244d0c04d74fb02)
|
|
34
34
|
}),
|
|
35
35
|
qc: Honk.G1Point({
|
|
36
36
|
x: uint256(0x196e39aef110c0cf0e876f0867553746b8586b9fa38d1706a06cc2cab4adcf56),
|
|
@@ -45,44 +45,44 @@ library HonkVerificationKey {
|
|
|
45
45
|
y: uint256(0x278476b377ca161acf02afffbcaa96f3e7a9236d7d87c053c9b8c847bf2b39dc)
|
|
46
46
|
}),
|
|
47
47
|
qDeltaRange: Honk.G1Point({
|
|
48
|
-
x: uint256(
|
|
49
|
-
y: uint256(
|
|
48
|
+
x: uint256(0x2d8b10ecfca537a11774635c509fcbf8440ad770d49dec1e70ca9d653d5c5056),
|
|
49
|
+
y: uint256(0x0ff2f6db61c995571a87c61c45e70d6d7e1707d7bd3f522028d58bce0cab8f45)
|
|
50
50
|
}),
|
|
51
51
|
qElliptic: Honk.G1Point({
|
|
52
|
-
x: uint256(
|
|
53
|
-
y: uint256(
|
|
52
|
+
x: uint256(0x06c5f70d14f8d1f2f016d3ee9a623de9d3aafbe4b452310e6918ab1087a70439),
|
|
53
|
+
y: uint256(0x23c05f41383aa0afaf5c788f4c0453c131580130390aba9783ba2ea57dec6788)
|
|
54
54
|
}),
|
|
55
55
|
qMemory: Honk.G1Point({
|
|
56
|
-
x: uint256(
|
|
57
|
-
y: uint256(
|
|
56
|
+
x: uint256(0x2d049c934b957264bbce287a0ad903147bf5c3219e9b2664733b112fcedbacbe),
|
|
57
|
+
y: uint256(0x27a29f97a375ce8ac35fb48384c5d09b147d5498413271bfe398b98d06582d88)
|
|
58
58
|
}),
|
|
59
59
|
qNnf: Honk.G1Point({
|
|
60
|
-
x: uint256(
|
|
61
|
-
y: uint256(
|
|
60
|
+
x: uint256(0x17f4ecedac2901a7a78eb22fa98c2d567e58d08da4f7cc3dcb5d0cf0af88a427),
|
|
61
|
+
y: uint256(0x1885bbe06a64dc2982878b24fd0a0f94f56ceb656a2e02c8fbf0de2f3c6ad14c)
|
|
62
62
|
}),
|
|
63
63
|
qPoseidon2External: Honk.G1Point({
|
|
64
|
-
x: uint256(
|
|
65
|
-
y: uint256(
|
|
64
|
+
x: uint256(0x123b4c3b58b588eb5742c3b0333c78c9988cb89d0ed82dac9cbb9c843b5de819),
|
|
65
|
+
y: uint256(0x1c6170a17c1a548949af9ffb492a26035f70337e2603e4cb78af5be6f0ea9858)
|
|
66
66
|
}),
|
|
67
67
|
qPoseidon2Internal: Honk.G1Point({
|
|
68
|
-
x: uint256(
|
|
69
|
-
y: uint256(
|
|
68
|
+
x: uint256(0x0d255cca72a76f442194aa053101b3d98dda680ce1e7c05f17918c8d7270aa11),
|
|
69
|
+
y: uint256(0x279d29c0a15a88042de800c859fdcdbb5b54c5db0b6c2bd8cdd16cf5905ddf6f)
|
|
70
70
|
}),
|
|
71
71
|
s1: Honk.G1Point({
|
|
72
|
-
x: uint256(
|
|
73
|
-
y: uint256(
|
|
72
|
+
x: uint256(0x11a3b9c7c85ace8a4250ebea0be44182f6e131df2529115bb4b238f6f4f54c4e),
|
|
73
|
+
y: uint256(0x1d964fa8886d564252397006b641afb5b5483abc5c8eb8d86ed48e86ea832feb)
|
|
74
74
|
}),
|
|
75
75
|
s2: Honk.G1Point({
|
|
76
|
-
x: uint256(
|
|
77
|
-
y: uint256(
|
|
76
|
+
x: uint256(0x27a9aef219fe7704a8a8c69f75de236fcb5c26ba1667d4968fc4fe99799b0a7e),
|
|
77
|
+
y: uint256(0x00c200c87404986e204a86cce49484e98da6a1ca8be79d0dd4b762fdad021b7f)
|
|
78
78
|
}),
|
|
79
79
|
s3: Honk.G1Point({
|
|
80
|
-
x: uint256(
|
|
81
|
-
y: uint256(
|
|
80
|
+
x: uint256(0x189542e2eb4af5d2ed5dc563399d9f386022a1ec9182c5ccddb7c364ca1843c7),
|
|
81
|
+
y: uint256(0x203a781642c4c550611116ec2600b7a139af81b0e83b0ddb0af80c053f31adfa)
|
|
82
82
|
}),
|
|
83
83
|
s4: Honk.G1Point({
|
|
84
|
-
x: uint256(
|
|
85
|
-
y: uint256(
|
|
84
|
+
x: uint256(0x27c2c4d975ea5dce1afcf98187a3298c9b9cb793599a39d1b59bcb48b58b4ce1),
|
|
85
|
+
y: uint256(0x0faa6c007b00ccd939aeec05282e8f8e4b6d90b4cd2ef34f075728281f33de3c)
|
|
86
86
|
}),
|
|
87
87
|
t1: Honk.G1Point({
|
|
88
88
|
x: uint256(0x2194d92617bbb3ba3d9e53f4f13c5c7c6fc5ae0c56f06e0a35747f24625e5763),
|
|
@@ -101,28 +101,28 @@ library HonkVerificationKey {
|
|
|
101
101
|
y: uint256(0x283eb52c07506637e09fb73d7875ada840d8e4c75295a90dc312b4d2571c52c3)
|
|
102
102
|
}),
|
|
103
103
|
id1: Honk.G1Point({
|
|
104
|
-
x: uint256(
|
|
105
|
-
y: uint256(
|
|
104
|
+
x: uint256(0x142b7ffd5fc65d784b06ef0305207d6ce56d8a5bd988b58a87c4438a154cc289),
|
|
105
|
+
y: uint256(0x16dcc049b3881b6fc47833040fbd577da36d2744ab82720be9992332ecc62830)
|
|
106
106
|
}),
|
|
107
107
|
id2: Honk.G1Point({
|
|
108
|
-
x: uint256(
|
|
109
|
-
y: uint256(
|
|
108
|
+
x: uint256(0x1255dc7929665cb1e9967bcee3b5e8fcc772576daf07a8410c8e27695a5f19c8),
|
|
109
|
+
y: uint256(0x076a081ea5400fb7f7c2c529fdb9c88a08a062a5e919f3da7a26aefb1fab4ab5)
|
|
110
110
|
}),
|
|
111
111
|
id3: Honk.G1Point({
|
|
112
|
-
x: uint256(
|
|
113
|
-
y: uint256(
|
|
112
|
+
x: uint256(0x305881fea4a5a74d0e3a8a842002098414b00df034fe8a1763406d685eed17d9),
|
|
113
|
+
y: uint256(0x2eee772f93f903838ff22103edf6574dda242be7c27e9ba8b5a6cff978322d62)
|
|
114
114
|
}),
|
|
115
115
|
id4: Honk.G1Point({
|
|
116
|
-
x: uint256(
|
|
117
|
-
y: uint256(
|
|
116
|
+
x: uint256(0x2c0e981468d262c7dcc5243ae29466db7a980130afc1303a57d03043ca2d1223),
|
|
117
|
+
y: uint256(0x00bc3ddcd237f770995393f077864bc2f313371b053cfeee52b355072fe40c1c)
|
|
118
118
|
}),
|
|
119
119
|
lagrangeFirst: Honk.G1Point({
|
|
120
120
|
x: uint256(0x0000000000000000000000000000000000000000000000000000000000000001),
|
|
121
121
|
y: uint256(0x0000000000000000000000000000000000000000000000000000000000000002)
|
|
122
122
|
}),
|
|
123
123
|
lagrangeLast: Honk.G1Point({
|
|
124
|
-
x: uint256(
|
|
125
|
-
y: uint256(
|
|
124
|
+
x: uint256(0x12b9f10190d9b8ee97874cce294761a25c6b52cbe2f07f8f680451d79287853d),
|
|
125
|
+
y: uint256(0x0099874be1cffce9c9c33ba0a4fa132b17209ea9d6257394b70037ebc1a2e9b2)
|
|
126
126
|
})
|
|
127
127
|
});
|
|
128
128
|
return vk;
|