Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
memory_impl.hpp
Go to the documentation of this file.
1// AUTOGENERATED FILE
2#pragma once
3
4#include "barretenberg/vm2/constraining/relations/relation_macros.hpp"
5#include "barretenberg/vm2/generated/relations/memory.hpp"
6
7namespace bb::avm2 {
8
9template <typename FF_>
10template <typename ContainerOverSubrelations, typename AllEntities>
11void memoryImpl<FF_>::accumulate(ContainerOverSubrelations& evals,
12 const AllEntities& in,
13 [[maybe_unused]] const RelationParameters<FF_>&,
14 [[maybe_unused]] const FF_& scaling_factor)
15{
16 using C = ColumnAndShifts;
17
18 const auto constants_MEM_TAG_FF = FF(0);
19 const auto memory_GLOBAL_ADDR = in.get(C::memory_space_id) * FF(4294967296UL) + in.get(C::memory_address);
20 const auto memory_NEXT_GLOBAL_ADDR =
21 in.get(C::memory_space_id_shift) * FF(4294967296UL) + in.get(C::memory_address_shift);
22 const auto memory_TIMESTAMP = FF(2) * in.get(C::memory_clk) + in.get(C::memory_rw);
23 const auto memory_NEXT_TIMESTAMP = FF(2) * in.get(C::memory_clk_shift) + in.get(C::memory_rw_shift);
24 const auto memory_GLOBAL_ADDR_DIFF = (memory_NEXT_GLOBAL_ADDR - memory_GLOBAL_ADDR);
25 const auto memory_TIMESTAMP_DIFF = (memory_NEXT_TIMESTAMP - memory_TIMESTAMP);
26 const auto memory_TAG_FF_DIFF = (in.get(C::memory_tag) - constants_MEM_TAG_FF);
27
28 {
29 using View = typename std::tuple_element_t<0, ContainerOverSubrelations>::View;
30 auto tmp = static_cast<View>(in.get(C::memory_sel_addressing_base)) *
31 (FF(1) - static_cast<View>(in.get(C::memory_sel_addressing_base)));
32 std::get<0>(evals) += (tmp * scaling_factor);
33 }
34 {
35 using View = typename std::tuple_element_t<1, ContainerOverSubrelations>::View;
36 auto tmp = static_cast<View>(in.get(C::memory_sel_addressing_indirect_0_)) *
37 (FF(1) - static_cast<View>(in.get(C::memory_sel_addressing_indirect_0_)));
38 std::get<1>(evals) += (tmp * scaling_factor);
39 }
40 {
41 using View = typename std::tuple_element_t<2, ContainerOverSubrelations>::View;
42 auto tmp = static_cast<View>(in.get(C::memory_sel_addressing_indirect_1_)) *
43 (FF(1) - static_cast<View>(in.get(C::memory_sel_addressing_indirect_1_)));
44 std::get<2>(evals) += (tmp * scaling_factor);
45 }
46 {
47 using View = typename std::tuple_element_t<3, ContainerOverSubrelations>::View;
48 auto tmp = static_cast<View>(in.get(C::memory_sel_addressing_indirect_2_)) *
49 (FF(1) - static_cast<View>(in.get(C::memory_sel_addressing_indirect_2_)));
50 std::get<3>(evals) += (tmp * scaling_factor);
51 }
52 {
53 using View = typename std::tuple_element_t<4, ContainerOverSubrelations>::View;
54 auto tmp = static_cast<View>(in.get(C::memory_sel_addressing_indirect_3_)) *
55 (FF(1) - static_cast<View>(in.get(C::memory_sel_addressing_indirect_3_)));
56 std::get<4>(evals) += (tmp * scaling_factor);
57 }
58 {
59 using View = typename std::tuple_element_t<5, ContainerOverSubrelations>::View;
60 auto tmp = static_cast<View>(in.get(C::memory_sel_addressing_indirect_4_)) *
61 (FF(1) - static_cast<View>(in.get(C::memory_sel_addressing_indirect_4_)));
62 std::get<5>(evals) += (tmp * scaling_factor);
63 }
64 {
65 using View = typename std::tuple_element_t<6, ContainerOverSubrelations>::View;
66 auto tmp = static_cast<View>(in.get(C::memory_sel_register_op_0_)) *
67 (FF(1) - static_cast<View>(in.get(C::memory_sel_register_op_0_)));
68 std::get<6>(evals) += (tmp * scaling_factor);
69 }
70 {
71 using View = typename std::tuple_element_t<7, ContainerOverSubrelations>::View;
72 auto tmp = static_cast<View>(in.get(C::memory_sel_register_op_1_)) *
73 (FF(1) - static_cast<View>(in.get(C::memory_sel_register_op_1_)));
74 std::get<7>(evals) += (tmp * scaling_factor);
75 }
76 {
77 using View = typename std::tuple_element_t<8, ContainerOverSubrelations>::View;
78 auto tmp = static_cast<View>(in.get(C::memory_sel_register_op_2_)) *
79 (FF(1) - static_cast<View>(in.get(C::memory_sel_register_op_2_)));
80 std::get<8>(evals) += (tmp * scaling_factor);
81 }
82 {
83 using View = typename std::tuple_element_t<9, ContainerOverSubrelations>::View;
84 auto tmp = static_cast<View>(in.get(C::memory_sel_register_op_3_)) *
85 (FF(1) - static_cast<View>(in.get(C::memory_sel_register_op_3_)));
86 std::get<9>(evals) += (tmp * scaling_factor);
87 }
88 {
89 using View = typename std::tuple_element_t<10, ContainerOverSubrelations>::View;
90 auto tmp = static_cast<View>(in.get(C::memory_sel_data_copy_read)) *
91 (FF(1) - static_cast<View>(in.get(C::memory_sel_data_copy_read)));
92 std::get<10>(evals) += (tmp * scaling_factor);
93 }
94 {
95 using View = typename std::tuple_element_t<11, ContainerOverSubrelations>::View;
96 auto tmp = static_cast<View>(in.get(C::memory_sel_data_copy_write)) *
97 (FF(1) - static_cast<View>(in.get(C::memory_sel_data_copy_write)));
98 std::get<11>(evals) += (tmp * scaling_factor);
99 }
100 {
101 using View = typename std::tuple_element_t<12, ContainerOverSubrelations>::View;
102 auto tmp = static_cast<View>(in.get(C::memory_sel_get_contract_instance_exists_write)) *
103 (FF(1) - static_cast<View>(in.get(C::memory_sel_get_contract_instance_exists_write)));
104 std::get<12>(evals) += (tmp * scaling_factor);
105 }
106 {
107 using View = typename std::tuple_element_t<13, ContainerOverSubrelations>::View;
108 auto tmp = static_cast<View>(in.get(C::memory_sel_get_contract_instance_member_write)) *
109 (FF(1) - static_cast<View>(in.get(C::memory_sel_get_contract_instance_member_write)));
110 std::get<13>(evals) += (tmp * scaling_factor);
111 }
112 {
113 using View = typename std::tuple_element_t<14, ContainerOverSubrelations>::View;
114 auto tmp = static_cast<View>(in.get(C::memory_sel_public_log_read)) *
115 (FF(1) - static_cast<View>(in.get(C::memory_sel_public_log_read)));
116 std::get<14>(evals) += (tmp * scaling_factor);
117 }
118 {
119 using View = typename std::tuple_element_t<15, ContainerOverSubrelations>::View;
120 auto tmp = static_cast<View>(in.get(C::memory_sel_poseidon2_read_0_)) *
121 (FF(1) - static_cast<View>(in.get(C::memory_sel_poseidon2_read_0_)));
122 std::get<15>(evals) += (tmp * scaling_factor);
123 }
124 {
125 using View = typename std::tuple_element_t<16, ContainerOverSubrelations>::View;
126 auto tmp = static_cast<View>(in.get(C::memory_sel_poseidon2_read_1_)) *
127 (FF(1) - static_cast<View>(in.get(C::memory_sel_poseidon2_read_1_)));
128 std::get<16>(evals) += (tmp * scaling_factor);
129 }
130 {
131 using View = typename std::tuple_element_t<17, ContainerOverSubrelations>::View;
132 auto tmp = static_cast<View>(in.get(C::memory_sel_poseidon2_read_2_)) *
133 (FF(1) - static_cast<View>(in.get(C::memory_sel_poseidon2_read_2_)));
134 std::get<17>(evals) += (tmp * scaling_factor);
135 }
136 {
137 using View = typename std::tuple_element_t<18, ContainerOverSubrelations>::View;
138 auto tmp = static_cast<View>(in.get(C::memory_sel_poseidon2_read_3_)) *
139 (FF(1) - static_cast<View>(in.get(C::memory_sel_poseidon2_read_3_)));
140 std::get<18>(evals) += (tmp * scaling_factor);
141 }
142 {
143 using View = typename std::tuple_element_t<19, ContainerOverSubrelations>::View;
144 auto tmp = static_cast<View>(in.get(C::memory_sel_poseidon2_write_0_)) *
145 (FF(1) - static_cast<View>(in.get(C::memory_sel_poseidon2_write_0_)));
146 std::get<19>(evals) += (tmp * scaling_factor);
147 }
148 {
149 using View = typename std::tuple_element_t<20, ContainerOverSubrelations>::View;
150 auto tmp = static_cast<View>(in.get(C::memory_sel_poseidon2_write_1_)) *
151 (FF(1) - static_cast<View>(in.get(C::memory_sel_poseidon2_write_1_)));
152 std::get<20>(evals) += (tmp * scaling_factor);
153 }
154 {
155 using View = typename std::tuple_element_t<21, ContainerOverSubrelations>::View;
156 auto tmp = static_cast<View>(in.get(C::memory_sel_poseidon2_write_2_)) *
157 (FF(1) - static_cast<View>(in.get(C::memory_sel_poseidon2_write_2_)));
158 std::get<21>(evals) += (tmp * scaling_factor);
159 }
160 {
161 using View = typename std::tuple_element_t<22, ContainerOverSubrelations>::View;
162 auto tmp = static_cast<View>(in.get(C::memory_sel_poseidon2_write_3_)) *
163 (FF(1) - static_cast<View>(in.get(C::memory_sel_poseidon2_write_3_)));
164 std::get<22>(evals) += (tmp * scaling_factor);
165 }
166 {
167 using View = typename std::tuple_element_t<23, ContainerOverSubrelations>::View;
168 auto tmp =
169 static_cast<View>(in.get(C::memory_sel_keccak)) * (FF(1) - static_cast<View>(in.get(C::memory_sel_keccak)));
170 std::get<23>(evals) += (tmp * scaling_factor);
171 }
172 {
173 using View = typename std::tuple_element_t<24, ContainerOverSubrelations>::View;
174 auto tmp = static_cast<View>(in.get(C::memory_sel_sha256_read)) *
175 (FF(1) - static_cast<View>(in.get(C::memory_sel_sha256_read)));
176 std::get<24>(evals) += (tmp * scaling_factor);
177 }
178 {
179 using View = typename std::tuple_element_t<25, ContainerOverSubrelations>::View;
180 auto tmp = static_cast<View>(in.get(C::memory_sel_sha256_op_0_)) *
181 (FF(1) - static_cast<View>(in.get(C::memory_sel_sha256_op_0_)));
182 std::get<25>(evals) += (tmp * scaling_factor);
183 }
184 {
185 using View = typename std::tuple_element_t<26, ContainerOverSubrelations>::View;
186 auto tmp = static_cast<View>(in.get(C::memory_sel_sha256_op_1_)) *
187 (FF(1) - static_cast<View>(in.get(C::memory_sel_sha256_op_1_)));
188 std::get<26>(evals) += (tmp * scaling_factor);
189 }
190 {
191 using View = typename std::tuple_element_t<27, ContainerOverSubrelations>::View;
192 auto tmp = static_cast<View>(in.get(C::memory_sel_sha256_op_2_)) *
193 (FF(1) - static_cast<View>(in.get(C::memory_sel_sha256_op_2_)));
194 std::get<27>(evals) += (tmp * scaling_factor);
195 }
196 {
197 using View = typename std::tuple_element_t<28, ContainerOverSubrelations>::View;
198 auto tmp = static_cast<View>(in.get(C::memory_sel_sha256_op_3_)) *
199 (FF(1) - static_cast<View>(in.get(C::memory_sel_sha256_op_3_)));
200 std::get<28>(evals) += (tmp * scaling_factor);
201 }
202 {
203 using View = typename std::tuple_element_t<29, ContainerOverSubrelations>::View;
204 auto tmp = static_cast<View>(in.get(C::memory_sel_sha256_op_4_)) *
205 (FF(1) - static_cast<View>(in.get(C::memory_sel_sha256_op_4_)));
206 std::get<29>(evals) += (tmp * scaling_factor);
207 }
208 {
209 using View = typename std::tuple_element_t<30, ContainerOverSubrelations>::View;
210 auto tmp = static_cast<View>(in.get(C::memory_sel_sha256_op_5_)) *
211 (FF(1) - static_cast<View>(in.get(C::memory_sel_sha256_op_5_)));
212 std::get<30>(evals) += (tmp * scaling_factor);
213 }
214 {
215 using View = typename std::tuple_element_t<31, ContainerOverSubrelations>::View;
216 auto tmp = static_cast<View>(in.get(C::memory_sel_sha256_op_6_)) *
217 (FF(1) - static_cast<View>(in.get(C::memory_sel_sha256_op_6_)));
218 std::get<31>(evals) += (tmp * scaling_factor);
219 }
220 {
221 using View = typename std::tuple_element_t<32, ContainerOverSubrelations>::View;
222 auto tmp = static_cast<View>(in.get(C::memory_sel_sha256_op_7_)) *
223 (FF(1) - static_cast<View>(in.get(C::memory_sel_sha256_op_7_)));
224 std::get<32>(evals) += (tmp * scaling_factor);
225 }
226 {
227 using View = typename std::tuple_element_t<33, ContainerOverSubrelations>::View;
228 auto tmp = static_cast<View>(in.get(C::memory_sel_ecc_write_0_)) *
229 (FF(1) - static_cast<View>(in.get(C::memory_sel_ecc_write_0_)));
230 std::get<33>(evals) += (tmp * scaling_factor);
231 }
232 {
233 using View = typename std::tuple_element_t<34, ContainerOverSubrelations>::View;
234 auto tmp = static_cast<View>(in.get(C::memory_sel_ecc_write_1_)) *
235 (FF(1) - static_cast<View>(in.get(C::memory_sel_ecc_write_1_)));
236 std::get<34>(evals) += (tmp * scaling_factor);
237 }
238 {
239 using View = typename std::tuple_element_t<35, ContainerOverSubrelations>::View;
240 auto tmp = static_cast<View>(in.get(C::memory_sel_to_radix_write)) *
241 (FF(1) - static_cast<View>(in.get(C::memory_sel_to_radix_write)));
242 std::get<35>(evals) += (tmp * scaling_factor);
243 }
244 { // ACTIVE_ROW_NEEDS_PERM_SELECTOR
245 using View = typename std::tuple_element_t<36, ContainerOverSubrelations>::View;
246 auto tmp =
247 (static_cast<View>(in.get(C::memory_sel)) -
248 (static_cast<View>(in.get(C::memory_sel_addressing_base)) +
249 static_cast<View>(in.get(C::memory_sel_addressing_indirect_0_)) +
250 static_cast<View>(in.get(C::memory_sel_addressing_indirect_1_)) +
251 static_cast<View>(in.get(C::memory_sel_addressing_indirect_2_)) +
252 static_cast<View>(in.get(C::memory_sel_addressing_indirect_3_)) +
253 static_cast<View>(in.get(C::memory_sel_addressing_indirect_4_)) +
254 static_cast<View>(in.get(C::memory_sel_register_op_0_)) +
255 static_cast<View>(in.get(C::memory_sel_register_op_1_)) +
256 static_cast<View>(in.get(C::memory_sel_register_op_2_)) +
257 static_cast<View>(in.get(C::memory_sel_register_op_3_)) +
258 static_cast<View>(in.get(C::memory_sel_data_copy_read)) +
259 static_cast<View>(in.get(C::memory_sel_data_copy_write)) +
260 static_cast<View>(in.get(C::memory_sel_get_contract_instance_exists_write)) +
261 static_cast<View>(in.get(C::memory_sel_get_contract_instance_member_write)) +
262 static_cast<View>(in.get(C::memory_sel_public_log_read)) +
263 static_cast<View>(in.get(C::memory_sel_poseidon2_read_0_)) +
264 static_cast<View>(in.get(C::memory_sel_poseidon2_read_1_)) +
265 static_cast<View>(in.get(C::memory_sel_poseidon2_read_2_)) +
266 static_cast<View>(in.get(C::memory_sel_poseidon2_read_3_)) +
267 static_cast<View>(in.get(C::memory_sel_poseidon2_write_0_)) +
268 static_cast<View>(in.get(C::memory_sel_poseidon2_write_1_)) +
269 static_cast<View>(in.get(C::memory_sel_poseidon2_write_2_)) +
270 static_cast<View>(in.get(C::memory_sel_poseidon2_write_3_)) +
271 static_cast<View>(in.get(C::memory_sel_keccak)) + static_cast<View>(in.get(C::memory_sel_sha256_read)) +
272 static_cast<View>(in.get(C::memory_sel_sha256_op_0_)) +
273 static_cast<View>(in.get(C::memory_sel_sha256_op_1_)) +
274 static_cast<View>(in.get(C::memory_sel_sha256_op_2_)) +
275 static_cast<View>(in.get(C::memory_sel_sha256_op_3_)) +
276 static_cast<View>(in.get(C::memory_sel_sha256_op_4_)) +
277 static_cast<View>(in.get(C::memory_sel_sha256_op_5_)) +
278 static_cast<View>(in.get(C::memory_sel_sha256_op_6_)) +
279 static_cast<View>(in.get(C::memory_sel_sha256_op_7_)) +
280 static_cast<View>(in.get(C::memory_sel_ecc_write_0_)) +
281 static_cast<View>(in.get(C::memory_sel_ecc_write_1_)) +
282 static_cast<View>(in.get(C::memory_sel_to_radix_write))));
283 std::get<36>(evals) += (tmp * scaling_factor);
284 }
285 {
286 using View = typename std::tuple_element_t<37, ContainerOverSubrelations>::View;
287 auto tmp = static_cast<View>(in.get(C::memory_sel)) * (FF(1) - static_cast<View>(in.get(C::memory_sel)));
288 std::get<37>(evals) += (tmp * scaling_factor);
289 }
290 {
291 using View = typename std::tuple_element_t<38, ContainerOverSubrelations>::View;
292 auto tmp = static_cast<View>(in.get(C::memory_last_access)) *
293 (FF(1) - static_cast<View>(in.get(C::memory_last_access)));
294 std::get<38>(evals) += (tmp * scaling_factor);
295 }
296 {
297 using View = typename std::tuple_element_t<39, ContainerOverSubrelations>::View;
298 auto tmp = static_cast<View>(in.get(C::memory_rw)) * (FF(1) - static_cast<View>(in.get(C::memory_rw)));
299 std::get<39>(evals) += (tmp * scaling_factor);
300 }
301 {
302 using View = typename std::tuple_element_t<40, ContainerOverSubrelations>::View;
303 auto tmp = static_cast<View>(in.get(C::memory_sel_tag_is_ff)) *
304 (FF(1) - static_cast<View>(in.get(C::memory_sel_tag_is_ff)));
305 std::get<40>(evals) += (tmp * scaling_factor);
306 }
307 { // MEM_CONTINUITY
308 using View = typename std::tuple_element_t<41, ContainerOverSubrelations>::View;
309 auto tmp =
310 ((FF(1) - static_cast<View>(in.get(C::precomputed_first_row))) - static_cast<View>(in.get(C::memory_sel))) *
311 static_cast<View>(in.get(C::memory_sel_shift));
312 std::get<41>(evals) += (tmp * scaling_factor);
313 }
314 { // SEL_RNG_CHK
315 using View = typename std::tuple_element_t<42, ContainerOverSubrelations>::View;
316 auto tmp = (static_cast<View>(in.get(C::memory_sel_rng_chk)) -
317 static_cast<View>(in.get(C::memory_sel)) * static_cast<View>(in.get(C::memory_sel_shift)));
318 std::get<42>(evals) += (tmp * scaling_factor);
319 }
320 { // LAST_ACCESS
321 using View = typename std::tuple_element_t<43, ContainerOverSubrelations>::View;
322 auto tmp =
323 static_cast<View>(in.get(C::memory_sel_rng_chk)) *
324 (CView(memory_GLOBAL_ADDR_DIFF) * ((FF(1) - static_cast<View>(in.get(C::memory_last_access))) *
325 (FF(1) - static_cast<View>(in.get(C::memory_glob_addr_diff_inv))) +
326 static_cast<View>(in.get(C::memory_glob_addr_diff_inv))) -
327 static_cast<View>(in.get(C::memory_last_access)));
328 std::get<43>(evals) += (tmp * scaling_factor);
329 }
330 { // DIFF
331 using View = typename std::tuple_element_t<44, ContainerOverSubrelations>::View;
332 auto tmp = (static_cast<View>(in.get(C::memory_diff)) -
333 static_cast<View>(in.get(C::memory_sel_rng_chk)) *
334 (static_cast<View>(in.get(C::memory_last_access)) * CView(memory_GLOBAL_ADDR_DIFF) +
335 (FF(1) - static_cast<View>(in.get(C::memory_last_access))) *
336 (CView(memory_TIMESTAMP_DIFF) - static_cast<View>(in.get(C::memory_rw_shift)) *
337 static_cast<View>(in.get(C::memory_rw)))));
338 std::get<44>(evals) += (tmp * scaling_factor);
339 }
340 { // DIFF_DECOMP
341 using View = typename std::tuple_element_t<45, ContainerOverSubrelations>::View;
342 auto tmp =
343 (static_cast<View>(in.get(C::memory_diff)) -
344 (static_cast<View>(in.get(C::memory_limb_0_)) + static_cast<View>(in.get(C::memory_limb_1_)) * FF(65536) +
345 static_cast<View>(in.get(C::memory_limb_2_)) * FF(4294967296UL)));
346 std::get<45>(evals) += (tmp * scaling_factor);
347 }
348 { // MEMORY_INIT_VALUE
349 using View = typename std::tuple_element_t<46, ContainerOverSubrelations>::View;
350 auto tmp =
351 (static_cast<View>(in.get(C::memory_last_access)) + static_cast<View>(in.get(C::precomputed_first_row))) *
352 (FF(1) - static_cast<View>(in.get(C::memory_rw_shift))) * static_cast<View>(in.get(C::memory_value_shift));
353 std::get<46>(evals) += (tmp * scaling_factor);
354 }
355 { // MEMORY_INIT_TAG
356 using View = typename std::tuple_element_t<47, ContainerOverSubrelations>::View;
357 auto tmp =
358 (static_cast<View>(in.get(C::memory_last_access)) + static_cast<View>(in.get(C::precomputed_first_row))) *
359 (FF(1) - static_cast<View>(in.get(C::memory_rw_shift))) *
360 (static_cast<View>(in.get(C::memory_tag_shift)) - CView(constants_MEM_TAG_FF));
361 std::get<47>(evals) += (tmp * scaling_factor);
362 }
363 { // READ_WRITE_CONSISTENCY_VALUE
364 using View = typename std::tuple_element_t<48, ContainerOverSubrelations>::View;
365 auto tmp = (FF(1) - static_cast<View>(in.get(C::memory_last_access))) *
366 (FF(1) - static_cast<View>(in.get(C::memory_rw_shift))) *
367 (static_cast<View>(in.get(C::memory_value_shift)) - static_cast<View>(in.get(C::memory_value)));
368 std::get<48>(evals) += (tmp * scaling_factor);
369 }
370 { // READ_WRITE_CONSISTENCY_TAG
371 using View = typename std::tuple_element_t<49, ContainerOverSubrelations>::View;
372 auto tmp = (FF(1) - static_cast<View>(in.get(C::memory_last_access))) *
373 (FF(1) - static_cast<View>(in.get(C::memory_rw_shift))) *
374 (static_cast<View>(in.get(C::memory_tag_shift)) - static_cast<View>(in.get(C::memory_tag)));
375 std::get<49>(evals) += (tmp * scaling_factor);
376 }
377 { // TAG_IS_FF
378 using View = typename std::tuple_element_t<50, ContainerOverSubrelations>::View;
379 auto tmp = static_cast<View>(in.get(C::memory_sel)) *
380 ((CView(memory_TAG_FF_DIFF) * (static_cast<View>(in.get(C::memory_sel_tag_is_ff)) *
381 (FF(1) - static_cast<View>(in.get(C::memory_tag_ff_diff_inv))) +
382 static_cast<View>(in.get(C::memory_tag_ff_diff_inv))) +
383 static_cast<View>(in.get(C::memory_sel_tag_is_ff))) -
384 FF(1));
385 std::get<50>(evals) += (tmp * scaling_factor);
386 }
387 { // SEL_RNG_WRITE
388 using View = typename std::tuple_element_t<51, ContainerOverSubrelations>::View;
389 auto tmp =
390 (static_cast<View>(in.get(C::memory_sel_rng_write)) -
391 static_cast<View>(in.get(C::memory_rw)) * (FF(1) - static_cast<View>(in.get(C::memory_sel_tag_is_ff))));
392 std::get<51>(evals) += (tmp * scaling_factor);
393 }
394}
395
396} // namespace bb::avm2
bb::MegaFlavor_Generated::AllEntities
Definition mega_flavor_generated.hpp:277
bb::avm2::memoryImpl::accumulate
static void accumulate(ContainerOverSubrelations &evals, const AllEntities &in, const RelationParameters< FF > &, const FF &scaling_factor)
Definition memory_impl.hpp:11
bb::avm2::FF
AvmFlavorSettings::FF FF
Definition field.hpp:10
bb::avm2::ColumnAndShifts
ColumnAndShifts
Definition columns.hpp:35
std::get
constexpr decltype(auto) get(::tuplet::tuple< T... > &&t) noexcept
Definition tuple.hpp:13
relation_macros.hpp
CView
#define CView(v)
Definition relation_macros.hpp:16
bb::RelationParameters
Container for parameters used by the grand product (permutation, lookup) Honk relations.
Definition relation_parameters.hpp:19