@aztec/l1-artifacts 0.0.1-commit.f2ce05ee → 0.0.1-commit.f8ca9b2f3
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/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/{7e22331c8a6126d3.json → 60b17eac4f939157.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 = 0x0a5df414ea725cf7703ae9550ce834740e3f005ffe0861d4303bd0b8b0944dc3;
|
|
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(0x25211cdab66974f00bf52451396b2967e35a8f168deb33f6173cb589c105cf45),
|
|
17
|
+
y: uint256(0x290c5b6757ca823250323e8c7699487afbd7f46db78f209aa58792b0bb51feee)
|
|
18
18
|
}),
|
|
19
19
|
qr: Honk.G1Point({
|
|
20
|
-
x: uint256(
|
|
21
|
-
y: uint256(
|
|
20
|
+
x: uint256(0x1f191a7e3e10774284e6f84f20c87da498f60a7d0a91ebe07182c372bee2061b),
|
|
21
|
+
y: uint256(0x21cebb3e79380e83258a5859036817e4218c96d2d933dadc1ffeeeb5c750d7e7)
|
|
22
22
|
}),
|
|
23
23
|
qo: Honk.G1Point({
|
|
24
|
-
x: uint256(
|
|
25
|
-
y: uint256(
|
|
24
|
+
x: uint256(0x24095a5b8f9e1e12f08d601d424c7deb3fdb7575f4994f19e2bfaaa2bd99c004),
|
|
25
|
+
y: uint256(0x2bb8adb1c1fc17ccc22972a4ebdf533d541cb6810ec012db59644e75ecf94d64)
|
|
26
26
|
}),
|
|
27
27
|
q4: Honk.G1Point({
|
|
28
|
-
x: uint256(
|
|
29
|
-
y: uint256(
|
|
28
|
+
x: uint256(0x16bec96577e7b0a7fc4ecfc08b96a9338b36e978bb36d7dc82c551aad2a6ef95),
|
|
29
|
+
y: uint256(0x07ff3ad3bc43f29203c67f183c37d30449ad340c1f88b08ad2f5038a8744a997)
|
|
30
30
|
}),
|
|
31
31
|
qm: Honk.G1Point({
|
|
32
|
-
x: uint256(
|
|
33
|
-
y: uint256(
|
|
32
|
+
x: uint256(0x0b61b7d848d262dbe8d1c90a1157dfa2b73d3b21301d72923c52b923d7269390),
|
|
33
|
+
y: uint256(0x1813961e90b61bf22fdf0c0dbe73232f3865f115d0d3f591f7feafce94558a89)
|
|
34
34
|
}),
|
|
35
35
|
qc: Honk.G1Point({
|
|
36
|
-
x: uint256(
|
|
37
|
-
y: uint256(
|
|
36
|
+
x: uint256(0x04f7323f822a80673d1c1747ca30ee0a69f8602a577d792eb92e36d31dbcfcea),
|
|
37
|
+
y: uint256(0x16db39f077ab1c6777c647f602402d5bbf358fc60eabdbcac8afa07727f269b6)
|
|
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(0x08ac849fb68c33aa8d7da5f62277f32f03a651e01ab0f3ca5ccd65e7d5aced78),
|
|
45
|
+
y: uint256(0x115935ba86625f270fd1553904c39acdbfbcb9c8e02ef650f4c97b4c09f146e8)
|
|
46
46
|
}),
|
|
47
47
|
qDeltaRange: Honk.G1Point({
|
|
48
|
-
x: uint256(
|
|
49
|
-
y: uint256(
|
|
48
|
+
x: uint256(0x270d0d1a0a0cee222ddca0593e736e40c525e1685f374acb679bd4b04d6015d6),
|
|
49
|
+
y: uint256(0x1132fc250487d749100764ca99171a9f29c55929305813e4ce5c88fc0545ca24)
|
|
50
50
|
}),
|
|
51
51
|
qElliptic: Honk.G1Point({
|
|
52
|
-
x: uint256(
|
|
53
|
-
y: uint256(
|
|
52
|
+
x: uint256(0x00f61f17914a7a1946d032f191a8c27539bb6243e1a674552c5f1282820ac7d8),
|
|
53
|
+
y: uint256(0x2a828a7ef21faa30e5817b2b641199db36b8e98a873c1da07059dd201a8ae21e)
|
|
54
54
|
}),
|
|
55
55
|
qMemory: Honk.G1Point({
|
|
56
|
-
x: uint256(
|
|
57
|
-
y: uint256(
|
|
56
|
+
x: uint256(0x1470a986e42121a04ea03e529af843de4b68f263b294ce1f733ccbd0a598ee07),
|
|
57
|
+
y: uint256(0x23f122a33b5a46455c60855e9470f2b2d73a06a8e7b2bf2a7cb111dfe87f61e0)
|
|
58
58
|
}),
|
|
59
59
|
qNnf: Honk.G1Point({
|
|
60
|
-
x: uint256(
|
|
61
|
-
y: uint256(
|
|
60
|
+
x: uint256(0x0d1ad8da9e27f2bf8b64dfe11c117dbff0b42d09615e390eb1d180a3a8d826e7),
|
|
61
|
+
y: uint256(0x0d41f8b13220ddbb627846103fd732e347bc1d114b1097f6ceb03c1ea80d8aff)
|
|
62
62
|
}),
|
|
63
63
|
qPoseidon2External: Honk.G1Point({
|
|
64
|
-
x: uint256(
|
|
65
|
-
y: uint256(
|
|
64
|
+
x: uint256(0x1b895565e2fc2fc229d9d9c32bea564f38e22d146804c247e88f44ef7dc5eda6),
|
|
65
|
+
y: uint256(0x0f5c9d16b8d889cc3a6857a7b4bec06da8213dcbc068b4bbf292b5e328711e62)
|
|
66
66
|
}),
|
|
67
67
|
qPoseidon2Internal: Honk.G1Point({
|
|
68
|
-
x: uint256(
|
|
69
|
-
y: uint256(
|
|
68
|
+
x: uint256(0x07212ecfb25ec0431899c4b4913496dd3193b6bc2a3c08fdf27e34ce0ff0cdba),
|
|
69
|
+
y: uint256(0x11270380a439b9a51cc8ac343846caf22f8302a5cb77ce436d277f83c065c3a6)
|
|
70
70
|
}),
|
|
71
71
|
s1: Honk.G1Point({
|
|
72
|
-
x: uint256(
|
|
73
|
-
y: uint256(
|
|
72
|
+
x: uint256(0x17f99330c4555d2534fa00fc8f4c1b6f2cdb51845627f742968c914f3c6efe05),
|
|
73
|
+
y: uint256(0x0a40f842f1dd79db63269e284f73a7aeb8006e0fd60845d523c74eacca786faf)
|
|
74
74
|
}),
|
|
75
75
|
s2: Honk.G1Point({
|
|
76
|
-
x: uint256(
|
|
77
|
-
y: uint256(
|
|
76
|
+
x: uint256(0x16ce0c30365c29ae3ae528995dab0129b54f428f3fa8bc18b5e53b82392e058a),
|
|
77
|
+
y: uint256(0x254d5c6c6ed9cf33f46754cc3fbbbb42fe70da118f28279fb709e9e85d70cb88)
|
|
78
78
|
}),
|
|
79
79
|
s3: Honk.G1Point({
|
|
80
|
-
x: uint256(
|
|
81
|
-
y: uint256(
|
|
80
|
+
x: uint256(0x18dae5eb5fae4e0e510a03d0c291c58f36e62a4ab417be8a27d93f4e020bacf2),
|
|
81
|
+
y: uint256(0x049a8057a14dc7d440c30fa02087b39c892ae7ba81351390ba9c3279d732086b)
|
|
82
82
|
}),
|
|
83
83
|
s4: Honk.G1Point({
|
|
84
|
-
x: uint256(
|
|
85
|
-
y: uint256(
|
|
84
|
+
x: uint256(0x02f23d3206a5b426d277760299b8adc13d7dd74aa7182cb6874f22d6346738e5),
|
|
85
|
+
y: uint256(0x1a1d5b4f9444106b8d2c312948a81d4cdb771147150f07d57eac98710e5835b4)
|
|
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(0x0b2774588a9c88098f1fe415fb65449789cc56298c65af22256e7e3eee17272d),
|
|
105
|
+
y: uint256(0x07025a86386b2a705282ed045081475316c01c44ab385dae99bad04f46754cea)
|
|
106
106
|
}),
|
|
107
107
|
id2: Honk.G1Point({
|
|
108
|
-
x: uint256(
|
|
109
|
-
y: uint256(
|
|
108
|
+
x: uint256(0x110877b86f640d49b2b5d7775db5441506d3fd9b2c1e1f6998d8eb47bb5e6e79),
|
|
109
|
+
y: uint256(0x0980511af8af70f5820888df4e1ebc279250c7ca3faf1b5f70a8d5fa64755e27)
|
|
110
110
|
}),
|
|
111
111
|
id3: Honk.G1Point({
|
|
112
|
-
x: uint256(
|
|
113
|
-
y: uint256(
|
|
112
|
+
x: uint256(0x1a2b6e7e95f2492e9e432c1658ee69b74053b9938d9c5c38b9436c7245684616),
|
|
113
|
+
y: uint256(0x2331409121d4678772573659e84271022090eac62ccab581460943fc91988c0d)
|
|
114
114
|
}),
|
|
115
115
|
id4: Honk.G1Point({
|
|
116
|
-
x: uint256(
|
|
117
|
-
y: uint256(
|
|
116
|
+
x: uint256(0x055a76faa4265071f6a8450d459ed8956a2109372611b6be795909efd327cabf),
|
|
117
|
+
y: uint256(0x1f36dda76c467a900e3fd9f4333bb4c8e8a64acecf6c963bdd56899db463b8a7)
|
|
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(0x20c111b8bf59d3c1a5f9661820547589c3efbcedb118c75ed79cbe83c9f9b44b),
|
|
125
|
+
y: uint256(0x2c2bb04177102ef7af8ca55b7656416064ba4ce55bedb69ae364cc50876c7b58)
|
|
126
126
|
})
|
|
127
127
|
});
|
|
128
128
|
return vk;
|