Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
lookups_sha256.hpp
Go to the documentation of this file.
1// AUTOGENERATED FILE
2#pragma once
3
4#include <cstddef>
5#include <string_view>
6#include <tuple>
7
8#include "../columns.hpp"
9#include "barretenberg/relations/generic_lookup/generic_lookup_relation.hpp"
10#include "barretenberg/vm2/constraining/relations/interactions_base.hpp"
11
12namespace bb::avm2 {
13
15
16struct lookup_sha256_range_comp_w_lhs_settings_ {
17 static constexpr std::string_view NAME = "LOOKUP_SHA256_RANGE_COMP_W_LHS";
18 static constexpr std::string_view RELATION_NAME = "sha256";
19 static constexpr size_t LOOKUP_TUPLE_SIZE = 3;
20 static constexpr Column SRC_SELECTOR = Column::sha256_sel_compute_w;
21 static constexpr Column DST_SELECTOR = Column::gt_sel;
22 static constexpr Column COUNTS = Column::lookup_sha256_range_comp_w_lhs_counts;
23 static constexpr Column INVERSES = Column::lookup_sha256_range_comp_w_lhs_inv;
24 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
25 ColumnAndShifts::sha256_two_pow_32,
26 ColumnAndShifts::sha256_computed_w_lhs,
27 ColumnAndShifts::sha256_sel_compute_w
28 };
29 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = { ColumnAndShifts::gt_input_a,
30 ColumnAndShifts::gt_input_b,
31 ColumnAndShifts::gt_res };
32};
33
34using lookup_sha256_range_comp_w_lhs_settings = lookup_settings<lookup_sha256_range_comp_w_lhs_settings_>;
35template <typename FF_>
36using lookup_sha256_range_comp_w_lhs_relation = lookup_relation_base<FF_, lookup_sha256_range_comp_w_lhs_settings>;
37
39
40struct lookup_sha256_range_comp_w_rhs_settings_ {
41 static constexpr std::string_view NAME = "LOOKUP_SHA256_RANGE_COMP_W_RHS";
42 static constexpr std::string_view RELATION_NAME = "sha256";
43 static constexpr size_t LOOKUP_TUPLE_SIZE = 3;
44 static constexpr Column SRC_SELECTOR = Column::sha256_sel_compute_w;
45 static constexpr Column DST_SELECTOR = Column::gt_sel;
46 static constexpr Column COUNTS = Column::lookup_sha256_range_comp_w_rhs_counts;
47 static constexpr Column INVERSES = Column::lookup_sha256_range_comp_w_rhs_inv;
48 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
49 ColumnAndShifts::sha256_two_pow_32,
50 ColumnAndShifts::sha256_computed_w_rhs,
51 ColumnAndShifts::sha256_sel_compute_w
52 };
53 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = { ColumnAndShifts::gt_input_a,
54 ColumnAndShifts::gt_input_b,
55 ColumnAndShifts::gt_res };
56};
57
58using lookup_sha256_range_comp_w_rhs_settings = lookup_settings<lookup_sha256_range_comp_w_rhs_settings_>;
59template <typename FF_>
60using lookup_sha256_range_comp_w_rhs_relation = lookup_relation_base<FF_, lookup_sha256_range_comp_w_rhs_settings>;
61
63
64struct lookup_sha256_range_rhs_w_7_settings_ {
65 static constexpr std::string_view NAME = "LOOKUP_SHA256_RANGE_RHS_W_7";
66 static constexpr std::string_view RELATION_NAME = "sha256";
67 static constexpr size_t LOOKUP_TUPLE_SIZE = 3;
68 static constexpr Column SRC_SELECTOR = Column::sha256_sel_compute_w;
69 static constexpr Column DST_SELECTOR = Column::gt_sel;
70 static constexpr Column COUNTS = Column::lookup_sha256_range_rhs_w_7_counts;
71 static constexpr Column INVERSES = Column::lookup_sha256_range_rhs_w_7_inv;
72 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
73 ColumnAndShifts::sha256_two_pow_7, ColumnAndShifts::sha256_rhs_w_7, ColumnAndShifts::sha256_sel_compute_w
74 };
75 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = { ColumnAndShifts::gt_input_a,
76 ColumnAndShifts::gt_input_b,
77 ColumnAndShifts::gt_res };
78};
79
80using lookup_sha256_range_rhs_w_7_settings = lookup_settings<lookup_sha256_range_rhs_w_7_settings_>;
81template <typename FF_>
82using lookup_sha256_range_rhs_w_7_relation = lookup_relation_base<FF_, lookup_sha256_range_rhs_w_7_settings>;
83
85
86struct lookup_sha256_range_rhs_w_18_settings_ {
87 static constexpr std::string_view NAME = "LOOKUP_SHA256_RANGE_RHS_W_18";
88 static constexpr std::string_view RELATION_NAME = "sha256";
89 static constexpr size_t LOOKUP_TUPLE_SIZE = 3;
90 static constexpr Column SRC_SELECTOR = Column::sha256_sel_compute_w;
91 static constexpr Column DST_SELECTOR = Column::gt_sel;
92 static constexpr Column COUNTS = Column::lookup_sha256_range_rhs_w_18_counts;
93 static constexpr Column INVERSES = Column::lookup_sha256_range_rhs_w_18_inv;
94 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
95 ColumnAndShifts::sha256_two_pow_18, ColumnAndShifts::sha256_rhs_w_18, ColumnAndShifts::sha256_sel_compute_w
96 };
97 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = { ColumnAndShifts::gt_input_a,
98 ColumnAndShifts::gt_input_b,
99 ColumnAndShifts::gt_res };
100};
101
102using lookup_sha256_range_rhs_w_18_settings = lookup_settings<lookup_sha256_range_rhs_w_18_settings_>;
103template <typename FF_>
104using lookup_sha256_range_rhs_w_18_relation = lookup_relation_base<FF_, lookup_sha256_range_rhs_w_18_settings>;
105
107
108struct lookup_sha256_range_rhs_w_3_settings_ {
109 static constexpr std::string_view NAME = "LOOKUP_SHA256_RANGE_RHS_W_3";
110 static constexpr std::string_view RELATION_NAME = "sha256";
111 static constexpr size_t LOOKUP_TUPLE_SIZE = 3;
112 static constexpr Column SRC_SELECTOR = Column::sha256_sel_compute_w;
113 static constexpr Column DST_SELECTOR = Column::gt_sel;
114 static constexpr Column COUNTS = Column::lookup_sha256_range_rhs_w_3_counts;
115 static constexpr Column INVERSES = Column::lookup_sha256_range_rhs_w_3_inv;
116 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
117 ColumnAndShifts::sha256_two_pow_3, ColumnAndShifts::sha256_rhs_w_3, ColumnAndShifts::sha256_sel_compute_w
118 };
119 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = { ColumnAndShifts::gt_input_a,
120 ColumnAndShifts::gt_input_b,
121 ColumnAndShifts::gt_res };
122};
123
124using lookup_sha256_range_rhs_w_3_settings = lookup_settings<lookup_sha256_range_rhs_w_3_settings_>;
125template <typename FF_>
126using lookup_sha256_range_rhs_w_3_relation = lookup_relation_base<FF_, lookup_sha256_range_rhs_w_3_settings>;
127
129
130struct lookup_sha256_w_s_0_xor_0_settings_ {
131 static constexpr std::string_view NAME = "LOOKUP_SHA256_W_S_0_XOR_0";
132 static constexpr std::string_view RELATION_NAME = "sha256";
133 static constexpr size_t LOOKUP_TUPLE_SIZE = 5;
134 static constexpr Column SRC_SELECTOR = Column::sha256_sel_compute_w;
135 static constexpr Column DST_SELECTOR = Column::bitwise_start;
136 static constexpr Column COUNTS = Column::lookup_sha256_w_s_0_xor_0_counts;
137 static constexpr Column INVERSES = Column::lookup_sha256_w_s_0_xor_0_inv;
138 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
139 ColumnAndShifts::sha256_w_15_rotr_7,
140 ColumnAndShifts::sha256_w_15_rotr_18,
141 ColumnAndShifts::sha256_w_15_rotr_7_xor_w_15_rotr_18,
142 ColumnAndShifts::sha256_xor_sel,
143 ColumnAndShifts::sha256_u32_tag
144 };
145 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = { ColumnAndShifts::bitwise_acc_ia,
146 ColumnAndShifts::bitwise_acc_ib,
147 ColumnAndShifts::bitwise_acc_ic,
148 ColumnAndShifts::bitwise_op_id,
149 ColumnAndShifts::bitwise_tag_a };
150};
151
152using lookup_sha256_w_s_0_xor_0_settings = lookup_settings<lookup_sha256_w_s_0_xor_0_settings_>;
153template <typename FF_>
154using lookup_sha256_w_s_0_xor_0_relation = lookup_relation_base<FF_, lookup_sha256_w_s_0_xor_0_settings>;
155
157
158struct lookup_sha256_w_s_0_xor_1_settings_ {
159 static constexpr std::string_view NAME = "LOOKUP_SHA256_W_S_0_XOR_1";
160 static constexpr std::string_view RELATION_NAME = "sha256";
161 static constexpr size_t LOOKUP_TUPLE_SIZE = 5;
162 static constexpr Column SRC_SELECTOR = Column::sha256_sel_compute_w;
163 static constexpr Column DST_SELECTOR = Column::bitwise_start;
164 static constexpr Column COUNTS = Column::lookup_sha256_w_s_0_xor_1_counts;
165 static constexpr Column INVERSES = Column::lookup_sha256_w_s_0_xor_1_inv;
166 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
167 ColumnAndShifts::sha256_w_15_rotr_7_xor_w_15_rotr_18,
168 ColumnAndShifts::sha256_w_15_rshift_3,
169 ColumnAndShifts::sha256_w_s_0,
170 ColumnAndShifts::sha256_xor_sel,
171 ColumnAndShifts::sha256_u32_tag
172 };
173 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = { ColumnAndShifts::bitwise_acc_ia,
174 ColumnAndShifts::bitwise_acc_ib,
175 ColumnAndShifts::bitwise_acc_ic,
176 ColumnAndShifts::bitwise_op_id,
177 ColumnAndShifts::bitwise_tag_a };
178};
179
180using lookup_sha256_w_s_0_xor_1_settings = lookup_settings<lookup_sha256_w_s_0_xor_1_settings_>;
181template <typename FF_>
182using lookup_sha256_w_s_0_xor_1_relation = lookup_relation_base<FF_, lookup_sha256_w_s_0_xor_1_settings>;
183
185
186struct lookup_sha256_range_rhs_w_17_settings_ {
187 static constexpr std::string_view NAME = "LOOKUP_SHA256_RANGE_RHS_W_17";
188 static constexpr std::string_view RELATION_NAME = "sha256";
189 static constexpr size_t LOOKUP_TUPLE_SIZE = 3;
190 static constexpr Column SRC_SELECTOR = Column::sha256_sel_compute_w;
191 static constexpr Column DST_SELECTOR = Column::gt_sel;
192 static constexpr Column COUNTS = Column::lookup_sha256_range_rhs_w_17_counts;
193 static constexpr Column INVERSES = Column::lookup_sha256_range_rhs_w_17_inv;
194 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
195 ColumnAndShifts::sha256_two_pow_17, ColumnAndShifts::sha256_rhs_w_17, ColumnAndShifts::sha256_sel_compute_w
196 };
197 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = { ColumnAndShifts::gt_input_a,
198 ColumnAndShifts::gt_input_b,
199 ColumnAndShifts::gt_res };
200};
201
202using lookup_sha256_range_rhs_w_17_settings = lookup_settings<lookup_sha256_range_rhs_w_17_settings_>;
203template <typename FF_>
204using lookup_sha256_range_rhs_w_17_relation = lookup_relation_base<FF_, lookup_sha256_range_rhs_w_17_settings>;
205
207
208struct lookup_sha256_range_rhs_w_19_settings_ {
209 static constexpr std::string_view NAME = "LOOKUP_SHA256_RANGE_RHS_W_19";
210 static constexpr std::string_view RELATION_NAME = "sha256";
211 static constexpr size_t LOOKUP_TUPLE_SIZE = 3;
212 static constexpr Column SRC_SELECTOR = Column::sha256_sel_compute_w;
213 static constexpr Column DST_SELECTOR = Column::gt_sel;
214 static constexpr Column COUNTS = Column::lookup_sha256_range_rhs_w_19_counts;
215 static constexpr Column INVERSES = Column::lookup_sha256_range_rhs_w_19_inv;
216 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
217 ColumnAndShifts::sha256_two_pow_19, ColumnAndShifts::sha256_rhs_w_19, ColumnAndShifts::sha256_sel_compute_w
218 };
219 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = { ColumnAndShifts::gt_input_a,
220 ColumnAndShifts::gt_input_b,
221 ColumnAndShifts::gt_res };
222};
223
224using lookup_sha256_range_rhs_w_19_settings = lookup_settings<lookup_sha256_range_rhs_w_19_settings_>;
225template <typename FF_>
226using lookup_sha256_range_rhs_w_19_relation = lookup_relation_base<FF_, lookup_sha256_range_rhs_w_19_settings>;
227
229
230struct lookup_sha256_range_rhs_w_10_settings_ {
231 static constexpr std::string_view NAME = "LOOKUP_SHA256_RANGE_RHS_W_10";
232 static constexpr std::string_view RELATION_NAME = "sha256";
233 static constexpr size_t LOOKUP_TUPLE_SIZE = 3;
234 static constexpr Column SRC_SELECTOR = Column::sha256_sel_compute_w;
235 static constexpr Column DST_SELECTOR = Column::gt_sel;
236 static constexpr Column COUNTS = Column::lookup_sha256_range_rhs_w_10_counts;
237 static constexpr Column INVERSES = Column::lookup_sha256_range_rhs_w_10_inv;
238 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
239 ColumnAndShifts::sha256_two_pow_10, ColumnAndShifts::sha256_rhs_w_10, ColumnAndShifts::sha256_sel_compute_w
240 };
241 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = { ColumnAndShifts::gt_input_a,
242 ColumnAndShifts::gt_input_b,
243 ColumnAndShifts::gt_res };
244};
245
246using lookup_sha256_range_rhs_w_10_settings = lookup_settings<lookup_sha256_range_rhs_w_10_settings_>;
247template <typename FF_>
248using lookup_sha256_range_rhs_w_10_relation = lookup_relation_base<FF_, lookup_sha256_range_rhs_w_10_settings>;
249
251
252struct lookup_sha256_w_s_1_xor_0_settings_ {
253 static constexpr std::string_view NAME = "LOOKUP_SHA256_W_S_1_XOR_0";
254 static constexpr std::string_view RELATION_NAME = "sha256";
255 static constexpr size_t LOOKUP_TUPLE_SIZE = 5;
256 static constexpr Column SRC_SELECTOR = Column::sha256_sel_compute_w;
257 static constexpr Column DST_SELECTOR = Column::bitwise_start;
258 static constexpr Column COUNTS = Column::lookup_sha256_w_s_1_xor_0_counts;
259 static constexpr Column INVERSES = Column::lookup_sha256_w_s_1_xor_0_inv;
260 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
261 ColumnAndShifts::sha256_w_2_rotr_17,
262 ColumnAndShifts::sha256_w_2_rotr_19,
263 ColumnAndShifts::sha256_w_2_rotr_17_xor_w_2_rotr_19,
264 ColumnAndShifts::sha256_xor_sel,
265 ColumnAndShifts::sha256_u32_tag
266 };
267 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = { ColumnAndShifts::bitwise_acc_ia,
268 ColumnAndShifts::bitwise_acc_ib,
269 ColumnAndShifts::bitwise_acc_ic,
270 ColumnAndShifts::bitwise_op_id,
271 ColumnAndShifts::bitwise_tag_a };
272};
273
274using lookup_sha256_w_s_1_xor_0_settings = lookup_settings<lookup_sha256_w_s_1_xor_0_settings_>;
275template <typename FF_>
276using lookup_sha256_w_s_1_xor_0_relation = lookup_relation_base<FF_, lookup_sha256_w_s_1_xor_0_settings>;
277
279
280struct lookup_sha256_w_s_1_xor_1_settings_ {
281 static constexpr std::string_view NAME = "LOOKUP_SHA256_W_S_1_XOR_1";
282 static constexpr std::string_view RELATION_NAME = "sha256";
283 static constexpr size_t LOOKUP_TUPLE_SIZE = 6;
284 static constexpr Column SRC_SELECTOR = Column::sha256_sel_compute_w;
285 static constexpr Column DST_SELECTOR = Column::bitwise_start;
286 static constexpr Column COUNTS = Column::lookup_sha256_w_s_1_xor_1_counts;
287 static constexpr Column INVERSES = Column::lookup_sha256_w_s_1_xor_1_inv;
288 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
289 ColumnAndShifts::sha256_w_2_rotr_17_xor_w_2_rotr_19,
290 ColumnAndShifts::sha256_w_2_rshift_10,
291 ColumnAndShifts::sha256_w_s_1,
292 ColumnAndShifts::sha256_xor_sel,
293 ColumnAndShifts::sha256_u32_tag,
294 ColumnAndShifts::sha256_u32_tag
295 };
296 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = {
297 ColumnAndShifts::bitwise_acc_ia, ColumnAndShifts::bitwise_acc_ib, ColumnAndShifts::bitwise_acc_ic,
298 ColumnAndShifts::bitwise_op_id, ColumnAndShifts::bitwise_tag_a, ColumnAndShifts::bitwise_tag_a
299 };
300};
301
302using lookup_sha256_w_s_1_xor_1_settings = lookup_settings<lookup_sha256_w_s_1_xor_1_settings_>;
303template <typename FF_>
304using lookup_sha256_w_s_1_xor_1_relation = lookup_relation_base<FF_, lookup_sha256_w_s_1_xor_1_settings>;
305
307
308struct lookup_sha256_range_rhs_e_6_settings_ {
309 static constexpr std::string_view NAME = "LOOKUP_SHA256_RANGE_RHS_E_6";
310 static constexpr std::string_view RELATION_NAME = "sha256";
311 static constexpr size_t LOOKUP_TUPLE_SIZE = 3;
312 static constexpr Column SRC_SELECTOR = Column::sha256_perform_round;
313 static constexpr Column DST_SELECTOR = Column::gt_sel;
314 static constexpr Column COUNTS = Column::lookup_sha256_range_rhs_e_6_counts;
315 static constexpr Column INVERSES = Column::lookup_sha256_range_rhs_e_6_inv;
316 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
317 ColumnAndShifts::sha256_two_pow_6, ColumnAndShifts::sha256_rhs_e_6, ColumnAndShifts::sha256_perform_round
318 };
319 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = { ColumnAndShifts::gt_input_a,
320 ColumnAndShifts::gt_input_b,
321 ColumnAndShifts::gt_res };
322};
323
324using lookup_sha256_range_rhs_e_6_settings = lookup_settings<lookup_sha256_range_rhs_e_6_settings_>;
325template <typename FF_>
326using lookup_sha256_range_rhs_e_6_relation = lookup_relation_base<FF_, lookup_sha256_range_rhs_e_6_settings>;
327
329
330struct lookup_sha256_range_rhs_e_11_settings_ {
331 static constexpr std::string_view NAME = "LOOKUP_SHA256_RANGE_RHS_E_11";
332 static constexpr std::string_view RELATION_NAME = "sha256";
333 static constexpr size_t LOOKUP_TUPLE_SIZE = 3;
334 static constexpr Column SRC_SELECTOR = Column::sha256_perform_round;
335 static constexpr Column DST_SELECTOR = Column::gt_sel;
336 static constexpr Column COUNTS = Column::lookup_sha256_range_rhs_e_11_counts;
337 static constexpr Column INVERSES = Column::lookup_sha256_range_rhs_e_11_inv;
338 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
339 ColumnAndShifts::sha256_two_pow_11, ColumnAndShifts::sha256_rhs_e_11, ColumnAndShifts::sha256_perform_round
340 };
341 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = { ColumnAndShifts::gt_input_a,
342 ColumnAndShifts::gt_input_b,
343 ColumnAndShifts::gt_res };
344};
345
346using lookup_sha256_range_rhs_e_11_settings = lookup_settings<lookup_sha256_range_rhs_e_11_settings_>;
347template <typename FF_>
348using lookup_sha256_range_rhs_e_11_relation = lookup_relation_base<FF_, lookup_sha256_range_rhs_e_11_settings>;
349
351
352struct lookup_sha256_range_rhs_e_25_settings_ {
353 static constexpr std::string_view NAME = "LOOKUP_SHA256_RANGE_RHS_E_25";
354 static constexpr std::string_view RELATION_NAME = "sha256";
355 static constexpr size_t LOOKUP_TUPLE_SIZE = 3;
356 static constexpr Column SRC_SELECTOR = Column::sha256_perform_round;
357 static constexpr Column DST_SELECTOR = Column::gt_sel;
358 static constexpr Column COUNTS = Column::lookup_sha256_range_rhs_e_25_counts;
359 static constexpr Column INVERSES = Column::lookup_sha256_range_rhs_e_25_inv;
360 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
361 ColumnAndShifts::sha256_two_pow_25, ColumnAndShifts::sha256_rhs_e_25, ColumnAndShifts::sha256_perform_round
362 };
363 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = { ColumnAndShifts::gt_input_a,
364 ColumnAndShifts::gt_input_b,
365 ColumnAndShifts::gt_res };
366};
367
368using lookup_sha256_range_rhs_e_25_settings = lookup_settings<lookup_sha256_range_rhs_e_25_settings_>;
369template <typename FF_>
370using lookup_sha256_range_rhs_e_25_relation = lookup_relation_base<FF_, lookup_sha256_range_rhs_e_25_settings>;
371
373
374struct lookup_sha256_s_1_xor_0_settings_ {
375 static constexpr std::string_view NAME = "LOOKUP_SHA256_S_1_XOR_0";
376 static constexpr std::string_view RELATION_NAME = "sha256";
377 static constexpr size_t LOOKUP_TUPLE_SIZE = 5;
378 static constexpr Column SRC_SELECTOR = Column::sha256_perform_round;
379 static constexpr Column DST_SELECTOR = Column::bitwise_start;
380 static constexpr Column COUNTS = Column::lookup_sha256_s_1_xor_0_counts;
381 static constexpr Column INVERSES = Column::lookup_sha256_s_1_xor_0_inv;
382 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
383 ColumnAndShifts::sha256_e_rotr_6,
384 ColumnAndShifts::sha256_e_rotr_11,
385 ColumnAndShifts::sha256_e_rotr_6_xor_e_rotr_11,
386 ColumnAndShifts::sha256_xor_sel,
387 ColumnAndShifts::sha256_u32_tag
388 };
389 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = { ColumnAndShifts::bitwise_acc_ia,
390 ColumnAndShifts::bitwise_acc_ib,
391 ColumnAndShifts::bitwise_acc_ic,
392 ColumnAndShifts::bitwise_op_id,
393 ColumnAndShifts::bitwise_tag_a };
394};
395
396using lookup_sha256_s_1_xor_0_settings = lookup_settings<lookup_sha256_s_1_xor_0_settings_>;
397template <typename FF_>
398using lookup_sha256_s_1_xor_0_relation = lookup_relation_base<FF_, lookup_sha256_s_1_xor_0_settings>;
399
401
402struct lookup_sha256_s_1_xor_1_settings_ {
403 static constexpr std::string_view NAME = "LOOKUP_SHA256_S_1_XOR_1";
404 static constexpr std::string_view RELATION_NAME = "sha256";
405 static constexpr size_t LOOKUP_TUPLE_SIZE = 5;
406 static constexpr Column SRC_SELECTOR = Column::sha256_perform_round;
407 static constexpr Column DST_SELECTOR = Column::bitwise_start;
408 static constexpr Column COUNTS = Column::lookup_sha256_s_1_xor_1_counts;
409 static constexpr Column INVERSES = Column::lookup_sha256_s_1_xor_1_inv;
410 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
411 ColumnAndShifts::sha256_e_rotr_6_xor_e_rotr_11,
412 ColumnAndShifts::sha256_e_rotr_25,
413 ColumnAndShifts::sha256_s_1,
414 ColumnAndShifts::sha256_xor_sel,
415 ColumnAndShifts::sha256_u32_tag
416 };
417 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = { ColumnAndShifts::bitwise_acc_ia,
418 ColumnAndShifts::bitwise_acc_ib,
419 ColumnAndShifts::bitwise_acc_ic,
420 ColumnAndShifts::bitwise_op_id,
421 ColumnAndShifts::bitwise_tag_a };
422};
423
424using lookup_sha256_s_1_xor_1_settings = lookup_settings<lookup_sha256_s_1_xor_1_settings_>;
425template <typename FF_>
426using lookup_sha256_s_1_xor_1_relation = lookup_relation_base<FF_, lookup_sha256_s_1_xor_1_settings>;
427
429
430struct lookup_sha256_ch_and_0_settings_ {
431 static constexpr std::string_view NAME = "LOOKUP_SHA256_CH_AND_0";
432 static constexpr std::string_view RELATION_NAME = "sha256";
433 static constexpr size_t LOOKUP_TUPLE_SIZE = 5;
434 static constexpr Column SRC_SELECTOR = Column::sha256_perform_round;
435 static constexpr Column DST_SELECTOR = Column::bitwise_start;
436 static constexpr Column COUNTS = Column::lookup_sha256_ch_and_0_counts;
437 static constexpr Column INVERSES = Column::lookup_sha256_ch_and_0_inv;
438 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = { ColumnAndShifts::sha256_e,
439 ColumnAndShifts::sha256_f,
440 ColumnAndShifts::sha256_e_and_f,
441 ColumnAndShifts::sha256_and_sel,
442 ColumnAndShifts::sha256_u32_tag };
443 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = { ColumnAndShifts::bitwise_acc_ia,
444 ColumnAndShifts::bitwise_acc_ib,
445 ColumnAndShifts::bitwise_acc_ic,
446 ColumnAndShifts::bitwise_op_id,
447 ColumnAndShifts::bitwise_tag_a };
448};
449
450using lookup_sha256_ch_and_0_settings = lookup_settings<lookup_sha256_ch_and_0_settings_>;
451template <typename FF_>
452using lookup_sha256_ch_and_0_relation = lookup_relation_base<FF_, lookup_sha256_ch_and_0_settings>;
453
455
456struct lookup_sha256_ch_and_1_settings_ {
457 static constexpr std::string_view NAME = "LOOKUP_SHA256_CH_AND_1";
458 static constexpr std::string_view RELATION_NAME = "sha256";
459 static constexpr size_t LOOKUP_TUPLE_SIZE = 5;
460 static constexpr Column SRC_SELECTOR = Column::sha256_perform_round;
461 static constexpr Column DST_SELECTOR = Column::bitwise_start;
462 static constexpr Column COUNTS = Column::lookup_sha256_ch_and_1_counts;
463 static constexpr Column INVERSES = Column::lookup_sha256_ch_and_1_inv;
464 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = { ColumnAndShifts::sha256_not_e,
465 ColumnAndShifts::sha256_g,
466 ColumnAndShifts::sha256_not_e_and_g,
467 ColumnAndShifts::sha256_and_sel,
468 ColumnAndShifts::sha256_u32_tag };
469 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = { ColumnAndShifts::bitwise_acc_ia,
470 ColumnAndShifts::bitwise_acc_ib,
471 ColumnAndShifts::bitwise_acc_ic,
472 ColumnAndShifts::bitwise_op_id,
473 ColumnAndShifts::bitwise_tag_a };
474};
475
476using lookup_sha256_ch_and_1_settings = lookup_settings<lookup_sha256_ch_and_1_settings_>;
477template <typename FF_>
478using lookup_sha256_ch_and_1_relation = lookup_relation_base<FF_, lookup_sha256_ch_and_1_settings>;
479
481
482struct lookup_sha256_ch_xor_settings_ {
483 static constexpr std::string_view NAME = "LOOKUP_SHA256_CH_XOR";
484 static constexpr std::string_view RELATION_NAME = "sha256";
485 static constexpr size_t LOOKUP_TUPLE_SIZE = 5;
486 static constexpr Column SRC_SELECTOR = Column::sha256_perform_round;
487 static constexpr Column DST_SELECTOR = Column::bitwise_start;
488 static constexpr Column COUNTS = Column::lookup_sha256_ch_xor_counts;
489 static constexpr Column INVERSES = Column::lookup_sha256_ch_xor_inv;
490 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = { ColumnAndShifts::sha256_e_and_f,
491 ColumnAndShifts::sha256_not_e_and_g,
492 ColumnAndShifts::sha256_ch,
493 ColumnAndShifts::sha256_xor_sel,
494 ColumnAndShifts::sha256_u32_tag };
495 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = { ColumnAndShifts::bitwise_acc_ia,
496 ColumnAndShifts::bitwise_acc_ib,
497 ColumnAndShifts::bitwise_acc_ic,
498 ColumnAndShifts::bitwise_op_id,
499 ColumnAndShifts::bitwise_tag_a };
500};
501
502using lookup_sha256_ch_xor_settings = lookup_settings<lookup_sha256_ch_xor_settings_>;
503template <typename FF_> using lookup_sha256_ch_xor_relation = lookup_relation_base<FF_, lookup_sha256_ch_xor_settings>;
504
506
507struct lookup_sha256_round_constant_settings_ {
508 static constexpr std::string_view NAME = "LOOKUP_SHA256_ROUND_CONSTANT";
509 static constexpr std::string_view RELATION_NAME = "sha256";
510 static constexpr size_t LOOKUP_TUPLE_SIZE = 2;
511 static constexpr Column SRC_SELECTOR = Column::sha256_perform_round;
512 static constexpr Column DST_SELECTOR = Column::precomputed_sel_sha256_compression;
513 static constexpr Column COUNTS = Column::lookup_sha256_round_constant_counts;
514 static constexpr Column INVERSES = Column::lookup_sha256_round_constant_inv;
515 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
516 ColumnAndShifts::sha256_round_count, ColumnAndShifts::sha256_round_constant
517 };
518 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = {
519 ColumnAndShifts::precomputed_clk, ColumnAndShifts::precomputed_sha256_compression_round_constant
520 };
521};
522
523using lookup_sha256_round_constant_settings = lookup_settings<lookup_sha256_round_constant_settings_>;
524template <typename FF_>
525using lookup_sha256_round_constant_relation = lookup_relation_base<FF_, lookup_sha256_round_constant_settings>;
526
528
529struct lookup_sha256_range_rhs_a_2_settings_ {
530 static constexpr std::string_view NAME = "LOOKUP_SHA256_RANGE_RHS_A_2";
531 static constexpr std::string_view RELATION_NAME = "sha256";
532 static constexpr size_t LOOKUP_TUPLE_SIZE = 3;
533 static constexpr Column SRC_SELECTOR = Column::sha256_perform_round;
534 static constexpr Column DST_SELECTOR = Column::gt_sel;
535 static constexpr Column COUNTS = Column::lookup_sha256_range_rhs_a_2_counts;
536 static constexpr Column INVERSES = Column::lookup_sha256_range_rhs_a_2_inv;
537 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
538 ColumnAndShifts::sha256_two_pow_2, ColumnAndShifts::sha256_rhs_a_2, ColumnAndShifts::sha256_perform_round
539 };
540 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = { ColumnAndShifts::gt_input_a,
541 ColumnAndShifts::gt_input_b,
542 ColumnAndShifts::gt_res };
543};
544
545using lookup_sha256_range_rhs_a_2_settings = lookup_settings<lookup_sha256_range_rhs_a_2_settings_>;
546template <typename FF_>
547using lookup_sha256_range_rhs_a_2_relation = lookup_relation_base<FF_, lookup_sha256_range_rhs_a_2_settings>;
548
550
551struct lookup_sha256_range_rhs_a_13_settings_ {
552 static constexpr std::string_view NAME = "LOOKUP_SHA256_RANGE_RHS_A_13";
553 static constexpr std::string_view RELATION_NAME = "sha256";
554 static constexpr size_t LOOKUP_TUPLE_SIZE = 3;
555 static constexpr Column SRC_SELECTOR = Column::sha256_perform_round;
556 static constexpr Column DST_SELECTOR = Column::gt_sel;
557 static constexpr Column COUNTS = Column::lookup_sha256_range_rhs_a_13_counts;
558 static constexpr Column INVERSES = Column::lookup_sha256_range_rhs_a_13_inv;
559 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
560 ColumnAndShifts::sha256_two_pow_13, ColumnAndShifts::sha256_rhs_a_13, ColumnAndShifts::sha256_perform_round
561 };
562 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = { ColumnAndShifts::gt_input_a,
563 ColumnAndShifts::gt_input_b,
564 ColumnAndShifts::gt_res };
565};
566
567using lookup_sha256_range_rhs_a_13_settings = lookup_settings<lookup_sha256_range_rhs_a_13_settings_>;
568template <typename FF_>
569using lookup_sha256_range_rhs_a_13_relation = lookup_relation_base<FF_, lookup_sha256_range_rhs_a_13_settings>;
570
572
573struct lookup_sha256_range_rhs_a_22_settings_ {
574 static constexpr std::string_view NAME = "LOOKUP_SHA256_RANGE_RHS_A_22";
575 static constexpr std::string_view RELATION_NAME = "sha256";
576 static constexpr size_t LOOKUP_TUPLE_SIZE = 3;
577 static constexpr Column SRC_SELECTOR = Column::sha256_perform_round;
578 static constexpr Column DST_SELECTOR = Column::gt_sel;
579 static constexpr Column COUNTS = Column::lookup_sha256_range_rhs_a_22_counts;
580 static constexpr Column INVERSES = Column::lookup_sha256_range_rhs_a_22_inv;
581 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
582 ColumnAndShifts::sha256_two_pow_22, ColumnAndShifts::sha256_rhs_a_22, ColumnAndShifts::sha256_perform_round
583 };
584 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = { ColumnAndShifts::gt_input_a,
585 ColumnAndShifts::gt_input_b,
586 ColumnAndShifts::gt_res };
587};
588
589using lookup_sha256_range_rhs_a_22_settings = lookup_settings<lookup_sha256_range_rhs_a_22_settings_>;
590template <typename FF_>
591using lookup_sha256_range_rhs_a_22_relation = lookup_relation_base<FF_, lookup_sha256_range_rhs_a_22_settings>;
592
594
595struct lookup_sha256_s_0_xor_0_settings_ {
596 static constexpr std::string_view NAME = "LOOKUP_SHA256_S_0_XOR_0";
597 static constexpr std::string_view RELATION_NAME = "sha256";
598 static constexpr size_t LOOKUP_TUPLE_SIZE = 5;
599 static constexpr Column SRC_SELECTOR = Column::sha256_perform_round;
600 static constexpr Column DST_SELECTOR = Column::bitwise_start;
601 static constexpr Column COUNTS = Column::lookup_sha256_s_0_xor_0_counts;
602 static constexpr Column INVERSES = Column::lookup_sha256_s_0_xor_0_inv;
603 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
604 ColumnAndShifts::sha256_a_rotr_2,
605 ColumnAndShifts::sha256_a_rotr_13,
606 ColumnAndShifts::sha256_a_rotr_2_xor_a_rotr_13,
607 ColumnAndShifts::sha256_xor_sel,
608 ColumnAndShifts::sha256_u32_tag
609 };
610 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = { ColumnAndShifts::bitwise_acc_ia,
611 ColumnAndShifts::bitwise_acc_ib,
612 ColumnAndShifts::bitwise_acc_ic,
613 ColumnAndShifts::bitwise_op_id,
614 ColumnAndShifts::bitwise_tag_a };
615};
616
617using lookup_sha256_s_0_xor_0_settings = lookup_settings<lookup_sha256_s_0_xor_0_settings_>;
618template <typename FF_>
619using lookup_sha256_s_0_xor_0_relation = lookup_relation_base<FF_, lookup_sha256_s_0_xor_0_settings>;
620
622
623struct lookup_sha256_s_0_xor_1_settings_ {
624 static constexpr std::string_view NAME = "LOOKUP_SHA256_S_0_XOR_1";
625 static constexpr std::string_view RELATION_NAME = "sha256";
626 static constexpr size_t LOOKUP_TUPLE_SIZE = 5;
627 static constexpr Column SRC_SELECTOR = Column::sha256_perform_round;
628 static constexpr Column DST_SELECTOR = Column::bitwise_start;
629 static constexpr Column COUNTS = Column::lookup_sha256_s_0_xor_1_counts;
630 static constexpr Column INVERSES = Column::lookup_sha256_s_0_xor_1_inv;
631 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
632 ColumnAndShifts::sha256_a_rotr_2_xor_a_rotr_13,
633 ColumnAndShifts::sha256_a_rotr_22,
634 ColumnAndShifts::sha256_s_0,
635 ColumnAndShifts::sha256_xor_sel,
636 ColumnAndShifts::sha256_u32_tag
637 };
638 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = { ColumnAndShifts::bitwise_acc_ia,
639 ColumnAndShifts::bitwise_acc_ib,
640 ColumnAndShifts::bitwise_acc_ic,
641 ColumnAndShifts::bitwise_op_id,
642 ColumnAndShifts::bitwise_tag_a };
643};
644
645using lookup_sha256_s_0_xor_1_settings = lookup_settings<lookup_sha256_s_0_xor_1_settings_>;
646template <typename FF_>
647using lookup_sha256_s_0_xor_1_relation = lookup_relation_base<FF_, lookup_sha256_s_0_xor_1_settings>;
648
650
651struct lookup_sha256_maj_and_0_settings_ {
652 static constexpr std::string_view NAME = "LOOKUP_SHA256_MAJ_AND_0";
653 static constexpr std::string_view RELATION_NAME = "sha256";
654 static constexpr size_t LOOKUP_TUPLE_SIZE = 5;
655 static constexpr Column SRC_SELECTOR = Column::sha256_perform_round;
656 static constexpr Column DST_SELECTOR = Column::bitwise_start;
657 static constexpr Column COUNTS = Column::lookup_sha256_maj_and_0_counts;
658 static constexpr Column INVERSES = Column::lookup_sha256_maj_and_0_inv;
659 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = { ColumnAndShifts::sha256_a,
660 ColumnAndShifts::sha256_b,
661 ColumnAndShifts::sha256_a_and_b,
662 ColumnAndShifts::sha256_and_sel,
663 ColumnAndShifts::sha256_u32_tag };
664 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = { ColumnAndShifts::bitwise_acc_ia,
665 ColumnAndShifts::bitwise_acc_ib,
666 ColumnAndShifts::bitwise_acc_ic,
667 ColumnAndShifts::bitwise_op_id,
668 ColumnAndShifts::bitwise_tag_a };
669};
670
671using lookup_sha256_maj_and_0_settings = lookup_settings<lookup_sha256_maj_and_0_settings_>;
672template <typename FF_>
673using lookup_sha256_maj_and_0_relation = lookup_relation_base<FF_, lookup_sha256_maj_and_0_settings>;
674
676
677struct lookup_sha256_maj_and_1_settings_ {
678 static constexpr std::string_view NAME = "LOOKUP_SHA256_MAJ_AND_1";
679 static constexpr std::string_view RELATION_NAME = "sha256";
680 static constexpr size_t LOOKUP_TUPLE_SIZE = 5;
681 static constexpr Column SRC_SELECTOR = Column::sha256_perform_round;
682 static constexpr Column DST_SELECTOR = Column::bitwise_start;
683 static constexpr Column COUNTS = Column::lookup_sha256_maj_and_1_counts;
684 static constexpr Column INVERSES = Column::lookup_sha256_maj_and_1_inv;
685 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = { ColumnAndShifts::sha256_a,
686 ColumnAndShifts::sha256_c,
687 ColumnAndShifts::sha256_a_and_c,
688 ColumnAndShifts::sha256_and_sel,
689 ColumnAndShifts::sha256_u32_tag };
690 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = { ColumnAndShifts::bitwise_acc_ia,
691 ColumnAndShifts::bitwise_acc_ib,
692 ColumnAndShifts::bitwise_acc_ic,
693 ColumnAndShifts::bitwise_op_id,
694 ColumnAndShifts::bitwise_tag_a };
695};
696
697using lookup_sha256_maj_and_1_settings = lookup_settings<lookup_sha256_maj_and_1_settings_>;
698template <typename FF_>
699using lookup_sha256_maj_and_1_relation = lookup_relation_base<FF_, lookup_sha256_maj_and_1_settings>;
700
702
703struct lookup_sha256_maj_and_2_settings_ {
704 static constexpr std::string_view NAME = "LOOKUP_SHA256_MAJ_AND_2";
705 static constexpr std::string_view RELATION_NAME = "sha256";
706 static constexpr size_t LOOKUP_TUPLE_SIZE = 5;
707 static constexpr Column SRC_SELECTOR = Column::sha256_perform_round;
708 static constexpr Column DST_SELECTOR = Column::bitwise_start;
709 static constexpr Column COUNTS = Column::lookup_sha256_maj_and_2_counts;
710 static constexpr Column INVERSES = Column::lookup_sha256_maj_and_2_inv;
711 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = { ColumnAndShifts::sha256_b,
712 ColumnAndShifts::sha256_c,
713 ColumnAndShifts::sha256_b_and_c,
714 ColumnAndShifts::sha256_and_sel,
715 ColumnAndShifts::sha256_u32_tag };
716 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = { ColumnAndShifts::bitwise_acc_ia,
717 ColumnAndShifts::bitwise_acc_ib,
718 ColumnAndShifts::bitwise_acc_ic,
719 ColumnAndShifts::bitwise_op_id,
720 ColumnAndShifts::bitwise_tag_a };
721};
722
723using lookup_sha256_maj_and_2_settings = lookup_settings<lookup_sha256_maj_and_2_settings_>;
724template <typename FF_>
725using lookup_sha256_maj_and_2_relation = lookup_relation_base<FF_, lookup_sha256_maj_and_2_settings>;
726
728
729struct lookup_sha256_maj_xor_0_settings_ {
730 static constexpr std::string_view NAME = "LOOKUP_SHA256_MAJ_XOR_0";
731 static constexpr std::string_view RELATION_NAME = "sha256";
732 static constexpr size_t LOOKUP_TUPLE_SIZE = 5;
733 static constexpr Column SRC_SELECTOR = Column::sha256_perform_round;
734 static constexpr Column DST_SELECTOR = Column::bitwise_start;
735 static constexpr Column COUNTS = Column::lookup_sha256_maj_xor_0_counts;
736 static constexpr Column INVERSES = Column::lookup_sha256_maj_xor_0_inv;
737 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
738 ColumnAndShifts::sha256_a_and_b,
739 ColumnAndShifts::sha256_a_and_c,
740 ColumnAndShifts::sha256_a_and_b_xor_a_and_c,
741 ColumnAndShifts::sha256_xor_sel,
742 ColumnAndShifts::sha256_u32_tag
743 };
744 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = { ColumnAndShifts::bitwise_acc_ia,
745 ColumnAndShifts::bitwise_acc_ib,
746 ColumnAndShifts::bitwise_acc_ic,
747 ColumnAndShifts::bitwise_op_id,
748 ColumnAndShifts::bitwise_tag_a };
749};
750
751using lookup_sha256_maj_xor_0_settings = lookup_settings<lookup_sha256_maj_xor_0_settings_>;
752template <typename FF_>
753using lookup_sha256_maj_xor_0_relation = lookup_relation_base<FF_, lookup_sha256_maj_xor_0_settings>;
754
756
757struct lookup_sha256_maj_xor_1_settings_ {
758 static constexpr std::string_view NAME = "LOOKUP_SHA256_MAJ_XOR_1";
759 static constexpr std::string_view RELATION_NAME = "sha256";
760 static constexpr size_t LOOKUP_TUPLE_SIZE = 5;
761 static constexpr Column SRC_SELECTOR = Column::sha256_perform_round;
762 static constexpr Column DST_SELECTOR = Column::bitwise_start;
763 static constexpr Column COUNTS = Column::lookup_sha256_maj_xor_1_counts;
764 static constexpr Column INVERSES = Column::lookup_sha256_maj_xor_1_inv;
765 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
766 ColumnAndShifts::sha256_a_and_b_xor_a_and_c,
767 ColumnAndShifts::sha256_b_and_c,
768 ColumnAndShifts::sha256_maj,
769 ColumnAndShifts::sha256_xor_sel,
770 ColumnAndShifts::sha256_u32_tag
771 };
772 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = { ColumnAndShifts::bitwise_acc_ia,
773 ColumnAndShifts::bitwise_acc_ib,
774 ColumnAndShifts::bitwise_acc_ic,
775 ColumnAndShifts::bitwise_op_id,
776 ColumnAndShifts::bitwise_tag_a };
777};
778
779using lookup_sha256_maj_xor_1_settings = lookup_settings<lookup_sha256_maj_xor_1_settings_>;
780template <typename FF_>
781using lookup_sha256_maj_xor_1_relation = lookup_relation_base<FF_, lookup_sha256_maj_xor_1_settings>;
782
784
785struct lookup_sha256_range_comp_next_a_lhs_settings_ {
786 static constexpr std::string_view NAME = "LOOKUP_SHA256_RANGE_COMP_NEXT_A_LHS";
787 static constexpr std::string_view RELATION_NAME = "sha256";
788 static constexpr size_t LOOKUP_TUPLE_SIZE = 3;
789 static constexpr Column SRC_SELECTOR = Column::sha256_perform_round;
790 static constexpr Column DST_SELECTOR = Column::gt_sel;
791 static constexpr Column COUNTS = Column::lookup_sha256_range_comp_next_a_lhs_counts;
792 static constexpr Column INVERSES = Column::lookup_sha256_range_comp_next_a_lhs_inv;
793 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
794 ColumnAndShifts::sha256_two_pow_32, ColumnAndShifts::sha256_next_a_lhs, ColumnAndShifts::sha256_perform_round
795 };
796 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = { ColumnAndShifts::gt_input_a,
797 ColumnAndShifts::gt_input_b,
798 ColumnAndShifts::gt_res };
799};
800
801using lookup_sha256_range_comp_next_a_lhs_settings = lookup_settings<lookup_sha256_range_comp_next_a_lhs_settings_>;
802template <typename FF_>
803using lookup_sha256_range_comp_next_a_lhs_relation =
804 lookup_relation_base<FF_, lookup_sha256_range_comp_next_a_lhs_settings>;
805
807
808struct lookup_sha256_range_comp_next_a_rhs_settings_ {
809 static constexpr std::string_view NAME = "LOOKUP_SHA256_RANGE_COMP_NEXT_A_RHS";
810 static constexpr std::string_view RELATION_NAME = "sha256";
811 static constexpr size_t LOOKUP_TUPLE_SIZE = 3;
812 static constexpr Column SRC_SELECTOR = Column::sha256_perform_round;
813 static constexpr Column DST_SELECTOR = Column::gt_sel;
814 static constexpr Column COUNTS = Column::lookup_sha256_range_comp_next_a_rhs_counts;
815 static constexpr Column INVERSES = Column::lookup_sha256_range_comp_next_a_rhs_inv;
816 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
817 ColumnAndShifts::sha256_two_pow_32, ColumnAndShifts::sha256_next_a_rhs, ColumnAndShifts::sha256_perform_round
818 };
819 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = { ColumnAndShifts::gt_input_a,
820 ColumnAndShifts::gt_input_b,
821 ColumnAndShifts::gt_res };
822};
823
824using lookup_sha256_range_comp_next_a_rhs_settings = lookup_settings<lookup_sha256_range_comp_next_a_rhs_settings_>;
825template <typename FF_>
826using lookup_sha256_range_comp_next_a_rhs_relation =
827 lookup_relation_base<FF_, lookup_sha256_range_comp_next_a_rhs_settings>;
828
830
831struct lookup_sha256_range_comp_next_e_lhs_settings_ {
832 static constexpr std::string_view NAME = "LOOKUP_SHA256_RANGE_COMP_NEXT_E_LHS";
833 static constexpr std::string_view RELATION_NAME = "sha256";
834 static constexpr size_t LOOKUP_TUPLE_SIZE = 3;
835 static constexpr Column SRC_SELECTOR = Column::sha256_perform_round;
836 static constexpr Column DST_SELECTOR = Column::gt_sel;
837 static constexpr Column COUNTS = Column::lookup_sha256_range_comp_next_e_lhs_counts;
838 static constexpr Column INVERSES = Column::lookup_sha256_range_comp_next_e_lhs_inv;
839 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
840 ColumnAndShifts::sha256_two_pow_32, ColumnAndShifts::sha256_next_e_lhs, ColumnAndShifts::sha256_perform_round
841 };
842 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = { ColumnAndShifts::gt_input_a,
843 ColumnAndShifts::gt_input_b,
844 ColumnAndShifts::gt_res };
845};
846
847using lookup_sha256_range_comp_next_e_lhs_settings = lookup_settings<lookup_sha256_range_comp_next_e_lhs_settings_>;
848template <typename FF_>
849using lookup_sha256_range_comp_next_e_lhs_relation =
850 lookup_relation_base<FF_, lookup_sha256_range_comp_next_e_lhs_settings>;
851
853
854struct lookup_sha256_range_comp_next_e_rhs_settings_ {
855 static constexpr std::string_view NAME = "LOOKUP_SHA256_RANGE_COMP_NEXT_E_RHS";
856 static constexpr std::string_view RELATION_NAME = "sha256";
857 static constexpr size_t LOOKUP_TUPLE_SIZE = 3;
858 static constexpr Column SRC_SELECTOR = Column::sha256_perform_round;
859 static constexpr Column DST_SELECTOR = Column::gt_sel;
860 static constexpr Column COUNTS = Column::lookup_sha256_range_comp_next_e_rhs_counts;
861 static constexpr Column INVERSES = Column::lookup_sha256_range_comp_next_e_rhs_inv;
862 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
863 ColumnAndShifts::sha256_two_pow_32, ColumnAndShifts::sha256_next_e_rhs, ColumnAndShifts::sha256_perform_round
864 };
865 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = { ColumnAndShifts::gt_input_a,
866 ColumnAndShifts::gt_input_b,
867 ColumnAndShifts::gt_res };
868};
869
870using lookup_sha256_range_comp_next_e_rhs_settings = lookup_settings<lookup_sha256_range_comp_next_e_rhs_settings_>;
871template <typename FF_>
872using lookup_sha256_range_comp_next_e_rhs_relation =
873 lookup_relation_base<FF_, lookup_sha256_range_comp_next_e_rhs_settings>;
874
876
877struct lookup_sha256_range_comp_a_lhs_settings_ {
878 static constexpr std::string_view NAME = "LOOKUP_SHA256_RANGE_COMP_A_LHS";
879 static constexpr std::string_view RELATION_NAME = "sha256";
880 static constexpr size_t LOOKUP_TUPLE_SIZE = 3;
881 static constexpr Column SRC_SELECTOR = Column::sha256_perform_round;
882 static constexpr Column DST_SELECTOR = Column::gt_sel;
883 static constexpr Column COUNTS = Column::lookup_sha256_range_comp_a_lhs_counts;
884 static constexpr Column INVERSES = Column::lookup_sha256_range_comp_a_lhs_inv;
885 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
886 ColumnAndShifts::sha256_two_pow_32, ColumnAndShifts::sha256_output_a_lhs, ColumnAndShifts::sha256_perform_round
887 };
888 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = { ColumnAndShifts::gt_input_a,
889 ColumnAndShifts::gt_input_b,
890 ColumnAndShifts::gt_res };
891};
892
893using lookup_sha256_range_comp_a_lhs_settings = lookup_settings<lookup_sha256_range_comp_a_lhs_settings_>;
894template <typename FF_>
895using lookup_sha256_range_comp_a_lhs_relation = lookup_relation_base<FF_, lookup_sha256_range_comp_a_lhs_settings>;
896
898
899struct lookup_sha256_range_comp_a_rhs_settings_ {
900 static constexpr std::string_view NAME = "LOOKUP_SHA256_RANGE_COMP_A_RHS";
901 static constexpr std::string_view RELATION_NAME = "sha256";
902 static constexpr size_t LOOKUP_TUPLE_SIZE = 3;
903 static constexpr Column SRC_SELECTOR = Column::sha256_perform_round;
904 static constexpr Column DST_SELECTOR = Column::gt_sel;
905 static constexpr Column COUNTS = Column::lookup_sha256_range_comp_a_rhs_counts;
906 static constexpr Column INVERSES = Column::lookup_sha256_range_comp_a_rhs_inv;
907 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
908 ColumnAndShifts::sha256_two_pow_32, ColumnAndShifts::sha256_output_a_rhs, ColumnAndShifts::sha256_perform_round
909 };
910 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = { ColumnAndShifts::gt_input_a,
911 ColumnAndShifts::gt_input_b,
912 ColumnAndShifts::gt_res };
913};
914
915using lookup_sha256_range_comp_a_rhs_settings = lookup_settings<lookup_sha256_range_comp_a_rhs_settings_>;
916template <typename FF_>
917using lookup_sha256_range_comp_a_rhs_relation = lookup_relation_base<FF_, lookup_sha256_range_comp_a_rhs_settings>;
918
920
921struct lookup_sha256_range_comp_b_lhs_settings_ {
922 static constexpr std::string_view NAME = "LOOKUP_SHA256_RANGE_COMP_B_LHS";
923 static constexpr std::string_view RELATION_NAME = "sha256";
924 static constexpr size_t LOOKUP_TUPLE_SIZE = 3;
925 static constexpr Column SRC_SELECTOR = Column::sha256_perform_round;
926 static constexpr Column DST_SELECTOR = Column::gt_sel;
927 static constexpr Column COUNTS = Column::lookup_sha256_range_comp_b_lhs_counts;
928 static constexpr Column INVERSES = Column::lookup_sha256_range_comp_b_lhs_inv;
929 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
930 ColumnAndShifts::sha256_two_pow_32, ColumnAndShifts::sha256_output_b_lhs, ColumnAndShifts::sha256_perform_round
931 };
932 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = { ColumnAndShifts::gt_input_a,
933 ColumnAndShifts::gt_input_b,
934 ColumnAndShifts::gt_res };
935};
936
937using lookup_sha256_range_comp_b_lhs_settings = lookup_settings<lookup_sha256_range_comp_b_lhs_settings_>;
938template <typename FF_>
939using lookup_sha256_range_comp_b_lhs_relation = lookup_relation_base<FF_, lookup_sha256_range_comp_b_lhs_settings>;
940
942
943struct lookup_sha256_range_comp_b_rhs_settings_ {
944 static constexpr std::string_view NAME = "LOOKUP_SHA256_RANGE_COMP_B_RHS";
945 static constexpr std::string_view RELATION_NAME = "sha256";
946 static constexpr size_t LOOKUP_TUPLE_SIZE = 3;
947 static constexpr Column SRC_SELECTOR = Column::sha256_perform_round;
948 static constexpr Column DST_SELECTOR = Column::gt_sel;
949 static constexpr Column COUNTS = Column::lookup_sha256_range_comp_b_rhs_counts;
950 static constexpr Column INVERSES = Column::lookup_sha256_range_comp_b_rhs_inv;
951 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
952 ColumnAndShifts::sha256_two_pow_32, ColumnAndShifts::sha256_output_b_rhs, ColumnAndShifts::sha256_perform_round
953 };
954 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = { ColumnAndShifts::gt_input_a,
955 ColumnAndShifts::gt_input_b,
956 ColumnAndShifts::gt_res };
957};
958
959using lookup_sha256_range_comp_b_rhs_settings = lookup_settings<lookup_sha256_range_comp_b_rhs_settings_>;
960template <typename FF_>
961using lookup_sha256_range_comp_b_rhs_relation = lookup_relation_base<FF_, lookup_sha256_range_comp_b_rhs_settings>;
962
964
965struct lookup_sha256_range_comp_c_lhs_settings_ {
966 static constexpr std::string_view NAME = "LOOKUP_SHA256_RANGE_COMP_C_LHS";
967 static constexpr std::string_view RELATION_NAME = "sha256";
968 static constexpr size_t LOOKUP_TUPLE_SIZE = 3;
969 static constexpr Column SRC_SELECTOR = Column::sha256_perform_round;
970 static constexpr Column DST_SELECTOR = Column::gt_sel;
971 static constexpr Column COUNTS = Column::lookup_sha256_range_comp_c_lhs_counts;
972 static constexpr Column INVERSES = Column::lookup_sha256_range_comp_c_lhs_inv;
973 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
974 ColumnAndShifts::sha256_two_pow_32, ColumnAndShifts::sha256_output_c_lhs, ColumnAndShifts::sha256_perform_round
975 };
976 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = { ColumnAndShifts::gt_input_a,
977 ColumnAndShifts::gt_input_b,
978 ColumnAndShifts::gt_res };
979};
980
981using lookup_sha256_range_comp_c_lhs_settings = lookup_settings<lookup_sha256_range_comp_c_lhs_settings_>;
982template <typename FF_>
983using lookup_sha256_range_comp_c_lhs_relation = lookup_relation_base<FF_, lookup_sha256_range_comp_c_lhs_settings>;
984
986
987struct lookup_sha256_range_comp_c_rhs_settings_ {
988 static constexpr std::string_view NAME = "LOOKUP_SHA256_RANGE_COMP_C_RHS";
989 static constexpr std::string_view RELATION_NAME = "sha256";
990 static constexpr size_t LOOKUP_TUPLE_SIZE = 3;
991 static constexpr Column SRC_SELECTOR = Column::sha256_perform_round;
992 static constexpr Column DST_SELECTOR = Column::gt_sel;
993 static constexpr Column COUNTS = Column::lookup_sha256_range_comp_c_rhs_counts;
994 static constexpr Column INVERSES = Column::lookup_sha256_range_comp_c_rhs_inv;
995 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
996 ColumnAndShifts::sha256_two_pow_32, ColumnAndShifts::sha256_output_c_rhs, ColumnAndShifts::sha256_perform_round
997 };
998 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = { ColumnAndShifts::gt_input_a,
999 ColumnAndShifts::gt_input_b,
1000 ColumnAndShifts::gt_res };
1001};
1002
1003using lookup_sha256_range_comp_c_rhs_settings = lookup_settings<lookup_sha256_range_comp_c_rhs_settings_>;
1004template <typename FF_>
1005using lookup_sha256_range_comp_c_rhs_relation = lookup_relation_base<FF_, lookup_sha256_range_comp_c_rhs_settings>;
1006
1008
1009struct lookup_sha256_range_comp_d_lhs_settings_ {
1010 static constexpr std::string_view NAME = "LOOKUP_SHA256_RANGE_COMP_D_LHS";
1011 static constexpr std::string_view RELATION_NAME = "sha256";
1012 static constexpr size_t LOOKUP_TUPLE_SIZE = 3;
1013 static constexpr Column SRC_SELECTOR = Column::sha256_perform_round;
1014 static constexpr Column DST_SELECTOR = Column::gt_sel;
1015 static constexpr Column COUNTS = Column::lookup_sha256_range_comp_d_lhs_counts;
1016 static constexpr Column INVERSES = Column::lookup_sha256_range_comp_d_lhs_inv;
1017 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
1018 ColumnAndShifts::sha256_two_pow_32, ColumnAndShifts::sha256_output_d_lhs, ColumnAndShifts::sha256_perform_round
1019 };
1020 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = { ColumnAndShifts::gt_input_a,
1021 ColumnAndShifts::gt_input_b,
1022 ColumnAndShifts::gt_res };
1023};
1024
1025using lookup_sha256_range_comp_d_lhs_settings = lookup_settings<lookup_sha256_range_comp_d_lhs_settings_>;
1026template <typename FF_>
1027using lookup_sha256_range_comp_d_lhs_relation = lookup_relation_base<FF_, lookup_sha256_range_comp_d_lhs_settings>;
1028
1030
1031struct lookup_sha256_range_comp_d_rhs_settings_ {
1032 static constexpr std::string_view NAME = "LOOKUP_SHA256_RANGE_COMP_D_RHS";
1033 static constexpr std::string_view RELATION_NAME = "sha256";
1034 static constexpr size_t LOOKUP_TUPLE_SIZE = 3;
1035 static constexpr Column SRC_SELECTOR = Column::sha256_perform_round;
1036 static constexpr Column DST_SELECTOR = Column::gt_sel;
1037 static constexpr Column COUNTS = Column::lookup_sha256_range_comp_d_rhs_counts;
1038 static constexpr Column INVERSES = Column::lookup_sha256_range_comp_d_rhs_inv;
1039 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
1040 ColumnAndShifts::sha256_two_pow_32, ColumnAndShifts::sha256_output_d_rhs, ColumnAndShifts::sha256_perform_round
1041 };
1042 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = { ColumnAndShifts::gt_input_a,
1043 ColumnAndShifts::gt_input_b,
1044 ColumnAndShifts::gt_res };
1045};
1046
1047using lookup_sha256_range_comp_d_rhs_settings = lookup_settings<lookup_sha256_range_comp_d_rhs_settings_>;
1048template <typename FF_>
1049using lookup_sha256_range_comp_d_rhs_relation = lookup_relation_base<FF_, lookup_sha256_range_comp_d_rhs_settings>;
1050
1052
1053struct lookup_sha256_range_comp_e_lhs_settings_ {
1054 static constexpr std::string_view NAME = "LOOKUP_SHA256_RANGE_COMP_E_LHS";
1055 static constexpr std::string_view RELATION_NAME = "sha256";
1056 static constexpr size_t LOOKUP_TUPLE_SIZE = 3;
1057 static constexpr Column SRC_SELECTOR = Column::sha256_perform_round;
1058 static constexpr Column DST_SELECTOR = Column::gt_sel;
1059 static constexpr Column COUNTS = Column::lookup_sha256_range_comp_e_lhs_counts;
1060 static constexpr Column INVERSES = Column::lookup_sha256_range_comp_e_lhs_inv;
1061 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
1062 ColumnAndShifts::sha256_two_pow_32, ColumnAndShifts::sha256_output_e_lhs, ColumnAndShifts::sha256_perform_round
1063 };
1064 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = { ColumnAndShifts::gt_input_a,
1065 ColumnAndShifts::gt_input_b,
1066 ColumnAndShifts::gt_res };
1067};
1068
1069using lookup_sha256_range_comp_e_lhs_settings = lookup_settings<lookup_sha256_range_comp_e_lhs_settings_>;
1070template <typename FF_>
1071using lookup_sha256_range_comp_e_lhs_relation = lookup_relation_base<FF_, lookup_sha256_range_comp_e_lhs_settings>;
1072
1074
1075struct lookup_sha256_range_comp_e_rhs_settings_ {
1076 static constexpr std::string_view NAME = "LOOKUP_SHA256_RANGE_COMP_E_RHS";
1077 static constexpr std::string_view RELATION_NAME = "sha256";
1078 static constexpr size_t LOOKUP_TUPLE_SIZE = 3;
1079 static constexpr Column SRC_SELECTOR = Column::sha256_perform_round;
1080 static constexpr Column DST_SELECTOR = Column::gt_sel;
1081 static constexpr Column COUNTS = Column::lookup_sha256_range_comp_e_rhs_counts;
1082 static constexpr Column INVERSES = Column::lookup_sha256_range_comp_e_rhs_inv;
1083 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
1084 ColumnAndShifts::sha256_two_pow_32, ColumnAndShifts::sha256_output_e_rhs, ColumnAndShifts::sha256_perform_round
1085 };
1086 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = { ColumnAndShifts::gt_input_a,
1087 ColumnAndShifts::gt_input_b,
1088 ColumnAndShifts::gt_res };
1089};
1090
1091using lookup_sha256_range_comp_e_rhs_settings = lookup_settings<lookup_sha256_range_comp_e_rhs_settings_>;
1092template <typename FF_>
1093using lookup_sha256_range_comp_e_rhs_relation = lookup_relation_base<FF_, lookup_sha256_range_comp_e_rhs_settings>;
1094
1096
1097struct lookup_sha256_range_comp_f_lhs_settings_ {
1098 static constexpr std::string_view NAME = "LOOKUP_SHA256_RANGE_COMP_F_LHS";
1099 static constexpr std::string_view RELATION_NAME = "sha256";
1100 static constexpr size_t LOOKUP_TUPLE_SIZE = 3;
1101 static constexpr Column SRC_SELECTOR = Column::sha256_perform_round;
1102 static constexpr Column DST_SELECTOR = Column::gt_sel;
1103 static constexpr Column COUNTS = Column::lookup_sha256_range_comp_f_lhs_counts;
1104 static constexpr Column INVERSES = Column::lookup_sha256_range_comp_f_lhs_inv;
1105 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
1106 ColumnAndShifts::sha256_two_pow_32, ColumnAndShifts::sha256_output_f_lhs, ColumnAndShifts::sha256_perform_round
1107 };
1108 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = { ColumnAndShifts::gt_input_a,
1109 ColumnAndShifts::gt_input_b,
1110 ColumnAndShifts::gt_res };
1111};
1112
1113using lookup_sha256_range_comp_f_lhs_settings = lookup_settings<lookup_sha256_range_comp_f_lhs_settings_>;
1114template <typename FF_>
1115using lookup_sha256_range_comp_f_lhs_relation = lookup_relation_base<FF_, lookup_sha256_range_comp_f_lhs_settings>;
1116
1118
1119struct lookup_sha256_range_comp_f_rhs_settings_ {
1120 static constexpr std::string_view NAME = "LOOKUP_SHA256_RANGE_COMP_F_RHS";
1121 static constexpr std::string_view RELATION_NAME = "sha256";
1122 static constexpr size_t LOOKUP_TUPLE_SIZE = 3;
1123 static constexpr Column SRC_SELECTOR = Column::sha256_perform_round;
1124 static constexpr Column DST_SELECTOR = Column::gt_sel;
1125 static constexpr Column COUNTS = Column::lookup_sha256_range_comp_f_rhs_counts;
1126 static constexpr Column INVERSES = Column::lookup_sha256_range_comp_f_rhs_inv;
1127 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
1128 ColumnAndShifts::sha256_two_pow_32, ColumnAndShifts::sha256_output_f_rhs, ColumnAndShifts::sha256_perform_round
1129 };
1130 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = { ColumnAndShifts::gt_input_a,
1131 ColumnAndShifts::gt_input_b,
1132 ColumnAndShifts::gt_res };
1133};
1134
1135using lookup_sha256_range_comp_f_rhs_settings = lookup_settings<lookup_sha256_range_comp_f_rhs_settings_>;
1136template <typename FF_>
1137using lookup_sha256_range_comp_f_rhs_relation = lookup_relation_base<FF_, lookup_sha256_range_comp_f_rhs_settings>;
1138
1140
1141struct lookup_sha256_range_comp_g_lhs_settings_ {
1142 static constexpr std::string_view NAME = "LOOKUP_SHA256_RANGE_COMP_G_LHS";
1143 static constexpr std::string_view RELATION_NAME = "sha256";
1144 static constexpr size_t LOOKUP_TUPLE_SIZE = 3;
1145 static constexpr Column SRC_SELECTOR = Column::sha256_perform_round;
1146 static constexpr Column DST_SELECTOR = Column::gt_sel;
1147 static constexpr Column COUNTS = Column::lookup_sha256_range_comp_g_lhs_counts;
1148 static constexpr Column INVERSES = Column::lookup_sha256_range_comp_g_lhs_inv;
1149 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
1150 ColumnAndShifts::sha256_two_pow_32, ColumnAndShifts::sha256_output_g_lhs, ColumnAndShifts::sha256_perform_round
1151 };
1152 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = { ColumnAndShifts::gt_input_a,
1153 ColumnAndShifts::gt_input_b,
1154 ColumnAndShifts::gt_res };
1155};
1156
1157using lookup_sha256_range_comp_g_lhs_settings = lookup_settings<lookup_sha256_range_comp_g_lhs_settings_>;
1158template <typename FF_>
1159using lookup_sha256_range_comp_g_lhs_relation = lookup_relation_base<FF_, lookup_sha256_range_comp_g_lhs_settings>;
1160
1162
1163struct lookup_sha256_range_comp_g_rhs_settings_ {
1164 static constexpr std::string_view NAME = "LOOKUP_SHA256_RANGE_COMP_G_RHS";
1165 static constexpr std::string_view RELATION_NAME = "sha256";
1166 static constexpr size_t LOOKUP_TUPLE_SIZE = 3;
1167 static constexpr Column SRC_SELECTOR = Column::sha256_perform_round;
1168 static constexpr Column DST_SELECTOR = Column::gt_sel;
1169 static constexpr Column COUNTS = Column::lookup_sha256_range_comp_g_rhs_counts;
1170 static constexpr Column INVERSES = Column::lookup_sha256_range_comp_g_rhs_inv;
1171 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
1172 ColumnAndShifts::sha256_two_pow_32, ColumnAndShifts::sha256_output_g_rhs, ColumnAndShifts::sha256_perform_round
1173 };
1174 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = { ColumnAndShifts::gt_input_a,
1175 ColumnAndShifts::gt_input_b,
1176 ColumnAndShifts::gt_res };
1177};
1178
1179using lookup_sha256_range_comp_g_rhs_settings = lookup_settings<lookup_sha256_range_comp_g_rhs_settings_>;
1180template <typename FF_>
1181using lookup_sha256_range_comp_g_rhs_relation = lookup_relation_base<FF_, lookup_sha256_range_comp_g_rhs_settings>;
1182
1184
1185struct lookup_sha256_range_comp_h_lhs_settings_ {
1186 static constexpr std::string_view NAME = "LOOKUP_SHA256_RANGE_COMP_H_LHS";
1187 static constexpr std::string_view RELATION_NAME = "sha256";
1188 static constexpr size_t LOOKUP_TUPLE_SIZE = 3;
1189 static constexpr Column SRC_SELECTOR = Column::sha256_perform_round;
1190 static constexpr Column DST_SELECTOR = Column::gt_sel;
1191 static constexpr Column COUNTS = Column::lookup_sha256_range_comp_h_lhs_counts;
1192 static constexpr Column INVERSES = Column::lookup_sha256_range_comp_h_lhs_inv;
1193 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
1194 ColumnAndShifts::sha256_two_pow_32, ColumnAndShifts::sha256_output_h_lhs, ColumnAndShifts::sha256_perform_round
1195 };
1196 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = { ColumnAndShifts::gt_input_a,
1197 ColumnAndShifts::gt_input_b,
1198 ColumnAndShifts::gt_res };
1199};
1200
1201using lookup_sha256_range_comp_h_lhs_settings = lookup_settings<lookup_sha256_range_comp_h_lhs_settings_>;
1202template <typename FF_>
1203using lookup_sha256_range_comp_h_lhs_relation = lookup_relation_base<FF_, lookup_sha256_range_comp_h_lhs_settings>;
1204
1206
1207struct lookup_sha256_range_comp_h_rhs_settings_ {
1208 static constexpr std::string_view NAME = "LOOKUP_SHA256_RANGE_COMP_H_RHS";
1209 static constexpr std::string_view RELATION_NAME = "sha256";
1210 static constexpr size_t LOOKUP_TUPLE_SIZE = 3;
1211 static constexpr Column SRC_SELECTOR = Column::sha256_perform_round;
1212 static constexpr Column DST_SELECTOR = Column::gt_sel;
1213 static constexpr Column COUNTS = Column::lookup_sha256_range_comp_h_rhs_counts;
1214 static constexpr Column INVERSES = Column::lookup_sha256_range_comp_h_rhs_inv;
1215 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
1216 ColumnAndShifts::sha256_two_pow_32, ColumnAndShifts::sha256_output_h_rhs, ColumnAndShifts::sha256_perform_round
1217 };
1218 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = { ColumnAndShifts::gt_input_a,
1219 ColumnAndShifts::gt_input_b,
1220 ColumnAndShifts::gt_res };
1221};
1222
1223using lookup_sha256_range_comp_h_rhs_settings = lookup_settings<lookup_sha256_range_comp_h_rhs_settings_>;
1224template <typename FF_>
1225using lookup_sha256_range_comp_h_rhs_relation = lookup_relation_base<FF_, lookup_sha256_range_comp_h_rhs_settings>;
1226
1227} // namespace bb::avm2
generic_lookup_relation.hpp
This file contains the template for the generic lookup that can be specialized to enforce various loo...
interactions_base.hpp
bb::avm2::lookup_relation_base
Definition interactions_base.hpp:64
bb::avm2::lookup_settings
Definition interactions_base.hpp:14
bb::avm2::lookup_sha256_ch_and_0_settings_
Definition lookups_sha256.hpp:430
bb::avm2::lookup_sha256_ch_and_0_settings_::RELATION_NAME
static constexpr std::string_view RELATION_NAME
Definition lookups_sha256.hpp:432
bb::avm2::lookup_sha256_ch_and_0_settings_::DST_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > DST_COLUMNS
Definition lookups_sha256.hpp:443
bb::avm2::lookup_sha256_ch_and_0_settings_::SRC_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > SRC_COLUMNS
Definition lookups_sha256.hpp:438
bb::avm2::lookup_sha256_ch_and_0_settings_::COUNTS
static constexpr Column COUNTS
Definition lookups_sha256.hpp:436
bb::avm2::lookup_sha256_ch_and_0_settings_::INVERSES
static constexpr Column INVERSES
Definition lookups_sha256.hpp:437
bb::avm2::lookup_sha256_ch_and_0_settings_::LOOKUP_TUPLE_SIZE
static constexpr size_t LOOKUP_TUPLE_SIZE
Definition lookups_sha256.hpp:433
bb::avm2::lookup_sha256_ch_and_0_settings_::DST_SELECTOR
static constexpr Column DST_SELECTOR
Definition lookups_sha256.hpp:435
bb::avm2::lookup_sha256_ch_and_0_settings_::NAME
static constexpr std::string_view NAME
Definition lookups_sha256.hpp:431
bb::avm2::lookup_sha256_ch_and_0_settings_::SRC_SELECTOR
static constexpr Column SRC_SELECTOR
Definition lookups_sha256.hpp:434
bb::avm2::lookup_sha256_ch_and_1_settings_
Definition lookups_sha256.hpp:456
bb::avm2::lookup_sha256_ch_and_1_settings_::NAME
static constexpr std::string_view NAME
Definition lookups_sha256.hpp:457
bb::avm2::lookup_sha256_ch_and_1_settings_::SRC_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > SRC_COLUMNS
Definition lookups_sha256.hpp:464
bb::avm2::lookup_sha256_ch_and_1_settings_::RELATION_NAME
static constexpr std::string_view RELATION_NAME
Definition lookups_sha256.hpp:458
bb::avm2::lookup_sha256_ch_and_1_settings_::COUNTS
static constexpr Column COUNTS
Definition lookups_sha256.hpp:462
bb::avm2::lookup_sha256_ch_and_1_settings_::DST_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > DST_COLUMNS
Definition lookups_sha256.hpp:469
bb::avm2::lookup_sha256_ch_and_1_settings_::SRC_SELECTOR
static constexpr Column SRC_SELECTOR
Definition lookups_sha256.hpp:460
bb::avm2::lookup_sha256_ch_and_1_settings_::INVERSES
static constexpr Column INVERSES
Definition lookups_sha256.hpp:463
bb::avm2::lookup_sha256_ch_and_1_settings_::DST_SELECTOR
static constexpr Column DST_SELECTOR
Definition lookups_sha256.hpp:461
bb::avm2::lookup_sha256_ch_and_1_settings_::LOOKUP_TUPLE_SIZE
static constexpr size_t LOOKUP_TUPLE_SIZE
Definition lookups_sha256.hpp:459
bb::avm2::lookup_sha256_ch_xor_settings_
Definition lookups_sha256.hpp:482
bb::avm2::lookup_sha256_ch_xor_settings_::LOOKUP_TUPLE_SIZE
static constexpr size_t LOOKUP_TUPLE_SIZE
Definition lookups_sha256.hpp:485
bb::avm2::lookup_sha256_ch_xor_settings_::DST_SELECTOR
static constexpr Column DST_SELECTOR
Definition lookups_sha256.hpp:487
bb::avm2::lookup_sha256_ch_xor_settings_::RELATION_NAME
static constexpr std::string_view RELATION_NAME
Definition lookups_sha256.hpp:484
bb::avm2::lookup_sha256_ch_xor_settings_::NAME
static constexpr std::string_view NAME
Definition lookups_sha256.hpp:483
bb::avm2::lookup_sha256_ch_xor_settings_::INVERSES
static constexpr Column INVERSES
Definition lookups_sha256.hpp:489
bb::avm2::lookup_sha256_ch_xor_settings_::SRC_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > SRC_COLUMNS
Definition lookups_sha256.hpp:490
bb::avm2::lookup_sha256_ch_xor_settings_::SRC_SELECTOR
static constexpr Column SRC_SELECTOR
Definition lookups_sha256.hpp:486
bb::avm2::lookup_sha256_ch_xor_settings_::COUNTS
static constexpr Column COUNTS
Definition lookups_sha256.hpp:488
bb::avm2::lookup_sha256_ch_xor_settings_::DST_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > DST_COLUMNS
Definition lookups_sha256.hpp:495
bb::avm2::lookup_sha256_maj_and_0_settings_
Definition lookups_sha256.hpp:651
bb::avm2::lookup_sha256_maj_and_0_settings_::COUNTS
static constexpr Column COUNTS
Definition lookups_sha256.hpp:657
bb::avm2::lookup_sha256_maj_and_0_settings_::LOOKUP_TUPLE_SIZE
static constexpr size_t LOOKUP_TUPLE_SIZE
Definition lookups_sha256.hpp:654
bb::avm2::lookup_sha256_maj_and_0_settings_::RELATION_NAME
static constexpr std::string_view RELATION_NAME
Definition lookups_sha256.hpp:653
bb::avm2::lookup_sha256_maj_and_0_settings_::SRC_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > SRC_COLUMNS
Definition lookups_sha256.hpp:659
bb::avm2::lookup_sha256_maj_and_0_settings_::INVERSES
static constexpr Column INVERSES
Definition lookups_sha256.hpp:658
bb::avm2::lookup_sha256_maj_and_0_settings_::DST_SELECTOR
static constexpr Column DST_SELECTOR
Definition lookups_sha256.hpp:656
bb::avm2::lookup_sha256_maj_and_0_settings_::NAME
static constexpr std::string_view NAME
Definition lookups_sha256.hpp:652
bb::avm2::lookup_sha256_maj_and_0_settings_::DST_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > DST_COLUMNS
Definition lookups_sha256.hpp:664
bb::avm2::lookup_sha256_maj_and_0_settings_::SRC_SELECTOR
static constexpr Column SRC_SELECTOR
Definition lookups_sha256.hpp:655
bb::avm2::lookup_sha256_maj_and_1_settings_
Definition lookups_sha256.hpp:677
bb::avm2::lookup_sha256_maj_and_1_settings_::LOOKUP_TUPLE_SIZE
static constexpr size_t LOOKUP_TUPLE_SIZE
Definition lookups_sha256.hpp:680
bb::avm2::lookup_sha256_maj_and_1_settings_::INVERSES
static constexpr Column INVERSES
Definition lookups_sha256.hpp:684
bb::avm2::lookup_sha256_maj_and_1_settings_::DST_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > DST_COLUMNS
Definition lookups_sha256.hpp:690
bb::avm2::lookup_sha256_maj_and_1_settings_::SRC_SELECTOR
static constexpr Column SRC_SELECTOR
Definition lookups_sha256.hpp:681
bb::avm2::lookup_sha256_maj_and_1_settings_::RELATION_NAME
static constexpr std::string_view RELATION_NAME
Definition lookups_sha256.hpp:679
bb::avm2::lookup_sha256_maj_and_1_settings_::DST_SELECTOR
static constexpr Column DST_SELECTOR
Definition lookups_sha256.hpp:682
bb::avm2::lookup_sha256_maj_and_1_settings_::NAME
static constexpr std::string_view NAME
Definition lookups_sha256.hpp:678
bb::avm2::lookup_sha256_maj_and_1_settings_::SRC_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > SRC_COLUMNS
Definition lookups_sha256.hpp:685
bb::avm2::lookup_sha256_maj_and_1_settings_::COUNTS
static constexpr Column COUNTS
Definition lookups_sha256.hpp:683
bb::avm2::lookup_sha256_maj_and_2_settings_
Definition lookups_sha256.hpp:703
bb::avm2::lookup_sha256_maj_and_2_settings_::NAME
static constexpr std::string_view NAME
Definition lookups_sha256.hpp:704
bb::avm2::lookup_sha256_maj_and_2_settings_::RELATION_NAME
static constexpr std::string_view RELATION_NAME
Definition lookups_sha256.hpp:705
bb::avm2::lookup_sha256_maj_and_2_settings_::SRC_SELECTOR
static constexpr Column SRC_SELECTOR
Definition lookups_sha256.hpp:707
bb::avm2::lookup_sha256_maj_and_2_settings_::INVERSES
static constexpr Column INVERSES
Definition lookups_sha256.hpp:710
bb::avm2::lookup_sha256_maj_and_2_settings_::SRC_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > SRC_COLUMNS
Definition lookups_sha256.hpp:711
bb::avm2::lookup_sha256_maj_and_2_settings_::DST_SELECTOR
static constexpr Column DST_SELECTOR
Definition lookups_sha256.hpp:708
bb::avm2::lookup_sha256_maj_and_2_settings_::COUNTS
static constexpr Column COUNTS
Definition lookups_sha256.hpp:709
bb::avm2::lookup_sha256_maj_and_2_settings_::DST_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > DST_COLUMNS
Definition lookups_sha256.hpp:716
bb::avm2::lookup_sha256_maj_and_2_settings_::LOOKUP_TUPLE_SIZE
static constexpr size_t LOOKUP_TUPLE_SIZE
Definition lookups_sha256.hpp:706
bb::avm2::lookup_sha256_maj_xor_0_settings_
Definition lookups_sha256.hpp:729
bb::avm2::lookup_sha256_maj_xor_0_settings_::SRC_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > SRC_COLUMNS
Definition lookups_sha256.hpp:737
bb::avm2::lookup_sha256_maj_xor_0_settings_::DST_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > DST_COLUMNS
Definition lookups_sha256.hpp:744
bb::avm2::lookup_sha256_maj_xor_0_settings_::LOOKUP_TUPLE_SIZE
static constexpr size_t LOOKUP_TUPLE_SIZE
Definition lookups_sha256.hpp:732
bb::avm2::lookup_sha256_maj_xor_0_settings_::COUNTS
static constexpr Column COUNTS
Definition lookups_sha256.hpp:735
bb::avm2::lookup_sha256_maj_xor_0_settings_::NAME
static constexpr std::string_view NAME
Definition lookups_sha256.hpp:730
bb::avm2::lookup_sha256_maj_xor_0_settings_::RELATION_NAME
static constexpr std::string_view RELATION_NAME
Definition lookups_sha256.hpp:731
bb::avm2::lookup_sha256_maj_xor_0_settings_::INVERSES
static constexpr Column INVERSES
Definition lookups_sha256.hpp:736
bb::avm2::lookup_sha256_maj_xor_0_settings_::SRC_SELECTOR
static constexpr Column SRC_SELECTOR
Definition lookups_sha256.hpp:733
bb::avm2::lookup_sha256_maj_xor_0_settings_::DST_SELECTOR
static constexpr Column DST_SELECTOR
Definition lookups_sha256.hpp:734
bb::avm2::lookup_sha256_maj_xor_1_settings_
Definition lookups_sha256.hpp:757
bb::avm2::lookup_sha256_maj_xor_1_settings_::SRC_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > SRC_COLUMNS
Definition lookups_sha256.hpp:765
bb::avm2::lookup_sha256_maj_xor_1_settings_::RELATION_NAME
static constexpr std::string_view RELATION_NAME
Definition lookups_sha256.hpp:759
bb::avm2::lookup_sha256_maj_xor_1_settings_::COUNTS
static constexpr Column COUNTS
Definition lookups_sha256.hpp:763
bb::avm2::lookup_sha256_maj_xor_1_settings_::DST_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > DST_COLUMNS
Definition lookups_sha256.hpp:772
bb::avm2::lookup_sha256_maj_xor_1_settings_::LOOKUP_TUPLE_SIZE
static constexpr size_t LOOKUP_TUPLE_SIZE
Definition lookups_sha256.hpp:760
bb::avm2::lookup_sha256_maj_xor_1_settings_::INVERSES
static constexpr Column INVERSES
Definition lookups_sha256.hpp:764
bb::avm2::lookup_sha256_maj_xor_1_settings_::NAME
static constexpr std::string_view NAME
Definition lookups_sha256.hpp:758
bb::avm2::lookup_sha256_maj_xor_1_settings_::SRC_SELECTOR
static constexpr Column SRC_SELECTOR
Definition lookups_sha256.hpp:761
bb::avm2::lookup_sha256_maj_xor_1_settings_::DST_SELECTOR
static constexpr Column DST_SELECTOR
Definition lookups_sha256.hpp:762
bb::avm2::lookup_sha256_range_comp_a_lhs_settings_
Definition lookups_sha256.hpp:877
bb::avm2::lookup_sha256_range_comp_a_lhs_settings_::DST_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > DST_COLUMNS
Definition lookups_sha256.hpp:888
bb::avm2::lookup_sha256_range_comp_a_lhs_settings_::LOOKUP_TUPLE_SIZE
static constexpr size_t LOOKUP_TUPLE_SIZE
Definition lookups_sha256.hpp:880
bb::avm2::lookup_sha256_range_comp_a_lhs_settings_::INVERSES
static constexpr Column INVERSES
Definition lookups_sha256.hpp:884
bb::avm2::lookup_sha256_range_comp_a_lhs_settings_::SRC_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > SRC_COLUMNS
Definition lookups_sha256.hpp:885
bb::avm2::lookup_sha256_range_comp_a_lhs_settings_::DST_SELECTOR
static constexpr Column DST_SELECTOR
Definition lookups_sha256.hpp:882
bb::avm2::lookup_sha256_range_comp_a_lhs_settings_::SRC_SELECTOR
static constexpr Column SRC_SELECTOR
Definition lookups_sha256.hpp:881
bb::avm2::lookup_sha256_range_comp_a_lhs_settings_::RELATION_NAME
static constexpr std::string_view RELATION_NAME
Definition lookups_sha256.hpp:879
bb::avm2::lookup_sha256_range_comp_a_lhs_settings_::NAME
static constexpr std::string_view NAME
Definition lookups_sha256.hpp:878
bb::avm2::lookup_sha256_range_comp_a_lhs_settings_::COUNTS
static constexpr Column COUNTS
Definition lookups_sha256.hpp:883
bb::avm2::lookup_sha256_range_comp_a_rhs_settings_
Definition lookups_sha256.hpp:899
bb::avm2::lookup_sha256_range_comp_a_rhs_settings_::RELATION_NAME
static constexpr std::string_view RELATION_NAME
Definition lookups_sha256.hpp:901
bb::avm2::lookup_sha256_range_comp_a_rhs_settings_::INVERSES
static constexpr Column INVERSES
Definition lookups_sha256.hpp:906
bb::avm2::lookup_sha256_range_comp_a_rhs_settings_::SRC_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > SRC_COLUMNS
Definition lookups_sha256.hpp:907
bb::avm2::lookup_sha256_range_comp_a_rhs_settings_::LOOKUP_TUPLE_SIZE
static constexpr size_t LOOKUP_TUPLE_SIZE
Definition lookups_sha256.hpp:902
bb::avm2::lookup_sha256_range_comp_a_rhs_settings_::SRC_SELECTOR
static constexpr Column SRC_SELECTOR
Definition lookups_sha256.hpp:903
bb::avm2::lookup_sha256_range_comp_a_rhs_settings_::DST_SELECTOR
static constexpr Column DST_SELECTOR
Definition lookups_sha256.hpp:904
bb::avm2::lookup_sha256_range_comp_a_rhs_settings_::DST_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > DST_COLUMNS
Definition lookups_sha256.hpp:910
bb::avm2::lookup_sha256_range_comp_a_rhs_settings_::NAME
static constexpr std::string_view NAME
Definition lookups_sha256.hpp:900
bb::avm2::lookup_sha256_range_comp_a_rhs_settings_::COUNTS
static constexpr Column COUNTS
Definition lookups_sha256.hpp:905
bb::avm2::lookup_sha256_range_comp_b_lhs_settings_
Definition lookups_sha256.hpp:921
bb::avm2::lookup_sha256_range_comp_b_lhs_settings_::RELATION_NAME
static constexpr std::string_view RELATION_NAME
Definition lookups_sha256.hpp:923
bb::avm2::lookup_sha256_range_comp_b_lhs_settings_::COUNTS
static constexpr Column COUNTS
Definition lookups_sha256.hpp:927
bb::avm2::lookup_sha256_range_comp_b_lhs_settings_::INVERSES
static constexpr Column INVERSES
Definition lookups_sha256.hpp:928
bb::avm2::lookup_sha256_range_comp_b_lhs_settings_::DST_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > DST_COLUMNS
Definition lookups_sha256.hpp:932
bb::avm2::lookup_sha256_range_comp_b_lhs_settings_::DST_SELECTOR
static constexpr Column DST_SELECTOR
Definition lookups_sha256.hpp:926
bb::avm2::lookup_sha256_range_comp_b_lhs_settings_::SRC_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > SRC_COLUMNS
Definition lookups_sha256.hpp:929
bb::avm2::lookup_sha256_range_comp_b_lhs_settings_::NAME
static constexpr std::string_view NAME
Definition lookups_sha256.hpp:922
bb::avm2::lookup_sha256_range_comp_b_lhs_settings_::SRC_SELECTOR
static constexpr Column SRC_SELECTOR
Definition lookups_sha256.hpp:925
bb::avm2::lookup_sha256_range_comp_b_lhs_settings_::LOOKUP_TUPLE_SIZE
static constexpr size_t LOOKUP_TUPLE_SIZE
Definition lookups_sha256.hpp:924
bb::avm2::lookup_sha256_range_comp_b_rhs_settings_
Definition lookups_sha256.hpp:943
bb::avm2::lookup_sha256_range_comp_b_rhs_settings_::SRC_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > SRC_COLUMNS
Definition lookups_sha256.hpp:951
bb::avm2::lookup_sha256_range_comp_b_rhs_settings_::NAME
static constexpr std::string_view NAME
Definition lookups_sha256.hpp:944
bb::avm2::lookup_sha256_range_comp_b_rhs_settings_::COUNTS
static constexpr Column COUNTS
Definition lookups_sha256.hpp:949
bb::avm2::lookup_sha256_range_comp_b_rhs_settings_::INVERSES
static constexpr Column INVERSES
Definition lookups_sha256.hpp:950
bb::avm2::lookup_sha256_range_comp_b_rhs_settings_::LOOKUP_TUPLE_SIZE
static constexpr size_t LOOKUP_TUPLE_SIZE
Definition lookups_sha256.hpp:946
bb::avm2::lookup_sha256_range_comp_b_rhs_settings_::SRC_SELECTOR
static constexpr Column SRC_SELECTOR
Definition lookups_sha256.hpp:947
bb::avm2::lookup_sha256_range_comp_b_rhs_settings_::DST_SELECTOR
static constexpr Column DST_SELECTOR
Definition lookups_sha256.hpp:948
bb::avm2::lookup_sha256_range_comp_b_rhs_settings_::DST_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > DST_COLUMNS
Definition lookups_sha256.hpp:954
bb::avm2::lookup_sha256_range_comp_b_rhs_settings_::RELATION_NAME
static constexpr std::string_view RELATION_NAME
Definition lookups_sha256.hpp:945
bb::avm2::lookup_sha256_range_comp_c_lhs_settings_
Definition lookups_sha256.hpp:965
bb::avm2::lookup_sha256_range_comp_c_lhs_settings_::SRC_SELECTOR
static constexpr Column SRC_SELECTOR
Definition lookups_sha256.hpp:969
bb::avm2::lookup_sha256_range_comp_c_lhs_settings_::DST_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > DST_COLUMNS
Definition lookups_sha256.hpp:976
bb::avm2::lookup_sha256_range_comp_c_lhs_settings_::NAME
static constexpr std::string_view NAME
Definition lookups_sha256.hpp:966
bb::avm2::lookup_sha256_range_comp_c_lhs_settings_::DST_SELECTOR
static constexpr Column DST_SELECTOR
Definition lookups_sha256.hpp:970
bb::avm2::lookup_sha256_range_comp_c_lhs_settings_::LOOKUP_TUPLE_SIZE
static constexpr size_t LOOKUP_TUPLE_SIZE
Definition lookups_sha256.hpp:968
bb::avm2::lookup_sha256_range_comp_c_lhs_settings_::INVERSES
static constexpr Column INVERSES
Definition lookups_sha256.hpp:972
bb::avm2::lookup_sha256_range_comp_c_lhs_settings_::SRC_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > SRC_COLUMNS
Definition lookups_sha256.hpp:973
bb::avm2::lookup_sha256_range_comp_c_lhs_settings_::RELATION_NAME
static constexpr std::string_view RELATION_NAME
Definition lookups_sha256.hpp:967
bb::avm2::lookup_sha256_range_comp_c_lhs_settings_::COUNTS
static constexpr Column COUNTS
Definition lookups_sha256.hpp:971
bb::avm2::lookup_sha256_range_comp_c_rhs_settings_
Definition lookups_sha256.hpp:987
bb::avm2::lookup_sha256_range_comp_c_rhs_settings_::NAME
static constexpr std::string_view NAME
Definition lookups_sha256.hpp:988
bb::avm2::lookup_sha256_range_comp_c_rhs_settings_::DST_SELECTOR
static constexpr Column DST_SELECTOR
Definition lookups_sha256.hpp:992
bb::avm2::lookup_sha256_range_comp_c_rhs_settings_::DST_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > DST_COLUMNS
Definition lookups_sha256.hpp:998
bb::avm2::lookup_sha256_range_comp_c_rhs_settings_::SRC_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > SRC_COLUMNS
Definition lookups_sha256.hpp:995
bb::avm2::lookup_sha256_range_comp_c_rhs_settings_::RELATION_NAME
static constexpr std::string_view RELATION_NAME
Definition lookups_sha256.hpp:989
bb::avm2::lookup_sha256_range_comp_c_rhs_settings_::LOOKUP_TUPLE_SIZE
static constexpr size_t LOOKUP_TUPLE_SIZE
Definition lookups_sha256.hpp:990
bb::avm2::lookup_sha256_range_comp_c_rhs_settings_::INVERSES
static constexpr Column INVERSES
Definition lookups_sha256.hpp:994
bb::avm2::lookup_sha256_range_comp_c_rhs_settings_::COUNTS
static constexpr Column COUNTS
Definition lookups_sha256.hpp:993
bb::avm2::lookup_sha256_range_comp_c_rhs_settings_::SRC_SELECTOR
static constexpr Column SRC_SELECTOR
Definition lookups_sha256.hpp:991
bb::avm2::lookup_sha256_range_comp_d_lhs_settings_
Definition lookups_sha256.hpp:1009
bb::avm2::lookup_sha256_range_comp_d_lhs_settings_::SRC_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > SRC_COLUMNS
Definition lookups_sha256.hpp:1017
bb::avm2::lookup_sha256_range_comp_d_lhs_settings_::INVERSES
static constexpr Column INVERSES
Definition lookups_sha256.hpp:1016
bb::avm2::lookup_sha256_range_comp_d_lhs_settings_::LOOKUP_TUPLE_SIZE
static constexpr size_t LOOKUP_TUPLE_SIZE
Definition lookups_sha256.hpp:1012
bb::avm2::lookup_sha256_range_comp_d_lhs_settings_::COUNTS
static constexpr Column COUNTS
Definition lookups_sha256.hpp:1015
bb::avm2::lookup_sha256_range_comp_d_lhs_settings_::NAME
static constexpr std::string_view NAME
Definition lookups_sha256.hpp:1010
bb::avm2::lookup_sha256_range_comp_d_lhs_settings_::RELATION_NAME
static constexpr std::string_view RELATION_NAME
Definition lookups_sha256.hpp:1011
bb::avm2::lookup_sha256_range_comp_d_lhs_settings_::DST_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > DST_COLUMNS
Definition lookups_sha256.hpp:1020
bb::avm2::lookup_sha256_range_comp_d_lhs_settings_::DST_SELECTOR
static constexpr Column DST_SELECTOR
Definition lookups_sha256.hpp:1014
bb::avm2::lookup_sha256_range_comp_d_lhs_settings_::SRC_SELECTOR
static constexpr Column SRC_SELECTOR
Definition lookups_sha256.hpp:1013
bb::avm2::lookup_sha256_range_comp_d_rhs_settings_
Definition lookups_sha256.hpp:1031
bb::avm2::lookup_sha256_range_comp_d_rhs_settings_::LOOKUP_TUPLE_SIZE
static constexpr size_t LOOKUP_TUPLE_SIZE
Definition lookups_sha256.hpp:1034
bb::avm2::lookup_sha256_range_comp_d_rhs_settings_::COUNTS
static constexpr Column COUNTS
Definition lookups_sha256.hpp:1037
bb::avm2::lookup_sha256_range_comp_d_rhs_settings_::RELATION_NAME
static constexpr std::string_view RELATION_NAME
Definition lookups_sha256.hpp:1033
bb::avm2::lookup_sha256_range_comp_d_rhs_settings_::DST_SELECTOR
static constexpr Column DST_SELECTOR
Definition lookups_sha256.hpp:1036
bb::avm2::lookup_sha256_range_comp_d_rhs_settings_::DST_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > DST_COLUMNS
Definition lookups_sha256.hpp:1042
bb::avm2::lookup_sha256_range_comp_d_rhs_settings_::NAME
static constexpr std::string_view NAME
Definition lookups_sha256.hpp:1032
bb::avm2::lookup_sha256_range_comp_d_rhs_settings_::SRC_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > SRC_COLUMNS
Definition lookups_sha256.hpp:1039
bb::avm2::lookup_sha256_range_comp_d_rhs_settings_::SRC_SELECTOR
static constexpr Column SRC_SELECTOR
Definition lookups_sha256.hpp:1035
bb::avm2::lookup_sha256_range_comp_d_rhs_settings_::INVERSES
static constexpr Column INVERSES
Definition lookups_sha256.hpp:1038
bb::avm2::lookup_sha256_range_comp_e_lhs_settings_
Definition lookups_sha256.hpp:1053
bb::avm2::lookup_sha256_range_comp_e_lhs_settings_::INVERSES
static constexpr Column INVERSES
Definition lookups_sha256.hpp:1060
bb::avm2::lookup_sha256_range_comp_e_lhs_settings_::SRC_SELECTOR
static constexpr Column SRC_SELECTOR
Definition lookups_sha256.hpp:1057
bb::avm2::lookup_sha256_range_comp_e_lhs_settings_::RELATION_NAME
static constexpr std::string_view RELATION_NAME
Definition lookups_sha256.hpp:1055
bb::avm2::lookup_sha256_range_comp_e_lhs_settings_::LOOKUP_TUPLE_SIZE
static constexpr size_t LOOKUP_TUPLE_SIZE
Definition lookups_sha256.hpp:1056
bb::avm2::lookup_sha256_range_comp_e_lhs_settings_::SRC_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > SRC_COLUMNS
Definition lookups_sha256.hpp:1061
bb::avm2::lookup_sha256_range_comp_e_lhs_settings_::DST_SELECTOR
static constexpr Column DST_SELECTOR
Definition lookups_sha256.hpp:1058
bb::avm2::lookup_sha256_range_comp_e_lhs_settings_::COUNTS
static constexpr Column COUNTS
Definition lookups_sha256.hpp:1059
bb::avm2::lookup_sha256_range_comp_e_lhs_settings_::DST_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > DST_COLUMNS
Definition lookups_sha256.hpp:1064
bb::avm2::lookup_sha256_range_comp_e_lhs_settings_::NAME
static constexpr std::string_view NAME
Definition lookups_sha256.hpp:1054
bb::avm2::lookup_sha256_range_comp_e_rhs_settings_
Definition lookups_sha256.hpp:1075
bb::avm2::lookup_sha256_range_comp_e_rhs_settings_::DST_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > DST_COLUMNS
Definition lookups_sha256.hpp:1086
bb::avm2::lookup_sha256_range_comp_e_rhs_settings_::NAME
static constexpr std::string_view NAME
Definition lookups_sha256.hpp:1076
bb::avm2::lookup_sha256_range_comp_e_rhs_settings_::INVERSES
static constexpr Column INVERSES
Definition lookups_sha256.hpp:1082
bb::avm2::lookup_sha256_range_comp_e_rhs_settings_::DST_SELECTOR
static constexpr Column DST_SELECTOR
Definition lookups_sha256.hpp:1080
bb::avm2::lookup_sha256_range_comp_e_rhs_settings_::COUNTS
static constexpr Column COUNTS
Definition lookups_sha256.hpp:1081
bb::avm2::lookup_sha256_range_comp_e_rhs_settings_::RELATION_NAME
static constexpr std::string_view RELATION_NAME
Definition lookups_sha256.hpp:1077
bb::avm2::lookup_sha256_range_comp_e_rhs_settings_::SRC_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > SRC_COLUMNS
Definition lookups_sha256.hpp:1083
bb::avm2::lookup_sha256_range_comp_e_rhs_settings_::LOOKUP_TUPLE_SIZE
static constexpr size_t LOOKUP_TUPLE_SIZE
Definition lookups_sha256.hpp:1078
bb::avm2::lookup_sha256_range_comp_e_rhs_settings_::SRC_SELECTOR
static constexpr Column SRC_SELECTOR
Definition lookups_sha256.hpp:1079
bb::avm2::lookup_sha256_range_comp_f_lhs_settings_
Definition lookups_sha256.hpp:1097
bb::avm2::lookup_sha256_range_comp_f_lhs_settings_::RELATION_NAME
static constexpr std::string_view RELATION_NAME
Definition lookups_sha256.hpp:1099
bb::avm2::lookup_sha256_range_comp_f_lhs_settings_::DST_SELECTOR
static constexpr Column DST_SELECTOR
Definition lookups_sha256.hpp:1102
bb::avm2::lookup_sha256_range_comp_f_lhs_settings_::DST_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > DST_COLUMNS
Definition lookups_sha256.hpp:1108
bb::avm2::lookup_sha256_range_comp_f_lhs_settings_::INVERSES
static constexpr Column INVERSES
Definition lookups_sha256.hpp:1104
bb::avm2::lookup_sha256_range_comp_f_lhs_settings_::LOOKUP_TUPLE_SIZE
static constexpr size_t LOOKUP_TUPLE_SIZE
Definition lookups_sha256.hpp:1100
bb::avm2::lookup_sha256_range_comp_f_lhs_settings_::SRC_SELECTOR
static constexpr Column SRC_SELECTOR
Definition lookups_sha256.hpp:1101
bb::avm2::lookup_sha256_range_comp_f_lhs_settings_::COUNTS
static constexpr Column COUNTS
Definition lookups_sha256.hpp:1103
bb::avm2::lookup_sha256_range_comp_f_lhs_settings_::NAME
static constexpr std::string_view NAME
Definition lookups_sha256.hpp:1098
bb::avm2::lookup_sha256_range_comp_f_lhs_settings_::SRC_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > SRC_COLUMNS
Definition lookups_sha256.hpp:1105
bb::avm2::lookup_sha256_range_comp_f_rhs_settings_
Definition lookups_sha256.hpp:1119
bb::avm2::lookup_sha256_range_comp_f_rhs_settings_::DST_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > DST_COLUMNS
Definition lookups_sha256.hpp:1130
bb::avm2::lookup_sha256_range_comp_f_rhs_settings_::NAME
static constexpr std::string_view NAME
Definition lookups_sha256.hpp:1120
bb::avm2::lookup_sha256_range_comp_f_rhs_settings_::COUNTS
static constexpr Column COUNTS
Definition lookups_sha256.hpp:1125
bb::avm2::lookup_sha256_range_comp_f_rhs_settings_::SRC_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > SRC_COLUMNS
Definition lookups_sha256.hpp:1127
bb::avm2::lookup_sha256_range_comp_f_rhs_settings_::LOOKUP_TUPLE_SIZE
static constexpr size_t LOOKUP_TUPLE_SIZE
Definition lookups_sha256.hpp:1122
bb::avm2::lookup_sha256_range_comp_f_rhs_settings_::DST_SELECTOR
static constexpr Column DST_SELECTOR
Definition lookups_sha256.hpp:1124
bb::avm2::lookup_sha256_range_comp_f_rhs_settings_::INVERSES
static constexpr Column INVERSES
Definition lookups_sha256.hpp:1126
bb::avm2::lookup_sha256_range_comp_f_rhs_settings_::RELATION_NAME
static constexpr std::string_view RELATION_NAME
Definition lookups_sha256.hpp:1121
bb::avm2::lookup_sha256_range_comp_f_rhs_settings_::SRC_SELECTOR
static constexpr Column SRC_SELECTOR
Definition lookups_sha256.hpp:1123
bb::avm2::lookup_sha256_range_comp_g_lhs_settings_
Definition lookups_sha256.hpp:1141
bb::avm2::lookup_sha256_range_comp_g_lhs_settings_::DST_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > DST_COLUMNS
Definition lookups_sha256.hpp:1152
bb::avm2::lookup_sha256_range_comp_g_lhs_settings_::SRC_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > SRC_COLUMNS
Definition lookups_sha256.hpp:1149
bb::avm2::lookup_sha256_range_comp_g_lhs_settings_::INVERSES
static constexpr Column INVERSES
Definition lookups_sha256.hpp:1148
bb::avm2::lookup_sha256_range_comp_g_lhs_settings_::COUNTS
static constexpr Column COUNTS
Definition lookups_sha256.hpp:1147
bb::avm2::lookup_sha256_range_comp_g_lhs_settings_::LOOKUP_TUPLE_SIZE
static constexpr size_t LOOKUP_TUPLE_SIZE
Definition lookups_sha256.hpp:1144
bb::avm2::lookup_sha256_range_comp_g_lhs_settings_::DST_SELECTOR
static constexpr Column DST_SELECTOR
Definition lookups_sha256.hpp:1146
bb::avm2::lookup_sha256_range_comp_g_lhs_settings_::NAME
static constexpr std::string_view NAME
Definition lookups_sha256.hpp:1142
bb::avm2::lookup_sha256_range_comp_g_lhs_settings_::RELATION_NAME
static constexpr std::string_view RELATION_NAME
Definition lookups_sha256.hpp:1143
bb::avm2::lookup_sha256_range_comp_g_lhs_settings_::SRC_SELECTOR
static constexpr Column SRC_SELECTOR
Definition lookups_sha256.hpp:1145
bb::avm2::lookup_sha256_range_comp_g_rhs_settings_
Definition lookups_sha256.hpp:1163
bb::avm2::lookup_sha256_range_comp_g_rhs_settings_::SRC_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > SRC_COLUMNS
Definition lookups_sha256.hpp:1171
bb::avm2::lookup_sha256_range_comp_g_rhs_settings_::COUNTS
static constexpr Column COUNTS
Definition lookups_sha256.hpp:1169
bb::avm2::lookup_sha256_range_comp_g_rhs_settings_::SRC_SELECTOR
static constexpr Column SRC_SELECTOR
Definition lookups_sha256.hpp:1167
bb::avm2::lookup_sha256_range_comp_g_rhs_settings_::LOOKUP_TUPLE_SIZE
static constexpr size_t LOOKUP_TUPLE_SIZE
Definition lookups_sha256.hpp:1166
bb::avm2::lookup_sha256_range_comp_g_rhs_settings_::NAME
static constexpr std::string_view NAME
Definition lookups_sha256.hpp:1164
bb::avm2::lookup_sha256_range_comp_g_rhs_settings_::DST_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > DST_COLUMNS
Definition lookups_sha256.hpp:1174
bb::avm2::lookup_sha256_range_comp_g_rhs_settings_::DST_SELECTOR
static constexpr Column DST_SELECTOR
Definition lookups_sha256.hpp:1168
bb::avm2::lookup_sha256_range_comp_g_rhs_settings_::INVERSES
static constexpr Column INVERSES
Definition lookups_sha256.hpp:1170
bb::avm2::lookup_sha256_range_comp_g_rhs_settings_::RELATION_NAME
static constexpr std::string_view RELATION_NAME
Definition lookups_sha256.hpp:1165
bb::avm2::lookup_sha256_range_comp_h_lhs_settings_
Definition lookups_sha256.hpp:1185
bb::avm2::lookup_sha256_range_comp_h_lhs_settings_::LOOKUP_TUPLE_SIZE
static constexpr size_t LOOKUP_TUPLE_SIZE
Definition lookups_sha256.hpp:1188
bb::avm2::lookup_sha256_range_comp_h_lhs_settings_::NAME
static constexpr std::string_view NAME
Definition lookups_sha256.hpp:1186
bb::avm2::lookup_sha256_range_comp_h_lhs_settings_::DST_SELECTOR
static constexpr Column DST_SELECTOR
Definition lookups_sha256.hpp:1190
bb::avm2::lookup_sha256_range_comp_h_lhs_settings_::DST_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > DST_COLUMNS
Definition lookups_sha256.hpp:1196
bb::avm2::lookup_sha256_range_comp_h_lhs_settings_::RELATION_NAME
static constexpr std::string_view RELATION_NAME
Definition lookups_sha256.hpp:1187
bb::avm2::lookup_sha256_range_comp_h_lhs_settings_::SRC_SELECTOR
static constexpr Column SRC_SELECTOR
Definition lookups_sha256.hpp:1189
bb::avm2::lookup_sha256_range_comp_h_lhs_settings_::SRC_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > SRC_COLUMNS
Definition lookups_sha256.hpp:1193
bb::avm2::lookup_sha256_range_comp_h_lhs_settings_::INVERSES
static constexpr Column INVERSES
Definition lookups_sha256.hpp:1192
bb::avm2::lookup_sha256_range_comp_h_lhs_settings_::COUNTS
static constexpr Column COUNTS
Definition lookups_sha256.hpp:1191
bb::avm2::lookup_sha256_range_comp_h_rhs_settings_
Definition lookups_sha256.hpp:1207
bb::avm2::lookup_sha256_range_comp_h_rhs_settings_::SRC_SELECTOR
static constexpr Column SRC_SELECTOR
Definition lookups_sha256.hpp:1211
bb::avm2::lookup_sha256_range_comp_h_rhs_settings_::SRC_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > SRC_COLUMNS
Definition lookups_sha256.hpp:1215
bb::avm2::lookup_sha256_range_comp_h_rhs_settings_::DST_SELECTOR
static constexpr Column DST_SELECTOR
Definition lookups_sha256.hpp:1212
bb::avm2::lookup_sha256_range_comp_h_rhs_settings_::DST_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > DST_COLUMNS
Definition lookups_sha256.hpp:1218
bb::avm2::lookup_sha256_range_comp_h_rhs_settings_::LOOKUP_TUPLE_SIZE
static constexpr size_t LOOKUP_TUPLE_SIZE
Definition lookups_sha256.hpp:1210
bb::avm2::lookup_sha256_range_comp_h_rhs_settings_::RELATION_NAME
static constexpr std::string_view RELATION_NAME
Definition lookups_sha256.hpp:1209
bb::avm2::lookup_sha256_range_comp_h_rhs_settings_::COUNTS
static constexpr Column COUNTS
Definition lookups_sha256.hpp:1213
bb::avm2::lookup_sha256_range_comp_h_rhs_settings_::INVERSES
static constexpr Column INVERSES
Definition lookups_sha256.hpp:1214
bb::avm2::lookup_sha256_range_comp_h_rhs_settings_::NAME
static constexpr std::string_view NAME
Definition lookups_sha256.hpp:1208
bb::avm2::lookup_sha256_range_comp_next_a_lhs_settings_
Definition lookups_sha256.hpp:785
bb::avm2::lookup_sha256_range_comp_next_a_lhs_settings_::RELATION_NAME
static constexpr std::string_view RELATION_NAME
Definition lookups_sha256.hpp:787
bb::avm2::lookup_sha256_range_comp_next_a_lhs_settings_::COUNTS
static constexpr Column COUNTS
Definition lookups_sha256.hpp:791
bb::avm2::lookup_sha256_range_comp_next_a_lhs_settings_::DST_SELECTOR
static constexpr Column DST_SELECTOR
Definition lookups_sha256.hpp:790
bb::avm2::lookup_sha256_range_comp_next_a_lhs_settings_::DST_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > DST_COLUMNS
Definition lookups_sha256.hpp:796
bb::avm2::lookup_sha256_range_comp_next_a_lhs_settings_::LOOKUP_TUPLE_SIZE
static constexpr size_t LOOKUP_TUPLE_SIZE
Definition lookups_sha256.hpp:788
bb::avm2::lookup_sha256_range_comp_next_a_lhs_settings_::NAME
static constexpr std::string_view NAME
Definition lookups_sha256.hpp:786
bb::avm2::lookup_sha256_range_comp_next_a_lhs_settings_::SRC_SELECTOR
static constexpr Column SRC_SELECTOR
Definition lookups_sha256.hpp:789
bb::avm2::lookup_sha256_range_comp_next_a_lhs_settings_::SRC_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > SRC_COLUMNS
Definition lookups_sha256.hpp:793
bb::avm2::lookup_sha256_range_comp_next_a_lhs_settings_::INVERSES
static constexpr Column INVERSES
Definition lookups_sha256.hpp:792
bb::avm2::lookup_sha256_range_comp_next_a_rhs_settings_
Definition lookups_sha256.hpp:808
bb::avm2::lookup_sha256_range_comp_next_a_rhs_settings_::NAME
static constexpr std::string_view NAME
Definition lookups_sha256.hpp:809
bb::avm2::lookup_sha256_range_comp_next_a_rhs_settings_::INVERSES
static constexpr Column INVERSES
Definition lookups_sha256.hpp:815
bb::avm2::lookup_sha256_range_comp_next_a_rhs_settings_::SRC_SELECTOR
static constexpr Column SRC_SELECTOR
Definition lookups_sha256.hpp:812
bb::avm2::lookup_sha256_range_comp_next_a_rhs_settings_::DST_SELECTOR
static constexpr Column DST_SELECTOR
Definition lookups_sha256.hpp:813
bb::avm2::lookup_sha256_range_comp_next_a_rhs_settings_::RELATION_NAME
static constexpr std::string_view RELATION_NAME
Definition lookups_sha256.hpp:810
bb::avm2::lookup_sha256_range_comp_next_a_rhs_settings_::SRC_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > SRC_COLUMNS
Definition lookups_sha256.hpp:816
bb::avm2::lookup_sha256_range_comp_next_a_rhs_settings_::DST_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > DST_COLUMNS
Definition lookups_sha256.hpp:819
bb::avm2::lookup_sha256_range_comp_next_a_rhs_settings_::COUNTS
static constexpr Column COUNTS
Definition lookups_sha256.hpp:814
bb::avm2::lookup_sha256_range_comp_next_a_rhs_settings_::LOOKUP_TUPLE_SIZE
static constexpr size_t LOOKUP_TUPLE_SIZE
Definition lookups_sha256.hpp:811
bb::avm2::lookup_sha256_range_comp_next_e_lhs_settings_
Definition lookups_sha256.hpp:831
bb::avm2::lookup_sha256_range_comp_next_e_lhs_settings_::INVERSES
static constexpr Column INVERSES
Definition lookups_sha256.hpp:838
bb::avm2::lookup_sha256_range_comp_next_e_lhs_settings_::LOOKUP_TUPLE_SIZE
static constexpr size_t LOOKUP_TUPLE_SIZE
Definition lookups_sha256.hpp:834
bb::avm2::lookup_sha256_range_comp_next_e_lhs_settings_::DST_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > DST_COLUMNS
Definition lookups_sha256.hpp:842
bb::avm2::lookup_sha256_range_comp_next_e_lhs_settings_::RELATION_NAME
static constexpr std::string_view RELATION_NAME
Definition lookups_sha256.hpp:833
bb::avm2::lookup_sha256_range_comp_next_e_lhs_settings_::NAME
static constexpr std::string_view NAME
Definition lookups_sha256.hpp:832
bb::avm2::lookup_sha256_range_comp_next_e_lhs_settings_::SRC_SELECTOR
static constexpr Column SRC_SELECTOR
Definition lookups_sha256.hpp:835
bb::avm2::lookup_sha256_range_comp_next_e_lhs_settings_::DST_SELECTOR
static constexpr Column DST_SELECTOR
Definition lookups_sha256.hpp:836
bb::avm2::lookup_sha256_range_comp_next_e_lhs_settings_::SRC_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > SRC_COLUMNS
Definition lookups_sha256.hpp:839
bb::avm2::lookup_sha256_range_comp_next_e_lhs_settings_::COUNTS
static constexpr Column COUNTS
Definition lookups_sha256.hpp:837
bb::avm2::lookup_sha256_range_comp_next_e_rhs_settings_
Definition lookups_sha256.hpp:854
bb::avm2::lookup_sha256_range_comp_next_e_rhs_settings_::DST_SELECTOR
static constexpr Column DST_SELECTOR
Definition lookups_sha256.hpp:859
bb::avm2::lookup_sha256_range_comp_next_e_rhs_settings_::SRC_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > SRC_COLUMNS
Definition lookups_sha256.hpp:862
bb::avm2::lookup_sha256_range_comp_next_e_rhs_settings_::SRC_SELECTOR
static constexpr Column SRC_SELECTOR
Definition lookups_sha256.hpp:858
bb::avm2::lookup_sha256_range_comp_next_e_rhs_settings_::DST_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > DST_COLUMNS
Definition lookups_sha256.hpp:865
bb::avm2::lookup_sha256_range_comp_next_e_rhs_settings_::COUNTS
static constexpr Column COUNTS
Definition lookups_sha256.hpp:860
bb::avm2::lookup_sha256_range_comp_next_e_rhs_settings_::LOOKUP_TUPLE_SIZE
static constexpr size_t LOOKUP_TUPLE_SIZE
Definition lookups_sha256.hpp:857
bb::avm2::lookup_sha256_range_comp_next_e_rhs_settings_::RELATION_NAME
static constexpr std::string_view RELATION_NAME
Definition lookups_sha256.hpp:856
bb::avm2::lookup_sha256_range_comp_next_e_rhs_settings_::INVERSES
static constexpr Column INVERSES
Definition lookups_sha256.hpp:861
bb::avm2::lookup_sha256_range_comp_next_e_rhs_settings_::NAME
static constexpr std::string_view NAME
Definition lookups_sha256.hpp:855
bb::avm2::lookup_sha256_range_comp_w_lhs_settings_
Definition lookups_sha256.hpp:16
bb::avm2::lookup_sha256_range_comp_w_lhs_settings_::DST_SELECTOR
static constexpr Column DST_SELECTOR
Definition lookups_sha256.hpp:21
bb::avm2::lookup_sha256_range_comp_w_lhs_settings_::LOOKUP_TUPLE_SIZE
static constexpr size_t LOOKUP_TUPLE_SIZE
Definition lookups_sha256.hpp:19
bb::avm2::lookup_sha256_range_comp_w_lhs_settings_::INVERSES
static constexpr Column INVERSES
Definition lookups_sha256.hpp:23
bb::avm2::lookup_sha256_range_comp_w_lhs_settings_::DST_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > DST_COLUMNS
Definition lookups_sha256.hpp:29
bb::avm2::lookup_sha256_range_comp_w_lhs_settings_::SRC_SELECTOR
static constexpr Column SRC_SELECTOR
Definition lookups_sha256.hpp:20
bb::avm2::lookup_sha256_range_comp_w_lhs_settings_::NAME
static constexpr std::string_view NAME
Definition lookups_sha256.hpp:17
bb::avm2::lookup_sha256_range_comp_w_lhs_settings_::SRC_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > SRC_COLUMNS
Definition lookups_sha256.hpp:24
bb::avm2::lookup_sha256_range_comp_w_lhs_settings_::RELATION_NAME
static constexpr std::string_view RELATION_NAME
Definition lookups_sha256.hpp:18
bb::avm2::lookup_sha256_range_comp_w_lhs_settings_::COUNTS
static constexpr Column COUNTS
Definition lookups_sha256.hpp:22
bb::avm2::lookup_sha256_range_comp_w_rhs_settings_
Definition lookups_sha256.hpp:40
bb::avm2::lookup_sha256_range_comp_w_rhs_settings_::DST_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > DST_COLUMNS
Definition lookups_sha256.hpp:53
bb::avm2::lookup_sha256_range_comp_w_rhs_settings_::SRC_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > SRC_COLUMNS
Definition lookups_sha256.hpp:48
bb::avm2::lookup_sha256_range_comp_w_rhs_settings_::SRC_SELECTOR
static constexpr Column SRC_SELECTOR
Definition lookups_sha256.hpp:44
bb::avm2::lookup_sha256_range_comp_w_rhs_settings_::DST_SELECTOR
static constexpr Column DST_SELECTOR
Definition lookups_sha256.hpp:45
bb::avm2::lookup_sha256_range_comp_w_rhs_settings_::RELATION_NAME
static constexpr std::string_view RELATION_NAME
Definition lookups_sha256.hpp:42
bb::avm2::lookup_sha256_range_comp_w_rhs_settings_::LOOKUP_TUPLE_SIZE
static constexpr size_t LOOKUP_TUPLE_SIZE
Definition lookups_sha256.hpp:43
bb::avm2::lookup_sha256_range_comp_w_rhs_settings_::NAME
static constexpr std::string_view NAME
Definition lookups_sha256.hpp:41
bb::avm2::lookup_sha256_range_comp_w_rhs_settings_::COUNTS
static constexpr Column COUNTS
Definition lookups_sha256.hpp:46
bb::avm2::lookup_sha256_range_comp_w_rhs_settings_::INVERSES
static constexpr Column INVERSES
Definition lookups_sha256.hpp:47
bb::avm2::lookup_sha256_range_rhs_a_13_settings_
Definition lookups_sha256.hpp:551
bb::avm2::lookup_sha256_range_rhs_a_13_settings_::NAME
static constexpr std::string_view NAME
Definition lookups_sha256.hpp:552
bb::avm2::lookup_sha256_range_rhs_a_13_settings_::SRC_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > SRC_COLUMNS
Definition lookups_sha256.hpp:559
bb::avm2::lookup_sha256_range_rhs_a_13_settings_::SRC_SELECTOR
static constexpr Column SRC_SELECTOR
Definition lookups_sha256.hpp:555
bb::avm2::lookup_sha256_range_rhs_a_13_settings_::DST_SELECTOR
static constexpr Column DST_SELECTOR
Definition lookups_sha256.hpp:556
bb::avm2::lookup_sha256_range_rhs_a_13_settings_::COUNTS
static constexpr Column COUNTS
Definition lookups_sha256.hpp:557
bb::avm2::lookup_sha256_range_rhs_a_13_settings_::INVERSES
static constexpr Column INVERSES
Definition lookups_sha256.hpp:558
bb::avm2::lookup_sha256_range_rhs_a_13_settings_::DST_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > DST_COLUMNS
Definition lookups_sha256.hpp:562
bb::avm2::lookup_sha256_range_rhs_a_13_settings_::RELATION_NAME
static constexpr std::string_view RELATION_NAME
Definition lookups_sha256.hpp:553
bb::avm2::lookup_sha256_range_rhs_a_13_settings_::LOOKUP_TUPLE_SIZE
static constexpr size_t LOOKUP_TUPLE_SIZE
Definition lookups_sha256.hpp:554
bb::avm2::lookup_sha256_range_rhs_a_22_settings_
Definition lookups_sha256.hpp:573
bb::avm2::lookup_sha256_range_rhs_a_22_settings_::COUNTS
static constexpr Column COUNTS
Definition lookups_sha256.hpp:579
bb::avm2::lookup_sha256_range_rhs_a_22_settings_::SRC_SELECTOR
static constexpr Column SRC_SELECTOR
Definition lookups_sha256.hpp:577
bb::avm2::lookup_sha256_range_rhs_a_22_settings_::NAME
static constexpr std::string_view NAME
Definition lookups_sha256.hpp:574
bb::avm2::lookup_sha256_range_rhs_a_22_settings_::LOOKUP_TUPLE_SIZE
static constexpr size_t LOOKUP_TUPLE_SIZE
Definition lookups_sha256.hpp:576
bb::avm2::lookup_sha256_range_rhs_a_22_settings_::DST_SELECTOR
static constexpr Column DST_SELECTOR
Definition lookups_sha256.hpp:578
bb::avm2::lookup_sha256_range_rhs_a_22_settings_::SRC_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > SRC_COLUMNS
Definition lookups_sha256.hpp:581
bb::avm2::lookup_sha256_range_rhs_a_22_settings_::DST_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > DST_COLUMNS
Definition lookups_sha256.hpp:584
bb::avm2::lookup_sha256_range_rhs_a_22_settings_::RELATION_NAME
static constexpr std::string_view RELATION_NAME
Definition lookups_sha256.hpp:575
bb::avm2::lookup_sha256_range_rhs_a_22_settings_::INVERSES
static constexpr Column INVERSES
Definition lookups_sha256.hpp:580
bb::avm2::lookup_sha256_range_rhs_a_2_settings_
Definition lookups_sha256.hpp:529
bb::avm2::lookup_sha256_range_rhs_a_2_settings_::RELATION_NAME
static constexpr std::string_view RELATION_NAME
Definition lookups_sha256.hpp:531
bb::avm2::lookup_sha256_range_rhs_a_2_settings_::DST_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > DST_COLUMNS
Definition lookups_sha256.hpp:540
bb::avm2::lookup_sha256_range_rhs_a_2_settings_::SRC_SELECTOR
static constexpr Column SRC_SELECTOR
Definition lookups_sha256.hpp:533
bb::avm2::lookup_sha256_range_rhs_a_2_settings_::DST_SELECTOR
static constexpr Column DST_SELECTOR
Definition lookups_sha256.hpp:534
bb::avm2::lookup_sha256_range_rhs_a_2_settings_::LOOKUP_TUPLE_SIZE
static constexpr size_t LOOKUP_TUPLE_SIZE
Definition lookups_sha256.hpp:532
bb::avm2::lookup_sha256_range_rhs_a_2_settings_::INVERSES
static constexpr Column INVERSES
Definition lookups_sha256.hpp:536
bb::avm2::lookup_sha256_range_rhs_a_2_settings_::NAME
static constexpr std::string_view NAME
Definition lookups_sha256.hpp:530
bb::avm2::lookup_sha256_range_rhs_a_2_settings_::SRC_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > SRC_COLUMNS
Definition lookups_sha256.hpp:537
bb::avm2::lookup_sha256_range_rhs_a_2_settings_::COUNTS
static constexpr Column COUNTS
Definition lookups_sha256.hpp:535
bb::avm2::lookup_sha256_range_rhs_e_11_settings_
Definition lookups_sha256.hpp:330
bb::avm2::lookup_sha256_range_rhs_e_11_settings_::DST_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > DST_COLUMNS
Definition lookups_sha256.hpp:341
bb::avm2::lookup_sha256_range_rhs_e_11_settings_::NAME
static constexpr std::string_view NAME
Definition lookups_sha256.hpp:331
bb::avm2::lookup_sha256_range_rhs_e_11_settings_::LOOKUP_TUPLE_SIZE
static constexpr size_t LOOKUP_TUPLE_SIZE
Definition lookups_sha256.hpp:333
bb::avm2::lookup_sha256_range_rhs_e_11_settings_::DST_SELECTOR
static constexpr Column DST_SELECTOR
Definition lookups_sha256.hpp:335
bb::avm2::lookup_sha256_range_rhs_e_11_settings_::SRC_SELECTOR
static constexpr Column SRC_SELECTOR
Definition lookups_sha256.hpp:334
bb::avm2::lookup_sha256_range_rhs_e_11_settings_::INVERSES
static constexpr Column INVERSES
Definition lookups_sha256.hpp:337
bb::avm2::lookup_sha256_range_rhs_e_11_settings_::SRC_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > SRC_COLUMNS
Definition lookups_sha256.hpp:338
bb::avm2::lookup_sha256_range_rhs_e_11_settings_::RELATION_NAME
static constexpr std::string_view RELATION_NAME
Definition lookups_sha256.hpp:332
bb::avm2::lookup_sha256_range_rhs_e_11_settings_::COUNTS
static constexpr Column COUNTS
Definition lookups_sha256.hpp:336
bb::avm2::lookup_sha256_range_rhs_e_25_settings_
Definition lookups_sha256.hpp:352
bb::avm2::lookup_sha256_range_rhs_e_25_settings_::DST_SELECTOR
static constexpr Column DST_SELECTOR
Definition lookups_sha256.hpp:357
bb::avm2::lookup_sha256_range_rhs_e_25_settings_::NAME
static constexpr std::string_view NAME
Definition lookups_sha256.hpp:353
bb::avm2::lookup_sha256_range_rhs_e_25_settings_::INVERSES
static constexpr Column INVERSES
Definition lookups_sha256.hpp:359
bb::avm2::lookup_sha256_range_rhs_e_25_settings_::LOOKUP_TUPLE_SIZE
static constexpr size_t LOOKUP_TUPLE_SIZE
Definition lookups_sha256.hpp:355
bb::avm2::lookup_sha256_range_rhs_e_25_settings_::SRC_SELECTOR
static constexpr Column SRC_SELECTOR
Definition lookups_sha256.hpp:356
bb::avm2::lookup_sha256_range_rhs_e_25_settings_::COUNTS
static constexpr Column COUNTS
Definition lookups_sha256.hpp:358
bb::avm2::lookup_sha256_range_rhs_e_25_settings_::SRC_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > SRC_COLUMNS
Definition lookups_sha256.hpp:360
bb::avm2::lookup_sha256_range_rhs_e_25_settings_::RELATION_NAME
static constexpr std::string_view RELATION_NAME
Definition lookups_sha256.hpp:354
bb::avm2::lookup_sha256_range_rhs_e_25_settings_::DST_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > DST_COLUMNS
Definition lookups_sha256.hpp:363
bb::avm2::lookup_sha256_range_rhs_e_6_settings_
Definition lookups_sha256.hpp:308
bb::avm2::lookup_sha256_range_rhs_e_6_settings_::DST_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > DST_COLUMNS
Definition lookups_sha256.hpp:319
bb::avm2::lookup_sha256_range_rhs_e_6_settings_::LOOKUP_TUPLE_SIZE
static constexpr size_t LOOKUP_TUPLE_SIZE
Definition lookups_sha256.hpp:311
bb::avm2::lookup_sha256_range_rhs_e_6_settings_::INVERSES
static constexpr Column INVERSES
Definition lookups_sha256.hpp:315
bb::avm2::lookup_sha256_range_rhs_e_6_settings_::RELATION_NAME
static constexpr std::string_view RELATION_NAME
Definition lookups_sha256.hpp:310
bb::avm2::lookup_sha256_range_rhs_e_6_settings_::SRC_SELECTOR
static constexpr Column SRC_SELECTOR
Definition lookups_sha256.hpp:312
bb::avm2::lookup_sha256_range_rhs_e_6_settings_::SRC_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > SRC_COLUMNS
Definition lookups_sha256.hpp:316
bb::avm2::lookup_sha256_range_rhs_e_6_settings_::COUNTS
static constexpr Column COUNTS
Definition lookups_sha256.hpp:314
bb::avm2::lookup_sha256_range_rhs_e_6_settings_::NAME
static constexpr std::string_view NAME
Definition lookups_sha256.hpp:309
bb::avm2::lookup_sha256_range_rhs_e_6_settings_::DST_SELECTOR
static constexpr Column DST_SELECTOR
Definition lookups_sha256.hpp:313
bb::avm2::lookup_sha256_range_rhs_w_10_settings_
Definition lookups_sha256.hpp:230
bb::avm2::lookup_sha256_range_rhs_w_10_settings_::LOOKUP_TUPLE_SIZE
static constexpr size_t LOOKUP_TUPLE_SIZE
Definition lookups_sha256.hpp:233
bb::avm2::lookup_sha256_range_rhs_w_10_settings_::NAME
static constexpr std::string_view NAME
Definition lookups_sha256.hpp:231
bb::avm2::lookup_sha256_range_rhs_w_10_settings_::DST_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > DST_COLUMNS
Definition lookups_sha256.hpp:241
bb::avm2::lookup_sha256_range_rhs_w_10_settings_::DST_SELECTOR
static constexpr Column DST_SELECTOR
Definition lookups_sha256.hpp:235
bb::avm2::lookup_sha256_range_rhs_w_10_settings_::SRC_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > SRC_COLUMNS
Definition lookups_sha256.hpp:238
bb::avm2::lookup_sha256_range_rhs_w_10_settings_::SRC_SELECTOR
static constexpr Column SRC_SELECTOR
Definition lookups_sha256.hpp:234
bb::avm2::lookup_sha256_range_rhs_w_10_settings_::INVERSES
static constexpr Column INVERSES
Definition lookups_sha256.hpp:237
bb::avm2::lookup_sha256_range_rhs_w_10_settings_::RELATION_NAME
static constexpr std::string_view RELATION_NAME
Definition lookups_sha256.hpp:232
bb::avm2::lookup_sha256_range_rhs_w_10_settings_::COUNTS
static constexpr Column COUNTS
Definition lookups_sha256.hpp:236
bb::avm2::lookup_sha256_range_rhs_w_17_settings_
Definition lookups_sha256.hpp:186
bb::avm2::lookup_sha256_range_rhs_w_17_settings_::SRC_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > SRC_COLUMNS
Definition lookups_sha256.hpp:194
bb::avm2::lookup_sha256_range_rhs_w_17_settings_::COUNTS
static constexpr Column COUNTS
Definition lookups_sha256.hpp:192
bb::avm2::lookup_sha256_range_rhs_w_17_settings_::RELATION_NAME
static constexpr std::string_view RELATION_NAME
Definition lookups_sha256.hpp:188
bb::avm2::lookup_sha256_range_rhs_w_17_settings_::INVERSES
static constexpr Column INVERSES
Definition lookups_sha256.hpp:193
bb::avm2::lookup_sha256_range_rhs_w_17_settings_::NAME
static constexpr std::string_view NAME
Definition lookups_sha256.hpp:187
bb::avm2::lookup_sha256_range_rhs_w_17_settings_::DST_SELECTOR
static constexpr Column DST_SELECTOR
Definition lookups_sha256.hpp:191
bb::avm2::lookup_sha256_range_rhs_w_17_settings_::SRC_SELECTOR
static constexpr Column SRC_SELECTOR
Definition lookups_sha256.hpp:190
bb::avm2::lookup_sha256_range_rhs_w_17_settings_::DST_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > DST_COLUMNS
Definition lookups_sha256.hpp:197
bb::avm2::lookup_sha256_range_rhs_w_17_settings_::LOOKUP_TUPLE_SIZE
static constexpr size_t LOOKUP_TUPLE_SIZE
Definition lookups_sha256.hpp:189
bb::avm2::lookup_sha256_range_rhs_w_18_settings_
Definition lookups_sha256.hpp:86
bb::avm2::lookup_sha256_range_rhs_w_18_settings_::LOOKUP_TUPLE_SIZE
static constexpr size_t LOOKUP_TUPLE_SIZE
Definition lookups_sha256.hpp:89
bb::avm2::lookup_sha256_range_rhs_w_18_settings_::SRC_SELECTOR
static constexpr Column SRC_SELECTOR
Definition lookups_sha256.hpp:90
bb::avm2::lookup_sha256_range_rhs_w_18_settings_::RELATION_NAME
static constexpr std::string_view RELATION_NAME
Definition lookups_sha256.hpp:88
bb::avm2::lookup_sha256_range_rhs_w_18_settings_::NAME
static constexpr std::string_view NAME
Definition lookups_sha256.hpp:87
bb::avm2::lookup_sha256_range_rhs_w_18_settings_::DST_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > DST_COLUMNS
Definition lookups_sha256.hpp:97
bb::avm2::lookup_sha256_range_rhs_w_18_settings_::DST_SELECTOR
static constexpr Column DST_SELECTOR
Definition lookups_sha256.hpp:91
bb::avm2::lookup_sha256_range_rhs_w_18_settings_::INVERSES
static constexpr Column INVERSES
Definition lookups_sha256.hpp:93
bb::avm2::lookup_sha256_range_rhs_w_18_settings_::SRC_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > SRC_COLUMNS
Definition lookups_sha256.hpp:94
bb::avm2::lookup_sha256_range_rhs_w_18_settings_::COUNTS
static constexpr Column COUNTS
Definition lookups_sha256.hpp:92
bb::avm2::lookup_sha256_range_rhs_w_19_settings_
Definition lookups_sha256.hpp:208
bb::avm2::lookup_sha256_range_rhs_w_19_settings_::INVERSES
static constexpr Column INVERSES
Definition lookups_sha256.hpp:215
bb::avm2::lookup_sha256_range_rhs_w_19_settings_::SRC_SELECTOR
static constexpr Column SRC_SELECTOR
Definition lookups_sha256.hpp:212
bb::avm2::lookup_sha256_range_rhs_w_19_settings_::LOOKUP_TUPLE_SIZE
static constexpr size_t LOOKUP_TUPLE_SIZE
Definition lookups_sha256.hpp:211
bb::avm2::lookup_sha256_range_rhs_w_19_settings_::RELATION_NAME
static constexpr std::string_view RELATION_NAME
Definition lookups_sha256.hpp:210
bb::avm2::lookup_sha256_range_rhs_w_19_settings_::NAME
static constexpr std::string_view NAME
Definition lookups_sha256.hpp:209
bb::avm2::lookup_sha256_range_rhs_w_19_settings_::DST_SELECTOR
static constexpr Column DST_SELECTOR
Definition lookups_sha256.hpp:213
bb::avm2::lookup_sha256_range_rhs_w_19_settings_::COUNTS
static constexpr Column COUNTS
Definition lookups_sha256.hpp:214
bb::avm2::lookup_sha256_range_rhs_w_19_settings_::DST_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > DST_COLUMNS
Definition lookups_sha256.hpp:219
bb::avm2::lookup_sha256_range_rhs_w_19_settings_::SRC_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > SRC_COLUMNS
Definition lookups_sha256.hpp:216
bb::avm2::lookup_sha256_range_rhs_w_3_settings_
Definition lookups_sha256.hpp:108
bb::avm2::lookup_sha256_range_rhs_w_3_settings_::SRC_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > SRC_COLUMNS
Definition lookups_sha256.hpp:116
bb::avm2::lookup_sha256_range_rhs_w_3_settings_::RELATION_NAME
static constexpr std::string_view RELATION_NAME
Definition lookups_sha256.hpp:110
bb::avm2::lookup_sha256_range_rhs_w_3_settings_::NAME
static constexpr std::string_view NAME
Definition lookups_sha256.hpp:109
bb::avm2::lookup_sha256_range_rhs_w_3_settings_::COUNTS
static constexpr Column COUNTS
Definition lookups_sha256.hpp:114
bb::avm2::lookup_sha256_range_rhs_w_3_settings_::LOOKUP_TUPLE_SIZE
static constexpr size_t LOOKUP_TUPLE_SIZE
Definition lookups_sha256.hpp:111
bb::avm2::lookup_sha256_range_rhs_w_3_settings_::SRC_SELECTOR
static constexpr Column SRC_SELECTOR
Definition lookups_sha256.hpp:112
bb::avm2::lookup_sha256_range_rhs_w_3_settings_::DST_SELECTOR
static constexpr Column DST_SELECTOR
Definition lookups_sha256.hpp:113
bb::avm2::lookup_sha256_range_rhs_w_3_settings_::INVERSES
static constexpr Column INVERSES
Definition lookups_sha256.hpp:115
bb::avm2::lookup_sha256_range_rhs_w_3_settings_::DST_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > DST_COLUMNS
Definition lookups_sha256.hpp:119
bb::avm2::lookup_sha256_range_rhs_w_7_settings_
Definition lookups_sha256.hpp:64
bb::avm2::lookup_sha256_range_rhs_w_7_settings_::NAME
static constexpr std::string_view NAME
Definition lookups_sha256.hpp:65
bb::avm2::lookup_sha256_range_rhs_w_7_settings_::LOOKUP_TUPLE_SIZE
static constexpr size_t LOOKUP_TUPLE_SIZE
Definition lookups_sha256.hpp:67
bb::avm2::lookup_sha256_range_rhs_w_7_settings_::INVERSES
static constexpr Column INVERSES
Definition lookups_sha256.hpp:71
bb::avm2::lookup_sha256_range_rhs_w_7_settings_::DST_SELECTOR
static constexpr Column DST_SELECTOR
Definition lookups_sha256.hpp:69
bb::avm2::lookup_sha256_range_rhs_w_7_settings_::DST_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > DST_COLUMNS
Definition lookups_sha256.hpp:75
bb::avm2::lookup_sha256_range_rhs_w_7_settings_::COUNTS
static constexpr Column COUNTS
Definition lookups_sha256.hpp:70
bb::avm2::lookup_sha256_range_rhs_w_7_settings_::SRC_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > SRC_COLUMNS
Definition lookups_sha256.hpp:72
bb::avm2::lookup_sha256_range_rhs_w_7_settings_::SRC_SELECTOR
static constexpr Column SRC_SELECTOR
Definition lookups_sha256.hpp:68
bb::avm2::lookup_sha256_range_rhs_w_7_settings_::RELATION_NAME
static constexpr std::string_view RELATION_NAME
Definition lookups_sha256.hpp:66
bb::avm2::lookup_sha256_round_constant_settings_
Definition lookups_sha256.hpp:507
bb::avm2::lookup_sha256_round_constant_settings_::DST_SELECTOR
static constexpr Column DST_SELECTOR
Definition lookups_sha256.hpp:512
bb::avm2::lookup_sha256_round_constant_settings_::RELATION_NAME
static constexpr std::string_view RELATION_NAME
Definition lookups_sha256.hpp:509
bb::avm2::lookup_sha256_round_constant_settings_::DST_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > DST_COLUMNS
Definition lookups_sha256.hpp:518
bb::avm2::lookup_sha256_round_constant_settings_::COUNTS
static constexpr Column COUNTS
Definition lookups_sha256.hpp:513
bb::avm2::lookup_sha256_round_constant_settings_::INVERSES
static constexpr Column INVERSES
Definition lookups_sha256.hpp:514
bb::avm2::lookup_sha256_round_constant_settings_::LOOKUP_TUPLE_SIZE
static constexpr size_t LOOKUP_TUPLE_SIZE
Definition lookups_sha256.hpp:510
bb::avm2::lookup_sha256_round_constant_settings_::SRC_SELECTOR
static constexpr Column SRC_SELECTOR
Definition lookups_sha256.hpp:511
bb::avm2::lookup_sha256_round_constant_settings_::NAME
static constexpr std::string_view NAME
Definition lookups_sha256.hpp:508
bb::avm2::lookup_sha256_round_constant_settings_::SRC_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > SRC_COLUMNS
Definition lookups_sha256.hpp:515
bb::avm2::lookup_sha256_s_0_xor_0_settings_
Definition lookups_sha256.hpp:595
bb::avm2::lookup_sha256_s_0_xor_0_settings_::SRC_SELECTOR
static constexpr Column SRC_SELECTOR
Definition lookups_sha256.hpp:599
bb::avm2::lookup_sha256_s_0_xor_0_settings_::LOOKUP_TUPLE_SIZE
static constexpr size_t LOOKUP_TUPLE_SIZE
Definition lookups_sha256.hpp:598
bb::avm2::lookup_sha256_s_0_xor_0_settings_::RELATION_NAME
static constexpr std::string_view RELATION_NAME
Definition lookups_sha256.hpp:597
bb::avm2::lookup_sha256_s_0_xor_0_settings_::NAME
static constexpr std::string_view NAME
Definition lookups_sha256.hpp:596
bb::avm2::lookup_sha256_s_0_xor_0_settings_::DST_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > DST_COLUMNS
Definition lookups_sha256.hpp:610
bb::avm2::lookup_sha256_s_0_xor_0_settings_::INVERSES
static constexpr Column INVERSES
Definition lookups_sha256.hpp:602
bb::avm2::lookup_sha256_s_0_xor_0_settings_::SRC_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > SRC_COLUMNS
Definition lookups_sha256.hpp:603
bb::avm2::lookup_sha256_s_0_xor_0_settings_::DST_SELECTOR
static constexpr Column DST_SELECTOR
Definition lookups_sha256.hpp:600
bb::avm2::lookup_sha256_s_0_xor_0_settings_::COUNTS
static constexpr Column COUNTS
Definition lookups_sha256.hpp:601
bb::avm2::lookup_sha256_s_0_xor_1_settings_
Definition lookups_sha256.hpp:623
bb::avm2::lookup_sha256_s_0_xor_1_settings_::DST_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > DST_COLUMNS
Definition lookups_sha256.hpp:638
bb::avm2::lookup_sha256_s_0_xor_1_settings_::SRC_SELECTOR
static constexpr Column SRC_SELECTOR
Definition lookups_sha256.hpp:627
bb::avm2::lookup_sha256_s_0_xor_1_settings_::COUNTS
static constexpr Column COUNTS
Definition lookups_sha256.hpp:629
bb::avm2::lookup_sha256_s_0_xor_1_settings_::NAME
static constexpr std::string_view NAME
Definition lookups_sha256.hpp:624
bb::avm2::lookup_sha256_s_0_xor_1_settings_::DST_SELECTOR
static constexpr Column DST_SELECTOR
Definition lookups_sha256.hpp:628
bb::avm2::lookup_sha256_s_0_xor_1_settings_::INVERSES
static constexpr Column INVERSES
Definition lookups_sha256.hpp:630
bb::avm2::lookup_sha256_s_0_xor_1_settings_::RELATION_NAME
static constexpr std::string_view RELATION_NAME
Definition lookups_sha256.hpp:625
bb::avm2::lookup_sha256_s_0_xor_1_settings_::LOOKUP_TUPLE_SIZE
static constexpr size_t LOOKUP_TUPLE_SIZE
Definition lookups_sha256.hpp:626
bb::avm2::lookup_sha256_s_0_xor_1_settings_::SRC_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > SRC_COLUMNS
Definition lookups_sha256.hpp:631
bb::avm2::lookup_sha256_s_1_xor_0_settings_
Definition lookups_sha256.hpp:374
bb::avm2::lookup_sha256_s_1_xor_0_settings_::DST_SELECTOR
static constexpr Column DST_SELECTOR
Definition lookups_sha256.hpp:379
bb::avm2::lookup_sha256_s_1_xor_0_settings_::INVERSES
static constexpr Column INVERSES
Definition lookups_sha256.hpp:381
bb::avm2::lookup_sha256_s_1_xor_0_settings_::LOOKUP_TUPLE_SIZE
static constexpr size_t LOOKUP_TUPLE_SIZE
Definition lookups_sha256.hpp:377
bb::avm2::lookup_sha256_s_1_xor_0_settings_::SRC_SELECTOR
static constexpr Column SRC_SELECTOR
Definition lookups_sha256.hpp:378
bb::avm2::lookup_sha256_s_1_xor_0_settings_::COUNTS
static constexpr Column COUNTS
Definition lookups_sha256.hpp:380
bb::avm2::lookup_sha256_s_1_xor_0_settings_::RELATION_NAME
static constexpr std::string_view RELATION_NAME
Definition lookups_sha256.hpp:376
bb::avm2::lookup_sha256_s_1_xor_0_settings_::SRC_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > SRC_COLUMNS
Definition lookups_sha256.hpp:382
bb::avm2::lookup_sha256_s_1_xor_0_settings_::NAME
static constexpr std::string_view NAME
Definition lookups_sha256.hpp:375
bb::avm2::lookup_sha256_s_1_xor_0_settings_::DST_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > DST_COLUMNS
Definition lookups_sha256.hpp:389
bb::avm2::lookup_sha256_s_1_xor_1_settings_
Definition lookups_sha256.hpp:402
bb::avm2::lookup_sha256_s_1_xor_1_settings_::LOOKUP_TUPLE_SIZE
static constexpr size_t LOOKUP_TUPLE_SIZE
Definition lookups_sha256.hpp:405
bb::avm2::lookup_sha256_s_1_xor_1_settings_::INVERSES
static constexpr Column INVERSES
Definition lookups_sha256.hpp:409
bb::avm2::lookup_sha256_s_1_xor_1_settings_::SRC_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > SRC_COLUMNS
Definition lookups_sha256.hpp:410
bb::avm2::lookup_sha256_s_1_xor_1_settings_::SRC_SELECTOR
static constexpr Column SRC_SELECTOR
Definition lookups_sha256.hpp:406
bb::avm2::lookup_sha256_s_1_xor_1_settings_::COUNTS
static constexpr Column COUNTS
Definition lookups_sha256.hpp:408
bb::avm2::lookup_sha256_s_1_xor_1_settings_::NAME
static constexpr std::string_view NAME
Definition lookups_sha256.hpp:403
bb::avm2::lookup_sha256_s_1_xor_1_settings_::DST_SELECTOR
static constexpr Column DST_SELECTOR
Definition lookups_sha256.hpp:407
bb::avm2::lookup_sha256_s_1_xor_1_settings_::DST_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > DST_COLUMNS
Definition lookups_sha256.hpp:417
bb::avm2::lookup_sha256_s_1_xor_1_settings_::RELATION_NAME
static constexpr std::string_view RELATION_NAME
Definition lookups_sha256.hpp:404
bb::avm2::lookup_sha256_w_s_0_xor_0_settings_
Definition lookups_sha256.hpp:130
bb::avm2::lookup_sha256_w_s_0_xor_0_settings_::RELATION_NAME
static constexpr std::string_view RELATION_NAME
Definition lookups_sha256.hpp:132
bb::avm2::lookup_sha256_w_s_0_xor_0_settings_::NAME
static constexpr std::string_view NAME
Definition lookups_sha256.hpp:131
bb::avm2::lookup_sha256_w_s_0_xor_0_settings_::DST_SELECTOR
static constexpr Column DST_SELECTOR
Definition lookups_sha256.hpp:135
bb::avm2::lookup_sha256_w_s_0_xor_0_settings_::COUNTS
static constexpr Column COUNTS
Definition lookups_sha256.hpp:136
bb::avm2::lookup_sha256_w_s_0_xor_0_settings_::SRC_SELECTOR
static constexpr Column SRC_SELECTOR
Definition lookups_sha256.hpp:134
bb::avm2::lookup_sha256_w_s_0_xor_0_settings_::LOOKUP_TUPLE_SIZE
static constexpr size_t LOOKUP_TUPLE_SIZE
Definition lookups_sha256.hpp:133
bb::avm2::lookup_sha256_w_s_0_xor_0_settings_::SRC_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > SRC_COLUMNS
Definition lookups_sha256.hpp:138
bb::avm2::lookup_sha256_w_s_0_xor_0_settings_::INVERSES
static constexpr Column INVERSES
Definition lookups_sha256.hpp:137
bb::avm2::lookup_sha256_w_s_0_xor_0_settings_::DST_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > DST_COLUMNS
Definition lookups_sha256.hpp:145
bb::avm2::lookup_sha256_w_s_0_xor_1_settings_
Definition lookups_sha256.hpp:158
bb::avm2::lookup_sha256_w_s_0_xor_1_settings_::COUNTS
static constexpr Column COUNTS
Definition lookups_sha256.hpp:164
bb::avm2::lookup_sha256_w_s_0_xor_1_settings_::RELATION_NAME
static constexpr std::string_view RELATION_NAME
Definition lookups_sha256.hpp:160
bb::avm2::lookup_sha256_w_s_0_xor_1_settings_::DST_SELECTOR
static constexpr Column DST_SELECTOR
Definition lookups_sha256.hpp:163
bb::avm2::lookup_sha256_w_s_0_xor_1_settings_::DST_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > DST_COLUMNS
Definition lookups_sha256.hpp:173
bb::avm2::lookup_sha256_w_s_0_xor_1_settings_::NAME
static constexpr std::string_view NAME
Definition lookups_sha256.hpp:159
bb::avm2::lookup_sha256_w_s_0_xor_1_settings_::SRC_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > SRC_COLUMNS
Definition lookups_sha256.hpp:166
bb::avm2::lookup_sha256_w_s_0_xor_1_settings_::INVERSES
static constexpr Column INVERSES
Definition lookups_sha256.hpp:165
bb::avm2::lookup_sha256_w_s_0_xor_1_settings_::SRC_SELECTOR
static constexpr Column SRC_SELECTOR
Definition lookups_sha256.hpp:162
bb::avm2::lookup_sha256_w_s_0_xor_1_settings_::LOOKUP_TUPLE_SIZE
static constexpr size_t LOOKUP_TUPLE_SIZE
Definition lookups_sha256.hpp:161
bb::avm2::lookup_sha256_w_s_1_xor_0_settings_
Definition lookups_sha256.hpp:252
bb::avm2::lookup_sha256_w_s_1_xor_0_settings_::NAME
static constexpr std::string_view NAME
Definition lookups_sha256.hpp:253
bb::avm2::lookup_sha256_w_s_1_xor_0_settings_::LOOKUP_TUPLE_SIZE
static constexpr size_t LOOKUP_TUPLE_SIZE
Definition lookups_sha256.hpp:255
bb::avm2::lookup_sha256_w_s_1_xor_0_settings_::DST_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > DST_COLUMNS
Definition lookups_sha256.hpp:267
bb::avm2::lookup_sha256_w_s_1_xor_0_settings_::SRC_SELECTOR
static constexpr Column SRC_SELECTOR
Definition lookups_sha256.hpp:256
bb::avm2::lookup_sha256_w_s_1_xor_0_settings_::SRC_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > SRC_COLUMNS
Definition lookups_sha256.hpp:260
bb::avm2::lookup_sha256_w_s_1_xor_0_settings_::COUNTS
static constexpr Column COUNTS
Definition lookups_sha256.hpp:258
bb::avm2::lookup_sha256_w_s_1_xor_0_settings_::INVERSES
static constexpr Column INVERSES
Definition lookups_sha256.hpp:259
bb::avm2::lookup_sha256_w_s_1_xor_0_settings_::RELATION_NAME
static constexpr std::string_view RELATION_NAME
Definition lookups_sha256.hpp:254
bb::avm2::lookup_sha256_w_s_1_xor_0_settings_::DST_SELECTOR
static constexpr Column DST_SELECTOR
Definition lookups_sha256.hpp:257
bb::avm2::lookup_sha256_w_s_1_xor_1_settings_
Definition lookups_sha256.hpp:280
bb::avm2::lookup_sha256_w_s_1_xor_1_settings_::INVERSES
static constexpr Column INVERSES
Definition lookups_sha256.hpp:287
bb::avm2::lookup_sha256_w_s_1_xor_1_settings_::RELATION_NAME
static constexpr std::string_view RELATION_NAME
Definition lookups_sha256.hpp:282
bb::avm2::lookup_sha256_w_s_1_xor_1_settings_::LOOKUP_TUPLE_SIZE
static constexpr size_t LOOKUP_TUPLE_SIZE
Definition lookups_sha256.hpp:283
bb::avm2::lookup_sha256_w_s_1_xor_1_settings_::NAME
static constexpr std::string_view NAME
Definition lookups_sha256.hpp:281
bb::avm2::lookup_sha256_w_s_1_xor_1_settings_::COUNTS
static constexpr Column COUNTS
Definition lookups_sha256.hpp:286
bb::avm2::lookup_sha256_w_s_1_xor_1_settings_::DST_SELECTOR
static constexpr Column DST_SELECTOR
Definition lookups_sha256.hpp:285
bb::avm2::lookup_sha256_w_s_1_xor_1_settings_::SRC_SELECTOR
static constexpr Column SRC_SELECTOR
Definition lookups_sha256.hpp:284
bb::avm2::lookup_sha256_w_s_1_xor_1_settings_::SRC_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > SRC_COLUMNS
Definition lookups_sha256.hpp:288
bb::avm2::lookup_sha256_w_s_1_xor_1_settings_::DST_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > DST_COLUMNS
Definition lookups_sha256.hpp:296