Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
avm_fixed_vk.hpp
Go to the documentation of this file.
1#include "barretenberg/ecc/curves/bn254/bn254.hpp"
2#include "barretenberg/vm2/generated/columns.hpp"
3
4#pragma once
5
6namespace bb::avm2::constraining {
7
14class AvmHardCodedVKAndHash {
15 public:
16 using Commitment = bb::curve::BN254::AffineElement;
17 using FF = bb::curve::BN254::ScalarField;
18
19 // Precomputed VK hash (hash of all commitments below).
20 static FF vk_hash() { return FF(uint256_t("0x18952f5711d5f7a6e29c980f1077eecd2ec45e80ba0ae78d5a4ae08e50428cab")); }
21
22 static constexpr std::array<Commitment, NUM_PRECOMPUTED_ENTITIES> get_all()
23 {
24 return {
25 Commitment(
26 uint256_t("0x167ea379a8608239054c0df304316e7f91b9bc2c2b127fca9711c82aa2c9cd30"),
27 uint256_t(
28 "0x1d0e1881db1e7a631ac9718f5f771c3bb00431c417108bb0ae14e11cac14ca10")), // precomputed_addressing_gas
29 Commitment(
30 uint256_t("0x28e006f1c68610a97cd821df8416820bcbdb62e93a6d86bdfeecaba9f955976c"),
31 uint256_t(
32 "0x10aab914652512dbf354db0e377910c772d43409e85b3fbaf69d439e89c95a80")), // precomputed_bitwise_input_a
33 Commitment(
34 uint256_t("0x0ab5d49ff0c4b8f33c5b25f1fb2515c505c7b0c3fe5526ecb3500e6c03768cae"),
35 uint256_t(
36 "0x05a9c6d9e6458d1fcf581dfddc9b02ae9d65c396a8d07f213b17ca751b0f7ee5")), // precomputed_bitwise_input_b
37 Commitment(
38 uint256_t("0x17b8b5c3a60c4f40f8c23d7320b670dbdc335493bb9bd6c8301e526ef8e3af59"),
39 uint256_t(
40 "0x2b425004dee4be45c207322c520876ad0ebe10280842f889b21ee426a24161e2")), // precomputed_bitwise_output_and
41 Commitment(
42 uint256_t("0x059ab9a83dbefa97d1292202e7c430f4ff8c1b127b14fab6fe687a42c7b9c345"),
43 uint256_t(
44 "0x11be6bf3aec1b8e482a2173971a654eb678638ef03aab04c8f43ed58f0dfae7b")), // precomputed_bitwise_output_or
45 Commitment(
46 uint256_t("0x2025a67502a72aceee2f4b7e9d11e27281463c4788e263ca03d6e3ef665a6668"),
47 uint256_t(
48 "0x0d4cd55a09c6f5b869381c0054f5c5a6912a912176ecec2d130b286984ac3b12")), // precomputed_bitwise_output_xor
49 Commitment(
50 uint256_t("0x298cbe8d7aabda5cf9272257c13681843126d8ffaa6087a1773e5c9b3c5dd513"),
51 uint256_t(
52 "0x1485cbdb64eacfe673a6c4d6a9666d627ce5357fb22551b6f8b4cee23db1b315")), // precomputed_dyn_gas_id
53 Commitment(
54 uint256_t("0x2e3d6772c0dc1f547adb030a56f4334faa5820f5844fe22d304d69634622e15f"),
55 uint256_t(
56 "0x0ba448b2839e88df5399de029135bb7a843df9fad37003895cf4b0e4ea824f69")), // precomputed_envvar_pi_row_idx
57 Commitment(
58 uint256_t("0x149eda0d6c72305cbc8c12e5db72971e08fead559aab4501bb97f20c4f2cae1f"),
59 uint256_t(
60 "0x09f2eef32136799118634a108531dc248506d5f58f64885575b245865b56d48e")), // precomputed_exec_opcode
61 Commitment(
62 uint256_t("0x09bd44905d676585d8c7a91c8ba8fd6b1b598326cb80b95e80b4b39703c7e2c8"),
63 uint256_t(
64 "0x1bec3a67476715f88745bc09b1ea57859c8fe809fae4376efab6ba773ea7f6d4")), // precomputed_exec_opcode_base_da_gas
65 Commitment(
66 uint256_t("0x0f5b3fee86f9815eb0be052412de7f2a4c82f678604ba9e161c4412529810057"),
67 uint256_t(
68 "0x1ad065dec1d51664807b4d551d0eb8abe0b061b8380dde6d662e2df36a1f85c8")), // precomputed_exec_opcode_dynamic_da_gas
69 Commitment(
70 uint256_t("0x06c03e425e92d09aa8243220a0968b4d7d00c89e541a2b6095920883a8a6fa72"),
71 uint256_t(
72 "0x090dda25e7d64ab5cabe09fd80fbb731af2a98de7a608157dc10394b4fc022a4")), // precomputed_exec_opcode_dynamic_l2_gas
73 Commitment(
74 uint256_t("0x26086b5fb31a24f236f0441d5b922b94ca141e861b9cc640184681c518cd68d3"),
75 uint256_t(
76 "0x0bab134bb4e25ff33584c1094847e762ce6573054bae27715d0e4eb2b7278d80")), // precomputed_exec_opcode_opcode_gas
77 Commitment(
78 uint256_t("0x296def9415d1c96b4d8ab91df5f59ad8522a726f98461b1ab5c4d4c5b22471a4"),
79 uint256_t(
80 "0x25af891969963477ee60f67f7f592402c1720525c0b8b15a631397a9d2a0b285")), // precomputed_expected_tag_reg_0_
81 Commitment(
82 uint256_t("0x267d9986093f6c0ddc9362b80757412efef866dd05b38a47f7cde550c5c9bfda"),
83 uint256_t(
84 "0x06ea9cd6f2a50e2156f80beebc721d11d24821fd4b723932da48d8750300fbaa")), // precomputed_expected_tag_reg_1_
85 Commitment(
86 uint256_t("0x1cb1c6d46ddf9f7bd7a87a5e7dca5ef92c8a44669ab0cbc557a0fcb8331d0d8d"),
87 uint256_t(
88 "0x281a3e4b96e4f595db502ba69acda314bc335957ae605af17423b0ff3d0528c3")), // precomputed_expected_tag_reg_2_
89 Commitment(
90 uint256_t("0x1a3c36c4933c956751e6ca5631077a9418cd0ba4ec29e965508eaf8bc1a7ffd4"),
91 uint256_t(
92 "0x1203bdd1aab5bfc5f3ed6abbefc30ab303770b847d022c1c9c0f8de202a76560")), // precomputed_expected_tag_reg_3_
93 Commitment::infinity(), // precomputed_expected_tag_reg_4_
94 Commitment(
95 uint256_t("0x11b316123744c8602e394b9a558ed664a70d8a7e8f5a3138c9971302c193dd84"),
96 uint256_t(
97 "0x08a817c8ab332c7f8b478ec9bddb41a8ca1593c3b8fb85d6236d3eecc2df3b37")), // precomputed_expected_tag_reg_5_
98 Commitment(
99 uint256_t("0x0000000000000000000000000000000000000000000000000000000000000001"),
100 uint256_t(
101 "0x0000000000000000000000000000000000000000000000000000000000000002")), // precomputed_first_row
102 Commitment(
103 uint256_t("0x14567e2c3e84fc1e3e69d81f6ce5808ca9a0451964a7bbabbd9e369db7556253"),
104 uint256_t("0x0378926f150c30c760965df469ae6ed609c59feecf899f2b95aff519bbf3fb3c")), // precomputed_idx
105 Commitment(
106 uint256_t("0x1e497723c3f95466c480f1ac1addb1e0dc68bb123cae27ee70d00e6d6fcc6896"),
107 uint256_t(
108 "0x24c9a31064fb5f18c18ac3ea4be1a10809765a43b06bcea177fbb171dd547ced")), // precomputed_instr_size
109 Commitment(
110 uint256_t("0x11b710f896157a9557278a1f776cd6c7e1e7e256a572bd080797daaf1d6307d1"),
111 uint256_t(
112 "0x12c5149d3cc7dfd6e418eb5c6b4f5123a537e7b62a23f6d929f55af7b5d048cb")), // precomputed_invalid_envvar_enum
113 Commitment(
114 uint256_t("0x0000000000000000000000000000000000000000000000000000000000000001"),
115 uint256_t(
116 "0x0000000000000000000000000000000000000000000000000000000000000002")), // precomputed_is_address
117 Commitment(
118 uint256_t("0x2d360628289ff943ff6bd1a87bbe4e62abe7fb61ba83effd266f22bdcf31e6f9"),
119 uint256_t(
120 "0x26b92a79e563c3f48252cce7feeca2f0f8d33dcb4ef7b0643bf07bd405700aaa")), // precomputed_is_class_id
121 Commitment(
122 uint256_t("0x1bd6129f9646aa21af0d77e7b1cc9794e611b5d59a27773f744710b476fbd30f"),
123 uint256_t(
124 "0x2f8d492d76a22b6834f0b88e2d4096139a9d1593d56e65e710b2f344756b721e")), // precomputed_is_cleanup
125 Commitment(
126 uint256_t("0x0e84090add56f2500ab518c655cae63896ea793e6b3f6a14218d476534109610"),
127 uint256_t(
128 "0x2b78a584bd6ae88cf4ec7c65c90e0b65df446fdddba972f3c4414ad3c901f4f9")), // precomputed_is_collect_fee
129 Commitment(
130 uint256_t("0x1bd6129f9646aa21af0d77e7b1cc9794e611b5d59a27773f744710b476fbd30f"),
131 uint256_t(
132 "0x2f8d492d76a22b6834f0b88e2d4096139a9d1593d56e65e710b2f344756b721e")), // precomputed_is_dagasleft
133 Commitment(
134 uint256_t("0x0000000000000000000000000000000000000000000000000000000000000001"),
135 uint256_t(
136 "0x0000000000000000000000000000000000000000000000000000000000000002")), // precomputed_is_deployer
137 Commitment(
138 uint256_t("0x020ad6e43ccd48a6a39e43897cc85187bd364919be8a3b82d4809715cfe489db"),
139 uint256_t(
140 "0x21a79ebae2ea3d92b49c521407d2600ac061146f2c188c6c6a33c598179e4543")), // precomputed_is_init_hash
141 Commitment(
142 uint256_t("0x0e84090add56f2500ab518c655cae63896ea793e6b3f6a14218d476534109610"),
143 uint256_t(
144 "0x2b78a584bd6ae88cf4ec7c65c90e0b65df446fdddba972f3c4414ad3c901f4f9")), // precomputed_is_isstaticcall
145 Commitment(
146 uint256_t("0x1618ea679c4ee1467267e50bb898148ef78d5de08341b5afdc0c863a59ab7e70"),
147 uint256_t(
148 "0x23268ad7678b97fba97cc3e75da6cff9a3659c3b8a49046cce4062820e5c1116")), // precomputed_is_l2gasleft
149 Commitment(
150 uint256_t("0x1449c845957e866c1918655add72528e4d5cb4cd366c5994227c4b99e5597a0e"),
151 uint256_t(
152 "0x2095bf274ca2bea7fd16b154484700c973174daac258c4de31e47a562396a824")), // precomputed_is_public_call_request
153 Commitment(
154 uint256_t("0x1f604e77b958511e81c83b4d7c0f0b6d5df70c4495c22633ea71d2f2de3dc889"),
155 uint256_t(
156 "0x188df8394af710199aa231aca038f80faaee28456105f5bfcf8307dbf526950c")), // precomputed_is_revertible
157 Commitment(
158 uint256_t("0x2d360628289ff943ff6bd1a87bbe4e62abe7fb61ba83effd266f22bdcf31e6f9"),
159 uint256_t(
160 "0x26b92a79e563c3f48252cce7feeca2f0f8d33dcb4ef7b0643bf07bd405700aaa")), // precomputed_is_sender
161 Commitment(
162 uint256_t("0x2c4e3788efe883d91b423233818890599ad233cecf88be80debce9e5ac727e29"),
163 uint256_t(
164 "0x0d79fb9abbbde1fdb4c53d148cfcf083e84f3153e6817f5a19f0560e831dda8f")), // precomputed_is_teardown
165 Commitment(
166 uint256_t("0x020ad6e43ccd48a6a39e43897cc85187bd364919be8a3b82d4809715cfe489db"),
167 uint256_t(
168 "0x21a79ebae2ea3d92b49c521407d2600ac061146f2c188c6c6a33c598179e4543")), // precomputed_is_transactionfee
169 Commitment(
170 uint256_t("0x1618ea679c4ee1467267e50bb898148ef78d5de08341b5afdc0c863a59ab7e70"),
171 uint256_t(
172 "0x23268ad7678b97fba97cc3e75da6cff9a3659c3b8a49046cce4062820e5c1116")), // precomputed_is_tree_padding
173 Commitment(
174 uint256_t("0x210cdba7d0dae8d84cdd77a912060188657a0628905c0531fa63138ec3cbc9ea"),
175 uint256_t(
176 "0x264f0d3eab260e5a20bdc5324e1ddcb3a0c0d811bb4a23b983417fd8c280486a")), // precomputed_is_valid_member_enum
177 Commitment(
178 uint256_t("0x057e5478fbad129bb84bfb618f6e7a747812510b4f6f70bd84d4688f760ecb62"),
179 uint256_t(
180 "0x0b58fc6f3ddf7f2102d3887500236eac683dbfa7a2aedccff632442c57268b37")), // precomputed_keccak_round_constant
181 Commitment(
182 uint256_t("0x262ae25ad030a2c9015433161c3442e4ac80d1cc89c6458116af6868f2dd6aa9"),
183 uint256_t(
184 "0x198bbca7d643a07fdbd486f4a2e9fe51eaff73597bc3035c94070558da7ad139")), // precomputed_next_phase_on_revert
185 Commitment(
186 uint256_t("0x051899227510844c5380f4f7b829658ba5132d444b6aa62fe8667d64e7bca1ad"),
187 uint256_t(
188 "0x294c89a6093692ffc964583003b3dadd7733f4c54b9e36038b7ec52c5b9db889")), // precomputed_opcode_out_of_range
189 Commitment(
190 uint256_t("0x1d317a7a8b818e73f8b663856245535942d4fb8bc0da358fb3123ff315843c55"),
191 uint256_t("0x1ffd7547b3b9efe7807b4f53ab2c1b5058bd33cc5b8d21fd9625e7ab9e2dcaf3")), // precomputed_out_tag
192 Commitment(
193 uint256_t("0x2e71d4c9940d15c480d4a4a19d87d85edf451467b8440366c092a6cff30be9f3"),
194 uint256_t(
195 "0x22ea9c920f03a29f3072574323acba39c7189244912ee46d13ea019e7d19036a")), // precomputed_p_decomposition_limb
196 Commitment(
197 uint256_t("0x09ea5407dba0e7ded40cb1fe7edf67129bf13cbea25e1ca76de711200bef8a98"),
198 uint256_t(
199 "0x12d748597b71a36836070aa309373985d130cb13575852442ef92936dca6b813")), // precomputed_p_decomposition_limb_index
200 Commitment(
201 uint256_t("0x03ef15f58038e5f85bae3faef9d61cc64bc3429551099fe59570e6c8f503ccea"),
202 uint256_t(
203 "0x1ad63fa86ad47d1585b77dc775719dea35b6836b830a5fc5a5fcf5e77e7030f3")), // precomputed_p_decomposition_radix
204 Commitment(
205 uint256_t("0x2aaa723f062908d51d9e95fec400bb10babb904108ebe564d6d10b0c0a4ac7eb"),
206 uint256_t(
207 "0x0e7f6f70a1ad8d463f67bfd94c5906191ced0f735a0dd2db3612c774e63c81df")), // precomputed_power_of_2
208 Commitment(
209 uint256_t("0x0e7b889e3e3d0989738bebaf65ce200a3c9f53f8572120ef7a4d16cf368c1782"),
210 uint256_t(
211 "0x25d9171406ea22f5f89ce6a2d1b313d8a5e45637f11c71765deeda623f4de1d3")), // precomputed_read_pi_length_offset
212 Commitment(
213 uint256_t("0x0f503028576d5222e2cb2bfe1bcf108387994d271fcd00ea3e2c57d8d75341c7"),
214 uint256_t(
215 "0x2c6b247f1c6c17498724bcd962ec07a9455e776e62bb14890c9cfb75557153a0")), // precomputed_read_pi_start_offset
216 Commitment(
217 uint256_t("0x2e7cf27c49223cad8ed651445f746efe88f441a495bf2a3e5560d68327d19a14"),
218 uint256_t(
219 "0x0c76ef320d793294cfbf1519c7a124b640859b99d43d051dc828f0053081a4f0")), // precomputed_rw_reg_0_
220 Commitment(
221 uint256_t("0x1514f55599854ffc9929fab5629758348be02434c30ff6fdda82f8754e05703e"),
222 uint256_t(
223 "0x2cab4a1a6d88bd0b45a60416aa72c8761afe05af7f60b6ae2013d2244c7634fe")), // precomputed_rw_reg_1_
224 Commitment(
225 uint256_t("0x13acdb89fe8349f7339bb20baa54d50fe9e15b3d515ee14096bfc204ec144222"),
226 uint256_t(
227 "0x176b78b990ea79d06072fb91fd96b2a8472376baf05016f668d2c3162d0a7984")), // precomputed_rw_reg_2_
228 Commitment::infinity(), // precomputed_rw_reg_3_
229 Commitment::infinity(), // precomputed_rw_reg_4_
230 Commitment::infinity(), // precomputed_rw_reg_5_
231 Commitment(
232 uint256_t("0x0752e216f6398f2dc16b86cd762f9bd9f961964f9c6a354530c45b04920f06ab"),
233 uint256_t(
234 "0x062522db0dc283ad1d328147904f0fdc0e44add870aa0b099cf16c3d73352a9e")), // precomputed_sel_addressing_gas
235 Commitment(
236 uint256_t("0x2059be69211e5ea9bb365ab69c1132eb7b7c6814925453953f62bf731e5e42f9"),
237 uint256_t(
238 "0x00a0c3ab39b3041e7996f98bb8065ff6d0ddcf70403dff0f8f3cf91da4ca69ce")), // precomputed_sel_envvar_pi_lookup_col0
239 Commitment(
240 uint256_t("0x2c066d46d386975a57df073e19403bd8019ded441b9e454eb4045069cefee487"),
241 uint256_t(
242 "0x1bbf8b9e8c4b2184984b994c744d216bf779063abc501d4102fbfc99d4227c16")), // precomputed_sel_envvar_pi_lookup_col1
243 Commitment(
244 uint256_t("0x0a488841f66021e37cea1982d222861509084368088cca07894cd6921311ba91"),
245 uint256_t(
246 "0x120c46c4092f97c787b9630d90ba43ddf7fbdeae205366e21e67d596095c4c2a")), // precomputed_sel_exec_spec
247 Commitment(
248 uint256_t("0x1fc3ae437a3b0b01a4af2a06343c9f9dcd6893573e887e0b3d6a54fa49d1e77e"),
249 uint256_t(
250 "0x25c3660d4f0195f08cc66d4e4adab16edc664789a8d2b25811d3d1be836c263e")), // precomputed_sel_has_tag
251 Commitment(
252 uint256_t("0x1b46eba5303aaa250d24e50dc9ec58ba83fdf393701ede56a8f515333edd5b93"),
253 uint256_t(
254 "0x2530ee60cb7dd489c0e4376d87845b01133d0ec1c0c3e0aef8ff03199b7032e8")), // precomputed_sel_keccak
255 Commitment(
256 uint256_t("0x0f3729cae0def7758dd359a313b2719ec454383750a7559c4ec869615e926ab6"),
257 uint256_t(
258 "0x191fc6f9dcdb51265271f35a65c7ddefae84e6b2df9434e51216c0d9ac551da4")), // precomputed_sel_mem_op_reg_0_
259 Commitment(
260 uint256_t("0x1f579c47cbed9e59bc75bfa9faea264e1f8d13bf8fdb2bc241796a6ee1322e7f"),
261 uint256_t(
262 "0x04a79156fabb49e693ddcf07815f53d163489149958311b79a4fcfd2703bf3fd")), // precomputed_sel_mem_op_reg_1_
263 Commitment(
264 uint256_t("0x23194ac869ec4d3bd7e286588b4c021bf60032b57dd3f136308bfd7f7f3f4f37"),
265 uint256_t(
266 "0x1405fa7e3bf07c30eb87ebce030c9288e67f5897a3d38c6f21d3c035e4a55a92")), // precomputed_sel_mem_op_reg_2_
267 Commitment(
268 uint256_t("0x1530ccb47d1198320c163380a82ca8cbaf87b2d40ede856d21c60535e2251262"),
269 uint256_t(
270 "0x29dd7ccea05e6d47a7373ea950a7988caed0d20880612e046af575217a21652a")), // precomputed_sel_mem_op_reg_3_
271 Commitment(
272 uint256_t("0x11b316123744c8602e394b9a558ed664a70d8a7e8f5a3138c9971302c193dd84"),
273 uint256_t(
274 "0x08a817c8ab332c7f8b478ec9bddb41a8ca1593c3b8fb85d6236d3eecc2df3b37")), // precomputed_sel_mem_op_reg_4_
275 Commitment(
276 uint256_t("0x11b316123744c8602e394b9a558ed664a70d8a7e8f5a3138c9971302c193dd84"),
277 uint256_t(
278 "0x08a817c8ab332c7f8b478ec9bddb41a8ca1593c3b8fb85d6236d3eecc2df3b37")), // precomputed_sel_mem_op_reg_5_
279 Commitment(
280 uint256_t("0x089cdab4e8e8381977b093cb267a1b7c8c60f4466c39a99af1247e37fe56ebfe"),
281 uint256_t(
282 "0x1144347d2bfe5c1f4a6d44418562facb9a5c9c7bf2b6b463424e8b0915254710")), // precomputed_sel_mem_tag_out_of_range
283 Commitment(
284 uint256_t("0x020ad6e43ccd48a6a39e43897cc85187bd364919be8a3b82d4809715cfe489db"),
285 uint256_t(
286 "0x21a79ebae2ea3d92b49c521407d2600ac061146f2c188c6c6a33c598179e4543")), // precomputed_sel_non_revertible_append_l2_l1_msg
287 Commitment(
288 uint256_t("0x2d360628289ff943ff6bd1a87bbe4e62abe7fb61ba83effd266f22bdcf31e6f9"),
289 uint256_t(
290 "0x26b92a79e563c3f48252cce7feeca2f0f8d33dcb4ef7b0643bf07bd405700aaa")), // precomputed_sel_non_revertible_append_note_hash
291 Commitment(
292 uint256_t("0x0000000000000000000000000000000000000000000000000000000000000001"),
293 uint256_t(
294 "0x0000000000000000000000000000000000000000000000000000000000000002")), // precomputed_sel_non_revertible_append_nullifier
295 Commitment(
296 uint256_t("0x0bf1970c2e92fee577ba15d063fa78fdd17752cafd19261ff0f176a1d3348769"),
297 uint256_t(
298 "0x21f1906edf2fe01e804774aa539abe8411cfda1731be99853f90253ed2652868")), // precomputed_sel_op_dc_0
299 Commitment(
300 uint256_t("0x2ad6f77a7f7c14780d95de8bd1f5b2146fe71fb1b7e6d55016734664f10d653b"),
301 uint256_t(
302 "0x131ac1fc680fbc2584b74e5aece1f0d50afe030adf4289613e54935339829496")), // precomputed_sel_op_dc_1
303 Commitment(
304 uint256_t("0x225d208d9012b15a17b7dac26e737c0d2f9c8bf80de627bd13e1a9c042ede642"),
305 uint256_t(
306 "0x25e222231924d6d509af40b4eefdb801be27b2dc85dced6774ecd5c568e7adc3")), // precomputed_sel_op_dc_10
307 Commitment(
308 uint256_t("0x2208697b1fb2af79c1fa6ce554118d48ea6cc700bebe3d13ca5e55ea4236e5b5"),
309 uint256_t(
310 "0x013755e618e12263ae341a18aab3460dcd8fb28564570c7f955697e997f5bdc4")), // precomputed_sel_op_dc_11
311 Commitment(
312 uint256_t("0x1e0b4d8d583dbf99076c3d2913531d0f70da58b26d7bf3f5dab93e616d1bf1e4"),
313 uint256_t(
314 "0x2291f76ff29ec8693af21347039cefd25e880454db8ea8d7e93ffbe7e06b2323")), // precomputed_sel_op_dc_12
315 Commitment(
316 uint256_t("0x290f2ceb7f9583d8ae4e91b9285e74a7747011843097bfec3cc4350d7076bbe6"),
317 uint256_t(
318 "0x2a5c3e4b56b8fb209eba525fca6f00baf8f4374d9a184b3d03996305d37d8a9b")), // precomputed_sel_op_dc_13
319 Commitment(
320 uint256_t("0x09a2c0f7774a49fb5c7d08eeadd655a06f13f349b607f85cb7d9f18ac46f996c"),
321 uint256_t(
322 "0x045a4d77597b78898859b98f709312fc43313bfa34f656fa3d036eb55cf33f21")), // precomputed_sel_op_dc_14
323 Commitment(
324 uint256_t("0x1063dc25284b4970530a339cb60ca497a52be8ba15e464b2170302c84e2e7ebd"),
325 uint256_t(
326 "0x0503276c10a251edf84b95573d51e1367851ccee4aaca2aecd6f8ef612b27453")), // precomputed_sel_op_dc_15
327 Commitment(
328 uint256_t("0x1a81d9ac52aa2a7fde7ee8b78f3606a35a8758e8de801673cea21e9a03b7ff4a"),
329 uint256_t(
330 "0x1d22d13122365e7ce6b1015f81eb2ba0e7fc566a64737406aeeabe279ece22ba")), // precomputed_sel_op_dc_16
331 Commitment::infinity(), // precomputed_sel_op_dc_17
332 Commitment(
333 uint256_t("0x1081a61f4edf2b68d9184bf3b60e78bab17e61612bc8c29c5a3198c39271284f"),
334 uint256_t(
335 "0x0ce24b4a52226bd9fccfd584ab1ac615dff0dee0ed3d3e51f397db2f3f411cb7")), // precomputed_sel_op_dc_2
336 Commitment(
337 uint256_t("0x24e9cfce03cc25465ca6a1acd4f916e30e986ed3af63754f5a61294f55071a02"),
338 uint256_t(
339 "0x07aa17a6a67bcafb019d4adc0192a41f801563508f1ba7c64cd056731e2a7e01")), // precomputed_sel_op_dc_3
340 Commitment(
341 uint256_t("0x23b6dc02dd758474624a21ac6f25c96e0439e161a2649034e459fc1977c3bf34"),
342 uint256_t(
343 "0x08aaf4df0c48942efb9dd7dd8fc440edf0a1a84a3f20bf593e66f92a1bb39e70")), // precomputed_sel_op_dc_4
344 Commitment(
345 uint256_t("0x0ddf9e9dd8363fd4119ac1d79553829192ac465e7ee6656f099e40e5a8b709b0"),
346 uint256_t(
347 "0x00196d43a3f837ea29755efb3d0582c1ef702dd495b8bf5f29a26c9bc395f3c9")), // precomputed_sel_op_dc_5
348 Commitment(
349 uint256_t("0x1cfb0a4d316144588ae992066b52b718403b3144a9ec49ea66ae45d6697fa1a0"),
350 uint256_t(
351 "0x1f8edf29518d905174ef85dfb0072c777b1c710b64e9c74086804584c0c8484d")), // precomputed_sel_op_dc_6
352 Commitment(
353 uint256_t("0x05080b6c3232b890bbcabdb5a827168a1ad3b2f7408301e6090d07d09bb76b91"),
354 uint256_t(
355 "0x2a0a71fb6431159e3d618cd73b3397d71a3edc2bc3414e05f64182297bb3bdfa")), // precomputed_sel_op_dc_7
356 Commitment(
357 uint256_t("0x2ff30ab94cefa0c5789be2f10a8a1bd318c4da2b35a0b877c11d1fb8fbd7ca7f"),
358 uint256_t(
359 "0x22ad6d508142f1a80e6b1db087879f51ac57e9977eb2960eb391b0c1f246b103")), // precomputed_sel_op_dc_8
360 Commitment(
361 uint256_t("0x11b316123744c8602e394b9a558ed664a70d8a7e8f5a3138c9971302c193dd84"),
362 uint256_t(
363 "0x08a817c8ab332c7f8b478ec9bddb41a8ca1593c3b8fb85d6236d3eecc2df3b37")), // precomputed_sel_op_dc_9
364 Commitment(
365 uint256_t("0x1c850ea0df76c329d78ab653fdbe442ead01edc3b9cdf549f92fd4fea3d6bdf2"),
366 uint256_t(
367 "0x2a8bf9b3aac7240652dbc5264c42b21bcf636e041eb9cd4e766bb22db068bcd9")), // precomputed_sel_op_is_address_0_
368 Commitment(
369 uint256_t("0x0585cbddf88636682471678c5259f4aef1e11af956268de802d9d98a25e12643"),
370 uint256_t(
371 "0x1945936772c40110b3ba7682c358ec4772d42e9b6152a4f8706fda2c4bbe85ff")), // precomputed_sel_op_is_address_1_
372 Commitment(
373 uint256_t("0x055865fd96b5dec0940fcb6e3abeaba208c5dee83b8a2f459daca685a4bc26c1"),
374 uint256_t(
375 "0x1b23b6b6412b0a5c96d195b8fbacb8d362d2fb08c49e523e2064431d2455a408")), // precomputed_sel_op_is_address_2_
376 Commitment(
377 uint256_t("0x3052e46c51289f5e76d606f7b57dd4f535602a065abdb0c6e9d02355ea1a31aa"),
378 uint256_t(
379 "0x01dc9b87e73622b263d930b3df1d82f8f95c985f939a3a5a8c75083849f10911")), // precomputed_sel_op_is_address_3_
380 Commitment(
381 uint256_t("0x1530ccb47d1198320c163380a82ca8cbaf87b2d40ede856d21c60535e2251262"),
382 uint256_t(
383 "0x29dd7ccea05e6d47a7373ea950a7988caed0d20880612e046af575217a21652a")), // precomputed_sel_op_is_address_4_
384 Commitment(
385 uint256_t("0x11b316123744c8602e394b9a558ed664a70d8a7e8f5a3138c9971302c193dd84"),
386 uint256_t(
387 "0x08a817c8ab332c7f8b478ec9bddb41a8ca1593c3b8fb85d6236d3eecc2df3b37")), // precomputed_sel_op_is_address_5_
388 Commitment(
389 uint256_t("0x11b316123744c8602e394b9a558ed664a70d8a7e8f5a3138c9971302c193dd84"),
390 uint256_t(
391 "0x08a817c8ab332c7f8b478ec9bddb41a8ca1593c3b8fb85d6236d3eecc2df3b37")), // precomputed_sel_op_is_address_6_
392 Commitment(
393 uint256_t("0x1525ae740393f8dec3a1ea8f39f456861afece20561b5870db4291410d2f3429"),
394 uint256_t(
395 "0x06dd8a3d3910bf6e98a49d6145afadecf9e2a5eb95c6e8dd0ebd06655ec07a84")), // precomputed_sel_p_decomposition
396 Commitment(
397 uint256_t("0x0f340b87fe418eac3aae7d33bc2f17b83821ce35f1297073c5707df1de1c0034"),
398 uint256_t(
399 "0x096c152f04c54ea0da36542b16f76be5754cddd9a0a5456311f2c64b2496f32e")), // precomputed_sel_phase
400 Commitment(
401 uint256_t("0x0752e216f6398f2dc16b86cd762f9bd9f961964f9c6a354530c45b04920f06ab"),
402 uint256_t(
403 "0x062522db0dc283ad1d328147904f0fdc0e44add870aa0b099cf16c3d73352a9e")), // precomputed_sel_range_16
404 Commitment(
405 uint256_t("0x2e51e57417ece86800e7afa2ac53cfffcf35343cfb4bad1f6016a5b657fc3bfe"),
406 uint256_t(
407 "0x2c8617a36d1bbb5e7bf06c192e8ffc9aa90c714d222f8c8c29ed6a8a7e5eb717")), // precomputed_sel_range_8
408 Commitment(
409 uint256_t("0x262d212add82bcbcf96d0773c59926e1b8e68e45c662f9348f2e4f64770595b3"),
410 uint256_t(
411 "0x2fe4de705da2b7bfb03cb3baa199ed4cc97e6ce620d0e939b603493223e88703")), // precomputed_sel_revertible_append_l2_l1_msg
412 Commitment(
413 uint256_t("0x041008987db8f55ded689b589133da9860150ed8c97b6bb5e87f0a31f78582b8"),
414 uint256_t(
415 "0x113ecb4f4d07b4efb19a22b59e5634d58e5f1d5a433b08a32f1ac2bdd0e7c01a")), // precomputed_sel_revertible_append_note_hash
416 Commitment(
417 uint256_t("0x2a56ce41f6b0be13b9c26747621b821eee81b23a887f299049b14c11e98460d6"),
418 uint256_t(
419 "0x1aa98f2de3ddda547d8f6de4e725ded5827d6338c78656c0d12ca1aea6ef2c7c")), // precomputed_sel_revertible_append_nullifier
420 Commitment(
421 uint256_t("0x2db8d548af3efd182047c9081ce2870f3c2e7a96b4a6469aca26167209285d9b"),
422 uint256_t(
423 "0x063d0df54d2aba02c2c82b4e6fe8bf2ed6223822b4602ad263892e0799b27eba")), // precomputed_sel_sha256_compression
424 Commitment(
425 uint256_t("0x01033193fd93132e8fb821a8c0da012671acf84949d0e29b85fb0c52695c2d10"),
426 uint256_t(
427 "0x20361a4e1e73f07142325b1271d5fb172cb32252b44996dbed0264117cdb7b01")), // precomputed_sel_tag_check_reg_0_
428 Commitment(
429 uint256_t("0x0e69699ba807e2b1b0c7f43462ec98fdd167798a2225036ccab37fce90d832f0"),
430 uint256_t(
431 "0x22cf1b04a5ba6078f995cb38394bff539fb715f2c6e46e6e3781a51ef5945392")), // precomputed_sel_tag_check_reg_1_
432 Commitment(
433 uint256_t("0x1530ccb47d1198320c163380a82ca8cbaf87b2d40ede856d21c60535e2251262"),
434 uint256_t(
435 "0x29dd7ccea05e6d47a7373ea950a7988caed0d20880612e046af575217a21652a")), // precomputed_sel_tag_check_reg_2_
436 Commitment(
437 uint256_t("0x1530ccb47d1198320c163380a82ca8cbaf87b2d40ede856d21c60535e2251262"),
438 uint256_t(
439 "0x29dd7ccea05e6d47a7373ea950a7988caed0d20880612e046af575217a21652a")), // precomputed_sel_tag_check_reg_3_
440 Commitment(
441 uint256_t("0x11b316123744c8602e394b9a558ed664a70d8a7e8f5a3138c9971302c193dd84"),
442 uint256_t(
443 "0x08a817c8ab332c7f8b478ec9bddb41a8ca1593c3b8fb85d6236d3eecc2df3b37")), // precomputed_sel_tag_check_reg_4_
444 Commitment(
445 uint256_t("0x11b316123744c8602e394b9a558ed664a70d8a7e8f5a3138c9971302c193dd84"),
446 uint256_t(
447 "0x08a817c8ab332c7f8b478ec9bddb41a8ca1593c3b8fb85d6236d3eecc2df3b37")), // precomputed_sel_tag_check_reg_5_
448 Commitment(
449 uint256_t("0x2b770f46bb0db9c1447e6010b3ca12f1dc2b2a237ff6d2390d9ddf5a056d09ad"),
450 uint256_t(
451 "0x0327a1ae68d02f91aa58b4fab7a92bc665080c8e734f85073c528a474a4024f0")), // precomputed_sel_tag_is_op2
452 Commitment(
453 uint256_t("0x179855b0edff774f3aefb51e03b8a1a8c6fc76971b2026bfda2a9e22d306c1f1"),
454 uint256_t(
455 "0x1f4f53d8c274f2019474fe304b7ec352663f08b2a128de79bdf7bc65e5db32b3")), // precomputed_sel_tag_parameters
456 Commitment(
457 uint256_t("0x122c377cad49f6338188909ccb858cf8304b3b00383bd44be42861a3d4158090"),
458 uint256_t(
459 "0x2af6b300db680f1713472c2c931cd10ec804eb227a659b7928dbc2bc01a33791")), // precomputed_sel_to_radix_p_limb_counts
460 Commitment(
461 uint256_t("0x1aad75d8502dcfee5df4a491c540577ad095025f94405a19bb3c314d9b88af45"),
462 uint256_t(
463 "0x09902415965a26179fea02c723fbf099f2ee80a38ba4ad0da3d401469cbe0180")), // precomputed_sha256_compression_round_constant
464 Commitment(
465 uint256_t("0x2ef1731ff114c76a897e80a447cca6aec1283c576b4b0a5aecdb5d89211d65a5"),
466 uint256_t(
467 "0x241dc58b4f57809022eee95a0d3f8d08fb16f2c275f96c59fb4830bb04d7a6af")), // precomputed_subtrace_id
468 Commitment(
469 uint256_t("0x1626cdb458887f54faff30d3d775643a2d453922b535cea15048169925d941d7"),
470 uint256_t(
471 "0x2141947d2d99d743ff20793b370f0c374343c48ee90ed8184269433d1dfb1b61")), // precomputed_subtrace_operation_id
472 Commitment(
473 uint256_t("0x10b9bc6cdaea8b22bd070b67a9cdf17ba12d38dd36c78b03dd92c1c22c691b4a"),
474 uint256_t(
475 "0x08c9fe6c3507e0c9b9c5ea437a251ff6e98eb7ed166fc37bced5122a4fcc3fc2")), // precomputed_tag_byte_length
476 Commitment(
477 uint256_t("0x22f79aad1e22b1ec13208ec1bc21e19d2e69e8f76431ad3438e1c87e5df832de"),
478 uint256_t(
479 "0x05ce47e68ff07bb26ccfa38afabbbc88d0f93b43bea5b9ba95089c8d7665591d")), // precomputed_tag_max_bits
480 Commitment(
481 uint256_t("0x09d7078f3bf2088b0d912aa0f683eedb9cec66398b0da3223daf2c24a4a6c398"),
482 uint256_t(
483 "0x0a3d292719d396119620d944ea8d715e6bdb8a3dfd45e459cff4fadc7680363c")), // precomputed_tag_max_value
484 Commitment(
485 uint256_t("0x2d9bed7db9c99d2eb9262c45c87f25b4318e698b44d62d8fa2be696d8972f81b"),
486 uint256_t(
487 "0x087dcd217bd498384849ec02b865b68f47e7c685438966f024afb08756b4ce41")), // precomputed_to_radix_num_limbs_for_p
488 Commitment(
489 uint256_t("0x2e919216e7ec35e511d02b467e47a44e0cfca5cd5a149d6afc85210e8c99647d"),
490 uint256_t(
491 "0x13e54d92311f40cf609dee03568a2017a45bb91e22fc2aa30bb6473677a184b8")), // precomputed_to_radix_safe_limbs
492 Commitment::infinity(), // precomputed_zero
493 Commitment(
494 uint256_t("0x0a7190c93191fed22f5b173384abef0cf48107d720b0c1852544d49b455483b9"),
495 uint256_t("0x0a850532f260ffae28991f0fc9a8650a5080a7376c69a02eb302f91428f2d87f")) // public_inputs_sel
496 };
497 }
498};
499
500} // namespace bb::avm2::constraining
bb::avm2::constraining::AvmHardCodedVKAndHash
Stores the fixed AVM VK commitments (to precomputed polynomials) that depend only on the precomputed ...
Definition avm_fixed_vk.hpp:14
bb::avm2::constraining::AvmHardCodedVKAndHash::Commitment
bb::curve::BN254::AffineElement Commitment
Definition avm_fixed_vk.hpp:16
bb::avm2::constraining::AvmHardCodedVKAndHash::get_all
static constexpr std::array< Commitment, NUM_PRECOMPUTED_ENTITIES > get_all()
Definition avm_fixed_vk.hpp:22
bb::curve::BN254::AffineElement
typename Group::affine_element AffineElement
Definition bn254.hpp:22
bb::curve::BN254::ScalarField
bb::fr ScalarField
Definition bn254.hpp:18
bb::numeric::uint256_t
Definition uint256.hpp:32
std::get
constexpr decltype(auto) get(::tuplet::tuple< T... > &&t) noexcept
Definition tuple.hpp:13