Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
to_radix_mem_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/to_radix_mem.hpp"
6
7namespace bb::avm2 {
8
9template <typename FF_>
10template <typename ContainerOverSubrelations, typename AllEntities>
11void to_radix_memImpl<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_U1 = FF(1);
19 const auto constants_MEM_TAG_U8 = FF(2);
20 const auto constants_AVM_MEMORY_SIZE = FF(4294967296UL);
21 const auto to_radix_mem_LATCH_CONDITION = in.get(C::to_radix_mem_last) + in.get(C::precomputed_first_row);
22 const auto to_radix_mem_RADIX_MIN_TWO = (in.get(C::to_radix_mem_radix) - FF(2));
23 const auto to_radix_mem_SEL_INVALID_NUM_LIMBS_ERR =
24 in.get(C::to_radix_mem_sel_num_limbs_is_zero) * (FF(1) - in.get(C::to_radix_mem_sel_value_is_zero));
25 const auto to_radix_mem_SEL_TRUNCATION_ERROR =
26 in.get(C::to_radix_mem_sel_should_decompose) * (FF(1) - in.get(C::to_radix_mem_value_found));
27 const auto to_radix_mem_NOT_LAST = (in.get(C::to_radix_mem_sel) - in.get(C::to_radix_mem_last));
28 const auto to_radix_mem_NO_ERR_NOR_NUM_LIMBS_ZERO = (in.get(C::to_radix_mem_start) - in.get(C::to_radix_mem_err)) *
29 (FF(1) - in.get(C::to_radix_mem_sel_num_limbs_is_zero)) +
30 (in.get(C::to_radix_mem_sel) - in.get(C::to_radix_mem_start));
31 const auto to_radix_mem_NUM_LIMBS_MINUS_ONE = (in.get(C::to_radix_mem_num_limbs) - FF(1));
32
33 {
34 using View = typename std::tuple_element_t<0, ContainerOverSubrelations>::View;
35 auto tmp =
36 static_cast<View>(in.get(C::to_radix_mem_sel)) * (FF(1) - static_cast<View>(in.get(C::to_radix_mem_sel)));
37 std::get<0>(evals) += (tmp * scaling_factor);
38 }
39 {
40 using View = typename std::tuple_element_t<1, ContainerOverSubrelations>::View;
41 auto tmp = static_cast<View>(in.get(C::to_radix_mem_start)) *
42 (FF(1) - static_cast<View>(in.get(C::to_radix_mem_start)));
43 std::get<1>(evals) += (tmp * scaling_factor);
44 }
45 {
46 using View = typename std::tuple_element_t<2, ContainerOverSubrelations>::View;
47 auto tmp =
48 static_cast<View>(in.get(C::to_radix_mem_last)) * (FF(1) - static_cast<View>(in.get(C::to_radix_mem_last)));
49 std::get<2>(evals) += (tmp * scaling_factor);
50 }
51 { // SEL_ON_START_OR_END
52 using View = typename std::tuple_element_t<3, ContainerOverSubrelations>::View;
53 auto tmp =
54 (static_cast<View>(in.get(C::to_radix_mem_start)) + static_cast<View>(in.get(C::to_radix_mem_last))) *
55 (FF(1) - static_cast<View>(in.get(C::to_radix_mem_sel)));
56 std::get<3>(evals) += (tmp * scaling_factor);
57 }
58 { // TRACE_CONTINUITY
59 using View = typename std::tuple_element_t<4, ContainerOverSubrelations>::View;
60 auto tmp =
61 (FF(1) - CView(to_radix_mem_LATCH_CONDITION)) *
62 (static_cast<View>(in.get(C::to_radix_mem_sel)) - static_cast<View>(in.get(C::to_radix_mem_sel_shift)));
63 std::get<4>(evals) += (tmp * scaling_factor);
64 }
65 { // START_AFTER_LATCH
66 using View = typename std::tuple_element_t<5, ContainerOverSubrelations>::View;
67 auto tmp = static_cast<View>(in.get(C::to_radix_mem_sel_shift)) *
68 (static_cast<View>(in.get(C::to_radix_mem_start_shift)) - CView(to_radix_mem_LATCH_CONDITION));
69 std::get<5>(evals) += (tmp * scaling_factor);
70 }
71 { // EXEC_CLK_CONTINUITY
72 using View = typename std::tuple_element_t<6, ContainerOverSubrelations>::View;
73 auto tmp = (FF(1) - CView(to_radix_mem_LATCH_CONDITION)) *
74 (static_cast<View>(in.get(C::to_radix_mem_execution_clk_shift)) -
75 static_cast<View>(in.get(C::to_radix_mem_execution_clk)));
76 std::get<6>(evals) += (tmp * scaling_factor);
77 }
78 { // SPACE_ID_CONTINUITY
79 using View = typename std::tuple_element_t<7, ContainerOverSubrelations>::View;
80 auto tmp =
81 (FF(1) - CView(to_radix_mem_LATCH_CONDITION)) * (static_cast<View>(in.get(C::to_radix_mem_space_id_shift)) -
82 static_cast<View>(in.get(C::to_radix_mem_space_id)));
83 std::get<7>(evals) += (tmp * scaling_factor);
84 }
85 { // VALUE_CONTINUITY
86 using View = typename std::tuple_element_t<8, ContainerOverSubrelations>::View;
87 auto tmp = (FF(1) - CView(to_radix_mem_LATCH_CONDITION)) *
88 (static_cast<View>(in.get(C::to_radix_mem_value_to_decompose_shift)) -
89 static_cast<View>(in.get(C::to_radix_mem_value_to_decompose)));
90 std::get<8>(evals) += (tmp * scaling_factor);
91 }
92 { // RADIX_CONTINUITY
93 using View = typename std::tuple_element_t<9, ContainerOverSubrelations>::View;
94 auto tmp =
95 (FF(1) - CView(to_radix_mem_LATCH_CONDITION)) *
96 (static_cast<View>(in.get(C::to_radix_mem_radix_shift)) - static_cast<View>(in.get(C::to_radix_mem_radix)));
97 std::get<9>(evals) += (tmp * scaling_factor);
98 }
99 { // IS_OUTPUT_BITS_CONTINUITY
100 using View = typename std::tuple_element_t<10, ContainerOverSubrelations>::View;
101 auto tmp = (FF(1) - CView(to_radix_mem_LATCH_CONDITION)) *
102 (static_cast<View>(in.get(C::to_radix_mem_is_output_bits_shift)) -
103 static_cast<View>(in.get(C::to_radix_mem_is_output_bits)));
104 std::get<10>(evals) += (tmp * scaling_factor);
105 }
106 {
107 using View = typename std::tuple_element_t<11, ContainerOverSubrelations>::View;
108 auto tmp = static_cast<View>(in.get(C::to_radix_mem_start)) *
109 (static_cast<View>(in.get(C::to_radix_mem_max_mem_size)) - CView(constants_AVM_MEMORY_SIZE));
110 std::get<11>(evals) += (tmp * scaling_factor);
111 }
112 {
113 using View = typename std::tuple_element_t<12, ContainerOverSubrelations>::View;
114 auto tmp = static_cast<View>(in.get(C::to_radix_mem_start)) *
115 ((static_cast<View>(in.get(C::to_radix_mem_write_addr_upper_bound)) -
116 static_cast<View>(in.get(C::to_radix_mem_dst_addr))) -
117 static_cast<View>(in.get(C::to_radix_mem_num_limbs)));
118 std::get<12>(evals) += (tmp * scaling_factor);
119 }
120 {
121 using View = typename std::tuple_element_t<13, ContainerOverSubrelations>::View;
122 auto tmp =
123 static_cast<View>(in.get(C::to_radix_mem_start)) * (static_cast<View>(in.get(C::to_radix_mem_two)) - FF(2));
124 std::get<13>(evals) += (tmp * scaling_factor);
125 }
126 {
127 using View = typename std::tuple_element_t<14, ContainerOverSubrelations>::View;
128 auto tmp = static_cast<View>(in.get(C::to_radix_mem_start)) *
129 (static_cast<View>(in.get(C::to_radix_mem_two_five_six)) - FF(256));
130 std::get<14>(evals) += (tmp * scaling_factor);
131 }
132 {
133 using View = typename std::tuple_element_t<15, ContainerOverSubrelations>::View;
134 auto tmp = static_cast<View>(in.get(C::to_radix_mem_sel_radix_eq_2)) *
135 (FF(1) - static_cast<View>(in.get(C::to_radix_mem_sel_radix_eq_2)));
136 std::get<15>(evals) += (tmp * scaling_factor);
137 }
138 {
139 using View = typename std::tuple_element_t<16, ContainerOverSubrelations>::View;
140 auto tmp = static_cast<View>(in.get(C::to_radix_mem_start)) *
141 ((CView(to_radix_mem_RADIX_MIN_TWO) *
142 (static_cast<View>(in.get(C::to_radix_mem_sel_radix_eq_2)) *
143 (FF(1) - static_cast<View>(in.get(C::to_radix_mem_radix_min_two_inv))) +
144 static_cast<View>(in.get(C::to_radix_mem_radix_min_two_inv))) -
145 FF(1)) +
146 static_cast<View>(in.get(C::to_radix_mem_sel_radix_eq_2)));
147 std::get<16>(evals) += (tmp * scaling_factor);
148 }
149 { // IS_OUTPUT_BITS_IMPLY_RADIX_2
150 using View = typename std::tuple_element_t<17, ContainerOverSubrelations>::View;
151 auto tmp = (static_cast<View>(in.get(C::to_radix_mem_sel_invalid_bitwise_radix)) -
152 static_cast<View>(in.get(C::to_radix_mem_start)) *
153 static_cast<View>(in.get(C::to_radix_mem_is_output_bits)) *
154 (FF(1) - static_cast<View>(in.get(C::to_radix_mem_sel_radix_eq_2))));
155 std::get<17>(evals) += (tmp * scaling_factor);
156 }
157 {
158 using View = typename std::tuple_element_t<18, ContainerOverSubrelations>::View;
159 auto tmp = static_cast<View>(in.get(C::to_radix_mem_sel_num_limbs_is_zero)) *
160 (FF(1) - static_cast<View>(in.get(C::to_radix_mem_sel_num_limbs_is_zero)));
161 std::get<18>(evals) += (tmp * scaling_factor);
162 }
163 { // ZERO_CHECK_NUM_LIMBS
164 using View = typename std::tuple_element_t<19, ContainerOverSubrelations>::View;
165 auto tmp = static_cast<View>(in.get(C::to_radix_mem_start)) *
166 ((static_cast<View>(in.get(C::to_radix_mem_num_limbs)) *
167 (static_cast<View>(in.get(C::to_radix_mem_sel_num_limbs_is_zero)) *
168 (FF(1) - static_cast<View>(in.get(C::to_radix_mem_num_limbs_inv))) +
169 static_cast<View>(in.get(C::to_radix_mem_num_limbs_inv))) -
170 FF(1)) +
171 static_cast<View>(in.get(C::to_radix_mem_sel_num_limbs_is_zero)));
172 std::get<19>(evals) += (tmp * scaling_factor);
173 }
174 {
175 using View = typename std::tuple_element_t<20, ContainerOverSubrelations>::View;
176 auto tmp = static_cast<View>(in.get(C::to_radix_mem_sel_value_is_zero)) *
177 (FF(1) - static_cast<View>(in.get(C::to_radix_mem_sel_value_is_zero)));
178 std::get<20>(evals) += (tmp * scaling_factor);
179 }
180 { // ZERO_CHECK_VALUE
181 using View = typename std::tuple_element_t<21, ContainerOverSubrelations>::View;
182 auto tmp = static_cast<View>(in.get(C::to_radix_mem_start)) *
183 ((static_cast<View>(in.get(C::to_radix_mem_value_to_decompose)) *
184 (static_cast<View>(in.get(C::to_radix_mem_sel_value_is_zero)) *
185 (FF(1) - static_cast<View>(in.get(C::to_radix_mem_value_inv))) +
186 static_cast<View>(in.get(C::to_radix_mem_value_inv))) -
187 FF(1)) +
188 static_cast<View>(in.get(C::to_radix_mem_sel_value_is_zero)));
189 std::get<21>(evals) += (tmp * scaling_factor);
190 }
191 {
192 using View = typename std::tuple_element_t<22, ContainerOverSubrelations>::View;
193 auto tmp = (static_cast<View>(in.get(C::to_radix_mem_input_validation_error)) -
194 (FF(1) - (FF(1) - static_cast<View>(in.get(C::to_radix_mem_sel_dst_out_of_range_err))) *
195 (FF(1) - static_cast<View>(in.get(C::to_radix_mem_sel_radix_lt_2_err))) *
196 (FF(1) - static_cast<View>(in.get(C::to_radix_mem_sel_radix_gt_256_err))) *
197 (FF(1) - static_cast<View>(in.get(C::to_radix_mem_sel_invalid_bitwise_radix))) *
198 (FF(1) - CView(to_radix_mem_SEL_INVALID_NUM_LIMBS_ERR))));
199 std::get<22>(evals) += (tmp * scaling_factor);
200 }
201 { // SHOULD_DECOMPOSE_ON_SEL
202 using View = typename std::tuple_element_t<23, ContainerOverSubrelations>::View;
203 auto tmp = (FF(1) - static_cast<View>(in.get(C::to_radix_mem_sel))) *
204 static_cast<View>(in.get(C::to_radix_mem_sel_should_decompose));
205 std::get<23>(evals) += (tmp * scaling_factor);
206 }
207 {
208 using View = typename std::tuple_element_t<24, ContainerOverSubrelations>::View;
209 auto tmp = static_cast<View>(in.get(C::to_radix_mem_start)) *
210 ((FF(1) - static_cast<View>(in.get(C::to_radix_mem_input_validation_error))) *
211 (FF(1) - static_cast<View>(in.get(C::to_radix_mem_sel_num_limbs_is_zero))) -
212 static_cast<View>(in.get(C::to_radix_mem_sel_should_decompose)));
213 std::get<24>(evals) += (tmp * scaling_factor);
214 }
215 { // SEL_SHOULD_DECOMPOSE_CONTINUITY
216 using View = typename std::tuple_element_t<25, ContainerOverSubrelations>::View;
217 auto tmp = (FF(1) - CView(to_radix_mem_LATCH_CONDITION)) *
218 (static_cast<View>(in.get(C::to_radix_mem_sel_should_decompose_shift)) -
219 static_cast<View>(in.get(C::to_radix_mem_sel_should_decompose)));
220 std::get<25>(evals) += (tmp * scaling_factor);
221 }
222 {
223 using View = typename std::tuple_element_t<26, ContainerOverSubrelations>::View;
224 auto tmp = (static_cast<View>(in.get(C::to_radix_mem_limb_index_to_lookup)) -
225 static_cast<View>(in.get(C::to_radix_mem_sel_should_decompose)) *
226 (static_cast<View>(in.get(C::to_radix_mem_num_limbs)) - FF(1)));
227 std::get<26>(evals) += (tmp * scaling_factor);
228 }
229 { // ERR_COMPUTATION
230 using View = typename std::tuple_element_t<27, ContainerOverSubrelations>::View;
231 auto tmp = (static_cast<View>(in.get(C::to_radix_mem_err)) -
232 static_cast<View>(in.get(C::to_radix_mem_start)) *
233 (FF(1) - (FF(1) - static_cast<View>(in.get(C::to_radix_mem_input_validation_error))) *
234 (FF(1) - CView(to_radix_mem_SEL_TRUNCATION_ERROR))));
235 std::get<27>(evals) += (tmp * scaling_factor);
236 }
237 { // DECR_NUM_LIMBS
238 using View = typename std::tuple_element_t<28, ContainerOverSubrelations>::View;
239 auto tmp = CView(to_radix_mem_NOT_LAST) * (static_cast<View>(in.get(C::to_radix_mem_num_limbs_shift)) -
240 (static_cast<View>(in.get(C::to_radix_mem_num_limbs)) - FF(1)));
241 std::get<28>(evals) += (tmp * scaling_factor);
242 }
243 { // INCR_DST_ADDRESS
244 using View = typename std::tuple_element_t<29, ContainerOverSubrelations>::View;
245 auto tmp = CView(to_radix_mem_NOT_LAST) * (static_cast<View>(in.get(C::to_radix_mem_dst_addr_shift)) -
246 (static_cast<View>(in.get(C::to_radix_mem_dst_addr)) + FF(1)));
247 std::get<29>(evals) += (tmp * scaling_factor);
248 }
249 { // LAST_ROW_ERR_COMPUTATION
250 using View = typename std::tuple_element_t<30, ContainerOverSubrelations>::View;
251 auto tmp =
252 static_cast<View>(in.get(C::to_radix_mem_err)) * (static_cast<View>(in.get(C::to_radix_mem_last)) - FF(1));
253 std::get<30>(evals) += (tmp * scaling_factor);
254 }
255 { // LAST_ROW_NUM_LIMBS_ZERO
256 using View = typename std::tuple_element_t<31, ContainerOverSubrelations>::View;
257 auto tmp = static_cast<View>(in.get(C::to_radix_mem_start)) *
258 static_cast<View>(in.get(C::to_radix_mem_sel_num_limbs_is_zero)) *
259 (static_cast<View>(in.get(C::to_radix_mem_last)) - FF(1));
260 std::get<31>(evals) += (tmp * scaling_factor);
261 }
262 { // LAST_ROW_VALID_COMPUTATION
263 using View = typename std::tuple_element_t<32, ContainerOverSubrelations>::View;
264 auto tmp = CView(to_radix_mem_NO_ERR_NOR_NUM_LIMBS_ZERO) *
265 ((CView(to_radix_mem_NUM_LIMBS_MINUS_ONE) *
266 (static_cast<View>(in.get(C::to_radix_mem_last)) *
267 (FF(1) - static_cast<View>(in.get(C::to_radix_mem_num_limbs_minus_one_inv))) +
268 static_cast<View>(in.get(C::to_radix_mem_num_limbs_minus_one_inv))) -
269 FF(1)) +
270 static_cast<View>(in.get(C::to_radix_mem_last)));
271 std::get<32>(evals) += (tmp * scaling_factor);
272 }
273 {
274 using View = typename std::tuple_element_t<33, ContainerOverSubrelations>::View;
275 auto tmp = static_cast<View>(in.get(C::to_radix_mem_start)) *
276 ((FF(1) - static_cast<View>(in.get(C::to_radix_mem_err))) *
277 (FF(1) - static_cast<View>(in.get(C::to_radix_mem_sel_num_limbs_is_zero))) -
278 static_cast<View>(in.get(C::to_radix_mem_sel_should_write_mem)));
279 std::get<33>(evals) += (tmp * scaling_factor);
280 }
281 { // SEL_SHOULD_WRITE_MEM_CONTINUITY
282 using View = typename std::tuple_element_t<34, ContainerOverSubrelations>::View;
283 auto tmp = (FF(1) - CView(to_radix_mem_LATCH_CONDITION)) *
284 (static_cast<View>(in.get(C::to_radix_mem_sel_should_write_mem_shift)) -
285 static_cast<View>(in.get(C::to_radix_mem_sel_should_write_mem)));
286 std::get<34>(evals) += (tmp * scaling_factor);
287 }
288 { // SEL_SHOULD_WRITE_MEM_REQUIRES_SEL
289 using View = typename std::tuple_element_t<35, ContainerOverSubrelations>::View;
290 auto tmp = static_cast<View>(in.get(C::to_radix_mem_sel_should_write_mem)) *
291 (FF(1) - static_cast<View>(in.get(C::to_radix_mem_sel)));
292 std::get<35>(evals) += (tmp * scaling_factor);
293 }
294 {
295 using View = typename std::tuple_element_t<36, ContainerOverSubrelations>::View;
296 auto tmp = (static_cast<View>(in.get(C::to_radix_mem_output_tag)) -
297 static_cast<View>(in.get(C::to_radix_mem_sel_should_write_mem)) *
298 ((CView(constants_MEM_TAG_U1) - CView(constants_MEM_TAG_U8)) *
299 static_cast<View>(in.get(C::to_radix_mem_is_output_bits)) +
300 CView(constants_MEM_TAG_U8)));
301 std::get<36>(evals) += (tmp * scaling_factor);
302 }
303}
304
305} // namespace bb::avm2
bb::MegaFlavor_Generated::AllEntities
Definition mega_flavor_generated.hpp:277
bb::avm2::to_radix_memImpl::accumulate
static void accumulate(ContainerOverSubrelations &evals, const AllEntities &in, const RelationParameters< FF > &, const FF &scaling_factor)
Definition to_radix_mem_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
to_radix_mem.hpp