Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
lookups_keccakf1600.cpp
Go to the documentation of this file.
1
// AUTOGENERATED FILE
2
#include "
barretenberg/flavor/relation_definitions.hpp
"
3
#include "
barretenberg/vm2/constraining/flavor.hpp
"
4
#include "
barretenberg/vm2/constraining/full_row.hpp
"
5
#include "
barretenberg/vm2/constraining/recursion/recursive_flavor.hpp
"
6
#include "
barretenberg/vm2/constraining/relations/interactions_base_impl.hpp
"
7
8
#define AvmCheckCircuitEdge(Flavor) Flavor::PolynomialEntitiesAtFixedRow<Flavor::ProverPolynomials>
9
#define AvmCheckRelationEdge(Flavor) ::bb::avm2::AvmFullRowProxy
10
11
#define ACCUMULATE_FOR_LOOKUP(...) _ACCUMULATE_FOR_LOOKUP(__VA_ARGS__)
12
#define _ACCUMULATE_FOR_LOOKUP(RelationName, Flavor, AccumulatorType, EdgeType) \
13
template void RelationName<Flavor::FF>::accumulate<RelationName<Flavor::FF>::AccumulatorType, EdgeType(Flavor)>( \
14
RelationName<Flavor::FF>::AccumulatorType&, \
15
EdgeType(Flavor) const&, \
16
RelationParameters<Flavor::FF> const&, \
17
Flavor::FF const&);
18
19
#define INSTANTIATE_LOOKUP(RelationName) \
20
ACCUMULATE_FOR_LOOKUP(RelationName, AvmFlavor, SumcheckTupleOfUnivariatesOverSubrelations, ExtendedEdge); \
21
ACCUMULATE_FOR_LOOKUP(RelationName, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge); \
22
ACCUMULATE_FOR_LOOKUP(RelationName, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckCircuitEdge); \
23
ACCUMULATE_FOR_LOOKUP(RelationName, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckRelationEdge); \
24
ACCUMULATE_FOR_LOOKUP(RelationName, AvmRecursiveFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge);
25
26
namespace
bb::avm2
{
27
28
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_theta_xor_01_relation
);
29
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_theta_xor_02_relation
);
30
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_theta_xor_03_relation
);
31
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_theta_xor_row_0_relation
);
32
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_theta_xor_11_relation
);
33
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_theta_xor_12_relation
);
34
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_theta_xor_13_relation
);
35
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_theta_xor_row_1_relation
);
36
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_theta_xor_21_relation
);
37
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_theta_xor_22_relation
);
38
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_theta_xor_23_relation
);
39
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_theta_xor_row_2_relation
);
40
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_theta_xor_31_relation
);
41
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_theta_xor_32_relation
);
42
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_theta_xor_33_relation
);
43
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_theta_xor_row_3_relation
);
44
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_theta_xor_41_relation
);
45
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_theta_xor_42_relation
);
46
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_theta_xor_43_relation
);
47
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_theta_xor_row_4_relation
);
48
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_theta_combined_xor_0_relation
);
49
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_theta_combined_xor_1_relation
);
50
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_theta_combined_xor_2_relation
);
51
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_theta_combined_xor_3_relation
);
52
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_theta_combined_xor_4_relation
);
53
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_state_theta_00_relation
);
54
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_state_theta_01_relation
);
55
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_state_theta_02_relation
);
56
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_state_theta_03_relation
);
57
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_state_theta_04_relation
);
58
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_state_theta_10_relation
);
59
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_state_theta_11_relation
);
60
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_state_theta_12_relation
);
61
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_state_theta_13_relation
);
62
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_state_theta_14_relation
);
63
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_state_theta_20_relation
);
64
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_state_theta_21_relation
);
65
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_state_theta_22_relation
);
66
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_state_theta_23_relation
);
67
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_state_theta_24_relation
);
68
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_state_theta_30_relation
);
69
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_state_theta_31_relation
);
70
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_state_theta_32_relation
);
71
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_state_theta_33_relation
);
72
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_state_theta_34_relation
);
73
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_state_theta_40_relation
);
74
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_state_theta_41_relation
);
75
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_state_theta_42_relation
);
76
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_state_theta_43_relation
);
77
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_state_theta_44_relation
);
78
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_theta_limb_02_range_relation
);
79
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_theta_limb_04_range_relation
);
80
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_theta_limb_10_range_relation
);
81
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_theta_limb_12_range_relation
);
82
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_theta_limb_14_range_relation
);
83
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_theta_limb_21_range_relation
);
84
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_theta_limb_23_range_relation
);
85
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_theta_limb_30_range_relation
);
86
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_theta_limb_32_range_relation
);
87
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_theta_limb_33_range_relation
);
88
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_theta_limb_40_range_relation
);
89
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_theta_limb_41_range_relation
);
90
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_theta_limb_43_range_relation
);
91
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_theta_limb_44_range_relation
);
92
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_theta_limb_01_range_relation
);
93
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_theta_limb_03_range_relation
);
94
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_theta_limb_11_range_relation
);
95
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_theta_limb_13_range_relation
);
96
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_theta_limb_20_range_relation
);
97
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_theta_limb_22_range_relation
);
98
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_theta_limb_24_range_relation
);
99
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_theta_limb_31_range_relation
);
100
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_theta_limb_34_range_relation
);
101
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_theta_limb_42_range_relation
);
102
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_state_pi_and_00_relation
);
103
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_state_pi_and_01_relation
);
104
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_state_pi_and_02_relation
);
105
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_state_pi_and_03_relation
);
106
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_state_pi_and_04_relation
);
107
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_state_pi_and_10_relation
);
108
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_state_pi_and_11_relation
);
109
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_state_pi_and_12_relation
);
110
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_state_pi_and_13_relation
);
111
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_state_pi_and_14_relation
);
112
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_state_pi_and_20_relation
);
113
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_state_pi_and_21_relation
);
114
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_state_pi_and_22_relation
);
115
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_state_pi_and_23_relation
);
116
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_state_pi_and_24_relation
);
117
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_state_pi_and_30_relation
);
118
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_state_pi_and_31_relation
);
119
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_state_pi_and_32_relation
);
120
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_state_pi_and_33_relation
);
121
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_state_pi_and_34_relation
);
122
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_state_pi_and_40_relation
);
123
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_state_pi_and_41_relation
);
124
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_state_pi_and_42_relation
);
125
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_state_pi_and_43_relation
);
126
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_state_pi_and_44_relation
);
127
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_state_chi_00_relation
);
128
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_state_chi_01_relation
);
129
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_state_chi_02_relation
);
130
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_state_chi_03_relation
);
131
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_state_chi_04_relation
);
132
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_state_chi_10_relation
);
133
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_state_chi_11_relation
);
134
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_state_chi_12_relation
);
135
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_state_chi_13_relation
);
136
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_state_chi_14_relation
);
137
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_state_chi_20_relation
);
138
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_state_chi_21_relation
);
139
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_state_chi_22_relation
);
140
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_state_chi_23_relation
);
141
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_state_chi_24_relation
);
142
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_state_chi_30_relation
);
143
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_state_chi_31_relation
);
144
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_state_chi_32_relation
);
145
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_state_chi_33_relation
);
146
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_state_chi_34_relation
);
147
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_state_chi_40_relation
);
148
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_state_chi_41_relation
);
149
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_state_chi_42_relation
);
150
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_state_chi_43_relation
);
151
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_state_chi_44_relation
);
152
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_round_cst_relation
);
153
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_state_iota_00_relation
);
154
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_src_abs_diff_positive_relation
);
155
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_dst_abs_diff_positive_relation
);
156
157
}
// namespace bb::avm2
full_row.hpp
interactions_base_impl.hpp
INSTANTIATE_LOOKUP
#define INSTANTIATE_LOOKUP(RelationName)
Definition
lookups_address_derivation.cpp:19
bb::avm2
Definition
flavor.hpp:472
recursive_flavor.hpp
relation_definitions.hpp
bb::avm2::lookup_relation_base
Definition
interactions_base.hpp:64
flavor.hpp
src
barretenberg
vm2
generated
relations
lookups_keccakf1600.cpp
Generated by
1.9.8
1.9.8 1.9.8