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 = 1;
20 static constexpr Column SRC_SELECTOR = Column::sha256_sel_compute_w;
21 static constexpr Column DST_SELECTOR = Column::precomputed_sel_range_8;
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_computed_w_lhs
26 };
27 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = { ColumnAndShifts::precomputed_idx };
28};
29
30using lookup_sha256_range_comp_w_lhs_settings = lookup_settings<lookup_sha256_range_comp_w_lhs_settings_>;
31template <typename FF_>
32using lookup_sha256_range_comp_w_lhs_relation = lookup_relation_base<FF_, lookup_sha256_range_comp_w_lhs_settings>;
33
35
36struct lookup_sha256_range_comp_w_rhs_settings_ {
37 static constexpr std::string_view NAME = "LOOKUP_SHA256_RANGE_COMP_W_RHS";
38 static constexpr std::string_view RELATION_NAME = "sha256";
39 static constexpr size_t LOOKUP_TUPLE_SIZE = 3;
40 static constexpr Column SRC_SELECTOR = Column::sha256_sel_compute_w;
41 static constexpr Column DST_SELECTOR = Column::gt_sel_sha256;
42 static constexpr Column COUNTS = Column::lookup_sha256_range_comp_w_rhs_counts;
43 static constexpr Column INVERSES = Column::lookup_sha256_range_comp_w_rhs_inv;
44 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
45 ColumnAndShifts::sha256_two_pow_32,
46 ColumnAndShifts::sha256_computed_w_rhs,
47 ColumnAndShifts::sha256_sel_compute_w
48 };
49 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = { ColumnAndShifts::gt_input_a,
50 ColumnAndShifts::gt_input_b,
51 ColumnAndShifts::gt_res };
52};
53
54using lookup_sha256_range_comp_w_rhs_settings = lookup_settings<lookup_sha256_range_comp_w_rhs_settings_>;
55template <typename FF_>
56using lookup_sha256_range_comp_w_rhs_relation = lookup_relation_base<FF_, lookup_sha256_range_comp_w_rhs_settings>;
57
59
60struct lookup_sha256_range_rhs_w_7_settings_ {
61 static constexpr std::string_view NAME = "LOOKUP_SHA256_RANGE_RHS_W_7";
62 static constexpr std::string_view RELATION_NAME = "sha256";
63 static constexpr size_t LOOKUP_TUPLE_SIZE = 3;
64 static constexpr Column SRC_SELECTOR = Column::sha256_sel_compute_w;
65 static constexpr Column DST_SELECTOR = Column::gt_sel_sha256;
66 static constexpr Column COUNTS = Column::lookup_sha256_range_rhs_w_7_counts;
67 static constexpr Column INVERSES = Column::lookup_sha256_range_rhs_w_7_inv;
68 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
69 ColumnAndShifts::sha256_two_pow_7, ColumnAndShifts::sha256_rhs_w_7, ColumnAndShifts::sha256_sel_compute_w
70 };
71 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = { ColumnAndShifts::gt_input_a,
72 ColumnAndShifts::gt_input_b,
73 ColumnAndShifts::gt_res };
74};
75
76using lookup_sha256_range_rhs_w_7_settings = lookup_settings<lookup_sha256_range_rhs_w_7_settings_>;
77template <typename FF_>
78using lookup_sha256_range_rhs_w_7_relation = lookup_relation_base<FF_, lookup_sha256_range_rhs_w_7_settings>;
79
81
82struct lookup_sha256_range_rhs_w_18_settings_ {
83 static constexpr std::string_view NAME = "LOOKUP_SHA256_RANGE_RHS_W_18";
84 static constexpr std::string_view RELATION_NAME = "sha256";
85 static constexpr size_t LOOKUP_TUPLE_SIZE = 3;
86 static constexpr Column SRC_SELECTOR = Column::sha256_sel_compute_w;
87 static constexpr Column DST_SELECTOR = Column::gt_sel_sha256;
88 static constexpr Column COUNTS = Column::lookup_sha256_range_rhs_w_18_counts;
89 static constexpr Column INVERSES = Column::lookup_sha256_range_rhs_w_18_inv;
90 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
91 ColumnAndShifts::sha256_two_pow_18, ColumnAndShifts::sha256_rhs_w_18, ColumnAndShifts::sha256_sel_compute_w
92 };
93 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = { ColumnAndShifts::gt_input_a,
94 ColumnAndShifts::gt_input_b,
95 ColumnAndShifts::gt_res };
96};
97
98using lookup_sha256_range_rhs_w_18_settings = lookup_settings<lookup_sha256_range_rhs_w_18_settings_>;
99template <typename FF_>
100using lookup_sha256_range_rhs_w_18_relation = lookup_relation_base<FF_, lookup_sha256_range_rhs_w_18_settings>;
101
103
104struct lookup_sha256_range_rhs_w_3_settings_ {
105 static constexpr std::string_view NAME = "LOOKUP_SHA256_RANGE_RHS_W_3";
106 static constexpr std::string_view RELATION_NAME = "sha256";
107 static constexpr size_t LOOKUP_TUPLE_SIZE = 3;
108 static constexpr Column SRC_SELECTOR = Column::sha256_sel_compute_w;
109 static constexpr Column DST_SELECTOR = Column::gt_sel_sha256;
110 static constexpr Column COUNTS = Column::lookup_sha256_range_rhs_w_3_counts;
111 static constexpr Column INVERSES = Column::lookup_sha256_range_rhs_w_3_inv;
112 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
113 ColumnAndShifts::sha256_two_pow_3, ColumnAndShifts::sha256_rhs_w_3, ColumnAndShifts::sha256_sel_compute_w
114 };
115 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = { ColumnAndShifts::gt_input_a,
116 ColumnAndShifts::gt_input_b,
117 ColumnAndShifts::gt_res };
118};
119
120using lookup_sha256_range_rhs_w_3_settings = lookup_settings<lookup_sha256_range_rhs_w_3_settings_>;
121template <typename FF_>
122using lookup_sha256_range_rhs_w_3_relation = lookup_relation_base<FF_, lookup_sha256_range_rhs_w_3_settings>;
123
125
126struct lookup_sha256_w_s_0_xor_0_settings_ {
127 static constexpr std::string_view NAME = "LOOKUP_SHA256_W_S_0_XOR_0";
128 static constexpr std::string_view RELATION_NAME = "sha256";
129 static constexpr size_t LOOKUP_TUPLE_SIZE = 5;
130 static constexpr Column SRC_SELECTOR = Column::sha256_sel_compute_w;
131 static constexpr Column DST_SELECTOR = Column::bitwise_start_sha256;
132 static constexpr Column COUNTS = Column::lookup_sha256_w_s_0_xor_0_counts;
133 static constexpr Column INVERSES = Column::lookup_sha256_w_s_0_xor_0_inv;
134 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
135 ColumnAndShifts::sha256_w_15_rotr_7,
136 ColumnAndShifts::sha256_w_15_rotr_18,
137 ColumnAndShifts::sha256_w_15_rotr_7_xor_w_15_rotr_18,
138 ColumnAndShifts::sha256_xor_op_id,
139 ColumnAndShifts::sha256_u32_tag
140 };
141 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = { ColumnAndShifts::bitwise_acc_ia,
142 ColumnAndShifts::bitwise_acc_ib,
143 ColumnAndShifts::bitwise_acc_ic,
144 ColumnAndShifts::bitwise_op_id,
145 ColumnAndShifts::bitwise_tag_a };
146};
147
148using lookup_sha256_w_s_0_xor_0_settings = lookup_settings<lookup_sha256_w_s_0_xor_0_settings_>;
149template <typename FF_>
150using lookup_sha256_w_s_0_xor_0_relation = lookup_relation_base<FF_, lookup_sha256_w_s_0_xor_0_settings>;
151
153
154struct lookup_sha256_w_s_0_xor_1_settings_ {
155 static constexpr std::string_view NAME = "LOOKUP_SHA256_W_S_0_XOR_1";
156 static constexpr std::string_view RELATION_NAME = "sha256";
157 static constexpr size_t LOOKUP_TUPLE_SIZE = 5;
158 static constexpr Column SRC_SELECTOR = Column::sha256_sel_compute_w;
159 static constexpr Column DST_SELECTOR = Column::bitwise_start_sha256;
160 static constexpr Column COUNTS = Column::lookup_sha256_w_s_0_xor_1_counts;
161 static constexpr Column INVERSES = Column::lookup_sha256_w_s_0_xor_1_inv;
162 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
163 ColumnAndShifts::sha256_w_15_rotr_7_xor_w_15_rotr_18,
164 ColumnAndShifts::sha256_lhs_w_3,
165 ColumnAndShifts::sha256_w_s_0,
166 ColumnAndShifts::sha256_xor_op_id,
167 ColumnAndShifts::sha256_u32_tag
168 };
169 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = { ColumnAndShifts::bitwise_acc_ia,
170 ColumnAndShifts::bitwise_acc_ib,
171 ColumnAndShifts::bitwise_acc_ic,
172 ColumnAndShifts::bitwise_op_id,
173 ColumnAndShifts::bitwise_tag_a };
174};
175
176using lookup_sha256_w_s_0_xor_1_settings = lookup_settings<lookup_sha256_w_s_0_xor_1_settings_>;
177template <typename FF_>
178using lookup_sha256_w_s_0_xor_1_relation = lookup_relation_base<FF_, lookup_sha256_w_s_0_xor_1_settings>;
179
181
182struct lookup_sha256_range_rhs_w_17_settings_ {
183 static constexpr std::string_view NAME = "LOOKUP_SHA256_RANGE_RHS_W_17";
184 static constexpr std::string_view RELATION_NAME = "sha256";
185 static constexpr size_t LOOKUP_TUPLE_SIZE = 3;
186 static constexpr Column SRC_SELECTOR = Column::sha256_sel_compute_w;
187 static constexpr Column DST_SELECTOR = Column::gt_sel_sha256;
188 static constexpr Column COUNTS = Column::lookup_sha256_range_rhs_w_17_counts;
189 static constexpr Column INVERSES = Column::lookup_sha256_range_rhs_w_17_inv;
190 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
191 ColumnAndShifts::sha256_two_pow_17, ColumnAndShifts::sha256_rhs_w_17, ColumnAndShifts::sha256_sel_compute_w
192 };
193 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = { ColumnAndShifts::gt_input_a,
194 ColumnAndShifts::gt_input_b,
195 ColumnAndShifts::gt_res };
196};
197
198using lookup_sha256_range_rhs_w_17_settings = lookup_settings<lookup_sha256_range_rhs_w_17_settings_>;
199template <typename FF_>
200using lookup_sha256_range_rhs_w_17_relation = lookup_relation_base<FF_, lookup_sha256_range_rhs_w_17_settings>;
201
203
204struct lookup_sha256_range_rhs_w_19_settings_ {
205 static constexpr std::string_view NAME = "LOOKUP_SHA256_RANGE_RHS_W_19";
206 static constexpr std::string_view RELATION_NAME = "sha256";
207 static constexpr size_t LOOKUP_TUPLE_SIZE = 3;
208 static constexpr Column SRC_SELECTOR = Column::sha256_sel_compute_w;
209 static constexpr Column DST_SELECTOR = Column::gt_sel_sha256;
210 static constexpr Column COUNTS = Column::lookup_sha256_range_rhs_w_19_counts;
211 static constexpr Column INVERSES = Column::lookup_sha256_range_rhs_w_19_inv;
212 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
213 ColumnAndShifts::sha256_two_pow_19, ColumnAndShifts::sha256_rhs_w_19, ColumnAndShifts::sha256_sel_compute_w
214 };
215 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = { ColumnAndShifts::gt_input_a,
216 ColumnAndShifts::gt_input_b,
217 ColumnAndShifts::gt_res };
218};
219
220using lookup_sha256_range_rhs_w_19_settings = lookup_settings<lookup_sha256_range_rhs_w_19_settings_>;
221template <typename FF_>
222using lookup_sha256_range_rhs_w_19_relation = lookup_relation_base<FF_, lookup_sha256_range_rhs_w_19_settings>;
223
225
226struct lookup_sha256_range_rhs_w_10_settings_ {
227 static constexpr std::string_view NAME = "LOOKUP_SHA256_RANGE_RHS_W_10";
228 static constexpr std::string_view RELATION_NAME = "sha256";
229 static constexpr size_t LOOKUP_TUPLE_SIZE = 3;
230 static constexpr Column SRC_SELECTOR = Column::sha256_sel_compute_w;
231 static constexpr Column DST_SELECTOR = Column::gt_sel_sha256;
232 static constexpr Column COUNTS = Column::lookup_sha256_range_rhs_w_10_counts;
233 static constexpr Column INVERSES = Column::lookup_sha256_range_rhs_w_10_inv;
234 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
235 ColumnAndShifts::sha256_two_pow_10, ColumnAndShifts::sha256_rhs_w_10, ColumnAndShifts::sha256_sel_compute_w
236 };
237 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = { ColumnAndShifts::gt_input_a,
238 ColumnAndShifts::gt_input_b,
239 ColumnAndShifts::gt_res };
240};
241
242using lookup_sha256_range_rhs_w_10_settings = lookup_settings<lookup_sha256_range_rhs_w_10_settings_>;
243template <typename FF_>
244using lookup_sha256_range_rhs_w_10_relation = lookup_relation_base<FF_, lookup_sha256_range_rhs_w_10_settings>;
245
247
248struct lookup_sha256_w_s_1_xor_0_settings_ {
249 static constexpr std::string_view NAME = "LOOKUP_SHA256_W_S_1_XOR_0";
250 static constexpr std::string_view RELATION_NAME = "sha256";
251 static constexpr size_t LOOKUP_TUPLE_SIZE = 5;
252 static constexpr Column SRC_SELECTOR = Column::sha256_sel_compute_w;
253 static constexpr Column DST_SELECTOR = Column::bitwise_start_sha256;
254 static constexpr Column COUNTS = Column::lookup_sha256_w_s_1_xor_0_counts;
255 static constexpr Column INVERSES = Column::lookup_sha256_w_s_1_xor_0_inv;
256 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
257 ColumnAndShifts::sha256_w_2_rotr_17,
258 ColumnAndShifts::sha256_w_2_rotr_19,
259 ColumnAndShifts::sha256_w_2_rotr_17_xor_w_2_rotr_19,
260 ColumnAndShifts::sha256_xor_op_id,
261 ColumnAndShifts::sha256_u32_tag
262 };
263 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = { ColumnAndShifts::bitwise_acc_ia,
264 ColumnAndShifts::bitwise_acc_ib,
265 ColumnAndShifts::bitwise_acc_ic,
266 ColumnAndShifts::bitwise_op_id,
267 ColumnAndShifts::bitwise_tag_a };
268};
269
270using lookup_sha256_w_s_1_xor_0_settings = lookup_settings<lookup_sha256_w_s_1_xor_0_settings_>;
271template <typename FF_>
272using lookup_sha256_w_s_1_xor_0_relation = lookup_relation_base<FF_, lookup_sha256_w_s_1_xor_0_settings>;
273
275
276struct lookup_sha256_w_s_1_xor_1_settings_ {
277 static constexpr std::string_view NAME = "LOOKUP_SHA256_W_S_1_XOR_1";
278 static constexpr std::string_view RELATION_NAME = "sha256";
279 static constexpr size_t LOOKUP_TUPLE_SIZE = 5;
280 static constexpr Column SRC_SELECTOR = Column::sha256_sel_compute_w;
281 static constexpr Column DST_SELECTOR = Column::bitwise_start_sha256;
282 static constexpr Column COUNTS = Column::lookup_sha256_w_s_1_xor_1_counts;
283 static constexpr Column INVERSES = Column::lookup_sha256_w_s_1_xor_1_inv;
284 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
285 ColumnAndShifts::sha256_w_2_rotr_17_xor_w_2_rotr_19,
286 ColumnAndShifts::sha256_lhs_w_10,
287 ColumnAndShifts::sha256_w_s_1,
288 ColumnAndShifts::sha256_xor_op_id,
289 ColumnAndShifts::sha256_u32_tag
290 };
291 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = { ColumnAndShifts::bitwise_acc_ia,
292 ColumnAndShifts::bitwise_acc_ib,
293 ColumnAndShifts::bitwise_acc_ic,
294 ColumnAndShifts::bitwise_op_id,
295 ColumnAndShifts::bitwise_tag_a };
296};
297
298using lookup_sha256_w_s_1_xor_1_settings = lookup_settings<lookup_sha256_w_s_1_xor_1_settings_>;
299template <typename FF_>
300using lookup_sha256_w_s_1_xor_1_relation = lookup_relation_base<FF_, lookup_sha256_w_s_1_xor_1_settings>;
301
303
304struct lookup_sha256_range_rhs_e_6_settings_ {
305 static constexpr std::string_view NAME = "LOOKUP_SHA256_RANGE_RHS_E_6";
306 static constexpr std::string_view RELATION_NAME = "sha256";
307 static constexpr size_t LOOKUP_TUPLE_SIZE = 3;
308 static constexpr Column SRC_SELECTOR = Column::sha256_perform_round;
309 static constexpr Column DST_SELECTOR = Column::gt_sel_sha256;
310 static constexpr Column COUNTS = Column::lookup_sha256_range_rhs_e_6_counts;
311 static constexpr Column INVERSES = Column::lookup_sha256_range_rhs_e_6_inv;
312 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
313 ColumnAndShifts::sha256_two_pow_6, ColumnAndShifts::sha256_rhs_e_6, ColumnAndShifts::sha256_perform_round
314 };
315 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = { ColumnAndShifts::gt_input_a,
316 ColumnAndShifts::gt_input_b,
317 ColumnAndShifts::gt_res };
318};
319
320using lookup_sha256_range_rhs_e_6_settings = lookup_settings<lookup_sha256_range_rhs_e_6_settings_>;
321template <typename FF_>
322using lookup_sha256_range_rhs_e_6_relation = lookup_relation_base<FF_, lookup_sha256_range_rhs_e_6_settings>;
323
325
326struct lookup_sha256_range_rhs_e_11_settings_ {
327 static constexpr std::string_view NAME = "LOOKUP_SHA256_RANGE_RHS_E_11";
328 static constexpr std::string_view RELATION_NAME = "sha256";
329 static constexpr size_t LOOKUP_TUPLE_SIZE = 3;
330 static constexpr Column SRC_SELECTOR = Column::sha256_perform_round;
331 static constexpr Column DST_SELECTOR = Column::gt_sel_sha256;
332 static constexpr Column COUNTS = Column::lookup_sha256_range_rhs_e_11_counts;
333 static constexpr Column INVERSES = Column::lookup_sha256_range_rhs_e_11_inv;
334 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
335 ColumnAndShifts::sha256_two_pow_11, ColumnAndShifts::sha256_rhs_e_11, ColumnAndShifts::sha256_perform_round
336 };
337 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = { ColumnAndShifts::gt_input_a,
338 ColumnAndShifts::gt_input_b,
339 ColumnAndShifts::gt_res };
340};
341
342using lookup_sha256_range_rhs_e_11_settings = lookup_settings<lookup_sha256_range_rhs_e_11_settings_>;
343template <typename FF_>
344using lookup_sha256_range_rhs_e_11_relation = lookup_relation_base<FF_, lookup_sha256_range_rhs_e_11_settings>;
345
347
348struct lookup_sha256_range_rhs_e_25_settings_ {
349 static constexpr std::string_view NAME = "LOOKUP_SHA256_RANGE_RHS_E_25";
350 static constexpr std::string_view RELATION_NAME = "sha256";
351 static constexpr size_t LOOKUP_TUPLE_SIZE = 3;
352 static constexpr Column SRC_SELECTOR = Column::sha256_perform_round;
353 static constexpr Column DST_SELECTOR = Column::gt_sel_sha256;
354 static constexpr Column COUNTS = Column::lookup_sha256_range_rhs_e_25_counts;
355 static constexpr Column INVERSES = Column::lookup_sha256_range_rhs_e_25_inv;
356 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
357 ColumnAndShifts::sha256_two_pow_25, ColumnAndShifts::sha256_rhs_e_25, ColumnAndShifts::sha256_perform_round
358 };
359 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = { ColumnAndShifts::gt_input_a,
360 ColumnAndShifts::gt_input_b,
361 ColumnAndShifts::gt_res };
362};
363
364using lookup_sha256_range_rhs_e_25_settings = lookup_settings<lookup_sha256_range_rhs_e_25_settings_>;
365template <typename FF_>
366using lookup_sha256_range_rhs_e_25_relation = lookup_relation_base<FF_, lookup_sha256_range_rhs_e_25_settings>;
367
369
370struct lookup_sha256_s_1_xor_0_settings_ {
371 static constexpr std::string_view NAME = "LOOKUP_SHA256_S_1_XOR_0";
372 static constexpr std::string_view RELATION_NAME = "sha256";
373 static constexpr size_t LOOKUP_TUPLE_SIZE = 5;
374 static constexpr Column SRC_SELECTOR = Column::sha256_perform_round;
375 static constexpr Column DST_SELECTOR = Column::bitwise_start_sha256;
376 static constexpr Column COUNTS = Column::lookup_sha256_s_1_xor_0_counts;
377 static constexpr Column INVERSES = Column::lookup_sha256_s_1_xor_0_inv;
378 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
379 ColumnAndShifts::sha256_e_rotr_6,
380 ColumnAndShifts::sha256_e_rotr_11,
381 ColumnAndShifts::sha256_e_rotr_6_xor_e_rotr_11,
382 ColumnAndShifts::sha256_xor_op_id,
383 ColumnAndShifts::sha256_u32_tag
384 };
385 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = { ColumnAndShifts::bitwise_acc_ia,
386 ColumnAndShifts::bitwise_acc_ib,
387 ColumnAndShifts::bitwise_acc_ic,
388 ColumnAndShifts::bitwise_op_id,
389 ColumnAndShifts::bitwise_tag_a };
390};
391
392using lookup_sha256_s_1_xor_0_settings = lookup_settings<lookup_sha256_s_1_xor_0_settings_>;
393template <typename FF_>
394using lookup_sha256_s_1_xor_0_relation = lookup_relation_base<FF_, lookup_sha256_s_1_xor_0_settings>;
395
397
398struct lookup_sha256_s_1_xor_1_settings_ {
399 static constexpr std::string_view NAME = "LOOKUP_SHA256_S_1_XOR_1";
400 static constexpr std::string_view RELATION_NAME = "sha256";
401 static constexpr size_t LOOKUP_TUPLE_SIZE = 5;
402 static constexpr Column SRC_SELECTOR = Column::sha256_perform_round;
403 static constexpr Column DST_SELECTOR = Column::bitwise_start_sha256;
404 static constexpr Column COUNTS = Column::lookup_sha256_s_1_xor_1_counts;
405 static constexpr Column INVERSES = Column::lookup_sha256_s_1_xor_1_inv;
406 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
407 ColumnAndShifts::sha256_e_rotr_6_xor_e_rotr_11,
408 ColumnAndShifts::sha256_e_rotr_25,
409 ColumnAndShifts::sha256_s_1,
410 ColumnAndShifts::sha256_xor_op_id,
411 ColumnAndShifts::sha256_u32_tag
412 };
413 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = { ColumnAndShifts::bitwise_acc_ia,
414 ColumnAndShifts::bitwise_acc_ib,
415 ColumnAndShifts::bitwise_acc_ic,
416 ColumnAndShifts::bitwise_op_id,
417 ColumnAndShifts::bitwise_tag_a };
418};
419
420using lookup_sha256_s_1_xor_1_settings = lookup_settings<lookup_sha256_s_1_xor_1_settings_>;
421template <typename FF_>
422using lookup_sha256_s_1_xor_1_relation = lookup_relation_base<FF_, lookup_sha256_s_1_xor_1_settings>;
423
425
426struct lookup_sha256_ch_and_0_settings_ {
427 static constexpr std::string_view NAME = "LOOKUP_SHA256_CH_AND_0";
428 static constexpr std::string_view RELATION_NAME = "sha256";
429 static constexpr size_t LOOKUP_TUPLE_SIZE = 5;
430 static constexpr Column SRC_SELECTOR = Column::sha256_perform_round;
431 static constexpr Column DST_SELECTOR = Column::bitwise_start_sha256;
432 static constexpr Column COUNTS = Column::lookup_sha256_ch_and_0_counts;
433 static constexpr Column INVERSES = Column::lookup_sha256_ch_and_0_inv;
434 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = { ColumnAndShifts::sha256_e,
435 ColumnAndShifts::sha256_f,
436 ColumnAndShifts::sha256_e_and_f,
437 ColumnAndShifts::sha256_and_op_id,
438 ColumnAndShifts::sha256_u32_tag };
439 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = { ColumnAndShifts::bitwise_acc_ia,
440 ColumnAndShifts::bitwise_acc_ib,
441 ColumnAndShifts::bitwise_acc_ic,
442 ColumnAndShifts::bitwise_op_id,
443 ColumnAndShifts::bitwise_tag_a };
444};
445
446using lookup_sha256_ch_and_0_settings = lookup_settings<lookup_sha256_ch_and_0_settings_>;
447template <typename FF_>
448using lookup_sha256_ch_and_0_relation = lookup_relation_base<FF_, lookup_sha256_ch_and_0_settings>;
449
451
452struct lookup_sha256_ch_and_1_settings_ {
453 static constexpr std::string_view NAME = "LOOKUP_SHA256_CH_AND_1";
454 static constexpr std::string_view RELATION_NAME = "sha256";
455 static constexpr size_t LOOKUP_TUPLE_SIZE = 5;
456 static constexpr Column SRC_SELECTOR = Column::sha256_perform_round;
457 static constexpr Column DST_SELECTOR = Column::bitwise_start_sha256;
458 static constexpr Column COUNTS = Column::lookup_sha256_ch_and_1_counts;
459 static constexpr Column INVERSES = Column::lookup_sha256_ch_and_1_inv;
460 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = { ColumnAndShifts::sha256_not_e,
461 ColumnAndShifts::sha256_g,
462 ColumnAndShifts::sha256_not_e_and_g,
463 ColumnAndShifts::sha256_and_op_id,
464 ColumnAndShifts::sha256_u32_tag };
465 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = { ColumnAndShifts::bitwise_acc_ia,
466 ColumnAndShifts::bitwise_acc_ib,
467 ColumnAndShifts::bitwise_acc_ic,
468 ColumnAndShifts::bitwise_op_id,
469 ColumnAndShifts::bitwise_tag_a };
470};
471
472using lookup_sha256_ch_and_1_settings = lookup_settings<lookup_sha256_ch_and_1_settings_>;
473template <typename FF_>
474using lookup_sha256_ch_and_1_relation = lookup_relation_base<FF_, lookup_sha256_ch_and_1_settings>;
475
477
478struct lookup_sha256_ch_xor_settings_ {
479 static constexpr std::string_view NAME = "LOOKUP_SHA256_CH_XOR";
480 static constexpr std::string_view RELATION_NAME = "sha256";
481 static constexpr size_t LOOKUP_TUPLE_SIZE = 5;
482 static constexpr Column SRC_SELECTOR = Column::sha256_perform_round;
483 static constexpr Column DST_SELECTOR = Column::bitwise_start_sha256;
484 static constexpr Column COUNTS = Column::lookup_sha256_ch_xor_counts;
485 static constexpr Column INVERSES = Column::lookup_sha256_ch_xor_inv;
486 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = { ColumnAndShifts::sha256_e_and_f,
487 ColumnAndShifts::sha256_not_e_and_g,
488 ColumnAndShifts::sha256_ch,
489 ColumnAndShifts::sha256_xor_op_id,
490 ColumnAndShifts::sha256_u32_tag };
491 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = { ColumnAndShifts::bitwise_acc_ia,
492 ColumnAndShifts::bitwise_acc_ib,
493 ColumnAndShifts::bitwise_acc_ic,
494 ColumnAndShifts::bitwise_op_id,
495 ColumnAndShifts::bitwise_tag_a };
496};
497
498using lookup_sha256_ch_xor_settings = lookup_settings<lookup_sha256_ch_xor_settings_>;
499template <typename FF_> using lookup_sha256_ch_xor_relation = lookup_relation_base<FF_, lookup_sha256_ch_xor_settings>;
500
502
503struct lookup_sha256_round_constant_settings_ {
504 static constexpr std::string_view NAME = "LOOKUP_SHA256_ROUND_CONSTANT";
505 static constexpr std::string_view RELATION_NAME = "sha256";
506 static constexpr size_t LOOKUP_TUPLE_SIZE = 2;
507 static constexpr Column SRC_SELECTOR = Column::sha256_perform_round;
508 static constexpr Column DST_SELECTOR = Column::precomputed_sel_sha256_compression;
509 static constexpr Column COUNTS = Column::lookup_sha256_round_constant_counts;
510 static constexpr Column INVERSES = Column::lookup_sha256_round_constant_inv;
511 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
512 ColumnAndShifts::sha256_round_count, ColumnAndShifts::sha256_round_constant
513 };
514 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = {
515 ColumnAndShifts::precomputed_idx, ColumnAndShifts::precomputed_sha256_compression_round_constant
516 };
517};
518
519using lookup_sha256_round_constant_settings = lookup_settings<lookup_sha256_round_constant_settings_>;
520template <typename FF_>
521using lookup_sha256_round_constant_relation = lookup_relation_base<FF_, lookup_sha256_round_constant_settings>;
522
524
525struct lookup_sha256_range_rhs_a_2_settings_ {
526 static constexpr std::string_view NAME = "LOOKUP_SHA256_RANGE_RHS_A_2";
527 static constexpr std::string_view RELATION_NAME = "sha256";
528 static constexpr size_t LOOKUP_TUPLE_SIZE = 3;
529 static constexpr Column SRC_SELECTOR = Column::sha256_perform_round;
530 static constexpr Column DST_SELECTOR = Column::gt_sel_sha256;
531 static constexpr Column COUNTS = Column::lookup_sha256_range_rhs_a_2_counts;
532 static constexpr Column INVERSES = Column::lookup_sha256_range_rhs_a_2_inv;
533 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
534 ColumnAndShifts::sha256_two_pow_2, ColumnAndShifts::sha256_rhs_a_2, ColumnAndShifts::sha256_perform_round
535 };
536 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = { ColumnAndShifts::gt_input_a,
537 ColumnAndShifts::gt_input_b,
538 ColumnAndShifts::gt_res };
539};
540
541using lookup_sha256_range_rhs_a_2_settings = lookup_settings<lookup_sha256_range_rhs_a_2_settings_>;
542template <typename FF_>
543using lookup_sha256_range_rhs_a_2_relation = lookup_relation_base<FF_, lookup_sha256_range_rhs_a_2_settings>;
544
546
547struct lookup_sha256_range_rhs_a_13_settings_ {
548 static constexpr std::string_view NAME = "LOOKUP_SHA256_RANGE_RHS_A_13";
549 static constexpr std::string_view RELATION_NAME = "sha256";
550 static constexpr size_t LOOKUP_TUPLE_SIZE = 3;
551 static constexpr Column SRC_SELECTOR = Column::sha256_perform_round;
552 static constexpr Column DST_SELECTOR = Column::gt_sel_sha256;
553 static constexpr Column COUNTS = Column::lookup_sha256_range_rhs_a_13_counts;
554 static constexpr Column INVERSES = Column::lookup_sha256_range_rhs_a_13_inv;
555 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
556 ColumnAndShifts::sha256_two_pow_13, ColumnAndShifts::sha256_rhs_a_13, ColumnAndShifts::sha256_perform_round
557 };
558 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = { ColumnAndShifts::gt_input_a,
559 ColumnAndShifts::gt_input_b,
560 ColumnAndShifts::gt_res };
561};
562
563using lookup_sha256_range_rhs_a_13_settings = lookup_settings<lookup_sha256_range_rhs_a_13_settings_>;
564template <typename FF_>
565using lookup_sha256_range_rhs_a_13_relation = lookup_relation_base<FF_, lookup_sha256_range_rhs_a_13_settings>;
566
568
569struct lookup_sha256_range_rhs_a_22_settings_ {
570 static constexpr std::string_view NAME = "LOOKUP_SHA256_RANGE_RHS_A_22";
571 static constexpr std::string_view RELATION_NAME = "sha256";
572 static constexpr size_t LOOKUP_TUPLE_SIZE = 3;
573 static constexpr Column SRC_SELECTOR = Column::sha256_perform_round;
574 static constexpr Column DST_SELECTOR = Column::gt_sel_sha256;
575 static constexpr Column COUNTS = Column::lookup_sha256_range_rhs_a_22_counts;
576 static constexpr Column INVERSES = Column::lookup_sha256_range_rhs_a_22_inv;
577 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
578 ColumnAndShifts::sha256_two_pow_22, ColumnAndShifts::sha256_rhs_a_22, ColumnAndShifts::sha256_perform_round
579 };
580 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = { ColumnAndShifts::gt_input_a,
581 ColumnAndShifts::gt_input_b,
582 ColumnAndShifts::gt_res };
583};
584
585using lookup_sha256_range_rhs_a_22_settings = lookup_settings<lookup_sha256_range_rhs_a_22_settings_>;
586template <typename FF_>
587using lookup_sha256_range_rhs_a_22_relation = lookup_relation_base<FF_, lookup_sha256_range_rhs_a_22_settings>;
588
590
591struct lookup_sha256_s_0_xor_0_settings_ {
592 static constexpr std::string_view NAME = "LOOKUP_SHA256_S_0_XOR_0";
593 static constexpr std::string_view RELATION_NAME = "sha256";
594 static constexpr size_t LOOKUP_TUPLE_SIZE = 5;
595 static constexpr Column SRC_SELECTOR = Column::sha256_perform_round;
596 static constexpr Column DST_SELECTOR = Column::bitwise_start_sha256;
597 static constexpr Column COUNTS = Column::lookup_sha256_s_0_xor_0_counts;
598 static constexpr Column INVERSES = Column::lookup_sha256_s_0_xor_0_inv;
599 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
600 ColumnAndShifts::sha256_a_rotr_2,
601 ColumnAndShifts::sha256_a_rotr_13,
602 ColumnAndShifts::sha256_a_rotr_2_xor_a_rotr_13,
603 ColumnAndShifts::sha256_xor_op_id,
604 ColumnAndShifts::sha256_u32_tag
605 };
606 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = { ColumnAndShifts::bitwise_acc_ia,
607 ColumnAndShifts::bitwise_acc_ib,
608 ColumnAndShifts::bitwise_acc_ic,
609 ColumnAndShifts::bitwise_op_id,
610 ColumnAndShifts::bitwise_tag_a };
611};
612
613using lookup_sha256_s_0_xor_0_settings = lookup_settings<lookup_sha256_s_0_xor_0_settings_>;
614template <typename FF_>
615using lookup_sha256_s_0_xor_0_relation = lookup_relation_base<FF_, lookup_sha256_s_0_xor_0_settings>;
616
618
619struct lookup_sha256_s_0_xor_1_settings_ {
620 static constexpr std::string_view NAME = "LOOKUP_SHA256_S_0_XOR_1";
621 static constexpr std::string_view RELATION_NAME = "sha256";
622 static constexpr size_t LOOKUP_TUPLE_SIZE = 5;
623 static constexpr Column SRC_SELECTOR = Column::sha256_perform_round;
624 static constexpr Column DST_SELECTOR = Column::bitwise_start_sha256;
625 static constexpr Column COUNTS = Column::lookup_sha256_s_0_xor_1_counts;
626 static constexpr Column INVERSES = Column::lookup_sha256_s_0_xor_1_inv;
627 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
628 ColumnAndShifts::sha256_a_rotr_2_xor_a_rotr_13,
629 ColumnAndShifts::sha256_a_rotr_22,
630 ColumnAndShifts::sha256_s_0,
631 ColumnAndShifts::sha256_xor_op_id,
632 ColumnAndShifts::sha256_u32_tag
633 };
634 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = { ColumnAndShifts::bitwise_acc_ia,
635 ColumnAndShifts::bitwise_acc_ib,
636 ColumnAndShifts::bitwise_acc_ic,
637 ColumnAndShifts::bitwise_op_id,
638 ColumnAndShifts::bitwise_tag_a };
639};
640
641using lookup_sha256_s_0_xor_1_settings = lookup_settings<lookup_sha256_s_0_xor_1_settings_>;
642template <typename FF_>
643using lookup_sha256_s_0_xor_1_relation = lookup_relation_base<FF_, lookup_sha256_s_0_xor_1_settings>;
644
646
647struct lookup_sha256_maj_and_0_settings_ {
648 static constexpr std::string_view NAME = "LOOKUP_SHA256_MAJ_AND_0";
649 static constexpr std::string_view RELATION_NAME = "sha256";
650 static constexpr size_t LOOKUP_TUPLE_SIZE = 5;
651 static constexpr Column SRC_SELECTOR = Column::sha256_perform_round;
652 static constexpr Column DST_SELECTOR = Column::bitwise_start_sha256;
653 static constexpr Column COUNTS = Column::lookup_sha256_maj_and_0_counts;
654 static constexpr Column INVERSES = Column::lookup_sha256_maj_and_0_inv;
655 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = { ColumnAndShifts::sha256_a,
656 ColumnAndShifts::sha256_b,
657 ColumnAndShifts::sha256_a_and_b,
658 ColumnAndShifts::sha256_and_op_id,
659 ColumnAndShifts::sha256_u32_tag };
660 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = { ColumnAndShifts::bitwise_acc_ia,
661 ColumnAndShifts::bitwise_acc_ib,
662 ColumnAndShifts::bitwise_acc_ic,
663 ColumnAndShifts::bitwise_op_id,
664 ColumnAndShifts::bitwise_tag_a };
665};
666
667using lookup_sha256_maj_and_0_settings = lookup_settings<lookup_sha256_maj_and_0_settings_>;
668template <typename FF_>
669using lookup_sha256_maj_and_0_relation = lookup_relation_base<FF_, lookup_sha256_maj_and_0_settings>;
670
672
673struct lookup_sha256_maj_and_1_settings_ {
674 static constexpr std::string_view NAME = "LOOKUP_SHA256_MAJ_AND_1";
675 static constexpr std::string_view RELATION_NAME = "sha256";
676 static constexpr size_t LOOKUP_TUPLE_SIZE = 5;
677 static constexpr Column SRC_SELECTOR = Column::sha256_perform_round;
678 static constexpr Column DST_SELECTOR = Column::bitwise_start_sha256;
679 static constexpr Column COUNTS = Column::lookup_sha256_maj_and_1_counts;
680 static constexpr Column INVERSES = Column::lookup_sha256_maj_and_1_inv;
681 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = { ColumnAndShifts::sha256_a,
682 ColumnAndShifts::sha256_c,
683 ColumnAndShifts::sha256_a_and_c,
684 ColumnAndShifts::sha256_and_op_id,
685 ColumnAndShifts::sha256_u32_tag };
686 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = { ColumnAndShifts::bitwise_acc_ia,
687 ColumnAndShifts::bitwise_acc_ib,
688 ColumnAndShifts::bitwise_acc_ic,
689 ColumnAndShifts::bitwise_op_id,
690 ColumnAndShifts::bitwise_tag_a };
691};
692
693using lookup_sha256_maj_and_1_settings = lookup_settings<lookup_sha256_maj_and_1_settings_>;
694template <typename FF_>
695using lookup_sha256_maj_and_1_relation = lookup_relation_base<FF_, lookup_sha256_maj_and_1_settings>;
696
698
699struct lookup_sha256_maj_and_2_settings_ {
700 static constexpr std::string_view NAME = "LOOKUP_SHA256_MAJ_AND_2";
701 static constexpr std::string_view RELATION_NAME = "sha256";
702 static constexpr size_t LOOKUP_TUPLE_SIZE = 5;
703 static constexpr Column SRC_SELECTOR = Column::sha256_perform_round;
704 static constexpr Column DST_SELECTOR = Column::bitwise_start_sha256;
705 static constexpr Column COUNTS = Column::lookup_sha256_maj_and_2_counts;
706 static constexpr Column INVERSES = Column::lookup_sha256_maj_and_2_inv;
707 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = { ColumnAndShifts::sha256_b,
708 ColumnAndShifts::sha256_c,
709 ColumnAndShifts::sha256_b_and_c,
710 ColumnAndShifts::sha256_and_op_id,
711 ColumnAndShifts::sha256_u32_tag };
712 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = { ColumnAndShifts::bitwise_acc_ia,
713 ColumnAndShifts::bitwise_acc_ib,
714 ColumnAndShifts::bitwise_acc_ic,
715 ColumnAndShifts::bitwise_op_id,
716 ColumnAndShifts::bitwise_tag_a };
717};
718
719using lookup_sha256_maj_and_2_settings = lookup_settings<lookup_sha256_maj_and_2_settings_>;
720template <typename FF_>
721using lookup_sha256_maj_and_2_relation = lookup_relation_base<FF_, lookup_sha256_maj_and_2_settings>;
722
724
725struct lookup_sha256_maj_xor_0_settings_ {
726 static constexpr std::string_view NAME = "LOOKUP_SHA256_MAJ_XOR_0";
727 static constexpr std::string_view RELATION_NAME = "sha256";
728 static constexpr size_t LOOKUP_TUPLE_SIZE = 5;
729 static constexpr Column SRC_SELECTOR = Column::sha256_perform_round;
730 static constexpr Column DST_SELECTOR = Column::bitwise_start_sha256;
731 static constexpr Column COUNTS = Column::lookup_sha256_maj_xor_0_counts;
732 static constexpr Column INVERSES = Column::lookup_sha256_maj_xor_0_inv;
733 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
734 ColumnAndShifts::sha256_a_and_b,
735 ColumnAndShifts::sha256_a_and_c,
736 ColumnAndShifts::sha256_a_and_b_xor_a_and_c,
737 ColumnAndShifts::sha256_xor_op_id,
738 ColumnAndShifts::sha256_u32_tag
739 };
740 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = { ColumnAndShifts::bitwise_acc_ia,
741 ColumnAndShifts::bitwise_acc_ib,
742 ColumnAndShifts::bitwise_acc_ic,
743 ColumnAndShifts::bitwise_op_id,
744 ColumnAndShifts::bitwise_tag_a };
745};
746
747using lookup_sha256_maj_xor_0_settings = lookup_settings<lookup_sha256_maj_xor_0_settings_>;
748template <typename FF_>
749using lookup_sha256_maj_xor_0_relation = lookup_relation_base<FF_, lookup_sha256_maj_xor_0_settings>;
750
752
753struct lookup_sha256_maj_xor_1_settings_ {
754 static constexpr std::string_view NAME = "LOOKUP_SHA256_MAJ_XOR_1";
755 static constexpr std::string_view RELATION_NAME = "sha256";
756 static constexpr size_t LOOKUP_TUPLE_SIZE = 5;
757 static constexpr Column SRC_SELECTOR = Column::sha256_perform_round;
758 static constexpr Column DST_SELECTOR = Column::bitwise_start_sha256;
759 static constexpr Column COUNTS = Column::lookup_sha256_maj_xor_1_counts;
760 static constexpr Column INVERSES = Column::lookup_sha256_maj_xor_1_inv;
761 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
762 ColumnAndShifts::sha256_a_and_b_xor_a_and_c,
763 ColumnAndShifts::sha256_b_and_c,
764 ColumnAndShifts::sha256_maj,
765 ColumnAndShifts::sha256_xor_op_id,
766 ColumnAndShifts::sha256_u32_tag
767 };
768 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = { ColumnAndShifts::bitwise_acc_ia,
769 ColumnAndShifts::bitwise_acc_ib,
770 ColumnAndShifts::bitwise_acc_ic,
771 ColumnAndShifts::bitwise_op_id,
772 ColumnAndShifts::bitwise_tag_a };
773};
774
775using lookup_sha256_maj_xor_1_settings = lookup_settings<lookup_sha256_maj_xor_1_settings_>;
776template <typename FF_>
777using lookup_sha256_maj_xor_1_relation = lookup_relation_base<FF_, lookup_sha256_maj_xor_1_settings>;
778
780
781struct lookup_sha256_range_comp_next_a_lhs_settings_ {
782 static constexpr std::string_view NAME = "LOOKUP_SHA256_RANGE_COMP_NEXT_A_LHS";
783 static constexpr std::string_view RELATION_NAME = "sha256";
784 static constexpr size_t LOOKUP_TUPLE_SIZE = 1;
785 static constexpr Column SRC_SELECTOR = Column::sha256_perform_round;
786 static constexpr Column DST_SELECTOR = Column::precomputed_sel_range_8;
787 static constexpr Column COUNTS = Column::lookup_sha256_range_comp_next_a_lhs_counts;
788 static constexpr Column INVERSES = Column::lookup_sha256_range_comp_next_a_lhs_inv;
789 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
790 ColumnAndShifts::sha256_next_a_lhs
791 };
792 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = { ColumnAndShifts::precomputed_idx };
793};
794
795using lookup_sha256_range_comp_next_a_lhs_settings = lookup_settings<lookup_sha256_range_comp_next_a_lhs_settings_>;
796template <typename FF_>
797using lookup_sha256_range_comp_next_a_lhs_relation =
798 lookup_relation_base<FF_, lookup_sha256_range_comp_next_a_lhs_settings>;
799
801
802struct lookup_sha256_range_comp_next_a_rhs_settings_ {
803 static constexpr std::string_view NAME = "LOOKUP_SHA256_RANGE_COMP_NEXT_A_RHS";
804 static constexpr std::string_view RELATION_NAME = "sha256";
805 static constexpr size_t LOOKUP_TUPLE_SIZE = 3;
806 static constexpr Column SRC_SELECTOR = Column::sha256_perform_round;
807 static constexpr Column DST_SELECTOR = Column::gt_sel_sha256;
808 static constexpr Column COUNTS = Column::lookup_sha256_range_comp_next_a_rhs_counts;
809 static constexpr Column INVERSES = Column::lookup_sha256_range_comp_next_a_rhs_inv;
810 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
811 ColumnAndShifts::sha256_two_pow_32, ColumnAndShifts::sha256_next_a_rhs, ColumnAndShifts::sha256_perform_round
812 };
813 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = { ColumnAndShifts::gt_input_a,
814 ColumnAndShifts::gt_input_b,
815 ColumnAndShifts::gt_res };
816};
817
818using lookup_sha256_range_comp_next_a_rhs_settings = lookup_settings<lookup_sha256_range_comp_next_a_rhs_settings_>;
819template <typename FF_>
820using lookup_sha256_range_comp_next_a_rhs_relation =
821 lookup_relation_base<FF_, lookup_sha256_range_comp_next_a_rhs_settings>;
822
824
825struct lookup_sha256_range_comp_next_e_lhs_settings_ {
826 static constexpr std::string_view NAME = "LOOKUP_SHA256_RANGE_COMP_NEXT_E_LHS";
827 static constexpr std::string_view RELATION_NAME = "sha256";
828 static constexpr size_t LOOKUP_TUPLE_SIZE = 1;
829 static constexpr Column SRC_SELECTOR = Column::sha256_perform_round;
830 static constexpr Column DST_SELECTOR = Column::precomputed_sel_range_8;
831 static constexpr Column COUNTS = Column::lookup_sha256_range_comp_next_e_lhs_counts;
832 static constexpr Column INVERSES = Column::lookup_sha256_range_comp_next_e_lhs_inv;
833 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
834 ColumnAndShifts::sha256_next_e_lhs
835 };
836 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = { ColumnAndShifts::precomputed_idx };
837};
838
839using lookup_sha256_range_comp_next_e_lhs_settings = lookup_settings<lookup_sha256_range_comp_next_e_lhs_settings_>;
840template <typename FF_>
841using lookup_sha256_range_comp_next_e_lhs_relation =
842 lookup_relation_base<FF_, lookup_sha256_range_comp_next_e_lhs_settings>;
843
845
846struct lookup_sha256_range_comp_next_e_rhs_settings_ {
847 static constexpr std::string_view NAME = "LOOKUP_SHA256_RANGE_COMP_NEXT_E_RHS";
848 static constexpr std::string_view RELATION_NAME = "sha256";
849 static constexpr size_t LOOKUP_TUPLE_SIZE = 3;
850 static constexpr Column SRC_SELECTOR = Column::sha256_perform_round;
851 static constexpr Column DST_SELECTOR = Column::gt_sel_sha256;
852 static constexpr Column COUNTS = Column::lookup_sha256_range_comp_next_e_rhs_counts;
853 static constexpr Column INVERSES = Column::lookup_sha256_range_comp_next_e_rhs_inv;
854 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
855 ColumnAndShifts::sha256_two_pow_32, ColumnAndShifts::sha256_next_e_rhs, ColumnAndShifts::sha256_perform_round
856 };
857 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = { ColumnAndShifts::gt_input_a,
858 ColumnAndShifts::gt_input_b,
859 ColumnAndShifts::gt_res };
860};
861
862using lookup_sha256_range_comp_next_e_rhs_settings = lookup_settings<lookup_sha256_range_comp_next_e_rhs_settings_>;
863template <typename FF_>
864using lookup_sha256_range_comp_next_e_rhs_relation =
865 lookup_relation_base<FF_, lookup_sha256_range_comp_next_e_rhs_settings>;
866
868
869struct lookup_sha256_range_comp_a_rhs_settings_ {
870 static constexpr std::string_view NAME = "LOOKUP_SHA256_RANGE_COMP_A_RHS";
871 static constexpr std::string_view RELATION_NAME = "sha256";
872 static constexpr size_t LOOKUP_TUPLE_SIZE = 3;
873 static constexpr Column SRC_SELECTOR = Column::sha256_last;
874 static constexpr Column DST_SELECTOR = Column::gt_sel_sha256;
875 static constexpr Column COUNTS = Column::lookup_sha256_range_comp_a_rhs_counts;
876 static constexpr Column INVERSES = Column::lookup_sha256_range_comp_a_rhs_inv;
877 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
878 ColumnAndShifts::sha256_two_pow_32, ColumnAndShifts::sha256_output_a_rhs, ColumnAndShifts::sha256_last
879 };
880 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = { ColumnAndShifts::gt_input_a,
881 ColumnAndShifts::gt_input_b,
882 ColumnAndShifts::gt_res };
883};
884
885using lookup_sha256_range_comp_a_rhs_settings = lookup_settings<lookup_sha256_range_comp_a_rhs_settings_>;
886template <typename FF_>
887using lookup_sha256_range_comp_a_rhs_relation = lookup_relation_base<FF_, lookup_sha256_range_comp_a_rhs_settings>;
888
890
891struct lookup_sha256_range_comp_b_rhs_settings_ {
892 static constexpr std::string_view NAME = "LOOKUP_SHA256_RANGE_COMP_B_RHS";
893 static constexpr std::string_view RELATION_NAME = "sha256";
894 static constexpr size_t LOOKUP_TUPLE_SIZE = 3;
895 static constexpr Column SRC_SELECTOR = Column::sha256_last;
896 static constexpr Column DST_SELECTOR = Column::gt_sel_sha256;
897 static constexpr Column COUNTS = Column::lookup_sha256_range_comp_b_rhs_counts;
898 static constexpr Column INVERSES = Column::lookup_sha256_range_comp_b_rhs_inv;
899 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
900 ColumnAndShifts::sha256_two_pow_32, ColumnAndShifts::sha256_output_b_rhs, ColumnAndShifts::sha256_last
901 };
902 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = { ColumnAndShifts::gt_input_a,
903 ColumnAndShifts::gt_input_b,
904 ColumnAndShifts::gt_res };
905};
906
907using lookup_sha256_range_comp_b_rhs_settings = lookup_settings<lookup_sha256_range_comp_b_rhs_settings_>;
908template <typename FF_>
909using lookup_sha256_range_comp_b_rhs_relation = lookup_relation_base<FF_, lookup_sha256_range_comp_b_rhs_settings>;
910
912
913struct lookup_sha256_range_comp_c_rhs_settings_ {
914 static constexpr std::string_view NAME = "LOOKUP_SHA256_RANGE_COMP_C_RHS";
915 static constexpr std::string_view RELATION_NAME = "sha256";
916 static constexpr size_t LOOKUP_TUPLE_SIZE = 3;
917 static constexpr Column SRC_SELECTOR = Column::sha256_last;
918 static constexpr Column DST_SELECTOR = Column::gt_sel_sha256;
919 static constexpr Column COUNTS = Column::lookup_sha256_range_comp_c_rhs_counts;
920 static constexpr Column INVERSES = Column::lookup_sha256_range_comp_c_rhs_inv;
921 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
922 ColumnAndShifts::sha256_two_pow_32, ColumnAndShifts::sha256_output_c_rhs, ColumnAndShifts::sha256_last
923 };
924 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = { ColumnAndShifts::gt_input_a,
925 ColumnAndShifts::gt_input_b,
926 ColumnAndShifts::gt_res };
927};
928
929using lookup_sha256_range_comp_c_rhs_settings = lookup_settings<lookup_sha256_range_comp_c_rhs_settings_>;
930template <typename FF_>
931using lookup_sha256_range_comp_c_rhs_relation = lookup_relation_base<FF_, lookup_sha256_range_comp_c_rhs_settings>;
932
934
935struct lookup_sha256_range_comp_d_rhs_settings_ {
936 static constexpr std::string_view NAME = "LOOKUP_SHA256_RANGE_COMP_D_RHS";
937 static constexpr std::string_view RELATION_NAME = "sha256";
938 static constexpr size_t LOOKUP_TUPLE_SIZE = 3;
939 static constexpr Column SRC_SELECTOR = Column::sha256_last;
940 static constexpr Column DST_SELECTOR = Column::gt_sel_sha256;
941 static constexpr Column COUNTS = Column::lookup_sha256_range_comp_d_rhs_counts;
942 static constexpr Column INVERSES = Column::lookup_sha256_range_comp_d_rhs_inv;
943 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
944 ColumnAndShifts::sha256_two_pow_32, ColumnAndShifts::sha256_output_d_rhs, ColumnAndShifts::sha256_last
945 };
946 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = { ColumnAndShifts::gt_input_a,
947 ColumnAndShifts::gt_input_b,
948 ColumnAndShifts::gt_res };
949};
950
951using lookup_sha256_range_comp_d_rhs_settings = lookup_settings<lookup_sha256_range_comp_d_rhs_settings_>;
952template <typename FF_>
953using lookup_sha256_range_comp_d_rhs_relation = lookup_relation_base<FF_, lookup_sha256_range_comp_d_rhs_settings>;
954
956
957struct lookup_sha256_range_comp_e_rhs_settings_ {
958 static constexpr std::string_view NAME = "LOOKUP_SHA256_RANGE_COMP_E_RHS";
959 static constexpr std::string_view RELATION_NAME = "sha256";
960 static constexpr size_t LOOKUP_TUPLE_SIZE = 3;
961 static constexpr Column SRC_SELECTOR = Column::sha256_last;
962 static constexpr Column DST_SELECTOR = Column::gt_sel_sha256;
963 static constexpr Column COUNTS = Column::lookup_sha256_range_comp_e_rhs_counts;
964 static constexpr Column INVERSES = Column::lookup_sha256_range_comp_e_rhs_inv;
965 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
966 ColumnAndShifts::sha256_two_pow_32, ColumnAndShifts::sha256_output_e_rhs, ColumnAndShifts::sha256_last
967 };
968 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = { ColumnAndShifts::gt_input_a,
969 ColumnAndShifts::gt_input_b,
970 ColumnAndShifts::gt_res };
971};
972
973using lookup_sha256_range_comp_e_rhs_settings = lookup_settings<lookup_sha256_range_comp_e_rhs_settings_>;
974template <typename FF_>
975using lookup_sha256_range_comp_e_rhs_relation = lookup_relation_base<FF_, lookup_sha256_range_comp_e_rhs_settings>;
976
978
979struct lookup_sha256_range_comp_f_rhs_settings_ {
980 static constexpr std::string_view NAME = "LOOKUP_SHA256_RANGE_COMP_F_RHS";
981 static constexpr std::string_view RELATION_NAME = "sha256";
982 static constexpr size_t LOOKUP_TUPLE_SIZE = 3;
983 static constexpr Column SRC_SELECTOR = Column::sha256_last;
984 static constexpr Column DST_SELECTOR = Column::gt_sel_sha256;
985 static constexpr Column COUNTS = Column::lookup_sha256_range_comp_f_rhs_counts;
986 static constexpr Column INVERSES = Column::lookup_sha256_range_comp_f_rhs_inv;
987 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
988 ColumnAndShifts::sha256_two_pow_32, ColumnAndShifts::sha256_output_f_rhs, ColumnAndShifts::sha256_last
989 };
990 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = { ColumnAndShifts::gt_input_a,
991 ColumnAndShifts::gt_input_b,
992 ColumnAndShifts::gt_res };
993};
994
995using lookup_sha256_range_comp_f_rhs_settings = lookup_settings<lookup_sha256_range_comp_f_rhs_settings_>;
996template <typename FF_>
997using lookup_sha256_range_comp_f_rhs_relation = lookup_relation_base<FF_, lookup_sha256_range_comp_f_rhs_settings>;
998
1000
1001struct lookup_sha256_range_comp_g_rhs_settings_ {
1002 static constexpr std::string_view NAME = "LOOKUP_SHA256_RANGE_COMP_G_RHS";
1003 static constexpr std::string_view RELATION_NAME = "sha256";
1004 static constexpr size_t LOOKUP_TUPLE_SIZE = 3;
1005 static constexpr Column SRC_SELECTOR = Column::sha256_last;
1006 static constexpr Column DST_SELECTOR = Column::gt_sel_sha256;
1007 static constexpr Column COUNTS = Column::lookup_sha256_range_comp_g_rhs_counts;
1008 static constexpr Column INVERSES = Column::lookup_sha256_range_comp_g_rhs_inv;
1009 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
1010 ColumnAndShifts::sha256_two_pow_32, ColumnAndShifts::sha256_output_g_rhs, ColumnAndShifts::sha256_last
1011 };
1012 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = { ColumnAndShifts::gt_input_a,
1013 ColumnAndShifts::gt_input_b,
1014 ColumnAndShifts::gt_res };
1015};
1016
1017using lookup_sha256_range_comp_g_rhs_settings = lookup_settings<lookup_sha256_range_comp_g_rhs_settings_>;
1018template <typename FF_>
1019using lookup_sha256_range_comp_g_rhs_relation = lookup_relation_base<FF_, lookup_sha256_range_comp_g_rhs_settings>;
1020
1022
1023struct lookup_sha256_range_comp_h_rhs_settings_ {
1024 static constexpr std::string_view NAME = "LOOKUP_SHA256_RANGE_COMP_H_RHS";
1025 static constexpr std::string_view RELATION_NAME = "sha256";
1026 static constexpr size_t LOOKUP_TUPLE_SIZE = 3;
1027 static constexpr Column SRC_SELECTOR = Column::sha256_last;
1028 static constexpr Column DST_SELECTOR = Column::gt_sel_sha256;
1029 static constexpr Column COUNTS = Column::lookup_sha256_range_comp_h_rhs_counts;
1030 static constexpr Column INVERSES = Column::lookup_sha256_range_comp_h_rhs_inv;
1031 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> SRC_COLUMNS = {
1032 ColumnAndShifts::sha256_two_pow_32, ColumnAndShifts::sha256_output_h_rhs, ColumnAndShifts::sha256_last
1033 };
1034 static constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> DST_COLUMNS = { ColumnAndShifts::gt_input_a,
1035 ColumnAndShifts::gt_input_b,
1036 ColumnAndShifts::gt_res };
1037};
1038
1039using lookup_sha256_range_comp_h_rhs_settings = lookup_settings<lookup_sha256_range_comp_h_rhs_settings_>;
1040template <typename FF_>
1041using lookup_sha256_range_comp_h_rhs_relation = lookup_relation_base<FF_, lookup_sha256_range_comp_h_rhs_settings>;
1042
1043} // namespace bb::avm2
generic_lookup_relation.hpp
interactions_base.hpp
bb::avm2::lookup_relation_base
Definition interactions_base.hpp:70
bb::avm2::lookup_settings
Settings to be passed ot GenericLookupRelationImpl.
Definition interactions_base.hpp:20
bb::avm2::lookup_sha256_ch_and_0_settings_
Definition lookups_sha256.hpp:426
bb::avm2::lookup_sha256_ch_and_0_settings_::RELATION_NAME
static constexpr std::string_view RELATION_NAME
Definition lookups_sha256.hpp:428
bb::avm2::lookup_sha256_ch_and_0_settings_::DST_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > DST_COLUMNS
Definition lookups_sha256.hpp:439
bb::avm2::lookup_sha256_ch_and_0_settings_::SRC_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > SRC_COLUMNS
Definition lookups_sha256.hpp:434
bb::avm2::lookup_sha256_ch_and_0_settings_::COUNTS
static constexpr Column COUNTS
Definition lookups_sha256.hpp:432
bb::avm2::lookup_sha256_ch_and_0_settings_::INVERSES
static constexpr Column INVERSES
Definition lookups_sha256.hpp:433
bb::avm2::lookup_sha256_ch_and_0_settings_::LOOKUP_TUPLE_SIZE
static constexpr size_t LOOKUP_TUPLE_SIZE
Definition lookups_sha256.hpp:429
bb::avm2::lookup_sha256_ch_and_0_settings_::DST_SELECTOR
static constexpr Column DST_SELECTOR
Definition lookups_sha256.hpp:431
bb::avm2::lookup_sha256_ch_and_0_settings_::NAME
static constexpr std::string_view NAME
Definition lookups_sha256.hpp:427
bb::avm2::lookup_sha256_ch_and_0_settings_::SRC_SELECTOR
static constexpr Column SRC_SELECTOR
Definition lookups_sha256.hpp:430
bb::avm2::lookup_sha256_ch_and_1_settings_
Definition lookups_sha256.hpp:452
bb::avm2::lookup_sha256_ch_and_1_settings_::NAME
static constexpr std::string_view NAME
Definition lookups_sha256.hpp:453
bb::avm2::lookup_sha256_ch_and_1_settings_::SRC_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > SRC_COLUMNS
Definition lookups_sha256.hpp:460
bb::avm2::lookup_sha256_ch_and_1_settings_::RELATION_NAME
static constexpr std::string_view RELATION_NAME
Definition lookups_sha256.hpp:454
bb::avm2::lookup_sha256_ch_and_1_settings_::COUNTS
static constexpr Column COUNTS
Definition lookups_sha256.hpp:458
bb::avm2::lookup_sha256_ch_and_1_settings_::DST_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > DST_COLUMNS
Definition lookups_sha256.hpp:465
bb::avm2::lookup_sha256_ch_and_1_settings_::SRC_SELECTOR
static constexpr Column SRC_SELECTOR
Definition lookups_sha256.hpp:456
bb::avm2::lookup_sha256_ch_and_1_settings_::INVERSES
static constexpr Column INVERSES
Definition lookups_sha256.hpp:459
bb::avm2::lookup_sha256_ch_and_1_settings_::DST_SELECTOR
static constexpr Column DST_SELECTOR
Definition lookups_sha256.hpp:457
bb::avm2::lookup_sha256_ch_and_1_settings_::LOOKUP_TUPLE_SIZE
static constexpr size_t LOOKUP_TUPLE_SIZE
Definition lookups_sha256.hpp:455
bb::avm2::lookup_sha256_ch_xor_settings_
Definition lookups_sha256.hpp:478
bb::avm2::lookup_sha256_ch_xor_settings_::LOOKUP_TUPLE_SIZE
static constexpr size_t LOOKUP_TUPLE_SIZE
Definition lookups_sha256.hpp:481
bb::avm2::lookup_sha256_ch_xor_settings_::DST_SELECTOR
static constexpr Column DST_SELECTOR
Definition lookups_sha256.hpp:483
bb::avm2::lookup_sha256_ch_xor_settings_::RELATION_NAME
static constexpr std::string_view RELATION_NAME
Definition lookups_sha256.hpp:480
bb::avm2::lookup_sha256_ch_xor_settings_::NAME
static constexpr std::string_view NAME
Definition lookups_sha256.hpp:479
bb::avm2::lookup_sha256_ch_xor_settings_::INVERSES
static constexpr Column INVERSES
Definition lookups_sha256.hpp:485
bb::avm2::lookup_sha256_ch_xor_settings_::SRC_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > SRC_COLUMNS
Definition lookups_sha256.hpp:486
bb::avm2::lookup_sha256_ch_xor_settings_::SRC_SELECTOR
static constexpr Column SRC_SELECTOR
Definition lookups_sha256.hpp:482
bb::avm2::lookup_sha256_ch_xor_settings_::COUNTS
static constexpr Column COUNTS
Definition lookups_sha256.hpp:484
bb::avm2::lookup_sha256_ch_xor_settings_::DST_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > DST_COLUMNS
Definition lookups_sha256.hpp:491
bb::avm2::lookup_sha256_maj_and_0_settings_
Definition lookups_sha256.hpp:647
bb::avm2::lookup_sha256_maj_and_0_settings_::COUNTS
static constexpr Column COUNTS
Definition lookups_sha256.hpp:653
bb::avm2::lookup_sha256_maj_and_0_settings_::LOOKUP_TUPLE_SIZE
static constexpr size_t LOOKUP_TUPLE_SIZE
Definition lookups_sha256.hpp:650
bb::avm2::lookup_sha256_maj_and_0_settings_::RELATION_NAME
static constexpr std::string_view RELATION_NAME
Definition lookups_sha256.hpp:649
bb::avm2::lookup_sha256_maj_and_0_settings_::SRC_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > SRC_COLUMNS
Definition lookups_sha256.hpp:655
bb::avm2::lookup_sha256_maj_and_0_settings_::INVERSES
static constexpr Column INVERSES
Definition lookups_sha256.hpp:654
bb::avm2::lookup_sha256_maj_and_0_settings_::DST_SELECTOR
static constexpr Column DST_SELECTOR
Definition lookups_sha256.hpp:652
bb::avm2::lookup_sha256_maj_and_0_settings_::NAME
static constexpr std::string_view NAME
Definition lookups_sha256.hpp:648
bb::avm2::lookup_sha256_maj_and_0_settings_::DST_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > DST_COLUMNS
Definition lookups_sha256.hpp:660
bb::avm2::lookup_sha256_maj_and_0_settings_::SRC_SELECTOR
static constexpr Column SRC_SELECTOR
Definition lookups_sha256.hpp:651
bb::avm2::lookup_sha256_maj_and_1_settings_
Definition lookups_sha256.hpp:673
bb::avm2::lookup_sha256_maj_and_1_settings_::LOOKUP_TUPLE_SIZE
static constexpr size_t LOOKUP_TUPLE_SIZE
Definition lookups_sha256.hpp:676
bb::avm2::lookup_sha256_maj_and_1_settings_::INVERSES
static constexpr Column INVERSES
Definition lookups_sha256.hpp:680
bb::avm2::lookup_sha256_maj_and_1_settings_::DST_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > DST_COLUMNS
Definition lookups_sha256.hpp:686
bb::avm2::lookup_sha256_maj_and_1_settings_::SRC_SELECTOR
static constexpr Column SRC_SELECTOR
Definition lookups_sha256.hpp:677
bb::avm2::lookup_sha256_maj_and_1_settings_::RELATION_NAME
static constexpr std::string_view RELATION_NAME
Definition lookups_sha256.hpp:675
bb::avm2::lookup_sha256_maj_and_1_settings_::DST_SELECTOR
static constexpr Column DST_SELECTOR
Definition lookups_sha256.hpp:678
bb::avm2::lookup_sha256_maj_and_1_settings_::NAME
static constexpr std::string_view NAME
Definition lookups_sha256.hpp:674
bb::avm2::lookup_sha256_maj_and_1_settings_::SRC_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > SRC_COLUMNS
Definition lookups_sha256.hpp:681
bb::avm2::lookup_sha256_maj_and_1_settings_::COUNTS
static constexpr Column COUNTS
Definition lookups_sha256.hpp:679
bb::avm2::lookup_sha256_maj_and_2_settings_
Definition lookups_sha256.hpp:699
bb::avm2::lookup_sha256_maj_and_2_settings_::NAME
static constexpr std::string_view NAME
Definition lookups_sha256.hpp:700
bb::avm2::lookup_sha256_maj_and_2_settings_::RELATION_NAME
static constexpr std::string_view RELATION_NAME
Definition lookups_sha256.hpp:701
bb::avm2::lookup_sha256_maj_and_2_settings_::SRC_SELECTOR
static constexpr Column SRC_SELECTOR
Definition lookups_sha256.hpp:703
bb::avm2::lookup_sha256_maj_and_2_settings_::INVERSES
static constexpr Column INVERSES
Definition lookups_sha256.hpp:706
bb::avm2::lookup_sha256_maj_and_2_settings_::SRC_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > SRC_COLUMNS
Definition lookups_sha256.hpp:707
bb::avm2::lookup_sha256_maj_and_2_settings_::DST_SELECTOR
static constexpr Column DST_SELECTOR
Definition lookups_sha256.hpp:704
bb::avm2::lookup_sha256_maj_and_2_settings_::COUNTS
static constexpr Column COUNTS
Definition lookups_sha256.hpp:705
bb::avm2::lookup_sha256_maj_and_2_settings_::DST_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > DST_COLUMNS
Definition lookups_sha256.hpp:712
bb::avm2::lookup_sha256_maj_and_2_settings_::LOOKUP_TUPLE_SIZE
static constexpr size_t LOOKUP_TUPLE_SIZE
Definition lookups_sha256.hpp:702
bb::avm2::lookup_sha256_maj_xor_0_settings_
Definition lookups_sha256.hpp:725
bb::avm2::lookup_sha256_maj_xor_0_settings_::SRC_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > SRC_COLUMNS
Definition lookups_sha256.hpp:733
bb::avm2::lookup_sha256_maj_xor_0_settings_::DST_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > DST_COLUMNS
Definition lookups_sha256.hpp:740
bb::avm2::lookup_sha256_maj_xor_0_settings_::LOOKUP_TUPLE_SIZE
static constexpr size_t LOOKUP_TUPLE_SIZE
Definition lookups_sha256.hpp:728
bb::avm2::lookup_sha256_maj_xor_0_settings_::COUNTS
static constexpr Column COUNTS
Definition lookups_sha256.hpp:731
bb::avm2::lookup_sha256_maj_xor_0_settings_::NAME
static constexpr std::string_view NAME
Definition lookups_sha256.hpp:726
bb::avm2::lookup_sha256_maj_xor_0_settings_::RELATION_NAME
static constexpr std::string_view RELATION_NAME
Definition lookups_sha256.hpp:727
bb::avm2::lookup_sha256_maj_xor_0_settings_::INVERSES
static constexpr Column INVERSES
Definition lookups_sha256.hpp:732
bb::avm2::lookup_sha256_maj_xor_0_settings_::SRC_SELECTOR
static constexpr Column SRC_SELECTOR
Definition lookups_sha256.hpp:729
bb::avm2::lookup_sha256_maj_xor_0_settings_::DST_SELECTOR
static constexpr Column DST_SELECTOR
Definition lookups_sha256.hpp:730
bb::avm2::lookup_sha256_maj_xor_1_settings_
Definition lookups_sha256.hpp:753
bb::avm2::lookup_sha256_maj_xor_1_settings_::SRC_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > SRC_COLUMNS
Definition lookups_sha256.hpp:761
bb::avm2::lookup_sha256_maj_xor_1_settings_::RELATION_NAME
static constexpr std::string_view RELATION_NAME
Definition lookups_sha256.hpp:755
bb::avm2::lookup_sha256_maj_xor_1_settings_::COUNTS
static constexpr Column COUNTS
Definition lookups_sha256.hpp:759
bb::avm2::lookup_sha256_maj_xor_1_settings_::DST_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > DST_COLUMNS
Definition lookups_sha256.hpp:768
bb::avm2::lookup_sha256_maj_xor_1_settings_::LOOKUP_TUPLE_SIZE
static constexpr size_t LOOKUP_TUPLE_SIZE
Definition lookups_sha256.hpp:756
bb::avm2::lookup_sha256_maj_xor_1_settings_::INVERSES
static constexpr Column INVERSES
Definition lookups_sha256.hpp:760
bb::avm2::lookup_sha256_maj_xor_1_settings_::NAME
static constexpr std::string_view NAME
Definition lookups_sha256.hpp:754
bb::avm2::lookup_sha256_maj_xor_1_settings_::SRC_SELECTOR
static constexpr Column SRC_SELECTOR
Definition lookups_sha256.hpp:757
bb::avm2::lookup_sha256_maj_xor_1_settings_::DST_SELECTOR
static constexpr Column DST_SELECTOR
Definition lookups_sha256.hpp:758
bb::avm2::lookup_sha256_range_comp_a_rhs_settings_
Definition lookups_sha256.hpp:869
bb::avm2::lookup_sha256_range_comp_a_rhs_settings_::RELATION_NAME
static constexpr std::string_view RELATION_NAME
Definition lookups_sha256.hpp:871
bb::avm2::lookup_sha256_range_comp_a_rhs_settings_::INVERSES
static constexpr Column INVERSES
Definition lookups_sha256.hpp:876
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:877
bb::avm2::lookup_sha256_range_comp_a_rhs_settings_::LOOKUP_TUPLE_SIZE
static constexpr size_t LOOKUP_TUPLE_SIZE
Definition lookups_sha256.hpp:872
bb::avm2::lookup_sha256_range_comp_a_rhs_settings_::SRC_SELECTOR
static constexpr Column SRC_SELECTOR
Definition lookups_sha256.hpp:873
bb::avm2::lookup_sha256_range_comp_a_rhs_settings_::DST_SELECTOR
static constexpr Column DST_SELECTOR
Definition lookups_sha256.hpp:874
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:880
bb::avm2::lookup_sha256_range_comp_a_rhs_settings_::NAME
static constexpr std::string_view NAME
Definition lookups_sha256.hpp:870
bb::avm2::lookup_sha256_range_comp_a_rhs_settings_::COUNTS
static constexpr Column COUNTS
Definition lookups_sha256.hpp:875
bb::avm2::lookup_sha256_range_comp_b_rhs_settings_
Definition lookups_sha256.hpp:891
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:899
bb::avm2::lookup_sha256_range_comp_b_rhs_settings_::NAME
static constexpr std::string_view NAME
Definition lookups_sha256.hpp:892
bb::avm2::lookup_sha256_range_comp_b_rhs_settings_::COUNTS
static constexpr Column COUNTS
Definition lookups_sha256.hpp:897
bb::avm2::lookup_sha256_range_comp_b_rhs_settings_::INVERSES
static constexpr Column INVERSES
Definition lookups_sha256.hpp:898
bb::avm2::lookup_sha256_range_comp_b_rhs_settings_::LOOKUP_TUPLE_SIZE
static constexpr size_t LOOKUP_TUPLE_SIZE
Definition lookups_sha256.hpp:894
bb::avm2::lookup_sha256_range_comp_b_rhs_settings_::SRC_SELECTOR
static constexpr Column SRC_SELECTOR
Definition lookups_sha256.hpp:895
bb::avm2::lookup_sha256_range_comp_b_rhs_settings_::DST_SELECTOR
static constexpr Column DST_SELECTOR
Definition lookups_sha256.hpp:896
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:902
bb::avm2::lookup_sha256_range_comp_b_rhs_settings_::RELATION_NAME
static constexpr std::string_view RELATION_NAME
Definition lookups_sha256.hpp:893
bb::avm2::lookup_sha256_range_comp_c_rhs_settings_
Definition lookups_sha256.hpp:913
bb::avm2::lookup_sha256_range_comp_c_rhs_settings_::NAME
static constexpr std::string_view NAME
Definition lookups_sha256.hpp:914
bb::avm2::lookup_sha256_range_comp_c_rhs_settings_::DST_SELECTOR
static constexpr Column DST_SELECTOR
Definition lookups_sha256.hpp:918
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:924
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:921
bb::avm2::lookup_sha256_range_comp_c_rhs_settings_::RELATION_NAME
static constexpr std::string_view RELATION_NAME
Definition lookups_sha256.hpp:915
bb::avm2::lookup_sha256_range_comp_c_rhs_settings_::LOOKUP_TUPLE_SIZE
static constexpr size_t LOOKUP_TUPLE_SIZE
Definition lookups_sha256.hpp:916
bb::avm2::lookup_sha256_range_comp_c_rhs_settings_::INVERSES
static constexpr Column INVERSES
Definition lookups_sha256.hpp:920
bb::avm2::lookup_sha256_range_comp_c_rhs_settings_::COUNTS
static constexpr Column COUNTS
Definition lookups_sha256.hpp:919
bb::avm2::lookup_sha256_range_comp_c_rhs_settings_::SRC_SELECTOR
static constexpr Column SRC_SELECTOR
Definition lookups_sha256.hpp:917
bb::avm2::lookup_sha256_range_comp_d_rhs_settings_
Definition lookups_sha256.hpp:935
bb::avm2::lookup_sha256_range_comp_d_rhs_settings_::LOOKUP_TUPLE_SIZE
static constexpr size_t LOOKUP_TUPLE_SIZE
Definition lookups_sha256.hpp:938
bb::avm2::lookup_sha256_range_comp_d_rhs_settings_::COUNTS
static constexpr Column COUNTS
Definition lookups_sha256.hpp:941
bb::avm2::lookup_sha256_range_comp_d_rhs_settings_::RELATION_NAME
static constexpr std::string_view RELATION_NAME
Definition lookups_sha256.hpp:937
bb::avm2::lookup_sha256_range_comp_d_rhs_settings_::DST_SELECTOR
static constexpr Column DST_SELECTOR
Definition lookups_sha256.hpp:940
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:946
bb::avm2::lookup_sha256_range_comp_d_rhs_settings_::NAME
static constexpr std::string_view NAME
Definition lookups_sha256.hpp:936
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:943
bb::avm2::lookup_sha256_range_comp_d_rhs_settings_::SRC_SELECTOR
static constexpr Column SRC_SELECTOR
Definition lookups_sha256.hpp:939
bb::avm2::lookup_sha256_range_comp_d_rhs_settings_::INVERSES
static constexpr Column INVERSES
Definition lookups_sha256.hpp:942
bb::avm2::lookup_sha256_range_comp_e_rhs_settings_
Definition lookups_sha256.hpp:957
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:968
bb::avm2::lookup_sha256_range_comp_e_rhs_settings_::NAME
static constexpr std::string_view NAME
Definition lookups_sha256.hpp:958
bb::avm2::lookup_sha256_range_comp_e_rhs_settings_::INVERSES
static constexpr Column INVERSES
Definition lookups_sha256.hpp:964
bb::avm2::lookup_sha256_range_comp_e_rhs_settings_::DST_SELECTOR
static constexpr Column DST_SELECTOR
Definition lookups_sha256.hpp:962
bb::avm2::lookup_sha256_range_comp_e_rhs_settings_::COUNTS
static constexpr Column COUNTS
Definition lookups_sha256.hpp:963
bb::avm2::lookup_sha256_range_comp_e_rhs_settings_::RELATION_NAME
static constexpr std::string_view RELATION_NAME
Definition lookups_sha256.hpp:959
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:965
bb::avm2::lookup_sha256_range_comp_e_rhs_settings_::LOOKUP_TUPLE_SIZE
static constexpr size_t LOOKUP_TUPLE_SIZE
Definition lookups_sha256.hpp:960
bb::avm2::lookup_sha256_range_comp_e_rhs_settings_::SRC_SELECTOR
static constexpr Column SRC_SELECTOR
Definition lookups_sha256.hpp:961
bb::avm2::lookup_sha256_range_comp_f_rhs_settings_
Definition lookups_sha256.hpp:979
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:990
bb::avm2::lookup_sha256_range_comp_f_rhs_settings_::NAME
static constexpr std::string_view NAME
Definition lookups_sha256.hpp:980
bb::avm2::lookup_sha256_range_comp_f_rhs_settings_::COUNTS
static constexpr Column COUNTS
Definition lookups_sha256.hpp:985
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:987
bb::avm2::lookup_sha256_range_comp_f_rhs_settings_::LOOKUP_TUPLE_SIZE
static constexpr size_t LOOKUP_TUPLE_SIZE
Definition lookups_sha256.hpp:982
bb::avm2::lookup_sha256_range_comp_f_rhs_settings_::DST_SELECTOR
static constexpr Column DST_SELECTOR
Definition lookups_sha256.hpp:984
bb::avm2::lookup_sha256_range_comp_f_rhs_settings_::INVERSES
static constexpr Column INVERSES
Definition lookups_sha256.hpp:986
bb::avm2::lookup_sha256_range_comp_f_rhs_settings_::RELATION_NAME
static constexpr std::string_view RELATION_NAME
Definition lookups_sha256.hpp:981
bb::avm2::lookup_sha256_range_comp_f_rhs_settings_::SRC_SELECTOR
static constexpr Column SRC_SELECTOR
Definition lookups_sha256.hpp:983
bb::avm2::lookup_sha256_range_comp_g_rhs_settings_
Definition lookups_sha256.hpp:1001
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:1009
bb::avm2::lookup_sha256_range_comp_g_rhs_settings_::COUNTS
static constexpr Column COUNTS
Definition lookups_sha256.hpp:1007
bb::avm2::lookup_sha256_range_comp_g_rhs_settings_::SRC_SELECTOR
static constexpr Column SRC_SELECTOR
Definition lookups_sha256.hpp:1005
bb::avm2::lookup_sha256_range_comp_g_rhs_settings_::LOOKUP_TUPLE_SIZE
static constexpr size_t LOOKUP_TUPLE_SIZE
Definition lookups_sha256.hpp:1004
bb::avm2::lookup_sha256_range_comp_g_rhs_settings_::NAME
static constexpr std::string_view NAME
Definition lookups_sha256.hpp:1002
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:1012
bb::avm2::lookup_sha256_range_comp_g_rhs_settings_::DST_SELECTOR
static constexpr Column DST_SELECTOR
Definition lookups_sha256.hpp:1006
bb::avm2::lookup_sha256_range_comp_g_rhs_settings_::INVERSES
static constexpr Column INVERSES
Definition lookups_sha256.hpp:1008
bb::avm2::lookup_sha256_range_comp_g_rhs_settings_::RELATION_NAME
static constexpr std::string_view RELATION_NAME
Definition lookups_sha256.hpp:1003
bb::avm2::lookup_sha256_range_comp_h_rhs_settings_
Definition lookups_sha256.hpp:1023
bb::avm2::lookup_sha256_range_comp_h_rhs_settings_::SRC_SELECTOR
static constexpr Column SRC_SELECTOR
Definition lookups_sha256.hpp:1027
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:1031
bb::avm2::lookup_sha256_range_comp_h_rhs_settings_::DST_SELECTOR
static constexpr Column DST_SELECTOR
Definition lookups_sha256.hpp:1028
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:1034
bb::avm2::lookup_sha256_range_comp_h_rhs_settings_::LOOKUP_TUPLE_SIZE
static constexpr size_t LOOKUP_TUPLE_SIZE
Definition lookups_sha256.hpp:1026
bb::avm2::lookup_sha256_range_comp_h_rhs_settings_::RELATION_NAME
static constexpr std::string_view RELATION_NAME
Definition lookups_sha256.hpp:1025
bb::avm2::lookup_sha256_range_comp_h_rhs_settings_::COUNTS
static constexpr Column COUNTS
Definition lookups_sha256.hpp:1029
bb::avm2::lookup_sha256_range_comp_h_rhs_settings_::INVERSES
static constexpr Column INVERSES
Definition lookups_sha256.hpp:1030
bb::avm2::lookup_sha256_range_comp_h_rhs_settings_::NAME
static constexpr std::string_view NAME
Definition lookups_sha256.hpp:1024
bb::avm2::lookup_sha256_range_comp_next_a_lhs_settings_
Definition lookups_sha256.hpp:781
bb::avm2::lookup_sha256_range_comp_next_a_lhs_settings_::RELATION_NAME
static constexpr std::string_view RELATION_NAME
Definition lookups_sha256.hpp:783
bb::avm2::lookup_sha256_range_comp_next_a_lhs_settings_::COUNTS
static constexpr Column COUNTS
Definition lookups_sha256.hpp:787
bb::avm2::lookup_sha256_range_comp_next_a_lhs_settings_::DST_SELECTOR
static constexpr Column DST_SELECTOR
Definition lookups_sha256.hpp:786
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:792
bb::avm2::lookup_sha256_range_comp_next_a_lhs_settings_::LOOKUP_TUPLE_SIZE
static constexpr size_t LOOKUP_TUPLE_SIZE
Definition lookups_sha256.hpp:784
bb::avm2::lookup_sha256_range_comp_next_a_lhs_settings_::NAME
static constexpr std::string_view NAME
Definition lookups_sha256.hpp:782
bb::avm2::lookup_sha256_range_comp_next_a_lhs_settings_::SRC_SELECTOR
static constexpr Column SRC_SELECTOR
Definition lookups_sha256.hpp:785
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:789
bb::avm2::lookup_sha256_range_comp_next_a_lhs_settings_::INVERSES
static constexpr Column INVERSES
Definition lookups_sha256.hpp:788
bb::avm2::lookup_sha256_range_comp_next_a_rhs_settings_
Definition lookups_sha256.hpp:802
bb::avm2::lookup_sha256_range_comp_next_a_rhs_settings_::NAME
static constexpr std::string_view NAME
Definition lookups_sha256.hpp:803
bb::avm2::lookup_sha256_range_comp_next_a_rhs_settings_::INVERSES
static constexpr Column INVERSES
Definition lookups_sha256.hpp:809
bb::avm2::lookup_sha256_range_comp_next_a_rhs_settings_::SRC_SELECTOR
static constexpr Column SRC_SELECTOR
Definition lookups_sha256.hpp:806
bb::avm2::lookup_sha256_range_comp_next_a_rhs_settings_::DST_SELECTOR
static constexpr Column DST_SELECTOR
Definition lookups_sha256.hpp:807
bb::avm2::lookup_sha256_range_comp_next_a_rhs_settings_::RELATION_NAME
static constexpr std::string_view RELATION_NAME
Definition lookups_sha256.hpp:804
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:810
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:813
bb::avm2::lookup_sha256_range_comp_next_a_rhs_settings_::COUNTS
static constexpr Column COUNTS
Definition lookups_sha256.hpp:808
bb::avm2::lookup_sha256_range_comp_next_a_rhs_settings_::LOOKUP_TUPLE_SIZE
static constexpr size_t LOOKUP_TUPLE_SIZE
Definition lookups_sha256.hpp:805
bb::avm2::lookup_sha256_range_comp_next_e_lhs_settings_
Definition lookups_sha256.hpp:825
bb::avm2::lookup_sha256_range_comp_next_e_lhs_settings_::INVERSES
static constexpr Column INVERSES
Definition lookups_sha256.hpp:832
bb::avm2::lookup_sha256_range_comp_next_e_lhs_settings_::LOOKUP_TUPLE_SIZE
static constexpr size_t LOOKUP_TUPLE_SIZE
Definition lookups_sha256.hpp:828
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:836
bb::avm2::lookup_sha256_range_comp_next_e_lhs_settings_::RELATION_NAME
static constexpr std::string_view RELATION_NAME
Definition lookups_sha256.hpp:827
bb::avm2::lookup_sha256_range_comp_next_e_lhs_settings_::NAME
static constexpr std::string_view NAME
Definition lookups_sha256.hpp:826
bb::avm2::lookup_sha256_range_comp_next_e_lhs_settings_::SRC_SELECTOR
static constexpr Column SRC_SELECTOR
Definition lookups_sha256.hpp:829
bb::avm2::lookup_sha256_range_comp_next_e_lhs_settings_::DST_SELECTOR
static constexpr Column DST_SELECTOR
Definition lookups_sha256.hpp:830
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:833
bb::avm2::lookup_sha256_range_comp_next_e_lhs_settings_::COUNTS
static constexpr Column COUNTS
Definition lookups_sha256.hpp:831
bb::avm2::lookup_sha256_range_comp_next_e_rhs_settings_
Definition lookups_sha256.hpp:846
bb::avm2::lookup_sha256_range_comp_next_e_rhs_settings_::DST_SELECTOR
static constexpr Column DST_SELECTOR
Definition lookups_sha256.hpp:851
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:854
bb::avm2::lookup_sha256_range_comp_next_e_rhs_settings_::SRC_SELECTOR
static constexpr Column SRC_SELECTOR
Definition lookups_sha256.hpp:850
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:857
bb::avm2::lookup_sha256_range_comp_next_e_rhs_settings_::COUNTS
static constexpr Column COUNTS
Definition lookups_sha256.hpp:852
bb::avm2::lookup_sha256_range_comp_next_e_rhs_settings_::LOOKUP_TUPLE_SIZE
static constexpr size_t LOOKUP_TUPLE_SIZE
Definition lookups_sha256.hpp:849
bb::avm2::lookup_sha256_range_comp_next_e_rhs_settings_::RELATION_NAME
static constexpr std::string_view RELATION_NAME
Definition lookups_sha256.hpp:848
bb::avm2::lookup_sha256_range_comp_next_e_rhs_settings_::INVERSES
static constexpr Column INVERSES
Definition lookups_sha256.hpp:853
bb::avm2::lookup_sha256_range_comp_next_e_rhs_settings_::NAME
static constexpr std::string_view NAME
Definition lookups_sha256.hpp:847
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:27
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:36
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:49
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:44
bb::avm2::lookup_sha256_range_comp_w_rhs_settings_::SRC_SELECTOR
static constexpr Column SRC_SELECTOR
Definition lookups_sha256.hpp:40
bb::avm2::lookup_sha256_range_comp_w_rhs_settings_::DST_SELECTOR
static constexpr Column DST_SELECTOR
Definition lookups_sha256.hpp:41
bb::avm2::lookup_sha256_range_comp_w_rhs_settings_::RELATION_NAME
static constexpr std::string_view RELATION_NAME
Definition lookups_sha256.hpp:38
bb::avm2::lookup_sha256_range_comp_w_rhs_settings_::LOOKUP_TUPLE_SIZE
static constexpr size_t LOOKUP_TUPLE_SIZE
Definition lookups_sha256.hpp:39
bb::avm2::lookup_sha256_range_comp_w_rhs_settings_::NAME
static constexpr std::string_view NAME
Definition lookups_sha256.hpp:37
bb::avm2::lookup_sha256_range_comp_w_rhs_settings_::COUNTS
static constexpr Column COUNTS
Definition lookups_sha256.hpp:42
bb::avm2::lookup_sha256_range_comp_w_rhs_settings_::INVERSES
static constexpr Column INVERSES
Definition lookups_sha256.hpp:43
bb::avm2::lookup_sha256_range_rhs_a_13_settings_
Definition lookups_sha256.hpp:547
bb::avm2::lookup_sha256_range_rhs_a_13_settings_::NAME
static constexpr std::string_view NAME
Definition lookups_sha256.hpp:548
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:555
bb::avm2::lookup_sha256_range_rhs_a_13_settings_::SRC_SELECTOR
static constexpr Column SRC_SELECTOR
Definition lookups_sha256.hpp:551
bb::avm2::lookup_sha256_range_rhs_a_13_settings_::DST_SELECTOR
static constexpr Column DST_SELECTOR
Definition lookups_sha256.hpp:552
bb::avm2::lookup_sha256_range_rhs_a_13_settings_::COUNTS
static constexpr Column COUNTS
Definition lookups_sha256.hpp:553
bb::avm2::lookup_sha256_range_rhs_a_13_settings_::INVERSES
static constexpr Column INVERSES
Definition lookups_sha256.hpp:554
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:558
bb::avm2::lookup_sha256_range_rhs_a_13_settings_::RELATION_NAME
static constexpr std::string_view RELATION_NAME
Definition lookups_sha256.hpp:549
bb::avm2::lookup_sha256_range_rhs_a_13_settings_::LOOKUP_TUPLE_SIZE
static constexpr size_t LOOKUP_TUPLE_SIZE
Definition lookups_sha256.hpp:550
bb::avm2::lookup_sha256_range_rhs_a_22_settings_
Definition lookups_sha256.hpp:569
bb::avm2::lookup_sha256_range_rhs_a_22_settings_::COUNTS
static constexpr Column COUNTS
Definition lookups_sha256.hpp:575
bb::avm2::lookup_sha256_range_rhs_a_22_settings_::SRC_SELECTOR
static constexpr Column SRC_SELECTOR
Definition lookups_sha256.hpp:573
bb::avm2::lookup_sha256_range_rhs_a_22_settings_::NAME
static constexpr std::string_view NAME
Definition lookups_sha256.hpp:570
bb::avm2::lookup_sha256_range_rhs_a_22_settings_::LOOKUP_TUPLE_SIZE
static constexpr size_t LOOKUP_TUPLE_SIZE
Definition lookups_sha256.hpp:572
bb::avm2::lookup_sha256_range_rhs_a_22_settings_::DST_SELECTOR
static constexpr Column DST_SELECTOR
Definition lookups_sha256.hpp:574
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:577
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:580
bb::avm2::lookup_sha256_range_rhs_a_22_settings_::RELATION_NAME
static constexpr std::string_view RELATION_NAME
Definition lookups_sha256.hpp:571
bb::avm2::lookup_sha256_range_rhs_a_22_settings_::INVERSES
static constexpr Column INVERSES
Definition lookups_sha256.hpp:576
bb::avm2::lookup_sha256_range_rhs_a_2_settings_
Definition lookups_sha256.hpp:525
bb::avm2::lookup_sha256_range_rhs_a_2_settings_::RELATION_NAME
static constexpr std::string_view RELATION_NAME
Definition lookups_sha256.hpp:527
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:536
bb::avm2::lookup_sha256_range_rhs_a_2_settings_::SRC_SELECTOR
static constexpr Column SRC_SELECTOR
Definition lookups_sha256.hpp:529
bb::avm2::lookup_sha256_range_rhs_a_2_settings_::DST_SELECTOR
static constexpr Column DST_SELECTOR
Definition lookups_sha256.hpp:530
bb::avm2::lookup_sha256_range_rhs_a_2_settings_::LOOKUP_TUPLE_SIZE
static constexpr size_t LOOKUP_TUPLE_SIZE
Definition lookups_sha256.hpp:528
bb::avm2::lookup_sha256_range_rhs_a_2_settings_::INVERSES
static constexpr Column INVERSES
Definition lookups_sha256.hpp:532
bb::avm2::lookup_sha256_range_rhs_a_2_settings_::NAME
static constexpr std::string_view NAME
Definition lookups_sha256.hpp:526
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:533
bb::avm2::lookup_sha256_range_rhs_a_2_settings_::COUNTS
static constexpr Column COUNTS
Definition lookups_sha256.hpp:531
bb::avm2::lookup_sha256_range_rhs_e_11_settings_
Definition lookups_sha256.hpp:326
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:337
bb::avm2::lookup_sha256_range_rhs_e_11_settings_::NAME
static constexpr std::string_view NAME
Definition lookups_sha256.hpp:327
bb::avm2::lookup_sha256_range_rhs_e_11_settings_::LOOKUP_TUPLE_SIZE
static constexpr size_t LOOKUP_TUPLE_SIZE
Definition lookups_sha256.hpp:329
bb::avm2::lookup_sha256_range_rhs_e_11_settings_::DST_SELECTOR
static constexpr Column DST_SELECTOR
Definition lookups_sha256.hpp:331
bb::avm2::lookup_sha256_range_rhs_e_11_settings_::SRC_SELECTOR
static constexpr Column SRC_SELECTOR
Definition lookups_sha256.hpp:330
bb::avm2::lookup_sha256_range_rhs_e_11_settings_::INVERSES
static constexpr Column INVERSES
Definition lookups_sha256.hpp:333
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:334
bb::avm2::lookup_sha256_range_rhs_e_11_settings_::RELATION_NAME
static constexpr std::string_view RELATION_NAME
Definition lookups_sha256.hpp:328
bb::avm2::lookup_sha256_range_rhs_e_11_settings_::COUNTS
static constexpr Column COUNTS
Definition lookups_sha256.hpp:332
bb::avm2::lookup_sha256_range_rhs_e_25_settings_
Definition lookups_sha256.hpp:348
bb::avm2::lookup_sha256_range_rhs_e_25_settings_::DST_SELECTOR
static constexpr Column DST_SELECTOR
Definition lookups_sha256.hpp:353
bb::avm2::lookup_sha256_range_rhs_e_25_settings_::NAME
static constexpr std::string_view NAME
Definition lookups_sha256.hpp:349
bb::avm2::lookup_sha256_range_rhs_e_25_settings_::INVERSES
static constexpr Column INVERSES
Definition lookups_sha256.hpp:355
bb::avm2::lookup_sha256_range_rhs_e_25_settings_::LOOKUP_TUPLE_SIZE
static constexpr size_t LOOKUP_TUPLE_SIZE
Definition lookups_sha256.hpp:351
bb::avm2::lookup_sha256_range_rhs_e_25_settings_::SRC_SELECTOR
static constexpr Column SRC_SELECTOR
Definition lookups_sha256.hpp:352
bb::avm2::lookup_sha256_range_rhs_e_25_settings_::COUNTS
static constexpr Column COUNTS
Definition lookups_sha256.hpp:354
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:356
bb::avm2::lookup_sha256_range_rhs_e_25_settings_::RELATION_NAME
static constexpr std::string_view RELATION_NAME
Definition lookups_sha256.hpp:350
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:359
bb::avm2::lookup_sha256_range_rhs_e_6_settings_
Definition lookups_sha256.hpp:304
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:315
bb::avm2::lookup_sha256_range_rhs_e_6_settings_::LOOKUP_TUPLE_SIZE
static constexpr size_t LOOKUP_TUPLE_SIZE
Definition lookups_sha256.hpp:307
bb::avm2::lookup_sha256_range_rhs_e_6_settings_::INVERSES
static constexpr Column INVERSES
Definition lookups_sha256.hpp:311
bb::avm2::lookup_sha256_range_rhs_e_6_settings_::RELATION_NAME
static constexpr std::string_view RELATION_NAME
Definition lookups_sha256.hpp:306
bb::avm2::lookup_sha256_range_rhs_e_6_settings_::SRC_SELECTOR
static constexpr Column SRC_SELECTOR
Definition lookups_sha256.hpp:308
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:312
bb::avm2::lookup_sha256_range_rhs_e_6_settings_::COUNTS
static constexpr Column COUNTS
Definition lookups_sha256.hpp:310
bb::avm2::lookup_sha256_range_rhs_e_6_settings_::NAME
static constexpr std::string_view NAME
Definition lookups_sha256.hpp:305
bb::avm2::lookup_sha256_range_rhs_e_6_settings_::DST_SELECTOR
static constexpr Column DST_SELECTOR
Definition lookups_sha256.hpp:309
bb::avm2::lookup_sha256_range_rhs_w_10_settings_
Definition lookups_sha256.hpp:226
bb::avm2::lookup_sha256_range_rhs_w_10_settings_::LOOKUP_TUPLE_SIZE
static constexpr size_t LOOKUP_TUPLE_SIZE
Definition lookups_sha256.hpp:229
bb::avm2::lookup_sha256_range_rhs_w_10_settings_::NAME
static constexpr std::string_view NAME
Definition lookups_sha256.hpp:227
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:237
bb::avm2::lookup_sha256_range_rhs_w_10_settings_::DST_SELECTOR
static constexpr Column DST_SELECTOR
Definition lookups_sha256.hpp:231
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:234
bb::avm2::lookup_sha256_range_rhs_w_10_settings_::SRC_SELECTOR
static constexpr Column SRC_SELECTOR
Definition lookups_sha256.hpp:230
bb::avm2::lookup_sha256_range_rhs_w_10_settings_::INVERSES
static constexpr Column INVERSES
Definition lookups_sha256.hpp:233
bb::avm2::lookup_sha256_range_rhs_w_10_settings_::RELATION_NAME
static constexpr std::string_view RELATION_NAME
Definition lookups_sha256.hpp:228
bb::avm2::lookup_sha256_range_rhs_w_10_settings_::COUNTS
static constexpr Column COUNTS
Definition lookups_sha256.hpp:232
bb::avm2::lookup_sha256_range_rhs_w_17_settings_
Definition lookups_sha256.hpp:182
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:190
bb::avm2::lookup_sha256_range_rhs_w_17_settings_::COUNTS
static constexpr Column COUNTS
Definition lookups_sha256.hpp:188
bb::avm2::lookup_sha256_range_rhs_w_17_settings_::RELATION_NAME
static constexpr std::string_view RELATION_NAME
Definition lookups_sha256.hpp:184
bb::avm2::lookup_sha256_range_rhs_w_17_settings_::INVERSES
static constexpr Column INVERSES
Definition lookups_sha256.hpp:189
bb::avm2::lookup_sha256_range_rhs_w_17_settings_::NAME
static constexpr std::string_view NAME
Definition lookups_sha256.hpp:183
bb::avm2::lookup_sha256_range_rhs_w_17_settings_::DST_SELECTOR
static constexpr Column DST_SELECTOR
Definition lookups_sha256.hpp:187
bb::avm2::lookup_sha256_range_rhs_w_17_settings_::SRC_SELECTOR
static constexpr Column SRC_SELECTOR
Definition lookups_sha256.hpp:186
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:193
bb::avm2::lookup_sha256_range_rhs_w_17_settings_::LOOKUP_TUPLE_SIZE
static constexpr size_t LOOKUP_TUPLE_SIZE
Definition lookups_sha256.hpp:185
bb::avm2::lookup_sha256_range_rhs_w_18_settings_
Definition lookups_sha256.hpp:82
bb::avm2::lookup_sha256_range_rhs_w_18_settings_::LOOKUP_TUPLE_SIZE
static constexpr size_t LOOKUP_TUPLE_SIZE
Definition lookups_sha256.hpp:85
bb::avm2::lookup_sha256_range_rhs_w_18_settings_::SRC_SELECTOR
static constexpr Column SRC_SELECTOR
Definition lookups_sha256.hpp:86
bb::avm2::lookup_sha256_range_rhs_w_18_settings_::RELATION_NAME
static constexpr std::string_view RELATION_NAME
Definition lookups_sha256.hpp:84
bb::avm2::lookup_sha256_range_rhs_w_18_settings_::NAME
static constexpr std::string_view NAME
Definition lookups_sha256.hpp:83
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:93
bb::avm2::lookup_sha256_range_rhs_w_18_settings_::DST_SELECTOR
static constexpr Column DST_SELECTOR
Definition lookups_sha256.hpp:87
bb::avm2::lookup_sha256_range_rhs_w_18_settings_::INVERSES
static constexpr Column INVERSES
Definition lookups_sha256.hpp:89
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:90
bb::avm2::lookup_sha256_range_rhs_w_18_settings_::COUNTS
static constexpr Column COUNTS
Definition lookups_sha256.hpp:88
bb::avm2::lookup_sha256_range_rhs_w_19_settings_
Definition lookups_sha256.hpp:204
bb::avm2::lookup_sha256_range_rhs_w_19_settings_::INVERSES
static constexpr Column INVERSES
Definition lookups_sha256.hpp:211
bb::avm2::lookup_sha256_range_rhs_w_19_settings_::SRC_SELECTOR
static constexpr Column SRC_SELECTOR
Definition lookups_sha256.hpp:208
bb::avm2::lookup_sha256_range_rhs_w_19_settings_::LOOKUP_TUPLE_SIZE
static constexpr size_t LOOKUP_TUPLE_SIZE
Definition lookups_sha256.hpp:207
bb::avm2::lookup_sha256_range_rhs_w_19_settings_::RELATION_NAME
static constexpr std::string_view RELATION_NAME
Definition lookups_sha256.hpp:206
bb::avm2::lookup_sha256_range_rhs_w_19_settings_::NAME
static constexpr std::string_view NAME
Definition lookups_sha256.hpp:205
bb::avm2::lookup_sha256_range_rhs_w_19_settings_::DST_SELECTOR
static constexpr Column DST_SELECTOR
Definition lookups_sha256.hpp:209
bb::avm2::lookup_sha256_range_rhs_w_19_settings_::COUNTS
static constexpr Column COUNTS
Definition lookups_sha256.hpp:210
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:215
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:212
bb::avm2::lookup_sha256_range_rhs_w_3_settings_
Definition lookups_sha256.hpp:104
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:112
bb::avm2::lookup_sha256_range_rhs_w_3_settings_::RELATION_NAME
static constexpr std::string_view RELATION_NAME
Definition lookups_sha256.hpp:106
bb::avm2::lookup_sha256_range_rhs_w_3_settings_::NAME
static constexpr std::string_view NAME
Definition lookups_sha256.hpp:105
bb::avm2::lookup_sha256_range_rhs_w_3_settings_::COUNTS
static constexpr Column COUNTS
Definition lookups_sha256.hpp:110
bb::avm2::lookup_sha256_range_rhs_w_3_settings_::LOOKUP_TUPLE_SIZE
static constexpr size_t LOOKUP_TUPLE_SIZE
Definition lookups_sha256.hpp:107
bb::avm2::lookup_sha256_range_rhs_w_3_settings_::SRC_SELECTOR
static constexpr Column SRC_SELECTOR
Definition lookups_sha256.hpp:108
bb::avm2::lookup_sha256_range_rhs_w_3_settings_::DST_SELECTOR
static constexpr Column DST_SELECTOR
Definition lookups_sha256.hpp:109
bb::avm2::lookup_sha256_range_rhs_w_3_settings_::INVERSES
static constexpr Column INVERSES
Definition lookups_sha256.hpp:111
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:115
bb::avm2::lookup_sha256_range_rhs_w_7_settings_
Definition lookups_sha256.hpp:60
bb::avm2::lookup_sha256_range_rhs_w_7_settings_::NAME
static constexpr std::string_view NAME
Definition lookups_sha256.hpp:61
bb::avm2::lookup_sha256_range_rhs_w_7_settings_::LOOKUP_TUPLE_SIZE
static constexpr size_t LOOKUP_TUPLE_SIZE
Definition lookups_sha256.hpp:63
bb::avm2::lookup_sha256_range_rhs_w_7_settings_::INVERSES
static constexpr Column INVERSES
Definition lookups_sha256.hpp:67
bb::avm2::lookup_sha256_range_rhs_w_7_settings_::DST_SELECTOR
static constexpr Column DST_SELECTOR
Definition lookups_sha256.hpp:65
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:71
bb::avm2::lookup_sha256_range_rhs_w_7_settings_::COUNTS
static constexpr Column COUNTS
Definition lookups_sha256.hpp:66
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:68
bb::avm2::lookup_sha256_range_rhs_w_7_settings_::SRC_SELECTOR
static constexpr Column SRC_SELECTOR
Definition lookups_sha256.hpp:64
bb::avm2::lookup_sha256_range_rhs_w_7_settings_::RELATION_NAME
static constexpr std::string_view RELATION_NAME
Definition lookups_sha256.hpp:62
bb::avm2::lookup_sha256_round_constant_settings_
Definition lookups_sha256.hpp:503
bb::avm2::lookup_sha256_round_constant_settings_::DST_SELECTOR
static constexpr Column DST_SELECTOR
Definition lookups_sha256.hpp:508
bb::avm2::lookup_sha256_round_constant_settings_::RELATION_NAME
static constexpr std::string_view RELATION_NAME
Definition lookups_sha256.hpp:505
bb::avm2::lookup_sha256_round_constant_settings_::DST_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > DST_COLUMNS
Definition lookups_sha256.hpp:514
bb::avm2::lookup_sha256_round_constant_settings_::COUNTS
static constexpr Column COUNTS
Definition lookups_sha256.hpp:509
bb::avm2::lookup_sha256_round_constant_settings_::INVERSES
static constexpr Column INVERSES
Definition lookups_sha256.hpp:510
bb::avm2::lookup_sha256_round_constant_settings_::LOOKUP_TUPLE_SIZE
static constexpr size_t LOOKUP_TUPLE_SIZE
Definition lookups_sha256.hpp:506
bb::avm2::lookup_sha256_round_constant_settings_::SRC_SELECTOR
static constexpr Column SRC_SELECTOR
Definition lookups_sha256.hpp:507
bb::avm2::lookup_sha256_round_constant_settings_::NAME
static constexpr std::string_view NAME
Definition lookups_sha256.hpp:504
bb::avm2::lookup_sha256_round_constant_settings_::SRC_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE > SRC_COLUMNS
Definition lookups_sha256.hpp:511
bb::avm2::lookup_sha256_s_0_xor_0_settings_
Definition lookups_sha256.hpp:591
bb::avm2::lookup_sha256_s_0_xor_0_settings_::SRC_SELECTOR
static constexpr Column SRC_SELECTOR
Definition lookups_sha256.hpp:595
bb::avm2::lookup_sha256_s_0_xor_0_settings_::LOOKUP_TUPLE_SIZE
static constexpr size_t LOOKUP_TUPLE_SIZE
Definition lookups_sha256.hpp:594
bb::avm2::lookup_sha256_s_0_xor_0_settings_::RELATION_NAME
static constexpr std::string_view RELATION_NAME
Definition lookups_sha256.hpp:593
bb::avm2::lookup_sha256_s_0_xor_0_settings_::NAME
static constexpr std::string_view NAME
Definition lookups_sha256.hpp:592
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:606
bb::avm2::lookup_sha256_s_0_xor_0_settings_::INVERSES
static constexpr Column INVERSES
Definition lookups_sha256.hpp:598
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:599
bb::avm2::lookup_sha256_s_0_xor_0_settings_::DST_SELECTOR
static constexpr Column DST_SELECTOR
Definition lookups_sha256.hpp:596
bb::avm2::lookup_sha256_s_0_xor_0_settings_::COUNTS
static constexpr Column COUNTS
Definition lookups_sha256.hpp:597
bb::avm2::lookup_sha256_s_0_xor_1_settings_
Definition lookups_sha256.hpp:619
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:634
bb::avm2::lookup_sha256_s_0_xor_1_settings_::SRC_SELECTOR
static constexpr Column SRC_SELECTOR
Definition lookups_sha256.hpp:623
bb::avm2::lookup_sha256_s_0_xor_1_settings_::COUNTS
static constexpr Column COUNTS
Definition lookups_sha256.hpp:625
bb::avm2::lookup_sha256_s_0_xor_1_settings_::NAME
static constexpr std::string_view NAME
Definition lookups_sha256.hpp:620
bb::avm2::lookup_sha256_s_0_xor_1_settings_::DST_SELECTOR
static constexpr Column DST_SELECTOR
Definition lookups_sha256.hpp:624
bb::avm2::lookup_sha256_s_0_xor_1_settings_::INVERSES
static constexpr Column INVERSES
Definition lookups_sha256.hpp:626
bb::avm2::lookup_sha256_s_0_xor_1_settings_::RELATION_NAME
static constexpr std::string_view RELATION_NAME
Definition lookups_sha256.hpp:621
bb::avm2::lookup_sha256_s_0_xor_1_settings_::LOOKUP_TUPLE_SIZE
static constexpr size_t LOOKUP_TUPLE_SIZE
Definition lookups_sha256.hpp:622
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:627
bb::avm2::lookup_sha256_s_1_xor_0_settings_
Definition lookups_sha256.hpp:370
bb::avm2::lookup_sha256_s_1_xor_0_settings_::DST_SELECTOR
static constexpr Column DST_SELECTOR
Definition lookups_sha256.hpp:375
bb::avm2::lookup_sha256_s_1_xor_0_settings_::INVERSES
static constexpr Column INVERSES
Definition lookups_sha256.hpp:377
bb::avm2::lookup_sha256_s_1_xor_0_settings_::LOOKUP_TUPLE_SIZE
static constexpr size_t LOOKUP_TUPLE_SIZE
Definition lookups_sha256.hpp:373
bb::avm2::lookup_sha256_s_1_xor_0_settings_::SRC_SELECTOR
static constexpr Column SRC_SELECTOR
Definition lookups_sha256.hpp:374
bb::avm2::lookup_sha256_s_1_xor_0_settings_::COUNTS
static constexpr Column COUNTS
Definition lookups_sha256.hpp:376
bb::avm2::lookup_sha256_s_1_xor_0_settings_::RELATION_NAME
static constexpr std::string_view RELATION_NAME
Definition lookups_sha256.hpp:372
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:378
bb::avm2::lookup_sha256_s_1_xor_0_settings_::NAME
static constexpr std::string_view NAME
Definition lookups_sha256.hpp:371
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:385
bb::avm2::lookup_sha256_s_1_xor_1_settings_
Definition lookups_sha256.hpp:398
bb::avm2::lookup_sha256_s_1_xor_1_settings_::LOOKUP_TUPLE_SIZE
static constexpr size_t LOOKUP_TUPLE_SIZE
Definition lookups_sha256.hpp:401
bb::avm2::lookup_sha256_s_1_xor_1_settings_::INVERSES
static constexpr Column INVERSES
Definition lookups_sha256.hpp:405
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:406
bb::avm2::lookup_sha256_s_1_xor_1_settings_::SRC_SELECTOR
static constexpr Column SRC_SELECTOR
Definition lookups_sha256.hpp:402
bb::avm2::lookup_sha256_s_1_xor_1_settings_::COUNTS
static constexpr Column COUNTS
Definition lookups_sha256.hpp:404
bb::avm2::lookup_sha256_s_1_xor_1_settings_::NAME
static constexpr std::string_view NAME
Definition lookups_sha256.hpp:399
bb::avm2::lookup_sha256_s_1_xor_1_settings_::DST_SELECTOR
static constexpr Column DST_SELECTOR
Definition lookups_sha256.hpp:403
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:413
bb::avm2::lookup_sha256_s_1_xor_1_settings_::RELATION_NAME
static constexpr std::string_view RELATION_NAME
Definition lookups_sha256.hpp:400
bb::avm2::lookup_sha256_w_s_0_xor_0_settings_
Definition lookups_sha256.hpp:126
bb::avm2::lookup_sha256_w_s_0_xor_0_settings_::RELATION_NAME
static constexpr std::string_view RELATION_NAME
Definition lookups_sha256.hpp:128
bb::avm2::lookup_sha256_w_s_0_xor_0_settings_::NAME
static constexpr std::string_view NAME
Definition lookups_sha256.hpp:127
bb::avm2::lookup_sha256_w_s_0_xor_0_settings_::DST_SELECTOR
static constexpr Column DST_SELECTOR
Definition lookups_sha256.hpp:131
bb::avm2::lookup_sha256_w_s_0_xor_0_settings_::COUNTS
static constexpr Column COUNTS
Definition lookups_sha256.hpp:132
bb::avm2::lookup_sha256_w_s_0_xor_0_settings_::SRC_SELECTOR
static constexpr Column SRC_SELECTOR
Definition lookups_sha256.hpp:130
bb::avm2::lookup_sha256_w_s_0_xor_0_settings_::LOOKUP_TUPLE_SIZE
static constexpr size_t LOOKUP_TUPLE_SIZE
Definition lookups_sha256.hpp:129
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:134
bb::avm2::lookup_sha256_w_s_0_xor_0_settings_::INVERSES
static constexpr Column INVERSES
Definition lookups_sha256.hpp:133
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:141
bb::avm2::lookup_sha256_w_s_0_xor_1_settings_
Definition lookups_sha256.hpp:154
bb::avm2::lookup_sha256_w_s_0_xor_1_settings_::COUNTS
static constexpr Column COUNTS
Definition lookups_sha256.hpp:160
bb::avm2::lookup_sha256_w_s_0_xor_1_settings_::RELATION_NAME
static constexpr std::string_view RELATION_NAME
Definition lookups_sha256.hpp:156
bb::avm2::lookup_sha256_w_s_0_xor_1_settings_::DST_SELECTOR
static constexpr Column DST_SELECTOR
Definition lookups_sha256.hpp:159
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:169
bb::avm2::lookup_sha256_w_s_0_xor_1_settings_::NAME
static constexpr std::string_view NAME
Definition lookups_sha256.hpp:155
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:162
bb::avm2::lookup_sha256_w_s_0_xor_1_settings_::INVERSES
static constexpr Column INVERSES
Definition lookups_sha256.hpp:161
bb::avm2::lookup_sha256_w_s_0_xor_1_settings_::SRC_SELECTOR
static constexpr Column SRC_SELECTOR
Definition lookups_sha256.hpp:158
bb::avm2::lookup_sha256_w_s_0_xor_1_settings_::LOOKUP_TUPLE_SIZE
static constexpr size_t LOOKUP_TUPLE_SIZE
Definition lookups_sha256.hpp:157
bb::avm2::lookup_sha256_w_s_1_xor_0_settings_
Definition lookups_sha256.hpp:248
bb::avm2::lookup_sha256_w_s_1_xor_0_settings_::NAME
static constexpr std::string_view NAME
Definition lookups_sha256.hpp:249
bb::avm2::lookup_sha256_w_s_1_xor_0_settings_::LOOKUP_TUPLE_SIZE
static constexpr size_t LOOKUP_TUPLE_SIZE
Definition lookups_sha256.hpp:251
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:263
bb::avm2::lookup_sha256_w_s_1_xor_0_settings_::SRC_SELECTOR
static constexpr Column SRC_SELECTOR
Definition lookups_sha256.hpp:252
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:256
bb::avm2::lookup_sha256_w_s_1_xor_0_settings_::COUNTS
static constexpr Column COUNTS
Definition lookups_sha256.hpp:254
bb::avm2::lookup_sha256_w_s_1_xor_0_settings_::INVERSES
static constexpr Column INVERSES
Definition lookups_sha256.hpp:255
bb::avm2::lookup_sha256_w_s_1_xor_0_settings_::RELATION_NAME
static constexpr std::string_view RELATION_NAME
Definition lookups_sha256.hpp:250
bb::avm2::lookup_sha256_w_s_1_xor_0_settings_::DST_SELECTOR
static constexpr Column DST_SELECTOR
Definition lookups_sha256.hpp:253
bb::avm2::lookup_sha256_w_s_1_xor_1_settings_
Definition lookups_sha256.hpp:276
bb::avm2::lookup_sha256_w_s_1_xor_1_settings_::INVERSES
static constexpr Column INVERSES
Definition lookups_sha256.hpp:283
bb::avm2::lookup_sha256_w_s_1_xor_1_settings_::RELATION_NAME
static constexpr std::string_view RELATION_NAME
Definition lookups_sha256.hpp:278
bb::avm2::lookup_sha256_w_s_1_xor_1_settings_::LOOKUP_TUPLE_SIZE
static constexpr size_t LOOKUP_TUPLE_SIZE
Definition lookups_sha256.hpp:279
bb::avm2::lookup_sha256_w_s_1_xor_1_settings_::NAME
static constexpr std::string_view NAME
Definition lookups_sha256.hpp:277
bb::avm2::lookup_sha256_w_s_1_xor_1_settings_::COUNTS
static constexpr Column COUNTS
Definition lookups_sha256.hpp:282
bb::avm2::lookup_sha256_w_s_1_xor_1_settings_::DST_SELECTOR
static constexpr Column DST_SELECTOR
Definition lookups_sha256.hpp:281
bb::avm2::lookup_sha256_w_s_1_xor_1_settings_::SRC_SELECTOR
static constexpr Column SRC_SELECTOR
Definition lookups_sha256.hpp:280
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:284
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:291