Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
Namespaces | Macros | Functions
lookups_keccakf1600.cpp File Reference
#include "barretenberg/flavor/relation_definitions.hpp"
#include "barretenberg/vm2/constraining/flavor.hpp"
#include "barretenberg/vm2/constraining/full_row.hpp"
#include "barretenberg/vm2/constraining/recursion/recursive_flavor.hpp"
#include "barretenberg/vm2/constraining/relations/interactions_base_impl.hpp"

Go to the source code of this file.

Namespaces

namespace  bb
 Entry point for Barretenberg command-line interface.
 
namespace  bb::avm2
 

Macros

#define AvmCheckCircuitEdge(Flavor)   Flavor::PolynomialEntitiesAtFixedRow<Flavor::ProverPolynomials>
 
#define AvmCheckRelationEdge(Flavor)   ::bb::avm2::AvmFullRowProxy
 
#define ACCUMULATE_FOR_LOOKUP(...)   _ACCUMULATE_FOR_LOOKUP(__VA_ARGS__)
 
#define _ACCUMULATE_FOR_LOOKUP(RelationName, Flavor, AccumulatorType, EdgeType)
 
#define INSTANTIATE_LOOKUP(RelationName)
 

Functions

 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_theta_xor_01_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_theta_xor_02_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_theta_xor_03_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_theta_xor_row_0_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_theta_xor_11_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_theta_xor_12_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_theta_xor_13_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_theta_xor_row_1_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_theta_xor_21_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_theta_xor_22_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_theta_xor_23_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_theta_xor_row_2_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_theta_xor_31_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_theta_xor_32_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_theta_xor_33_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_theta_xor_row_3_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_theta_xor_41_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_theta_xor_42_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_theta_xor_43_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_theta_xor_row_4_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_theta_combined_xor_0_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_theta_combined_xor_1_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_theta_combined_xor_2_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_theta_combined_xor_3_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_theta_combined_xor_4_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_state_theta_00_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_state_theta_01_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_state_theta_02_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_state_theta_03_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_state_theta_04_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_state_theta_10_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_state_theta_11_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_state_theta_12_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_state_theta_13_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_state_theta_14_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_state_theta_20_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_state_theta_21_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_state_theta_22_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_state_theta_23_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_state_theta_24_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_state_theta_30_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_state_theta_31_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_state_theta_32_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_state_theta_33_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_state_theta_34_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_state_theta_40_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_state_theta_41_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_state_theta_42_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_state_theta_43_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_state_theta_44_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_theta_limb_02_range_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_theta_limb_04_range_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_theta_limb_10_range_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_theta_limb_12_range_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_theta_limb_14_range_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_theta_limb_21_range_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_theta_limb_23_range_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_theta_limb_30_range_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_theta_limb_32_range_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_theta_limb_33_range_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_theta_limb_40_range_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_theta_limb_41_range_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_theta_limb_43_range_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_theta_limb_44_range_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_theta_limb_01_range_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_theta_limb_03_range_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_theta_limb_11_range_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_theta_limb_13_range_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_theta_limb_20_range_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_theta_limb_22_range_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_theta_limb_24_range_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_theta_limb_31_range_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_theta_limb_34_range_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_theta_limb_42_range_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_state_pi_and_00_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_state_pi_and_01_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_state_pi_and_02_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_state_pi_and_03_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_state_pi_and_04_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_state_pi_and_10_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_state_pi_and_11_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_state_pi_and_12_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_state_pi_and_13_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_state_pi_and_14_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_state_pi_and_20_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_state_pi_and_21_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_state_pi_and_22_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_state_pi_and_23_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_state_pi_and_24_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_state_pi_and_30_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_state_pi_and_31_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_state_pi_and_32_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_state_pi_and_33_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_state_pi_and_34_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_state_pi_and_40_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_state_pi_and_41_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_state_pi_and_42_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_state_pi_and_43_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_state_pi_and_44_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_state_chi_00_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_state_chi_01_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_state_chi_02_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_state_chi_03_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_state_chi_04_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_state_chi_10_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_state_chi_11_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_state_chi_12_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_state_chi_13_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_state_chi_14_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_state_chi_20_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_state_chi_21_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_state_chi_22_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_state_chi_23_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_state_chi_24_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_state_chi_30_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_state_chi_31_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_state_chi_32_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_state_chi_33_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_state_chi_34_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_state_chi_40_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_state_chi_41_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_state_chi_42_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_state_chi_43_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_state_chi_44_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_round_cst_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_state_iota_00_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_src_abs_diff_positive_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_dst_abs_diff_positive_relation)
 

Macro Definition Documentation

◆ _ACCUMULATE_FOR_LOOKUP

#define _ACCUMULATE_FOR_LOOKUP (   RelationName,
  Flavor,
  AccumulatorType,
  EdgeType 
)
Value:
template void RelationName<Flavor::FF>::accumulate<RelationName<Flavor::FF>::AccumulatorType, EdgeType(Flavor)>( \
RelationName<Flavor::FF>::AccumulatorType&, \
EdgeType(Flavor) const&, \
RelationParameters<Flavor::FF> const&, \
Flavor::FF const&);
bb::ECCVMFlavor::FF
typename Curve::ScalarField FF
Definition eccvm_flavor.hpp:41

Definition at line 12 of file lookups_keccakf1600.cpp.

◆ ACCUMULATE_FOR_LOOKUP

#define ACCUMULATE_FOR_LOOKUP (   ...)    _ACCUMULATE_FOR_LOOKUP(__VA_ARGS__)

Definition at line 11 of file lookups_keccakf1600.cpp.

◆ AvmCheckCircuitEdge

#define AvmCheckCircuitEdge (   Flavor)    Flavor::PolynomialEntitiesAtFixedRow<Flavor::ProverPolynomials>

Definition at line 8 of file lookups_keccakf1600.cpp.

◆ AvmCheckRelationEdge

#define AvmCheckRelationEdge (   Flavor)    ::bb::avm2::AvmFullRowProxy

Definition at line 9 of file lookups_keccakf1600.cpp.

◆ INSTANTIATE_LOOKUP

#define INSTANTIATE_LOOKUP (   RelationName)
Value:
ACCUMULATE_FOR_LOOKUP(RelationName, AvmFlavor, SumcheckTupleOfUnivariatesOverSubrelations, ExtendedEdge); \
ACCUMULATE_FOR_LOOKUP(RelationName, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge); \
ACCUMULATE_FOR_LOOKUP(RelationName, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckCircuitEdge); \
ACCUMULATE_FOR_LOOKUP(RelationName, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckRelationEdge); \
ACCUMULATE_FOR_LOOKUP(RelationName, AvmRecursiveFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge);
AvmCheckRelationEdge
#define AvmCheckRelationEdge(Flavor)
Definition lookups_keccakf1600.cpp:9
ACCUMULATE_FOR_LOOKUP
#define ACCUMULATE_FOR_LOOKUP(...)
Definition lookups_keccakf1600.cpp:11
AvmCheckCircuitEdge
#define AvmCheckCircuitEdge(Flavor)
Definition lookups_keccakf1600.cpp:8
ExtendedEdge
#define ExtendedEdge(Flavor)
Definition relation_definitions.hpp:13
EvaluationEdge
#define EvaluationEdge(Flavor)
Definition relation_definitions.hpp:14

Definition at line 19 of file lookups_keccakf1600.cpp.