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