Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
alu_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/alu.hpp"
6
7namespace bb::avm2 {
8
9template <typename FF_>
10template <typename ContainerOverSubrelations, typename AllEntities>
11void aluImpl<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 constants_MEM_TAG_U1 = FF(1);
20 const auto constants_MEM_TAG_U128 = FF(6);
21 const auto constants_AVM_EXEC_OP_ID_ALU_ADD = FF(1);
22 const auto constants_AVM_EXEC_OP_ID_ALU_SUB = FF(2);
23 const auto constants_AVM_EXEC_OP_ID_ALU_MUL = FF(4);
24 const auto constants_AVM_EXEC_OP_ID_ALU_DIV = FF(8);
25 const auto constants_AVM_EXEC_OP_ID_ALU_FDIV = FF(16);
26 const auto constants_AVM_EXEC_OP_ID_ALU_EQ = FF(32);
27 const auto constants_AVM_EXEC_OP_ID_ALU_LT = FF(64);
28 const auto constants_AVM_EXEC_OP_ID_ALU_LTE = FF(128);
29 const auto constants_AVM_EXEC_OP_ID_ALU_NOT = FF(256);
30 const auto constants_AVM_EXEC_OP_ID_ALU_SHL = FF(512);
31 const auto constants_AVM_EXEC_OP_ID_ALU_SHR = FF(1024);
32 const auto constants_AVM_EXEC_OP_ID_ALU_TRUNCATE = FF(2048);
33 const auto alu_IS_NOT_FF = (FF(1) - in.get(C::alu_sel_is_ff));
34 const auto alu_IS_NOT_U128 = (FF(1) - in.get(C::alu_sel_is_u128));
35 const auto alu_SHIFT_OPS = in.get(C::alu_sel_op_shl) + in.get(C::alu_sel_op_shr);
36 const auto alu_DIV_OPS = in.get(C::alu_sel_op_div) + in.get(C::alu_sel_op_fdiv);
37 const auto alu_TAG_FF_DIFF = (in.get(C::alu_ia_tag) - constants_MEM_TAG_FF);
38 const auto alu_TAG_U128_DIFF = (in.get(C::alu_ia_tag) - constants_MEM_TAG_U128);
39 const auto alu_FF_TAG_ERR =
40 (in.get(C::alu_sel_op_div) + in.get(C::alu_sel_op_not) + alu_SHIFT_OPS) * in.get(C::alu_sel_is_ff) +
41 in.get(C::alu_sel_op_fdiv) * alu_IS_NOT_FF;
42 const auto alu_AB_TAGS_EQ = (FF(1) - in.get(C::alu_sel_ab_tag_mismatch));
43 const auto alu_EXPECTED_C_TAG =
44 (in.get(C::alu_sel_op_add) + in.get(C::alu_sel_op_sub) + in.get(C::alu_sel_op_mul) + in.get(C::alu_sel_op_div) +
45 in.get(C::alu_sel_op_truncate) + alu_SHIFT_OPS) *
46 in.get(C::alu_ia_tag) +
47 (in.get(C::alu_sel_op_eq) + in.get(C::alu_sel_op_lt) + in.get(C::alu_sel_op_lte)) * constants_MEM_TAG_U1 +
48 in.get(C::alu_sel_op_fdiv) * constants_MEM_TAG_FF;
49 const auto alu_SEL_MUL_U128 =
50 in.get(C::alu_sel_op_mul) * in.get(C::alu_sel_is_u128) * (FF(1) - in.get(C::alu_sel_err));
51 const auto alu_SEL_DIV_U128 = in.get(C::alu_sel_div_no_err) * in.get(C::alu_sel_is_u128);
52 const auto alu_TWO_POW_64 = FF(uint256_t{ 0UL, 1UL, 0UL, 0UL });
53 const auto alu_DECOMPOSED_A =
54 (in.get(C::alu_sel_op_mul) * in.get(C::alu_sel_is_u128) + in.get(C::alu_sel_shift_ops_no_overflow)) *
55 in.get(C::alu_ia) +
56 (alu_SHIFT_OPS - in.get(C::alu_sel_shift_ops_no_overflow)) * (in.get(C::alu_ib) - in.get(C::alu_max_bits)) +
57 in.get(C::alu_sel_op_div) * in.get(C::alu_sel_is_u128) * in.get(C::alu_ic);
58 const auto alu_DECOMPOSED_B = in.get(C::alu_ib);
59 const auto alu_LIMB_SIZE =
60 in.get(C::alu_sel_mul_div_u128) * alu_TWO_POW_64 +
61 alu_SHIFT_OPS * in.get(C::alu_sel_shift_ops_no_overflow) * in.get(C::alu_two_pow_shift_lo_bits);
62 const auto alu_DIV_OPS_NON_U128 =
63 (FF(1) - in.get(C::alu_sel_err)) * in.get(C::alu_sel_op_fdiv) + in.get(C::alu_sel_div_no_err) * alu_IS_NOT_U128;
64 const auto alu_DIFF = (in.get(C::alu_ia) - in.get(C::alu_ib));
65 const auto alu_SEL_LT_OPS =
66 (FF(1) - in.get(C::alu_sel_err)) * (in.get(C::alu_sel_op_lt) + in.get(C::alu_sel_op_lte));
67 const auto alu_SHIFT_OVERFLOW = alu_SHIFT_OPS * (FF(1) - in.get(C::alu_sel_shift_ops_no_overflow));
68 const auto alu_SHIFT_HI_BITS =
69 (FF(1) - in.get(C::alu_sel_err)) *
70 (in.get(C::alu_max_bits) - in.get(C::alu_sel_shift_ops_no_overflow) * in.get(C::alu_shift_lo_bits));
71
72 {
73 using View = typename std::tuple_element_t<0, ContainerOverSubrelations>::View;
74 auto tmp = static_cast<View>(in.get(C::alu_sel)) * (FF(1) - static_cast<View>(in.get(C::alu_sel)));
75 std::get<0>(evals) += (tmp * scaling_factor);
76 }
77 {
78 using View = typename std::tuple_element_t<1, ContainerOverSubrelations>::View;
79 auto tmp =
80 static_cast<View>(in.get(C::alu_sel_op_add)) * (FF(1) - static_cast<View>(in.get(C::alu_sel_op_add)));
81 std::get<1>(evals) += (tmp * scaling_factor);
82 }
83 {
84 using View = typename std::tuple_element_t<2, ContainerOverSubrelations>::View;
85 auto tmp =
86 static_cast<View>(in.get(C::alu_sel_op_sub)) * (FF(1) - static_cast<View>(in.get(C::alu_sel_op_sub)));
87 std::get<2>(evals) += (tmp * scaling_factor);
88 }
89 {
90 using View = typename std::tuple_element_t<3, ContainerOverSubrelations>::View;
91 auto tmp =
92 static_cast<View>(in.get(C::alu_sel_op_mul)) * (FF(1) - static_cast<View>(in.get(C::alu_sel_op_mul)));
93 std::get<3>(evals) += (tmp * scaling_factor);
94 }
95 {
96 using View = typename std::tuple_element_t<4, ContainerOverSubrelations>::View;
97 auto tmp =
98 static_cast<View>(in.get(C::alu_sel_op_div)) * (FF(1) - static_cast<View>(in.get(C::alu_sel_op_div)));
99 std::get<4>(evals) += (tmp * scaling_factor);
100 }
101 {
102 using View = typename std::tuple_element_t<5, ContainerOverSubrelations>::View;
103 auto tmp =
104 static_cast<View>(in.get(C::alu_sel_op_fdiv)) * (FF(1) - static_cast<View>(in.get(C::alu_sel_op_fdiv)));
105 std::get<5>(evals) += (tmp * scaling_factor);
106 }
107 {
108 using View = typename std::tuple_element_t<6, ContainerOverSubrelations>::View;
109 auto tmp = static_cast<View>(in.get(C::alu_sel_op_eq)) * (FF(1) - static_cast<View>(in.get(C::alu_sel_op_eq)));
110 std::get<6>(evals) += (tmp * scaling_factor);
111 }
112 {
113 using View = typename std::tuple_element_t<7, ContainerOverSubrelations>::View;
114 auto tmp = static_cast<View>(in.get(C::alu_sel_op_lt)) * (FF(1) - static_cast<View>(in.get(C::alu_sel_op_lt)));
115 std::get<7>(evals) += (tmp * scaling_factor);
116 }
117 {
118 using View = typename std::tuple_element_t<8, ContainerOverSubrelations>::View;
119 auto tmp =
120 static_cast<View>(in.get(C::alu_sel_op_lte)) * (FF(1) - static_cast<View>(in.get(C::alu_sel_op_lte)));
121 std::get<8>(evals) += (tmp * scaling_factor);
122 }
123 {
124 using View = typename std::tuple_element_t<9, ContainerOverSubrelations>::View;
125 auto tmp =
126 static_cast<View>(in.get(C::alu_sel_op_not)) * (FF(1) - static_cast<View>(in.get(C::alu_sel_op_not)));
127 std::get<9>(evals) += (tmp * scaling_factor);
128 }
129 {
130 using View = typename std::tuple_element_t<10, ContainerOverSubrelations>::View;
131 auto tmp =
132 static_cast<View>(in.get(C::alu_sel_op_shl)) * (FF(1) - static_cast<View>(in.get(C::alu_sel_op_shl)));
133 std::get<10>(evals) += (tmp * scaling_factor);
134 }
135 {
136 using View = typename std::tuple_element_t<11, ContainerOverSubrelations>::View;
137 auto tmp =
138 static_cast<View>(in.get(C::alu_sel_op_shr)) * (FF(1) - static_cast<View>(in.get(C::alu_sel_op_shr)));
139 std::get<11>(evals) += (tmp * scaling_factor);
140 }
141 {
142 using View = typename std::tuple_element_t<12, ContainerOverSubrelations>::View;
143 auto tmp = static_cast<View>(in.get(C::alu_sel_op_truncate)) *
144 (FF(1) - static_cast<View>(in.get(C::alu_sel_op_truncate)));
145 std::get<12>(evals) += (tmp * scaling_factor);
146 }
147 { // DISPATCH_OPERATION
148 using View = typename std::tuple_element_t<13, ContainerOverSubrelations>::View;
149 auto tmp = (static_cast<View>(in.get(C::alu_op_id)) -
150 (static_cast<View>(in.get(C::alu_sel_op_add)) * CView(constants_AVM_EXEC_OP_ID_ALU_ADD) +
151 static_cast<View>(in.get(C::alu_sel_op_sub)) * CView(constants_AVM_EXEC_OP_ID_ALU_SUB) +
152 static_cast<View>(in.get(C::alu_sel_op_mul)) * CView(constants_AVM_EXEC_OP_ID_ALU_MUL) +
153 static_cast<View>(in.get(C::alu_sel_op_div)) * CView(constants_AVM_EXEC_OP_ID_ALU_DIV) +
154 static_cast<View>(in.get(C::alu_sel_op_fdiv)) * CView(constants_AVM_EXEC_OP_ID_ALU_FDIV) +
155 static_cast<View>(in.get(C::alu_sel_op_eq)) * CView(constants_AVM_EXEC_OP_ID_ALU_EQ) +
156 static_cast<View>(in.get(C::alu_sel_op_lt)) * CView(constants_AVM_EXEC_OP_ID_ALU_LT) +
157 static_cast<View>(in.get(C::alu_sel_op_lte)) * CView(constants_AVM_EXEC_OP_ID_ALU_LTE) +
158 static_cast<View>(in.get(C::alu_sel_op_not)) * CView(constants_AVM_EXEC_OP_ID_ALU_NOT) +
159 static_cast<View>(in.get(C::alu_sel_op_shl)) * CView(constants_AVM_EXEC_OP_ID_ALU_SHL) +
160 static_cast<View>(in.get(C::alu_sel_op_shr)) * CView(constants_AVM_EXEC_OP_ID_ALU_SHR) +
161 static_cast<View>(in.get(C::alu_sel_op_truncate)) * CView(constants_AVM_EXEC_OP_ID_ALU_TRUNCATE)));
162 std::get<13>(evals) += (tmp * scaling_factor);
163 }
164 { // EXACTLY_ONE_OPERATION_ACTIVE
165 using View = typename std::tuple_element_t<14, ContainerOverSubrelations>::View;
166 auto tmp = (static_cast<View>(in.get(C::alu_sel)) -
167 (static_cast<View>(in.get(C::alu_sel_op_add)) + static_cast<View>(in.get(C::alu_sel_op_sub)) +
168 static_cast<View>(in.get(C::alu_sel_op_mul)) + static_cast<View>(in.get(C::alu_sel_op_div)) +
169 static_cast<View>(in.get(C::alu_sel_op_fdiv)) + static_cast<View>(in.get(C::alu_sel_op_eq)) +
170 static_cast<View>(in.get(C::alu_sel_op_lt)) + static_cast<View>(in.get(C::alu_sel_op_lte)) +
171 static_cast<View>(in.get(C::alu_sel_op_not)) + static_cast<View>(in.get(C::alu_sel_op_shl)) +
172 static_cast<View>(in.get(C::alu_sel_op_shr)) + static_cast<View>(in.get(C::alu_sel_op_truncate))));
173 std::get<14>(evals) += (tmp * scaling_factor);
174 }
175 {
176 using View = typename std::tuple_element_t<15, ContainerOverSubrelations>::View;
177 auto tmp = static_cast<View>(in.get(C::alu_sel_is_ff)) * (FF(1) - static_cast<View>(in.get(C::alu_sel_is_ff)));
178 std::get<15>(evals) += (tmp * scaling_factor);
179 }
180 {
181 using View = typename std::tuple_element_t<16, ContainerOverSubrelations>::View;
182 auto tmp =
183 static_cast<View>(in.get(C::alu_sel_is_u128)) * (FF(1) - static_cast<View>(in.get(C::alu_sel_is_u128)));
184 std::get<16>(evals) += (tmp * scaling_factor);
185 }
186 { // TAG_IS_FF
187 using View = typename std::tuple_element_t<17, ContainerOverSubrelations>::View;
188 auto tmp = static_cast<View>(in.get(C::alu_sel)) *
189 ((CView(alu_TAG_FF_DIFF) * (static_cast<View>(in.get(C::alu_sel_is_ff)) *
190 (FF(1) - static_cast<View>(in.get(C::alu_tag_ff_diff_inv))) +
191 static_cast<View>(in.get(C::alu_tag_ff_diff_inv))) +
192 static_cast<View>(in.get(C::alu_sel_is_ff))) -
193 FF(1));
194 std::get<17>(evals) += (tmp * scaling_factor);
195 }
196 { // TAG_IS_U128
197 using View = typename std::tuple_element_t<18, ContainerOverSubrelations>::View;
198 auto tmp = static_cast<View>(in.get(C::alu_sel)) *
199 ((CView(alu_TAG_U128_DIFF) * (static_cast<View>(in.get(C::alu_sel_is_u128)) *
200 (FF(1) - static_cast<View>(in.get(C::alu_tag_u128_diff_inv))) +
201 static_cast<View>(in.get(C::alu_tag_u128_diff_inv))) +
202 static_cast<View>(in.get(C::alu_sel_is_u128))) -
203 FF(1));
204 std::get<18>(evals) += (tmp * scaling_factor);
205 }
206 {
207 using View = typename std::tuple_element_t<19, ContainerOverSubrelations>::View;
208 auto tmp = static_cast<View>(in.get(C::alu_sel_ab_tag_mismatch)) *
209 (FF(1) - static_cast<View>(in.get(C::alu_sel_ab_tag_mismatch)));
210 std::get<19>(evals) += (tmp * scaling_factor);
211 }
212 {
213 using View = typename std::tuple_element_t<20, ContainerOverSubrelations>::View;
214 auto tmp =
215 static_cast<View>(in.get(C::alu_sel_div_0_err)) * (FF(1) - static_cast<View>(in.get(C::alu_sel_div_0_err)));
216 std::get<20>(evals) += (tmp * scaling_factor);
217 }
218 { // ERR_CHECK
219 using View = typename std::tuple_element_t<21, ContainerOverSubrelations>::View;
220 auto tmp = (static_cast<View>(in.get(C::alu_sel_err)) -
221 ((static_cast<View>(in.get(C::alu_sel_tag_err)) + static_cast<View>(in.get(C::alu_sel_div_0_err))) -
222 static_cast<View>(in.get(C::alu_sel_tag_err)) * static_cast<View>(in.get(C::alu_sel_div_0_err))));
223 std::get<21>(evals) += (tmp * scaling_factor);
224 }
225 { // TAG_ERR_CHECK
226 using View = typename std::tuple_element_t<22, ContainerOverSubrelations>::View;
227 auto tmp = (static_cast<View>(in.get(C::alu_sel_tag_err)) -
228 ((static_cast<View>(in.get(C::alu_sel_ab_tag_mismatch)) + CView(alu_FF_TAG_ERR)) -
229 static_cast<View>(in.get(C::alu_sel_ab_tag_mismatch)) * CView(alu_FF_TAG_ERR)));
230 std::get<22>(evals) += (tmp * scaling_factor);
231 }
232 { // AB_TAGS_CHECK
233 using View = typename std::tuple_element_t<23, ContainerOverSubrelations>::View;
234 auto tmp = (FF(1) - static_cast<View>(in.get(C::alu_sel_op_truncate))) *
235 (((static_cast<View>(in.get(C::alu_ia_tag)) - static_cast<View>(in.get(C::alu_ib_tag))) *
236 (CView(alu_AB_TAGS_EQ) * (FF(1) - static_cast<View>(in.get(C::alu_ab_tags_diff_inv))) +
237 static_cast<View>(in.get(C::alu_ab_tags_diff_inv))) -
238 FF(1)) +
239 CView(alu_AB_TAGS_EQ));
240 std::get<23>(evals) += (tmp * scaling_factor);
241 }
242 { // ONLY_RELEVANT_CHECK_AB_TAGS_ERROR
243 using View = typename std::tuple_element_t<24, ContainerOverSubrelations>::View;
244 auto tmp = (static_cast<View>(in.get(C::alu_sel_op_not)) + static_cast<View>(in.get(C::alu_sel_op_truncate))) *
245 static_cast<View>(in.get(C::alu_sel_ab_tag_mismatch));
246 std::get<24>(evals) += (tmp * scaling_factor);
247 }
248 { // DIV_0_ERR
249 using View = typename std::tuple_element_t<25, ContainerOverSubrelations>::View;
250 auto tmp = CView(alu_DIV_OPS) *
251 ((static_cast<View>(in.get(C::alu_ib)) * (static_cast<View>(in.get(C::alu_sel_div_0_err)) *
252 (FF(1) - static_cast<View>(in.get(C::alu_b_inv))) +
253 static_cast<View>(in.get(C::alu_b_inv))) +
254 static_cast<View>(in.get(C::alu_sel_div_0_err))) -
255 FF(1));
256 std::get<25>(evals) += (tmp * scaling_factor);
257 }
258 { // ONLY_RELEVANT_CHECK_DIV_0_ERR_ERROR
259 using View = typename std::tuple_element_t<26, ContainerOverSubrelations>::View;
260 auto tmp = (FF(1) - CView(alu_DIV_OPS)) * static_cast<View>(in.get(C::alu_sel_div_0_err));
261 std::get<26>(evals) += (tmp * scaling_factor);
262 }
263 {
264 using View = typename std::tuple_element_t<27, ContainerOverSubrelations>::View;
265 auto tmp = static_cast<View>(in.get(C::alu_cf)) * (FF(1) - static_cast<View>(in.get(C::alu_cf)));
266 std::get<27>(evals) += (tmp * scaling_factor);
267 }
268 { // C_TAG_CHECK
269 using View = typename std::tuple_element_t<28, ContainerOverSubrelations>::View;
270 auto tmp = (FF(1) - static_cast<View>(in.get(C::alu_sel_err))) *
271 (CView(alu_EXPECTED_C_TAG) - static_cast<View>(in.get(C::alu_ic_tag)));
272 std::get<28>(evals) += (tmp * scaling_factor);
273 }
274 {
275 using View = typename std::tuple_element_t<29, ContainerOverSubrelations>::View;
276 auto tmp = (static_cast<View>(in.get(C::alu_sel_decompose_a)) -
277 (FF(1) - static_cast<View>(in.get(C::alu_sel_err))) *
278 (static_cast<View>(in.get(C::alu_sel_mul_div_u128)) + CView(alu_SHIFT_OPS)));
279 std::get<29>(evals) += (tmp * scaling_factor);
280 }
281 { // A_DECOMPOSITION
282 using View = typename std::tuple_element_t<30, ContainerOverSubrelations>::View;
283 auto tmp = static_cast<View>(in.get(C::alu_sel_decompose_a)) *
284 (CView(alu_DECOMPOSED_A) - (static_cast<View>(in.get(C::alu_a_lo)) +
285 CView(alu_LIMB_SIZE) * static_cast<View>(in.get(C::alu_a_hi))));
286 std::get<30>(evals) += (tmp * scaling_factor);
287 }
288 { // B_DECOMPOSITION
289 using View = typename std::tuple_element_t<31, ContainerOverSubrelations>::View;
290 auto tmp = static_cast<View>(in.get(C::alu_sel_mul_div_u128)) *
291 (CView(alu_DECOMPOSED_B) - (static_cast<View>(in.get(C::alu_b_lo)) +
292 CView(alu_LIMB_SIZE) * static_cast<View>(in.get(C::alu_b_hi))));
293 std::get<31>(evals) += (tmp * scaling_factor);
294 }
295 {
296 using View = typename std::tuple_element_t<32, ContainerOverSubrelations>::View;
297 auto tmp = static_cast<View>(in.get(C::alu_sel_mul_div_u128)) *
298 (FF(64) - static_cast<View>(in.get(C::alu_constant_64)));
299 std::get<32>(evals) += (tmp * scaling_factor);
300 }
301 { // A_LO_BITS
302 using View = typename std::tuple_element_t<33, ContainerOverSubrelations>::View;
303 auto tmp = ((static_cast<View>(in.get(C::alu_a_lo_bits)) - static_cast<View>(in.get(C::alu_sel_mul_div_u128)) *
304 static_cast<View>(in.get(C::alu_constant_64))) -
305 CView(alu_SHIFT_OPS) * static_cast<View>(in.get(C::alu_shift_lo_bits)));
306 std::get<33>(evals) += (tmp * scaling_factor);
307 }
308 { // A_HI_BITS
309 using View = typename std::tuple_element_t<34, ContainerOverSubrelations>::View;
310 auto tmp = ((static_cast<View>(in.get(C::alu_a_hi_bits)) - static_cast<View>(in.get(C::alu_sel_mul_div_u128)) *
311 static_cast<View>(in.get(C::alu_constant_64))) -
312 CView(alu_SHIFT_OPS) * CView(alu_SHIFT_HI_BITS));
313 std::get<34>(evals) += (tmp * scaling_factor);
314 }
315 { // ALU_ADD_SUB
316 using View = typename std::tuple_element_t<35, ContainerOverSubrelations>::View;
317 auto tmp = (static_cast<View>(in.get(C::alu_sel_op_add)) + static_cast<View>(in.get(C::alu_sel_op_sub))) *
318 (FF(1) - static_cast<View>(in.get(C::alu_sel_err))) *
319 ((static_cast<View>(in.get(C::alu_ia)) - static_cast<View>(in.get(C::alu_ic))) +
320 (static_cast<View>(in.get(C::alu_sel_op_add)) - static_cast<View>(in.get(C::alu_sel_op_sub))) *
321 (static_cast<View>(in.get(C::alu_ib)) -
322 static_cast<View>(in.get(C::alu_cf)) * (static_cast<View>(in.get(C::alu_max_value)) + FF(1))));
323 std::get<35>(evals) += (tmp * scaling_factor);
324 }
325 { // ALU_MUL_NON_U128
326 using View = typename std::tuple_element_t<36, ContainerOverSubrelations>::View;
327 auto tmp = static_cast<View>(in.get(C::alu_sel_op_mul)) * CView(alu_IS_NOT_U128) *
328 (FF(1) - static_cast<View>(in.get(C::alu_sel_err))) *
329 ((static_cast<View>(in.get(C::alu_ia)) * static_cast<View>(in.get(C::alu_ib)) -
330 static_cast<View>(in.get(C::alu_ic))) -
331 (static_cast<View>(in.get(C::alu_max_value)) + FF(1)) * static_cast<View>(in.get(C::alu_c_hi)));
332 std::get<36>(evals) += (tmp * scaling_factor);
333 }
334 { // ALU_MUL_U128
335 using View = typename std::tuple_element_t<37, ContainerOverSubrelations>::View;
336 auto tmp =
337 CView(alu_SEL_MUL_U128) * (((static_cast<View>(in.get(C::alu_ia)) * static_cast<View>(in.get(C::alu_b_lo)) +
338 static_cast<View>(in.get(C::alu_a_lo)) *
339 static_cast<View>(in.get(C::alu_b_hi)) * CView(alu_TWO_POW_64)) -
340 static_cast<View>(in.get(C::alu_ic))) -
341 (static_cast<View>(in.get(C::alu_max_value)) + FF(1)) *
342 (static_cast<View>(in.get(C::alu_cf)) * CView(alu_TWO_POW_64) +
343 static_cast<View>(in.get(C::alu_c_hi))));
344 std::get<37>(evals) += (tmp * scaling_factor);
345 }
346 {
347 using View = typename std::tuple_element_t<38, ContainerOverSubrelations>::View;
348 auto tmp = (static_cast<View>(in.get(C::alu_sel_mul_no_err_non_ff)) -
349 CView(alu_IS_NOT_FF) * (FF(1) - static_cast<View>(in.get(C::alu_sel_err))) *
350 static_cast<View>(in.get(C::alu_sel_op_mul)));
351 std::get<38>(evals) += (tmp * scaling_factor);
352 }
353 {
354 using View = typename std::tuple_element_t<39, ContainerOverSubrelations>::View;
355 auto tmp = (static_cast<View>(in.get(C::alu_sel_div_no_err)) -
356 static_cast<View>(in.get(C::alu_sel_op_div)) * (FF(1) - static_cast<View>(in.get(C::alu_sel_err))));
357 std::get<39>(evals) += (tmp * scaling_factor);
358 }
359 {
360 using View = typename std::tuple_element_t<40, ContainerOverSubrelations>::View;
361 auto tmp =
362 (static_cast<View>(in.get(C::alu_sel_mul_div_u128)) - (CView(alu_SEL_MUL_U128) + CView(alu_SEL_DIV_U128)));
363 std::get<40>(evals) += (tmp * scaling_factor);
364 }
365 { // ALU_DIV_U128_CHECK
366 using View = typename std::tuple_element_t<41, ContainerOverSubrelations>::View;
367 auto tmp =
368 CView(alu_SEL_DIV_U128) * static_cast<View>(in.get(C::alu_a_hi)) * static_cast<View>(in.get(C::alu_b_hi));
369 std::get<41>(evals) += (tmp * scaling_factor);
370 }
371 { // ALU_DIV_U128
372 using View = typename std::tuple_element_t<42, ContainerOverSubrelations>::View;
373 auto tmp =
374 CView(alu_SEL_DIV_U128) *
375 ((static_cast<View>(in.get(C::alu_ic)) * static_cast<View>(in.get(C::alu_b_lo)) +
376 static_cast<View>(in.get(C::alu_a_lo)) * static_cast<View>(in.get(C::alu_b_hi)) * CView(alu_TWO_POW_64)) -
377 (static_cast<View>(in.get(C::alu_ia)) - static_cast<View>(in.get(C::alu_helper1))));
378 std::get<42>(evals) += (tmp * scaling_factor);
379 }
380 { // ALU_FDIV_DIV_NON_U128
381 using View = typename std::tuple_element_t<43, ContainerOverSubrelations>::View;
382 auto tmp = CView(alu_DIV_OPS_NON_U128) *
383 ((static_cast<View>(in.get(C::alu_ib)) * static_cast<View>(in.get(C::alu_ic)) -
384 static_cast<View>(in.get(C::alu_ia))) +
385 static_cast<View>(in.get(C::alu_sel_op_div)) * static_cast<View>(in.get(C::alu_helper1)));
386 std::get<43>(evals) += (tmp * scaling_factor);
387 }
388 { // EQ_OP_MAIN
389 using View = typename std::tuple_element_t<44, ContainerOverSubrelations>::View;
390 auto tmp = static_cast<View>(in.get(C::alu_sel_op_eq)) * (FF(1) - static_cast<View>(in.get(C::alu_sel_err))) *
391 ((CView(alu_DIFF) * (static_cast<View>(in.get(C::alu_ic)) *
392 (FF(1) - static_cast<View>(in.get(C::alu_ab_diff_inv))) +
393 static_cast<View>(in.get(C::alu_ab_diff_inv))) -
394 FF(1)) +
395 static_cast<View>(in.get(C::alu_ic)));
396 std::get<44>(evals) += (tmp * scaling_factor);
397 }
398 {
399 using View = typename std::tuple_element_t<45, ContainerOverSubrelations>::View;
400 auto tmp = (static_cast<View>(in.get(C::alu_sel_ff_gt)) -
401 static_cast<View>(in.get(C::alu_sel_is_ff)) * CView(alu_SEL_LT_OPS));
402 std::get<45>(evals) += (tmp * scaling_factor);
403 }
404 {
405 using View = typename std::tuple_element_t<46, ContainerOverSubrelations>::View;
406 auto tmp = (static_cast<View>(in.get(C::alu_sel_int_gt)) -
407 (CView(alu_IS_NOT_FF) * CView(alu_SEL_LT_OPS) + static_cast<View>(in.get(C::alu_sel_div_no_err))));
408 std::get<46>(evals) += (tmp * scaling_factor);
409 }
410 { // GT_INPUT_A
411 using View = typename std::tuple_element_t<47, ContainerOverSubrelations>::View;
412 auto tmp = (static_cast<View>(in.get(C::alu_gt_input_a)) -
413 ((static_cast<View>(in.get(C::alu_sel_op_lt)) + static_cast<View>(in.get(C::alu_sel_div_no_err))) *
414 static_cast<View>(in.get(C::alu_ib)) +
415 static_cast<View>(in.get(C::alu_sel_op_lte)) * static_cast<View>(in.get(C::alu_ia))));
416 std::get<47>(evals) += (tmp * scaling_factor);
417 }
418 { // GT_INPUT_B
419 using View = typename std::tuple_element_t<48, ContainerOverSubrelations>::View;
420 auto tmp = (static_cast<View>(in.get(C::alu_gt_input_b)) -
421 (static_cast<View>(in.get(C::alu_sel_op_lt)) * static_cast<View>(in.get(C::alu_ia)) +
422 static_cast<View>(in.get(C::alu_sel_op_lte)) * static_cast<View>(in.get(C::alu_ib)) +
423 static_cast<View>(in.get(C::alu_sel_div_no_err)) * static_cast<View>(in.get(C::alu_helper1))));
424 std::get<48>(evals) += (tmp * scaling_factor);
425 }
426 { // GT_ASSIGN_RESULT_C
427 using View = typename std::tuple_element_t<49, ContainerOverSubrelations>::View;
428 auto tmp = (FF(1) - static_cast<View>(in.get(C::alu_sel_err))) *
429 ((static_cast<View>(in.get(C::alu_sel_div_no_err)) +
430 static_cast<View>(in.get(C::alu_sel_op_lt)) * static_cast<View>(in.get(C::alu_ic)) +
431 static_cast<View>(in.get(C::alu_sel_op_lte)) * (FF(1) - static_cast<View>(in.get(C::alu_ic)))) -
432 static_cast<View>(in.get(C::alu_gt_result_c)));
433 std::get<49>(evals) += (tmp * scaling_factor);
434 }
435 { // NOT_OP_MAIN
436 using View = typename std::tuple_element_t<50, ContainerOverSubrelations>::View;
437 auto tmp = static_cast<View>(in.get(C::alu_sel_op_not)) * (FF(1) - static_cast<View>(in.get(C::alu_sel_err))) *
438 ((static_cast<View>(in.get(C::alu_ia)) + static_cast<View>(in.get(C::alu_ib))) -
439 static_cast<View>(in.get(C::alu_max_value)));
440 std::get<50>(evals) += (tmp * scaling_factor);
441 }
442 { // SHL_TWO_POW_SHIFT
443 using View = typename std::tuple_element_t<51, ContainerOverSubrelations>::View;
444 auto tmp =
445 static_cast<View>(in.get(C::alu_sel_op_shl)) * static_cast<View>(in.get(C::alu_sel_shift_ops_no_overflow)) *
446 (FF(1) - static_cast<View>(in.get(C::alu_sel_err))) *
447 ((static_cast<View>(in.get(C::alu_max_value)) + FF(1)) -
448 static_cast<View>(in.get(C::alu_two_pow_shift_lo_bits)) * static_cast<View>(in.get(C::alu_helper1)));
449 std::get<51>(evals) += (tmp * scaling_factor);
450 }
451 { // ALU_SHL
452 using View = typename std::tuple_element_t<52, ContainerOverSubrelations>::View;
453 auto tmp = static_cast<View>(in.get(C::alu_sel_op_shl)) * (FF(1) - static_cast<View>(in.get(C::alu_sel_err))) *
454 (static_cast<View>(in.get(C::alu_ic)) - static_cast<View>(in.get(C::alu_sel_shift_ops_no_overflow)) *
455 static_cast<View>(in.get(C::alu_a_lo)) *
456 static_cast<View>(in.get(C::alu_helper1)));
457 std::get<52>(evals) += (tmp * scaling_factor);
458 }
459 { // ALU_SHR
460 using View = typename std::tuple_element_t<53, ContainerOverSubrelations>::View;
461 auto tmp = static_cast<View>(in.get(C::alu_sel_op_shr)) * (FF(1) - static_cast<View>(in.get(C::alu_sel_err))) *
462 (static_cast<View>(in.get(C::alu_ic)) - static_cast<View>(in.get(C::alu_sel_shift_ops_no_overflow)) *
463 static_cast<View>(in.get(C::alu_a_hi)));
464 std::get<53>(evals) += (tmp * scaling_factor);
465 }
466 {
467 using View = typename std::tuple_element_t<54, ContainerOverSubrelations>::View;
468 auto tmp = static_cast<View>(in.get(C::alu_sel_shift_ops_no_overflow)) *
469 (FF(1) - static_cast<View>(in.get(C::alu_sel_shift_ops_no_overflow)));
470 std::get<54>(evals) += (tmp * scaling_factor);
471 }
472 {
473 using View = typename std::tuple_element_t<55, ContainerOverSubrelations>::View;
474 auto tmp = static_cast<View>(in.get(C::alu_sel_shift_ops_no_overflow)) * (FF(1) - CView(alu_SHIFT_OPS));
475 std::get<55>(evals) += (tmp * scaling_factor);
476 }
477 { // SHIFTS_LO_BITS
478 using View = typename std::tuple_element_t<56, ContainerOverSubrelations>::View;
479 auto tmp = (static_cast<View>(in.get(C::alu_shift_lo_bits)) -
480 (FF(1) - static_cast<View>(in.get(C::alu_sel_err))) *
481 (static_cast<View>(in.get(C::alu_sel_shift_ops_no_overflow)) *
482 (static_cast<View>(in.get(C::alu_sel_op_shl)) *
483 (static_cast<View>(in.get(C::alu_max_bits)) - static_cast<View>(in.get(C::alu_ib))) +
484 static_cast<View>(in.get(C::alu_sel_op_shr)) * static_cast<View>(in.get(C::alu_ib))) +
485 CView(alu_SHIFT_OVERFLOW) * static_cast<View>(in.get(C::alu_max_bits))));
486 std::get<56>(evals) += (tmp * scaling_factor);
487 }
488 {
489 using View = typename std::tuple_element_t<57, ContainerOverSubrelations>::View;
490 auto tmp = static_cast<View>(in.get(C::alu_sel_trunc_trivial)) *
491 (FF(1) - static_cast<View>(in.get(C::alu_sel_trunc_trivial)));
492 std::get<57>(evals) += (tmp * scaling_factor);
493 }
494 {
495 using View = typename std::tuple_element_t<58, ContainerOverSubrelations>::View;
496 auto tmp = static_cast<View>(in.get(C::alu_sel_trunc_gte_128)) *
497 (FF(1) - static_cast<View>(in.get(C::alu_sel_trunc_gte_128)));
498 std::get<58>(evals) += (tmp * scaling_factor);
499 }
500 {
501 using View = typename std::tuple_element_t<59, ContainerOverSubrelations>::View;
502 auto tmp = static_cast<View>(in.get(C::alu_sel_trunc_lt_128)) *
503 (FF(1) - static_cast<View>(in.get(C::alu_sel_trunc_lt_128)));
504 std::get<59>(evals) += (tmp * scaling_factor);
505 }
506 { // SEL_TRUNC_NON_TRIVIAL
507 using View = typename std::tuple_element_t<60, ContainerOverSubrelations>::View;
508 auto tmp = (static_cast<View>(in.get(C::alu_sel_trunc_non_trivial)) -
509 (static_cast<View>(in.get(C::alu_sel_trunc_gte_128)) +
510 static_cast<View>(in.get(C::alu_sel_trunc_lt_128))));
511 std::get<60>(evals) += (tmp * scaling_factor);
512 }
513 { // SEL_TRUNCATE
514 using View = typename std::tuple_element_t<61, ContainerOverSubrelations>::View;
515 auto tmp = (static_cast<View>(in.get(C::alu_sel_op_truncate)) -
516 (static_cast<View>(in.get(C::alu_sel_trunc_non_trivial)) +
517 static_cast<View>(in.get(C::alu_sel_trunc_trivial))));
518 std::get<61>(evals) += (tmp * scaling_factor);
519 }
520 { // TRUNC_TRIVIAL_CASE
521 using View = typename std::tuple_element_t<62, ContainerOverSubrelations>::View;
522 auto tmp = static_cast<View>(in.get(C::alu_sel_trunc_trivial)) *
523 (static_cast<View>(in.get(C::alu_ia)) - static_cast<View>(in.get(C::alu_ic)));
524 std::get<62>(evals) += (tmp * scaling_factor);
525 }
526 { // DEST_FF_IS_TRIVIAL
527 using View = typename std::tuple_element_t<63, ContainerOverSubrelations>::View;
528 auto tmp = static_cast<View>(in.get(C::alu_sel_op_truncate)) * static_cast<View>(in.get(C::alu_sel_is_ff)) *
529 (FF(1) - static_cast<View>(in.get(C::alu_sel_trunc_trivial)));
530 std::get<63>(evals) += (tmp * scaling_factor);
531 }
532 { // SMALL_TRUNC_VAL_IS_LO
533 using View = typename std::tuple_element_t<64, ContainerOverSubrelations>::View;
534 auto tmp = static_cast<View>(in.get(C::alu_sel_trunc_lt_128)) *
535 (static_cast<View>(in.get(C::alu_a_lo)) - static_cast<View>(in.get(C::alu_ia)));
536 std::get<64>(evals) += (tmp * scaling_factor);
537 }
538 { // TRUNC_LO_128_DECOMPOSITION
539 using View = typename std::tuple_element_t<65, ContainerOverSubrelations>::View;
540 auto tmp = static_cast<View>(in.get(C::alu_sel_trunc_non_trivial)) *
541 ((static_cast<View>(in.get(C::alu_ic)) +
542 static_cast<View>(in.get(C::alu_mid)) * (static_cast<View>(in.get(C::alu_max_value)) + FF(1))) -
543 static_cast<View>(in.get(C::alu_a_lo)));
544 std::get<65>(evals) += (tmp * scaling_factor);
545 }
546 { // TRUNC_MID_BITS
547 using View = typename std::tuple_element_t<66, ContainerOverSubrelations>::View;
548 auto tmp =
549 (static_cast<View>(in.get(C::alu_mid_bits)) - static_cast<View>(in.get(C::alu_sel_trunc_non_trivial)) *
550 (FF(128) - static_cast<View>(in.get(C::alu_max_bits))));
551 std::get<66>(evals) += (tmp * scaling_factor);
552 }
553}
554
555} // namespace bb::avm2
bb::MegaFlavor_Generated::AllEntities
Definition mega_flavor_generated.hpp:277
bb::avm2::aluImpl::accumulate
static void accumulate(ContainerOverSubrelations &evals, const AllEntities &in, const RelationParameters< FF > &, const FF &scaling_factor)
Definition alu_impl.hpp:11
bb::numeric::uint256_t
Definition uint256.hpp:32
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