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_simd_01_relation
);
29
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_theta_xor_simd_21_relation
);
30
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_theta_xor_41_relation
);
31
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_theta_xor_simd_02_relation
);
32
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_theta_xor_simd_22_relation
);
33
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_theta_xor_42_relation
);
34
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_theta_xor_simd_03_relation
);
35
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_theta_xor_simd_23_relation
);
36
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_theta_xor_43_relation
);
37
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_theta_xor_row_simd_0_relation
);
38
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_theta_xor_row_simd_2_relation
);
39
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_theta_xor_row_4_relation
);
40
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_theta_combined_xor_simd_0_relation
);
41
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_theta_combined_xor_simd_2_relation
);
42
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_theta_combined_xor_4_relation
);
43
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_state_theta_simd_00_relation
);
44
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_state_theta_simd_02_relation
);
45
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_state_theta_simd_04_relation
);
46
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_state_theta_simd_11_relation
);
47
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_state_theta_simd_13_relation
);
48
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_state_theta_simd_20_relation
);
49
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_state_theta_simd_22_relation
);
50
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_state_theta_simd_24_relation
);
51
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_state_theta_simd_31_relation
);
52
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_state_theta_simd_33_relation
);
53
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_state_theta_simd_40_relation
);
54
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_state_theta_simd_42_relation
);
55
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_state_theta_44_relation
);
56
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_theta_limb_02_range_relation
);
57
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_theta_limb_04_range_relation
);
58
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_theta_limb_10_range_relation
);
59
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_theta_limb_12_range_relation
);
60
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_theta_limb_14_range_relation
);
61
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_theta_limb_21_range_relation
);
62
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_theta_limb_23_range_relation
);
63
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_theta_limb_30_range_relation
);
64
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_theta_limb_32_range_relation
);
65
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_theta_limb_33_range_relation
);
66
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_theta_limb_40_range_relation
);
67
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_theta_limb_41_range_relation
);
68
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_theta_limb_43_range_relation
);
69
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_theta_limb_44_range_relation
);
70
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_theta_limb_01_range_relation
);
71
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_theta_limb_03_range_relation
);
72
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_theta_limb_11_range_relation
);
73
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_theta_limb_13_range_relation
);
74
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_theta_limb_20_range_relation
);
75
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_theta_limb_22_range_relation
);
76
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_theta_limb_24_range_relation
);
77
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_theta_limb_31_range_relation
);
78
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_theta_limb_34_range_relation
);
79
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_theta_limb_42_range_relation
);
80
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_state_pi_and_simd_00_relation
);
81
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_state_pi_and_simd_02_relation
);
82
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_state_pi_and_simd_04_relation
);
83
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_state_pi_and_simd_11_relation
);
84
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_state_pi_and_simd_13_relation
);
85
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_state_pi_and_simd_20_relation
);
86
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_state_pi_and_simd_22_relation
);
87
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_state_pi_and_simd_24_relation
);
88
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_state_pi_and_simd_31_relation
);
89
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_state_pi_and_simd_33_relation
);
90
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_state_pi_and_simd_40_relation
);
91
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_state_pi_and_simd_42_relation
);
92
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_state_pi_and_44_relation
);
93
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_state_chi_simd_00_relation
);
94
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_state_chi_simd_02_relation
);
95
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_state_chi_simd_04_relation
);
96
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_state_chi_simd_11_relation
);
97
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_state_chi_simd_13_relation
);
98
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_state_chi_simd_20_relation
);
99
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_state_chi_simd_22_relation
);
100
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_state_chi_simd_24_relation
);
101
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_state_chi_simd_31_relation
);
102
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_state_chi_simd_33_relation
);
103
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_state_chi_simd_40_relation
);
104
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_state_chi_simd_42_relation
);
105
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_state_chi_44_relation
);
106
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_round_cst_relation
);
107
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_state_iota_00_relation
);
108
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_src_out_of_range_toggle_relation
);
109
INSTANTIATE_LOOKUP
(
lookup_keccakf1600_dst_out_of_range_toggle_relation
);
110
111
}
// 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
dbs.cpp:19
recursive_flavor.hpp
relation_definitions.hpp
bb::avm2::lookup_relation_base
Definition
interactions_base.hpp:70
flavor.hpp
src
barretenberg
vm2
generated
relations
lookups_keccakf1600.cpp
Generated by
1.9.8
1.9.8 1.9.8