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