Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
keccakf1600.hpp
Go to the documentation of this file.
1// AUTOGENERATED FILE
2#pragma once
3
4#include <string_view>
5
6#include "barretenberg/common/bb_bench.hpp"
7#include "barretenberg/relations/relation_parameters.hpp"
8#include "barretenberg/relations/relation_types.hpp"
9#include "barretenberg/vm2/generated/columns.hpp"
10
11namespace bb::avm2 {
12
13template <typename FF_> class keccakf1600Impl {
14 public:
15 using FF = FF_;
16
17 static constexpr std::array<size_t, 159> SUBRELATION_PARTIAL_LENGTHS = {
18 3, 4, 3, 3, 3, 4, 3, 3, 3, 3, 4, 3, 3, 3, 3, 2, 2, 3, 2, 2, 3, 2, 2, 3, 2, 2, 3, 2, 2, 2, 2, 2,
19 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
20 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3,
21 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3,
22 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 4, 3, 3, 3, 3, 4, 3
23 };
24
25 template <typename AllEntities> inline static bool skip(const AllEntities& in)
26 {
27 using C = ColumnAndShifts;
28
29 return (in.get(C::keccakf1600_sel)).is_zero();
30 }
31
32 template <typename ContainerOverSubrelations, typename AllEntities>
33 void static accumulate(ContainerOverSubrelations& evals,
34 const AllEntities& in,
35 [[maybe_unused]] const RelationParameters<FF>&,
36 [[maybe_unused]] const FF& scaling_factor);
37};
38
39template <typename FF> class keccakf1600 : public Relation<keccakf1600Impl<FF>> {
40 public:
41 static constexpr const std::string_view NAME = "keccakf1600";
42
43 // Subrelation indices constants, to be used in tests.
44 static constexpr size_t SR_TRACE_CONTINUITY = 1;
45 static constexpr size_t SR_SEL_NO_ERROR = 2;
46 static constexpr size_t SR_KECCAK_SEL_ROUND_NON_ZERO = 5;
47 static constexpr size_t SR_LAST_ON_ERROR = 7;
48 static constexpr size_t SR_START_AFTER_LATCH = 8;
49 static constexpr size_t SR_LAST_HAS_SEL_ON = 9;
50 static constexpr size_t SR_KECCAK_ROUND_INCREMENT = 10;
51 static constexpr size_t SR_THETA_XOR_ROW_MSB_0_BOOLEAN = 14;
52 static constexpr size_t SR_THETA_XOR_ROW_0_DECOMPOSITION = 15;
53 static constexpr size_t SR_THETA_XOR_ROW_ROTL1_0 = 16;
54 static constexpr size_t SR_THETA_XOR_ROW_MSB_1_BOOLEAN = 17;
55 static constexpr size_t SR_THETA_XOR_ROW_1_DECOMPOSITION = 18;
56 static constexpr size_t SR_THETA_XOR_ROW_ROTL1_1 = 19;
57 static constexpr size_t SR_THETA_XOR_ROW_MSB_2_BOOLEAN = 20;
58 static constexpr size_t SR_THETA_XOR_ROW_2_DECOMPOSITION = 21;
59 static constexpr size_t SR_THETA_XOR_ROW_ROTL1_2 = 22;
60 static constexpr size_t SR_THETA_XOR_ROW_MSB_3_BOOLEAN = 23;
61 static constexpr size_t SR_THETA_XOR_ROW_3_DECOMPOSITION = 24;
62 static constexpr size_t SR_THETA_XOR_ROW_ROTL1_3 = 25;
63 static constexpr size_t SR_THETA_XOR_ROW_MSB_4_BOOLEAN = 26;
64 static constexpr size_t SR_THETA_XOR_ROW_4_DECOMPOSITION = 27;
65 static constexpr size_t SR_THETA_XOR_ROW_ROTL1_4 = 28;
66 static constexpr size_t SR_STATE_THETA_01_DECOMPOSE = 29;
67 static constexpr size_t SR_STATE_RHO_01 = 30;
68 static constexpr size_t SR_STATE_THETA_02_DECOMPOSE = 31;
69 static constexpr size_t SR_STATE_RHO_02 = 32;
70 static constexpr size_t SR_STATE_THETA_03_DECOMPOSE = 33;
71 static constexpr size_t SR_STATE_RHO_03 = 34;
72 static constexpr size_t SR_STATE_THETA_04_DECOMPOSE = 35;
73 static constexpr size_t SR_STATE_RHO_04 = 36;
74 static constexpr size_t SR_STATE_THETA_10_DECOMPOSE = 37;
75 static constexpr size_t SR_STATE_RHO_10 = 38;
76 static constexpr size_t SR_STATE_THETA_11_DECOMPOSE = 39;
77 static constexpr size_t SR_STATE_RHO_11 = 40;
78 static constexpr size_t SR_STATE_THETA_12_DECOMPOSE = 41;
79 static constexpr size_t SR_STATE_RHO_12 = 42;
80 static constexpr size_t SR_STATE_THETA_13_DECOMPOSE = 43;
81 static constexpr size_t SR_STATE_RHO_13 = 44;
82 static constexpr size_t SR_STATE_THETA_14_DECOMPOSE = 45;
83 static constexpr size_t SR_STATE_RHO_14 = 46;
84 static constexpr size_t SR_STATE_THETA_20_DECOMPOSE = 47;
85 static constexpr size_t SR_STATE_RHO_20 = 48;
86 static constexpr size_t SR_STATE_THETA_21_DECOMPOSE = 49;
87 static constexpr size_t SR_STATE_RHO_21 = 50;
88 static constexpr size_t SR_STATE_THETA_22_DECOMPOSE = 51;
89 static constexpr size_t SR_STATE_RHO_22 = 52;
90 static constexpr size_t SR_STATE_THETA_23_DECOMPOSE = 53;
91 static constexpr size_t SR_STATE_RHO_23 = 54;
92 static constexpr size_t SR_STATE_THETA_24_DECOMPOSE = 55;
93 static constexpr size_t SR_STATE_RHO_24 = 56;
94 static constexpr size_t SR_STATE_THETA_30_DECOMPOSE = 57;
95 static constexpr size_t SR_STATE_RHO_30 = 58;
96 static constexpr size_t SR_STATE_THETA_31_DECOMPOSE = 59;
97 static constexpr size_t SR_STATE_RHO_31 = 60;
98 static constexpr size_t SR_STATE_THETA_32_DECOMPOSE = 61;
99 static constexpr size_t SR_STATE_RHO_32 = 62;
100 static constexpr size_t SR_STATE_THETA_33_DECOMPOSE = 63;
101 static constexpr size_t SR_STATE_RHO_33 = 64;
102 static constexpr size_t SR_STATE_THETA_34_DECOMPOSE = 65;
103 static constexpr size_t SR_STATE_RHO_34 = 66;
104 static constexpr size_t SR_STATE_THETA_40_DECOMPOSE = 67;
105 static constexpr size_t SR_STATE_RHO_40 = 68;
106 static constexpr size_t SR_STATE_THETA_41_DECOMPOSE = 69;
107 static constexpr size_t SR_STATE_RHO_41 = 70;
108 static constexpr size_t SR_STATE_THETA_42_DECOMPOSE = 71;
109 static constexpr size_t SR_STATE_RHO_42 = 72;
110 static constexpr size_t SR_STATE_THETA_43_DECOMPOSE = 73;
111 static constexpr size_t SR_STATE_RHO_43 = 74;
112 static constexpr size_t SR_STATE_THETA_44_DECOMPOSE = 75;
113 static constexpr size_t SR_STATE_RHO_44 = 76;
114 static constexpr size_t SR_STATE_PI_NOT_00 = 101;
115 static constexpr size_t SR_STATE_PI_NOT_01 = 102;
116 static constexpr size_t SR_STATE_PI_NOT_02 = 103;
117 static constexpr size_t SR_STATE_PI_NOT_03 = 104;
118 static constexpr size_t SR_STATE_PI_NOT_04 = 105;
119 static constexpr size_t SR_STATE_PI_NOT_10 = 106;
120 static constexpr size_t SR_STATE_PI_NOT_11 = 107;
121 static constexpr size_t SR_STATE_PI_NOT_12 = 108;
122 static constexpr size_t SR_STATE_PI_NOT_13 = 109;
123 static constexpr size_t SR_STATE_PI_NOT_14 = 110;
124 static constexpr size_t SR_STATE_PI_NOT_20 = 111;
125 static constexpr size_t SR_STATE_PI_NOT_21 = 112;
126 static constexpr size_t SR_STATE_PI_NOT_22 = 113;
127 static constexpr size_t SR_STATE_PI_NOT_23 = 114;
128 static constexpr size_t SR_STATE_PI_NOT_24 = 115;
129 static constexpr size_t SR_STATE_PI_NOT_30 = 116;
130 static constexpr size_t SR_STATE_PI_NOT_31 = 117;
131 static constexpr size_t SR_STATE_PI_NOT_32 = 118;
132 static constexpr size_t SR_STATE_PI_NOT_33 = 119;
133 static constexpr size_t SR_STATE_PI_NOT_34 = 120;
134 static constexpr size_t SR_STATE_PI_NOT_40 = 121;
135 static constexpr size_t SR_STATE_PI_NOT_41 = 122;
136 static constexpr size_t SR_STATE_PI_NOT_42 = 123;
137 static constexpr size_t SR_STATE_PI_NOT_43 = 124;
138 static constexpr size_t SR_STATE_PI_NOT_44 = 125;
139 static constexpr size_t SR_NEXT_STATE_IN_00 = 126;
140 static constexpr size_t SR_NEXT_STATE_IN_01 = 127;
141 static constexpr size_t SR_NEXT_STATE_IN_02 = 128;
142 static constexpr size_t SR_NEXT_STATE_IN_03 = 129;
143 static constexpr size_t SR_NEXT_STATE_IN_04 = 130;
144 static constexpr size_t SR_NEXT_STATE_IN_10 = 131;
145 static constexpr size_t SR_NEXT_STATE_IN_11 = 132;
146 static constexpr size_t SR_NEXT_STATE_IN_12 = 133;
147 static constexpr size_t SR_NEXT_STATE_IN_13 = 134;
148 static constexpr size_t SR_NEXT_STATE_IN_14 = 135;
149 static constexpr size_t SR_NEXT_STATE_IN_20 = 136;
150 static constexpr size_t SR_NEXT_STATE_IN_21 = 137;
151 static constexpr size_t SR_NEXT_STATE_IN_22 = 138;
152 static constexpr size_t SR_NEXT_STATE_IN_23 = 139;
153 static constexpr size_t SR_NEXT_STATE_IN_24 = 140;
154 static constexpr size_t SR_NEXT_STATE_IN_30 = 141;
155 static constexpr size_t SR_NEXT_STATE_IN_31 = 142;
156 static constexpr size_t SR_NEXT_STATE_IN_32 = 143;
157 static constexpr size_t SR_NEXT_STATE_IN_33 = 144;
158 static constexpr size_t SR_NEXT_STATE_IN_34 = 145;
159 static constexpr size_t SR_NEXT_STATE_IN_40 = 146;
160 static constexpr size_t SR_NEXT_STATE_IN_41 = 147;
161 static constexpr size_t SR_NEXT_STATE_IN_42 = 148;
162 static constexpr size_t SR_NEXT_STATE_IN_43 = 149;
163 static constexpr size_t SR_NEXT_STATE_IN_44 = 150;
164 static constexpr size_t SR_ERROR = 152;
165 static constexpr size_t SR_DST_ADDR_PROPAGATION = 153;
166 static constexpr size_t SR_CLK_PROPAGATION = 154;
167 static constexpr size_t SR_SPACE_ID_PROPAGATION = 155;
168 static constexpr size_t SR_SEL_NO_ERROR_PROPAGATION = 156;
169 static constexpr size_t SR_SEL_SLICE_READ = 157;
170 static constexpr size_t SR_SEL_SLICE_WRITE = 158;
171
172 static std::string get_subrelation_label(size_t index)
173 {
174 switch (index) {
175 case SR_TRACE_CONTINUITY:
176 return "TRACE_CONTINUITY";
177 case SR_SEL_NO_ERROR:
178 return "SEL_NO_ERROR";
179 case SR_KECCAK_SEL_ROUND_NON_ZERO:
180 return "KECCAK_SEL_ROUND_NON_ZERO";
181 case SR_LAST_ON_ERROR:
182 return "LAST_ON_ERROR";
183 case SR_START_AFTER_LATCH:
184 return "START_AFTER_LATCH";
185 case SR_LAST_HAS_SEL_ON:
186 return "LAST_HAS_SEL_ON";
187 case SR_KECCAK_ROUND_INCREMENT:
188 return "KECCAK_ROUND_INCREMENT";
189 case SR_THETA_XOR_ROW_MSB_0_BOOLEAN:
190 return "THETA_XOR_ROW_MSB_0_BOOLEAN";
191 case SR_THETA_XOR_ROW_0_DECOMPOSITION:
192 return "THETA_XOR_ROW_0_DECOMPOSITION";
193 case SR_THETA_XOR_ROW_ROTL1_0:
194 return "THETA_XOR_ROW_ROTL1_0";
195 case SR_THETA_XOR_ROW_MSB_1_BOOLEAN:
196 return "THETA_XOR_ROW_MSB_1_BOOLEAN";
197 case SR_THETA_XOR_ROW_1_DECOMPOSITION:
198 return "THETA_XOR_ROW_1_DECOMPOSITION";
199 case SR_THETA_XOR_ROW_ROTL1_1:
200 return "THETA_XOR_ROW_ROTL1_1";
201 case SR_THETA_XOR_ROW_MSB_2_BOOLEAN:
202 return "THETA_XOR_ROW_MSB_2_BOOLEAN";
203 case SR_THETA_XOR_ROW_2_DECOMPOSITION:
204 return "THETA_XOR_ROW_2_DECOMPOSITION";
205 case SR_THETA_XOR_ROW_ROTL1_2:
206 return "THETA_XOR_ROW_ROTL1_2";
207 case SR_THETA_XOR_ROW_MSB_3_BOOLEAN:
208 return "THETA_XOR_ROW_MSB_3_BOOLEAN";
209 case SR_THETA_XOR_ROW_3_DECOMPOSITION:
210 return "THETA_XOR_ROW_3_DECOMPOSITION";
211 case SR_THETA_XOR_ROW_ROTL1_3:
212 return "THETA_XOR_ROW_ROTL1_3";
213 case SR_THETA_XOR_ROW_MSB_4_BOOLEAN:
214 return "THETA_XOR_ROW_MSB_4_BOOLEAN";
215 case SR_THETA_XOR_ROW_4_DECOMPOSITION:
216 return "THETA_XOR_ROW_4_DECOMPOSITION";
217 case SR_THETA_XOR_ROW_ROTL1_4:
218 return "THETA_XOR_ROW_ROTL1_4";
219 case SR_STATE_THETA_01_DECOMPOSE:
220 return "STATE_THETA_01_DECOMPOSE";
221 case SR_STATE_RHO_01:
222 return "STATE_RHO_01";
223 case SR_STATE_THETA_02_DECOMPOSE:
224 return "STATE_THETA_02_DECOMPOSE";
225 case SR_STATE_RHO_02:
226 return "STATE_RHO_02";
227 case SR_STATE_THETA_03_DECOMPOSE:
228 return "STATE_THETA_03_DECOMPOSE";
229 case SR_STATE_RHO_03:
230 return "STATE_RHO_03";
231 case SR_STATE_THETA_04_DECOMPOSE:
232 return "STATE_THETA_04_DECOMPOSE";
233 case SR_STATE_RHO_04:
234 return "STATE_RHO_04";
235 case SR_STATE_THETA_10_DECOMPOSE:
236 return "STATE_THETA_10_DECOMPOSE";
237 case SR_STATE_RHO_10:
238 return "STATE_RHO_10";
239 case SR_STATE_THETA_11_DECOMPOSE:
240 return "STATE_THETA_11_DECOMPOSE";
241 case SR_STATE_RHO_11:
242 return "STATE_RHO_11";
243 case SR_STATE_THETA_12_DECOMPOSE:
244 return "STATE_THETA_12_DECOMPOSE";
245 case SR_STATE_RHO_12:
246 return "STATE_RHO_12";
247 case SR_STATE_THETA_13_DECOMPOSE:
248 return "STATE_THETA_13_DECOMPOSE";
249 case SR_STATE_RHO_13:
250 return "STATE_RHO_13";
251 case SR_STATE_THETA_14_DECOMPOSE:
252 return "STATE_THETA_14_DECOMPOSE";
253 case SR_STATE_RHO_14:
254 return "STATE_RHO_14";
255 case SR_STATE_THETA_20_DECOMPOSE:
256 return "STATE_THETA_20_DECOMPOSE";
257 case SR_STATE_RHO_20:
258 return "STATE_RHO_20";
259 case SR_STATE_THETA_21_DECOMPOSE:
260 return "STATE_THETA_21_DECOMPOSE";
261 case SR_STATE_RHO_21:
262 return "STATE_RHO_21";
263 case SR_STATE_THETA_22_DECOMPOSE:
264 return "STATE_THETA_22_DECOMPOSE";
265 case SR_STATE_RHO_22:
266 return "STATE_RHO_22";
267 case SR_STATE_THETA_23_DECOMPOSE:
268 return "STATE_THETA_23_DECOMPOSE";
269 case SR_STATE_RHO_23:
270 return "STATE_RHO_23";
271 case SR_STATE_THETA_24_DECOMPOSE:
272 return "STATE_THETA_24_DECOMPOSE";
273 case SR_STATE_RHO_24:
274 return "STATE_RHO_24";
275 case SR_STATE_THETA_30_DECOMPOSE:
276 return "STATE_THETA_30_DECOMPOSE";
277 case SR_STATE_RHO_30:
278 return "STATE_RHO_30";
279 case SR_STATE_THETA_31_DECOMPOSE:
280 return "STATE_THETA_31_DECOMPOSE";
281 case SR_STATE_RHO_31:
282 return "STATE_RHO_31";
283 case SR_STATE_THETA_32_DECOMPOSE:
284 return "STATE_THETA_32_DECOMPOSE";
285 case SR_STATE_RHO_32:
286 return "STATE_RHO_32";
287 case SR_STATE_THETA_33_DECOMPOSE:
288 return "STATE_THETA_33_DECOMPOSE";
289 case SR_STATE_RHO_33:
290 return "STATE_RHO_33";
291 case SR_STATE_THETA_34_DECOMPOSE:
292 return "STATE_THETA_34_DECOMPOSE";
293 case SR_STATE_RHO_34:
294 return "STATE_RHO_34";
295 case SR_STATE_THETA_40_DECOMPOSE:
296 return "STATE_THETA_40_DECOMPOSE";
297 case SR_STATE_RHO_40:
298 return "STATE_RHO_40";
299 case SR_STATE_THETA_41_DECOMPOSE:
300 return "STATE_THETA_41_DECOMPOSE";
301 case SR_STATE_RHO_41:
302 return "STATE_RHO_41";
303 case SR_STATE_THETA_42_DECOMPOSE:
304 return "STATE_THETA_42_DECOMPOSE";
305 case SR_STATE_RHO_42:
306 return "STATE_RHO_42";
307 case SR_STATE_THETA_43_DECOMPOSE:
308 return "STATE_THETA_43_DECOMPOSE";
309 case SR_STATE_RHO_43:
310 return "STATE_RHO_43";
311 case SR_STATE_THETA_44_DECOMPOSE:
312 return "STATE_THETA_44_DECOMPOSE";
313 case SR_STATE_RHO_44:
314 return "STATE_RHO_44";
315 case SR_STATE_PI_NOT_00:
316 return "STATE_PI_NOT_00";
317 case SR_STATE_PI_NOT_01:
318 return "STATE_PI_NOT_01";
319 case SR_STATE_PI_NOT_02:
320 return "STATE_PI_NOT_02";
321 case SR_STATE_PI_NOT_03:
322 return "STATE_PI_NOT_03";
323 case SR_STATE_PI_NOT_04:
324 return "STATE_PI_NOT_04";
325 case SR_STATE_PI_NOT_10:
326 return "STATE_PI_NOT_10";
327 case SR_STATE_PI_NOT_11:
328 return "STATE_PI_NOT_11";
329 case SR_STATE_PI_NOT_12:
330 return "STATE_PI_NOT_12";
331 case SR_STATE_PI_NOT_13:
332 return "STATE_PI_NOT_13";
333 case SR_STATE_PI_NOT_14:
334 return "STATE_PI_NOT_14";
335 case SR_STATE_PI_NOT_20:
336 return "STATE_PI_NOT_20";
337 case SR_STATE_PI_NOT_21:
338 return "STATE_PI_NOT_21";
339 case SR_STATE_PI_NOT_22:
340 return "STATE_PI_NOT_22";
341 case SR_STATE_PI_NOT_23:
342 return "STATE_PI_NOT_23";
343 case SR_STATE_PI_NOT_24:
344 return "STATE_PI_NOT_24";
345 case SR_STATE_PI_NOT_30:
346 return "STATE_PI_NOT_30";
347 case SR_STATE_PI_NOT_31:
348 return "STATE_PI_NOT_31";
349 case SR_STATE_PI_NOT_32:
350 return "STATE_PI_NOT_32";
351 case SR_STATE_PI_NOT_33:
352 return "STATE_PI_NOT_33";
353 case SR_STATE_PI_NOT_34:
354 return "STATE_PI_NOT_34";
355 case SR_STATE_PI_NOT_40:
356 return "STATE_PI_NOT_40";
357 case SR_STATE_PI_NOT_41:
358 return "STATE_PI_NOT_41";
359 case SR_STATE_PI_NOT_42:
360 return "STATE_PI_NOT_42";
361 case SR_STATE_PI_NOT_43:
362 return "STATE_PI_NOT_43";
363 case SR_STATE_PI_NOT_44:
364 return "STATE_PI_NOT_44";
365 case SR_NEXT_STATE_IN_00:
366 return "NEXT_STATE_IN_00";
367 case SR_NEXT_STATE_IN_01:
368 return "NEXT_STATE_IN_01";
369 case SR_NEXT_STATE_IN_02:
370 return "NEXT_STATE_IN_02";
371 case SR_NEXT_STATE_IN_03:
372 return "NEXT_STATE_IN_03";
373 case SR_NEXT_STATE_IN_04:
374 return "NEXT_STATE_IN_04";
375 case SR_NEXT_STATE_IN_10:
376 return "NEXT_STATE_IN_10";
377 case SR_NEXT_STATE_IN_11:
378 return "NEXT_STATE_IN_11";
379 case SR_NEXT_STATE_IN_12:
380 return "NEXT_STATE_IN_12";
381 case SR_NEXT_STATE_IN_13:
382 return "NEXT_STATE_IN_13";
383 case SR_NEXT_STATE_IN_14:
384 return "NEXT_STATE_IN_14";
385 case SR_NEXT_STATE_IN_20:
386 return "NEXT_STATE_IN_20";
387 case SR_NEXT_STATE_IN_21:
388 return "NEXT_STATE_IN_21";
389 case SR_NEXT_STATE_IN_22:
390 return "NEXT_STATE_IN_22";
391 case SR_NEXT_STATE_IN_23:
392 return "NEXT_STATE_IN_23";
393 case SR_NEXT_STATE_IN_24:
394 return "NEXT_STATE_IN_24";
395 case SR_NEXT_STATE_IN_30:
396 return "NEXT_STATE_IN_30";
397 case SR_NEXT_STATE_IN_31:
398 return "NEXT_STATE_IN_31";
399 case SR_NEXT_STATE_IN_32:
400 return "NEXT_STATE_IN_32";
401 case SR_NEXT_STATE_IN_33:
402 return "NEXT_STATE_IN_33";
403 case SR_NEXT_STATE_IN_34:
404 return "NEXT_STATE_IN_34";
405 case SR_NEXT_STATE_IN_40:
406 return "NEXT_STATE_IN_40";
407 case SR_NEXT_STATE_IN_41:
408 return "NEXT_STATE_IN_41";
409 case SR_NEXT_STATE_IN_42:
410 return "NEXT_STATE_IN_42";
411 case SR_NEXT_STATE_IN_43:
412 return "NEXT_STATE_IN_43";
413 case SR_NEXT_STATE_IN_44:
414 return "NEXT_STATE_IN_44";
415 case SR_ERROR:
416 return "ERROR";
417 case SR_DST_ADDR_PROPAGATION:
418 return "DST_ADDR_PROPAGATION";
419 case SR_CLK_PROPAGATION:
420 return "CLK_PROPAGATION";
421 case SR_SPACE_ID_PROPAGATION:
422 return "SPACE_ID_PROPAGATION";
423 case SR_SEL_NO_ERROR_PROPAGATION:
424 return "SEL_NO_ERROR_PROPAGATION";
425 case SR_SEL_SLICE_READ:
426 return "SEL_SLICE_READ";
427 case SR_SEL_SLICE_WRITE:
428 return "SEL_SLICE_WRITE";
429 }
430 return std::to_string(index);
431 }
432};
433
434} // namespace bb::avm2
bb_bench.hpp
bb::Relation
A wrapper for Relations to expose methods used by the Sumcheck prover or verifier to add the contribu...
Definition relation_types.hpp:96
bb::avm2::keccakf1600::SR_STATE_THETA_30_DECOMPOSE
static constexpr size_t SR_STATE_THETA_30_DECOMPOSE
Definition keccakf1600.hpp:94
bb::avm2::keccakf1600::SR_STATE_THETA_14_DECOMPOSE
static constexpr size_t SR_STATE_THETA_14_DECOMPOSE
Definition keccakf1600.hpp:82
bb::avm2::keccakf1600::SR_STATE_THETA_01_DECOMPOSE
static constexpr size_t SR_STATE_THETA_01_DECOMPOSE
Definition keccakf1600.hpp:66
bb::avm2::keccakf1600::SR_STATE_THETA_40_DECOMPOSE
static constexpr size_t SR_STATE_THETA_40_DECOMPOSE
Definition keccakf1600.hpp:104
bb::avm2::keccakf1600::SR_STATE_RHO_20
static constexpr size_t SR_STATE_RHO_20
Definition keccakf1600.hpp:85
bb::avm2::keccakf1600::SR_STATE_THETA_10_DECOMPOSE
static constexpr size_t SR_STATE_THETA_10_DECOMPOSE
Definition keccakf1600.hpp:74
bb::avm2::keccakf1600::SR_THETA_XOR_ROW_ROTL1_0
static constexpr size_t SR_THETA_XOR_ROW_ROTL1_0
Definition keccakf1600.hpp:53
bb::avm2::keccakf1600::SR_NEXT_STATE_IN_10
static constexpr size_t SR_NEXT_STATE_IN_10
Definition keccakf1600.hpp:144
bb::avm2::keccakf1600::SR_SEL_NO_ERROR
static constexpr size_t SR_SEL_NO_ERROR
Definition keccakf1600.hpp:45
bb::avm2::keccakf1600::SR_NEXT_STATE_IN_41
static constexpr size_t SR_NEXT_STATE_IN_41
Definition keccakf1600.hpp:160
bb::avm2::keccakf1600::SR_STATE_RHO_14
static constexpr size_t SR_STATE_RHO_14
Definition keccakf1600.hpp:83
bb::avm2::keccakf1600::SR_STATE_PI_NOT_12
static constexpr size_t SR_STATE_PI_NOT_12
Definition keccakf1600.hpp:121
bb::avm2::keccakf1600::SR_NEXT_STATE_IN_21
static constexpr size_t SR_NEXT_STATE_IN_21
Definition keccakf1600.hpp:150
bb::avm2::keccakf1600::SR_STATE_PI_NOT_01
static constexpr size_t SR_STATE_PI_NOT_01
Definition keccakf1600.hpp:115
bb::avm2::keccakf1600::SR_STATE_RHO_44
static constexpr size_t SR_STATE_RHO_44
Definition keccakf1600.hpp:113
bb::avm2::keccakf1600::SR_THETA_XOR_ROW_ROTL1_2
static constexpr size_t SR_THETA_XOR_ROW_ROTL1_2
Definition keccakf1600.hpp:59
bb::avm2::keccakf1600::SR_STATE_PI_NOT_00
static constexpr size_t SR_STATE_PI_NOT_00
Definition keccakf1600.hpp:114
bb::avm2::keccakf1600::SR_NEXT_STATE_IN_04
static constexpr size_t SR_NEXT_STATE_IN_04
Definition keccakf1600.hpp:143
bb::avm2::keccakf1600::SR_NEXT_STATE_IN_33
static constexpr size_t SR_NEXT_STATE_IN_33
Definition keccakf1600.hpp:157
bb::avm2::keccakf1600::SR_STATE_PI_NOT_11
static constexpr size_t SR_STATE_PI_NOT_11
Definition keccakf1600.hpp:120
bb::avm2::keccakf1600::SR_STATE_PI_NOT_10
static constexpr size_t SR_STATE_PI_NOT_10
Definition keccakf1600.hpp:119
bb::avm2::keccakf1600::SR_KECCAK_ROUND_INCREMENT
static constexpr size_t SR_KECCAK_ROUND_INCREMENT
Definition keccakf1600.hpp:50
bb::avm2::keccakf1600::SR_STATE_RHO_22
static constexpr size_t SR_STATE_RHO_22
Definition keccakf1600.hpp:89
bb::avm2::keccakf1600::SR_NEXT_STATE_IN_34
static constexpr size_t SR_NEXT_STATE_IN_34
Definition keccakf1600.hpp:158
bb::avm2::keccakf1600::SR_THETA_XOR_ROW_MSB_4_BOOLEAN
static constexpr size_t SR_THETA_XOR_ROW_MSB_4_BOOLEAN
Definition keccakf1600.hpp:63
bb::avm2::keccakf1600::SR_STATE_RHO_11
static constexpr size_t SR_STATE_RHO_11
Definition keccakf1600.hpp:77
bb::avm2::keccakf1600::SR_NEXT_STATE_IN_20
static constexpr size_t SR_NEXT_STATE_IN_20
Definition keccakf1600.hpp:149
bb::avm2::keccakf1600::SR_STATE_RHO_12
static constexpr size_t SR_STATE_RHO_12
Definition keccakf1600.hpp:79
bb::avm2::keccakf1600::SR_STATE_PI_NOT_20
static constexpr size_t SR_STATE_PI_NOT_20
Definition keccakf1600.hpp:124
bb::avm2::keccakf1600::get_subrelation_label
static std::string get_subrelation_label(size_t index)
Definition keccakf1600.hpp:172
bb::avm2::keccakf1600::SR_STATE_PI_NOT_03
static constexpr size_t SR_STATE_PI_NOT_03
Definition keccakf1600.hpp:117
bb::avm2::keccakf1600::SR_STATE_THETA_32_DECOMPOSE
static constexpr size_t SR_STATE_THETA_32_DECOMPOSE
Definition keccakf1600.hpp:98
bb::avm2::keccakf1600::SR_THETA_XOR_ROW_MSB_3_BOOLEAN
static constexpr size_t SR_THETA_XOR_ROW_MSB_3_BOOLEAN
Definition keccakf1600.hpp:60
bb::avm2::keccakf1600::NAME
static constexpr const std::string_view NAME
Definition keccakf1600.hpp:41
bb::avm2::keccakf1600::SR_CLK_PROPAGATION
static constexpr size_t SR_CLK_PROPAGATION
Definition keccakf1600.hpp:166
bb::avm2::keccakf1600::SR_STATE_PI_NOT_32
static constexpr size_t SR_STATE_PI_NOT_32
Definition keccakf1600.hpp:131
bb::avm2::keccakf1600::SR_STATE_PI_NOT_02
static constexpr size_t SR_STATE_PI_NOT_02
Definition keccakf1600.hpp:116
bb::avm2::keccakf1600::SR_NEXT_STATE_IN_23
static constexpr size_t SR_NEXT_STATE_IN_23
Definition keccakf1600.hpp:152
bb::avm2::keccakf1600::SR_NEXT_STATE_IN_02
static constexpr size_t SR_NEXT_STATE_IN_02
Definition keccakf1600.hpp:141
bb::avm2::keccakf1600::SR_STATE_PI_NOT_04
static constexpr size_t SR_STATE_PI_NOT_04
Definition keccakf1600.hpp:118
bb::avm2::keccakf1600::SR_NEXT_STATE_IN_01
static constexpr size_t SR_NEXT_STATE_IN_01
Definition keccakf1600.hpp:140
bb::avm2::keccakf1600::SR_THETA_XOR_ROW_1_DECOMPOSITION
static constexpr size_t SR_THETA_XOR_ROW_1_DECOMPOSITION
Definition keccakf1600.hpp:55
bb::avm2::keccakf1600::SR_SEL_NO_ERROR_PROPAGATION
static constexpr size_t SR_SEL_NO_ERROR_PROPAGATION
Definition keccakf1600.hpp:168
bb::avm2::keccakf1600::SR_STATE_PI_NOT_23
static constexpr size_t SR_STATE_PI_NOT_23
Definition keccakf1600.hpp:127
bb::avm2::keccakf1600::SR_STATE_RHO_24
static constexpr size_t SR_STATE_RHO_24
Definition keccakf1600.hpp:93
bb::avm2::keccakf1600::SR_STATE_RHO_21
static constexpr size_t SR_STATE_RHO_21
Definition keccakf1600.hpp:87
bb::avm2::keccakf1600::SR_STATE_RHO_04
static constexpr size_t SR_STATE_RHO_04
Definition keccakf1600.hpp:73
bb::avm2::keccakf1600::SR_STATE_PI_NOT_22
static constexpr size_t SR_STATE_PI_NOT_22
Definition keccakf1600.hpp:126
bb::avm2::keccakf1600::SR_STATE_THETA_02_DECOMPOSE
static constexpr size_t SR_STATE_THETA_02_DECOMPOSE
Definition keccakf1600.hpp:68
bb::avm2::keccakf1600::SR_STATE_RHO_13
static constexpr size_t SR_STATE_RHO_13
Definition keccakf1600.hpp:81
bb::avm2::keccakf1600::SR_STATE_RHO_02
static constexpr size_t SR_STATE_RHO_02
Definition keccakf1600.hpp:69
bb::avm2::keccakf1600::SR_THETA_XOR_ROW_ROTL1_4
static constexpr size_t SR_THETA_XOR_ROW_ROTL1_4
Definition keccakf1600.hpp:65
bb::avm2::keccakf1600::SR_STATE_RHO_43
static constexpr size_t SR_STATE_RHO_43
Definition keccakf1600.hpp:111
bb::avm2::keccakf1600::SR_STATE_THETA_44_DECOMPOSE
static constexpr size_t SR_STATE_THETA_44_DECOMPOSE
Definition keccakf1600.hpp:112
bb::avm2::keccakf1600::SR_LAST_ON_ERROR
static constexpr size_t SR_LAST_ON_ERROR
Definition keccakf1600.hpp:47
bb::avm2::keccakf1600::SR_STATE_PI_NOT_43
static constexpr size_t SR_STATE_PI_NOT_43
Definition keccakf1600.hpp:137
bb::avm2::keccakf1600::SR_NEXT_STATE_IN_14
static constexpr size_t SR_NEXT_STATE_IN_14
Definition keccakf1600.hpp:148
bb::avm2::keccakf1600::SR_SEL_SLICE_READ
static constexpr size_t SR_SEL_SLICE_READ
Definition keccakf1600.hpp:169
bb::avm2::keccakf1600::SR_NEXT_STATE_IN_43
static constexpr size_t SR_NEXT_STATE_IN_43
Definition keccakf1600.hpp:162
bb::avm2::keccakf1600::SR_NEXT_STATE_IN_32
static constexpr size_t SR_NEXT_STATE_IN_32
Definition keccakf1600.hpp:156
bb::avm2::keccakf1600::SR_STATE_THETA_31_DECOMPOSE
static constexpr size_t SR_STATE_THETA_31_DECOMPOSE
Definition keccakf1600.hpp:96
bb::avm2::keccakf1600::SR_STATE_PI_NOT_42
static constexpr size_t SR_STATE_PI_NOT_42
Definition keccakf1600.hpp:136
bb::avm2::keccakf1600::SR_STATE_PI_NOT_14
static constexpr size_t SR_STATE_PI_NOT_14
Definition keccakf1600.hpp:123
bb::avm2::keccakf1600::SR_SEL_SLICE_WRITE
static constexpr size_t SR_SEL_SLICE_WRITE
Definition keccakf1600.hpp:170
bb::avm2::keccakf1600::SR_STATE_PI_NOT_13
static constexpr size_t SR_STATE_PI_NOT_13
Definition keccakf1600.hpp:122
bb::avm2::keccakf1600::SR_STATE_RHO_42
static constexpr size_t SR_STATE_RHO_42
Definition keccakf1600.hpp:109
bb::avm2::keccakf1600::SR_STATE_THETA_23_DECOMPOSE
static constexpr size_t SR_STATE_THETA_23_DECOMPOSE
Definition keccakf1600.hpp:90
bb::avm2::keccakf1600::SR_STATE_THETA_13_DECOMPOSE
static constexpr size_t SR_STATE_THETA_13_DECOMPOSE
Definition keccakf1600.hpp:80
bb::avm2::keccakf1600::SR_THETA_XOR_ROW_MSB_1_BOOLEAN
static constexpr size_t SR_THETA_XOR_ROW_MSB_1_BOOLEAN
Definition keccakf1600.hpp:54
bb::avm2::keccakf1600::SR_STATE_RHO_10
static constexpr size_t SR_STATE_RHO_10
Definition keccakf1600.hpp:75
bb::avm2::keccakf1600::SR_STATE_THETA_21_DECOMPOSE
static constexpr size_t SR_STATE_THETA_21_DECOMPOSE
Definition keccakf1600.hpp:86
bb::avm2::keccakf1600::SR_KECCAK_SEL_ROUND_NON_ZERO
static constexpr size_t SR_KECCAK_SEL_ROUND_NON_ZERO
Definition keccakf1600.hpp:46
bb::avm2::keccakf1600::SR_THETA_XOR_ROW_ROTL1_3
static constexpr size_t SR_THETA_XOR_ROW_ROTL1_3
Definition keccakf1600.hpp:62
bb::avm2::keccakf1600::SR_STATE_PI_NOT_21
static constexpr size_t SR_STATE_PI_NOT_21
Definition keccakf1600.hpp:125
bb::avm2::keccakf1600::SR_STATE_THETA_24_DECOMPOSE
static constexpr size_t SR_STATE_THETA_24_DECOMPOSE
Definition keccakf1600.hpp:92
bb::avm2::keccakf1600::SR_STATE_RHO_32
static constexpr size_t SR_STATE_RHO_32
Definition keccakf1600.hpp:99
bb::avm2::keccakf1600::SR_STATE_RHO_33
static constexpr size_t SR_STATE_RHO_33
Definition keccakf1600.hpp:101
bb::avm2::keccakf1600::SR_STATE_PI_NOT_41
static constexpr size_t SR_STATE_PI_NOT_41
Definition keccakf1600.hpp:135
bb::avm2::keccakf1600::SR_STATE_PI_NOT_30
static constexpr size_t SR_STATE_PI_NOT_30
Definition keccakf1600.hpp:129
bb::avm2::keccakf1600::SR_NEXT_STATE_IN_13
static constexpr size_t SR_NEXT_STATE_IN_13
Definition keccakf1600.hpp:147
bb::avm2::keccakf1600::SR_STATE_THETA_04_DECOMPOSE
static constexpr size_t SR_STATE_THETA_04_DECOMPOSE
Definition keccakf1600.hpp:72
bb::avm2::keccakf1600::SR_THETA_XOR_ROW_3_DECOMPOSITION
static constexpr size_t SR_THETA_XOR_ROW_3_DECOMPOSITION
Definition keccakf1600.hpp:61
bb::avm2::keccakf1600::SR_STATE_RHO_34
static constexpr size_t SR_STATE_RHO_34
Definition keccakf1600.hpp:103
bb::avm2::keccakf1600::SR_DST_ADDR_PROPAGATION
static constexpr size_t SR_DST_ADDR_PROPAGATION
Definition keccakf1600.hpp:165
bb::avm2::keccakf1600::SR_THETA_XOR_ROW_0_DECOMPOSITION
static constexpr size_t SR_THETA_XOR_ROW_0_DECOMPOSITION
Definition keccakf1600.hpp:52
bb::avm2::keccakf1600::SR_NEXT_STATE_IN_30
static constexpr size_t SR_NEXT_STATE_IN_30
Definition keccakf1600.hpp:154
bb::avm2::keccakf1600::SR_STATE_PI_NOT_34
static constexpr size_t SR_STATE_PI_NOT_34
Definition keccakf1600.hpp:133
bb::avm2::keccakf1600::SR_STATE_PI_NOT_33
static constexpr size_t SR_STATE_PI_NOT_33
Definition keccakf1600.hpp:132
bb::avm2::keccakf1600::SR_LAST_HAS_SEL_ON
static constexpr size_t SR_LAST_HAS_SEL_ON
Definition keccakf1600.hpp:49
bb::avm2::keccakf1600::SR_NEXT_STATE_IN_00
static constexpr size_t SR_NEXT_STATE_IN_00
Definition keccakf1600.hpp:139
bb::avm2::keccakf1600::SR_STATE_PI_NOT_31
static constexpr size_t SR_STATE_PI_NOT_31
Definition keccakf1600.hpp:130
bb::avm2::keccakf1600::SR_STATE_RHO_31
static constexpr size_t SR_STATE_RHO_31
Definition keccakf1600.hpp:97
bb::avm2::keccakf1600::SR_STATE_RHO_41
static constexpr size_t SR_STATE_RHO_41
Definition keccakf1600.hpp:107
bb::avm2::keccakf1600::SR_STATE_PI_NOT_40
static constexpr size_t SR_STATE_PI_NOT_40
Definition keccakf1600.hpp:134
bb::avm2::keccakf1600::SR_STATE_RHO_01
static constexpr size_t SR_STATE_RHO_01
Definition keccakf1600.hpp:67
bb::avm2::keccakf1600::SR_NEXT_STATE_IN_42
static constexpr size_t SR_NEXT_STATE_IN_42
Definition keccakf1600.hpp:161
bb::avm2::keccakf1600::SR_STATE_PI_NOT_44
static constexpr size_t SR_STATE_PI_NOT_44
Definition keccakf1600.hpp:138
bb::avm2::keccakf1600::SR_NEXT_STATE_IN_40
static constexpr size_t SR_NEXT_STATE_IN_40
Definition keccakf1600.hpp:159
bb::avm2::keccakf1600::SR_THETA_XOR_ROW_2_DECOMPOSITION
static constexpr size_t SR_THETA_XOR_ROW_2_DECOMPOSITION
Definition keccakf1600.hpp:58
bb::avm2::keccakf1600::SR_THETA_XOR_ROW_ROTL1_1
static constexpr size_t SR_THETA_XOR_ROW_ROTL1_1
Definition keccakf1600.hpp:56
bb::avm2::keccakf1600::SR_STATE_THETA_20_DECOMPOSE
static constexpr size_t SR_STATE_THETA_20_DECOMPOSE
Definition keccakf1600.hpp:84
bb::avm2::keccakf1600::SR_STATE_RHO_23
static constexpr size_t SR_STATE_RHO_23
Definition keccakf1600.hpp:91
bb::avm2::keccakf1600::SR_STATE_RHO_40
static constexpr size_t SR_STATE_RHO_40
Definition keccakf1600.hpp:105
bb::avm2::keccakf1600::SR_START_AFTER_LATCH
static constexpr size_t SR_START_AFTER_LATCH
Definition keccakf1600.hpp:48
bb::avm2::keccakf1600::SR_ERROR
static constexpr size_t SR_ERROR
Definition keccakf1600.hpp:164
bb::avm2::keccakf1600::SR_NEXT_STATE_IN_11
static constexpr size_t SR_NEXT_STATE_IN_11
Definition keccakf1600.hpp:145
bb::avm2::keccakf1600::SR_STATE_RHO_03
static constexpr size_t SR_STATE_RHO_03
Definition keccakf1600.hpp:71
bb::avm2::keccakf1600::SR_STATE_PI_NOT_24
static constexpr size_t SR_STATE_PI_NOT_24
Definition keccakf1600.hpp:128
bb::avm2::keccakf1600::SR_STATE_THETA_11_DECOMPOSE
static constexpr size_t SR_STATE_THETA_11_DECOMPOSE
Definition keccakf1600.hpp:76
bb::avm2::keccakf1600::SR_NEXT_STATE_IN_44
static constexpr size_t SR_NEXT_STATE_IN_44
Definition keccakf1600.hpp:163
bb::avm2::keccakf1600::SR_STATE_THETA_43_DECOMPOSE
static constexpr size_t SR_STATE_THETA_43_DECOMPOSE
Definition keccakf1600.hpp:110
bb::avm2::keccakf1600::SR_THETA_XOR_ROW_4_DECOMPOSITION
static constexpr size_t SR_THETA_XOR_ROW_4_DECOMPOSITION
Definition keccakf1600.hpp:64
bb::avm2::keccakf1600::SR_STATE_THETA_22_DECOMPOSE
static constexpr size_t SR_STATE_THETA_22_DECOMPOSE
Definition keccakf1600.hpp:88
bb::avm2::keccakf1600::SR_NEXT_STATE_IN_24
static constexpr size_t SR_NEXT_STATE_IN_24
Definition keccakf1600.hpp:153
bb::avm2::keccakf1600::SR_THETA_XOR_ROW_MSB_0_BOOLEAN
static constexpr size_t SR_THETA_XOR_ROW_MSB_0_BOOLEAN
Definition keccakf1600.hpp:51
bb::avm2::keccakf1600::SR_STATE_THETA_12_DECOMPOSE
static constexpr size_t SR_STATE_THETA_12_DECOMPOSE
Definition keccakf1600.hpp:78
bb::avm2::keccakf1600::SR_TRACE_CONTINUITY
static constexpr size_t SR_TRACE_CONTINUITY
Definition keccakf1600.hpp:44
bb::avm2::keccakf1600::SR_NEXT_STATE_IN_12
static constexpr size_t SR_NEXT_STATE_IN_12
Definition keccakf1600.hpp:146
bb::avm2::keccakf1600::SR_STATE_THETA_34_DECOMPOSE
static constexpr size_t SR_STATE_THETA_34_DECOMPOSE
Definition keccakf1600.hpp:102
bb::avm2::keccakf1600::SR_STATE_THETA_33_DECOMPOSE
static constexpr size_t SR_STATE_THETA_33_DECOMPOSE
Definition keccakf1600.hpp:100
bb::avm2::keccakf1600::SR_NEXT_STATE_IN_03
static constexpr size_t SR_NEXT_STATE_IN_03
Definition keccakf1600.hpp:142
bb::avm2::keccakf1600::SR_THETA_XOR_ROW_MSB_2_BOOLEAN
static constexpr size_t SR_THETA_XOR_ROW_MSB_2_BOOLEAN
Definition keccakf1600.hpp:57
bb::avm2::keccakf1600::SR_NEXT_STATE_IN_22
static constexpr size_t SR_NEXT_STATE_IN_22
Definition keccakf1600.hpp:151
bb::avm2::keccakf1600::SR_STATE_RHO_30
static constexpr size_t SR_STATE_RHO_30
Definition keccakf1600.hpp:95
bb::avm2::keccakf1600::SR_STATE_THETA_41_DECOMPOSE
static constexpr size_t SR_STATE_THETA_41_DECOMPOSE
Definition keccakf1600.hpp:106
bb::avm2::keccakf1600::SR_STATE_THETA_03_DECOMPOSE
static constexpr size_t SR_STATE_THETA_03_DECOMPOSE
Definition keccakf1600.hpp:70
bb::avm2::keccakf1600::SR_NEXT_STATE_IN_31
static constexpr size_t SR_NEXT_STATE_IN_31
Definition keccakf1600.hpp:155
bb::avm2::keccakf1600::SR_SPACE_ID_PROPAGATION
static constexpr size_t SR_SPACE_ID_PROPAGATION
Definition keccakf1600.hpp:167
bb::avm2::keccakf1600::SR_STATE_THETA_42_DECOMPOSE
static constexpr size_t SR_STATE_THETA_42_DECOMPOSE
Definition keccakf1600.hpp:108
bb::avm2::keccakf1600Impl::skip
static bool skip(const AllEntities &in)
Definition keccakf1600.hpp:25
bb::avm2::keccakf1600Impl::accumulate
static void accumulate(ContainerOverSubrelations &evals, const AllEntities &in, const RelationParameters< FF > &, const FF &scaling_factor)
Definition keccakf1600_impl.hpp:11
bb::avm2::keccakf1600Impl::SUBRELATION_PARTIAL_LENGTHS
static constexpr std::array< size_t, 159 > SUBRELATION_PARTIAL_LENGTHS
Definition keccakf1600.hpp:17
bb::avm2::ColumnAndShifts
ColumnAndShifts
Definition columns.hpp:34
bb::avm2::FF
AvmFlavorSettings::FF FF
Definition field.hpp:10
std::to_string
std::string to_string(bb::avm2::ValueTag tag)
Definition tagged_value.cpp:402
relation_parameters.hpp
relation_types.hpp
bb::RelationParameters
Container for parameters used by the grand product (permutation, lookup) Honk relations.
Definition relation_parameters.hpp:19