@aztec/l1-artifacts 0.0.1-commit.684755437 → 0.0.1-commit.6b113946b
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/solidity-files-cache.json +1 -1
- package/l1-contracts/generated/HonkVerifier.sol +45 -45
- 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/{8ea847fb96c98d29.json → fb7d1cbd694e4717.json} +1 -1
- package/l1-contracts/out/shouting.t.sol/ScreamAndShoutTest.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 = 0x25284e2fe9e26e9c45b5f21a11ff5e9ced27df8ededaaf0b81b15383ad939e98;
|
|
9
9
|
library HonkVerificationKey {
|
|
10
10
|
function loadVerificationKey() internal pure returns (Honk.VerificationKey memory) {
|
|
11
11
|
Honk.VerificationKey memory vk = Honk.VerificationKey({
|
|
@@ -13,76 +13,76 @@ 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(0x027b048f55e73e3cf0f3e760cfb09545e5d10c3fe5f3268a90c565f1e636d73b),
|
|
17
|
+
y: uint256(0x09a018bb39e954b8f18f93bde6a8fd9adee41f7fe449c389010dcb5c56f6a8f7)
|
|
18
18
|
}),
|
|
19
19
|
qr: Honk.G1Point({
|
|
20
|
-
x: uint256(
|
|
21
|
-
y: uint256(
|
|
20
|
+
x: uint256(0x07c773a5380427ff1a4fe34713ac0bfebcbc7d6341f5674ff80f9fa5c6efee4e),
|
|
21
|
+
y: uint256(0x1358d242ddf5e364abcfffa75ca462b4ffc0ae189e21def69570ae4290cf4534)
|
|
22
22
|
}),
|
|
23
23
|
qo: Honk.G1Point({
|
|
24
|
-
x: uint256(
|
|
25
|
-
y: uint256(
|
|
24
|
+
x: uint256(0x2bce843d7899f97350b884ae0b5b2ee19ab0c6b6f63f7b9752c5712f2e97bed9),
|
|
25
|
+
y: uint256(0x2b2904429070462d6d6d7abddd68e49519333214e0d1559e2c81565794e9cb3a)
|
|
26
26
|
}),
|
|
27
27
|
q4: Honk.G1Point({
|
|
28
|
-
x: uint256(
|
|
29
|
-
y: uint256(
|
|
28
|
+
x: uint256(0x1160a1cd6abd232ec22c3c3d3af89d70cb05af3d05e1cda9870f1bf12f63928b),
|
|
29
|
+
y: uint256(0x29775fd067ece370292b500e7d3a5c58c0daebd478c47be97d88750257316756)
|
|
30
30
|
}),
|
|
31
31
|
qm: Honk.G1Point({
|
|
32
|
-
x: uint256(
|
|
33
|
-
y: uint256(
|
|
32
|
+
x: uint256(0x1b63cbcafbc7049654e57e49022388efd6fea152a6ddc2d56c76c95f6cf4138e),
|
|
33
|
+
y: uint256(0x15d9054f20c69b3993fd3d83f137abbcbfba45d6443277d7acd06db059a41531)
|
|
34
34
|
}),
|
|
35
35
|
qc: Honk.G1Point({
|
|
36
|
-
x: uint256(
|
|
37
|
-
y: uint256(
|
|
36
|
+
x: uint256(0x29c0f62ed10294e8c3ea4412e4d12b975a87868720a50d9fcccc8227c5a56749),
|
|
37
|
+
y: uint256(0x25f2b41a7ba2798892c7b7f5112f7daa51b7f02a5274815b64ad481e1f00aaf6)
|
|
38
38
|
}),
|
|
39
39
|
qLookup: Honk.G1Point({
|
|
40
40
|
x: uint256(0x2cb419ef3eccb0db6e471fd8fda94ff432adc91fa3d7b996e2620738b68f36b7),
|
|
41
41
|
y: uint256(0x02a10bfbecf3601c6c06b65fe96abc9fb42f812f9794cbded65e33942a411fef)
|
|
42
42
|
}),
|
|
43
43
|
qArith: Honk.G1Point({
|
|
44
|
-
x: uint256(
|
|
45
|
-
y: uint256(
|
|
44
|
+
x: uint256(0x0e298df1032d69b495cf7947edf425151ae46b1af61f4a1f14c82325cec9b8aa),
|
|
45
|
+
y: uint256(0x14dd0799cdb9d674ec11979e3cddb3103812abe942d5935f1f33bb9266fb7bc7)
|
|
46
46
|
}),
|
|
47
47
|
qDeltaRange: Honk.G1Point({
|
|
48
|
-
x: uint256(
|
|
49
|
-
y: uint256(
|
|
48
|
+
x: uint256(0x2372c64fd69e93bbba71b3dc7d45fdfb087874312f3c95cfa7930b4126dfc61d),
|
|
49
|
+
y: uint256(0x2a78dd3e0b1468176d3f8b5b61546d5d3dbfa7baeffde0accc434872754cc785)
|
|
50
50
|
}),
|
|
51
51
|
qElliptic: Honk.G1Point({
|
|
52
|
-
x: uint256(
|
|
53
|
-
y: uint256(
|
|
52
|
+
x: uint256(0x2d82b053b9cfba6929e597d64abff507987c9089ff8ece376dfb09e3b5881a24),
|
|
53
|
+
y: uint256(0x10f19e4af3f719c3972b5d8a53cb2c7cecd476d517f44c943474e612be5ecaf2)
|
|
54
54
|
}),
|
|
55
55
|
qMemory: Honk.G1Point({
|
|
56
|
-
x: uint256(
|
|
57
|
-
y: uint256(
|
|
56
|
+
x: uint256(0x26379a79e4c191755877b7a9bca91b6d01811ae9fe232c50946a565682318b59),
|
|
57
|
+
y: uint256(0x2dfbab073b54361a455b193e9449f378791e7626fbc8d3653ab444935bb05658)
|
|
58
58
|
}),
|
|
59
59
|
qNnf: Honk.G1Point({
|
|
60
|
-
x: uint256(
|
|
61
|
-
y: uint256(
|
|
60
|
+
x: uint256(0x2a76cd4a4cc734255356ab126631e78346ed9de602567bdf2bdd6091e8aec0b2),
|
|
61
|
+
y: uint256(0x2caab2dd9c01f650f35f0efc785cf910444a172e3bfe2406a524d6d7243bd5ed)
|
|
62
62
|
}),
|
|
63
63
|
qPoseidon2External: Honk.G1Point({
|
|
64
|
-
x: uint256(
|
|
65
|
-
y: uint256(
|
|
64
|
+
x: uint256(0x19511907a1e56a0951f77946656e19ec86e2489d73a32d642a7ce688895ea1dc),
|
|
65
|
+
y: uint256(0x2ddbd6193cbe64c24cc2c471db6185a8752e9a3fd581550496823642a53f4047)
|
|
66
66
|
}),
|
|
67
67
|
qPoseidon2Internal: Honk.G1Point({
|
|
68
|
-
x: uint256(
|
|
69
|
-
y: uint256(
|
|
68
|
+
x: uint256(0x1cf76ee4a9aadaf6542818facc14c4a3cf1cac7d79186ee6797f79a6993ff562),
|
|
69
|
+
y: uint256(0x08add43d736a158599c1404148221464362f928b072b1e5f93222154068772ab)
|
|
70
70
|
}),
|
|
71
71
|
s1: Honk.G1Point({
|
|
72
|
-
x: uint256(
|
|
73
|
-
y: uint256(
|
|
72
|
+
x: uint256(0x173edbbfaf08fc0982ba2b85a3475668ecb6884f4acf40b90febb6b9f6280561),
|
|
73
|
+
y: uint256(0x0f15c423fec0bcd3c1f7daeddff216c56adbdd8d8f684d79e2006395e9bcd105)
|
|
74
74
|
}),
|
|
75
75
|
s2: Honk.G1Point({
|
|
76
|
-
x: uint256(
|
|
77
|
-
y: uint256(
|
|
76
|
+
x: uint256(0x122c5272b40a6d4bf127ab765210b0418181b95312da8399b224c22f5cc1032a),
|
|
77
|
+
y: uint256(0x054b71e21e8d24af2b434c4283e19667c2f854c9fa876b0f824f2051de48be3c)
|
|
78
78
|
}),
|
|
79
79
|
s3: Honk.G1Point({
|
|
80
|
-
x: uint256(
|
|
81
|
-
y: uint256(
|
|
80
|
+
x: uint256(0x0e234e27edf2377feb2c5680d90b882f297dcfdd19df92319b2586f344faebb2),
|
|
81
|
+
y: uint256(0x2a8e706d58437ba7994e2d57e6b6fd9a12f6aa37a5934991176ff495fc7dc7c2)
|
|
82
82
|
}),
|
|
83
83
|
s4: Honk.G1Point({
|
|
84
|
-
x: uint256(
|
|
85
|
-
y: uint256(
|
|
84
|
+
x: uint256(0x10e124e95c18e2f31e3c5a51ed4334a004bb57919e5237729e0babc3b38d4ac2),
|
|
85
|
+
y: uint256(0x247b8f398622f1fdd902b6301411079329fbe9633283b4a3635d397196723649)
|
|
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(0x1f03f1f2397ee5d0a85efd6e209a77120b1e34a1da80e5214f4335c6cf79a4c6),
|
|
105
|
+
y: uint256(0x102f5eeb997c6423d0d28a176ceb8cbe264f14088b0bb3215c90848c34be55d0)
|
|
106
106
|
}),
|
|
107
107
|
id2: Honk.G1Point({
|
|
108
|
-
x: uint256(
|
|
109
|
-
y: uint256(
|
|
108
|
+
x: uint256(0x28307792c74081699da385f3760512843fc04d9234fc9f47242483824db7fc40),
|
|
109
|
+
y: uint256(0x06cb5015a5216fdd04c0d49c0f91d307630aef58b8088fdbd0ffba6b7fab8f35)
|
|
110
110
|
}),
|
|
111
111
|
id3: Honk.G1Point({
|
|
112
|
-
x: uint256(
|
|
113
|
-
y: uint256(
|
|
112
|
+
x: uint256(0x11c75e5e2a37cae6f69bcdf8803dc971fb6389cfb3ba1c1b852b37ef70951473),
|
|
113
|
+
y: uint256(0x28218a1bd5d5cb8a014793e32dd6c02fe130ec404c2b7854089031200a3e836f)
|
|
114
114
|
}),
|
|
115
115
|
id4: Honk.G1Point({
|
|
116
|
-
x: uint256(
|
|
117
|
-
y: uint256(
|
|
116
|
+
x: uint256(0x230b5e892c95ca4c62284a4fe771f527b3ba6863a832acf29a729f2917e11041),
|
|
117
|
+
y: uint256(0x29496fc889606b2c65fc62c2012af4b780858457646462c6a0b051bf1e9d8e6e)
|
|
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(0x196b50c6ada9a5f2778c67b6096d0b04995fa80e5d3df629b4ea5304e7143d6a),
|
|
125
|
+
y: uint256(0x2fb7511867211e343d7905c32f5f2a851f8cd1e0faef163162a91438921b65fd)
|
|
126
126
|
})
|
|
127
127
|
});
|
|
128
128
|
return vk;
|