@aztec/l1-artifacts 0.0.1-commit.0b941701 → 0.0.1-commit.1bea0213
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/{4a28bbd4d7552941.json → 470e5d8723524778.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 = 175;
|
|
8
|
-
uint256 constant VK_HASH =
|
|
8
|
+
uint256 constant VK_HASH = 0x16b66d6b1270fbcc8aca15a66f1868a6e0c28dd34a3177ef52347d6e9388a106;
|
|
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(175),
|
|
15
15
|
ql: Honk.G1Point({
|
|
16
|
-
x: uint256(
|
|
17
|
-
y: uint256(
|
|
16
|
+
x: uint256(0x150d44eaa8bc7ade9ec71ffed0e72d7d0ab13085f62c01f0b8083fa41997d057),
|
|
17
|
+
y: uint256(0x1efe096d06b74ac836189b3f4f81680209e58ea2ca4f65f11d8dd5ac253d0038)
|
|
18
18
|
}),
|
|
19
19
|
qr: Honk.G1Point({
|
|
20
|
-
x: uint256(
|
|
21
|
-
y: uint256(
|
|
20
|
+
x: uint256(0x096f0cc4cb4bc9f9326711cc4bda720aaffadc9c278b2bad07ad23e3209d2ea8),
|
|
21
|
+
y: uint256(0x2f7dae6f5e2e544e5f7de2b539dcde8615a29fb28d8d787270710c73913c9b5f)
|
|
22
22
|
}),
|
|
23
23
|
qo: Honk.G1Point({
|
|
24
|
-
x: uint256(
|
|
25
|
-
y: uint256(
|
|
24
|
+
x: uint256(0x06beedb9af08fba96c109227d7477637d0a1d4caab8f97285b3247c607b59696),
|
|
25
|
+
y: uint256(0x0207c28e4508f5e15cbc4046d3e500984807f58933946941d6285d1a0007ed88)
|
|
26
26
|
}),
|
|
27
27
|
q4: Honk.G1Point({
|
|
28
|
-
x: uint256(
|
|
29
|
-
y: uint256(
|
|
28
|
+
x: uint256(0x040e1cd735ece4eb51ed57f993c87123cda4cf0a4d45b4a4d926e6ce1e5259b9),
|
|
29
|
+
y: uint256(0x0ed9247241d4e5e96ad1d0175ad08d88002d0876c3f74d98089cb111ea875a93)
|
|
30
30
|
}),
|
|
31
31
|
qm: Honk.G1Point({
|
|
32
|
-
x: uint256(
|
|
33
|
-
y: uint256(
|
|
32
|
+
x: uint256(0x16b029754b8eb8d28d52ba574088a39f158e1966daffacc4cbf8cd29fbe5fcc1),
|
|
33
|
+
y: uint256(0x00b47145497fd936315cc543c1ca0675ac528ea131c775a810ab8b5cdc2ddc2d)
|
|
34
34
|
}),
|
|
35
35
|
qc: Honk.G1Point({
|
|
36
|
-
x: uint256(
|
|
37
|
-
y: uint256(
|
|
36
|
+
x: uint256(0x03157dbc5c27d3d14f46a96086bcac7d51995c88a4486c3b79a571b0a9451e11),
|
|
37
|
+
y: uint256(0x1ec2be3d2f59148099de1897289180e1bbb94abfa5788708c4d02d85d5fa88d0)
|
|
38
38
|
}),
|
|
39
39
|
qLookup: Honk.G1Point({
|
|
40
40
|
x: uint256(0x14e11f086d7ccfc3c02ecfbc088af8a76c737f6b09014c4493310b6f43c12b1e),
|
|
41
41
|
y: uint256(0x2a68571d45e0c3e4845d1b9a44e95e1d3848f411ba63e1aae95709c956675551)
|
|
42
42
|
}),
|
|
43
43
|
qArith: Honk.G1Point({
|
|
44
|
-
x: uint256(
|
|
45
|
-
y: uint256(
|
|
44
|
+
x: uint256(0x2753dd5eff1446464641472825de1756cc6137a37956d19e213aadaa9ccc0630),
|
|
45
|
+
y: uint256(0x0f1fccdeb8d5d65dbf12ab2fdf745bfd4775dcefb0f512da4f3795d610fe88b2)
|
|
46
46
|
}),
|
|
47
47
|
qDeltaRange: Honk.G1Point({
|
|
48
|
-
x: uint256(
|
|
49
|
-
y: uint256(
|
|
48
|
+
x: uint256(0x2ebabcf92ebb0ad1a2a32f34acf7265afcb3bf004f29ab3d2c456d1e1081718e),
|
|
49
|
+
y: uint256(0x22e91b1c62e4af1893b13f28fe0745a67e3f59117a70643b79e9bf58cc338307)
|
|
50
50
|
}),
|
|
51
51
|
qElliptic: Honk.G1Point({
|
|
52
|
-
x: uint256(
|
|
53
|
-
y: uint256(
|
|
52
|
+
x: uint256(0x1209fe05b9c46de8f8f8c7880158270f26c4c1c7fd8557c8c89e71bcef6afab4),
|
|
53
|
+
y: uint256(0x207769f303cc57a91087625ea57dd6933b6429120999b16554d4950ed3f4ce02)
|
|
54
54
|
}),
|
|
55
55
|
qMemory: Honk.G1Point({
|
|
56
|
-
x: uint256(
|
|
57
|
-
y: uint256(
|
|
56
|
+
x: uint256(0x1199c9d1e1d99fd22d9a171799a56059275f27501cc0922c6b7cc1a9d42ad546),
|
|
57
|
+
y: uint256(0x11e87a778f293aee8107aedbed830d9e780982f457156fd8e68998c47e58829f)
|
|
58
58
|
}),
|
|
59
59
|
qNnf: Honk.G1Point({
|
|
60
|
-
x: uint256(
|
|
61
|
-
y: uint256(
|
|
60
|
+
x: uint256(0x1d7f8aa1272542c0a289e6435f11fcc6c57c839de45871e8c22d8c7bf65b6822),
|
|
61
|
+
y: uint256(0x22619f2124c80c1575df071dcaaa81f794bcb830b3f50e0533c7573fc6351daf)
|
|
62
62
|
}),
|
|
63
63
|
qPoseidon2External: Honk.G1Point({
|
|
64
|
-
x: uint256(
|
|
65
|
-
y: uint256(
|
|
64
|
+
x: uint256(0x242129fbb23b815e619a1205eecee8995a11d57a4580c4a286cb2175ec43bf7b),
|
|
65
|
+
y: uint256(0x0d72c1cd65154e9e874e277a407bcc38bbeb2bf2616a1575e650b704ffedda83)
|
|
66
66
|
}),
|
|
67
67
|
qPoseidon2Internal: Honk.G1Point({
|
|
68
|
-
x: uint256(
|
|
69
|
-
y: uint256(
|
|
68
|
+
x: uint256(0x0adcc65cb867a8634b5a38a9f0535e3ca5c1f9eb1d17324e6198d91c58e001b8),
|
|
69
|
+
y: uint256(0x21339603d8253a7b331487cf5907d9cab567063ff321b831bd6c61a5bd711e37)
|
|
70
70
|
}),
|
|
71
71
|
s1: Honk.G1Point({
|
|
72
|
-
x: uint256(
|
|
73
|
-
y: uint256(
|
|
72
|
+
x: uint256(0x0cd640456be64afc8aa2046595c6f618da3aaa1c572f079a63efdd38d23179ba),
|
|
73
|
+
y: uint256(0x15cd319e0e554dd8e92609e63c5a397d7cbf9f191b12b446e8cafd4c85eabd6c)
|
|
74
74
|
}),
|
|
75
75
|
s2: Honk.G1Point({
|
|
76
|
-
x: uint256(
|
|
77
|
-
y: uint256(
|
|
76
|
+
x: uint256(0x2303dcd3a7c7c308db1e35ca7678d548ffc3c5dc214d60faec3f8182983dccef),
|
|
77
|
+
y: uint256(0x23af44c2505f92ecee48f0bd9c54f975c46de8bd76a1726a3ce8baef05ba8eb9)
|
|
78
78
|
}),
|
|
79
79
|
s3: Honk.G1Point({
|
|
80
|
-
x: uint256(
|
|
81
|
-
y: uint256(
|
|
80
|
+
x: uint256(0x2472273c8a097bb7065538cdf32c5352fdb66c7896ab8f2e7234a13c1066cd1b),
|
|
81
|
+
y: uint256(0x2ceea8ef14637ee5820adae46ff9f981e593f615bb1c80d8a06b805986f3bf70)
|
|
82
82
|
}),
|
|
83
83
|
s4: Honk.G1Point({
|
|
84
|
-
x: uint256(
|
|
85
|
-
y: uint256(
|
|
84
|
+
x: uint256(0x1f36582bdfa7be7570233052ed076cb7a49db2ce0f23f407776def55ac5f2ba4),
|
|
85
|
+
y: uint256(0x2020cac9c66372b0958897fd55af1191c2b21f8432e02bd1010e58241832bd11)
|
|
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(0x0cbbcaddaf3113a1cf3a28dc64b72355b5cd7a07ef1019be20f57b25d4504856),
|
|
105
|
+
y: uint256(0x2a43d6e01366fa9b83a9693f152dba33e6f71585ba28e8fbbca6cb6f68338e8d)
|
|
106
106
|
}),
|
|
107
107
|
id2: Honk.G1Point({
|
|
108
|
-
x: uint256(
|
|
109
|
-
y: uint256(
|
|
108
|
+
x: uint256(0x0a089205baeb2168d49ed52ed77995dcdf77f5f5f0488076fd9e1c196a3528c6),
|
|
109
|
+
y: uint256(0x0a46da62b3f9363504b86516cdc381db885eaa1dafc10c0eea3c2e7bf9f4b965)
|
|
110
110
|
}),
|
|
111
111
|
id3: Honk.G1Point({
|
|
112
|
-
x: uint256(
|
|
113
|
-
y: uint256(
|
|
112
|
+
x: uint256(0x2db2c867bead5712d5dfc325feca700b8831d2bc688c046d7b4a398a744a06c1),
|
|
113
|
+
y: uint256(0x1c9ac64d9b19c602cd6888b90ea057f756047139420bb020767771eb8ea7fd97)
|
|
114
114
|
}),
|
|
115
115
|
id4: Honk.G1Point({
|
|
116
|
-
x: uint256(
|
|
117
|
-
y: uint256(
|
|
116
|
+
x: uint256(0x205c314f5256352adf40b623b210213e29e77256896ab29732f02c6d9d6996ee),
|
|
117
|
+
y: uint256(0x0b00b2c8738ab47a664ad4d7eb87175bab38aa7e6a45fbe3809d75b1cdf07b6b)
|
|
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(0x0c84b5c8b2f8fe52ba0416e3267216135659d5ece68bcf7eea00a97e91350a84),
|
|
125
|
+
y: uint256(0x1f3382b1b16137d17586808f6325079fcc2be2cad782d21f94442cf5ff63ada7)
|
|
126
126
|
})
|
|
127
127
|
});
|
|
128
128
|
return vk;
|