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_simd_01_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_theta_xor_simd_21_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_theta_xor_41_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_theta_xor_simd_02_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_theta_xor_simd_22_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_theta_xor_42_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_theta_xor_simd_03_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_theta_xor_simd_23_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_theta_xor_43_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_theta_xor_row_simd_0_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_theta_xor_row_simd_2_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_theta_xor_row_4_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_theta_combined_xor_simd_0_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_theta_combined_xor_simd_2_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_theta_combined_xor_4_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_state_theta_simd_00_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_state_theta_simd_02_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_state_theta_simd_04_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_state_theta_simd_11_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_state_theta_simd_13_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_state_theta_simd_20_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_state_theta_simd_22_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_state_theta_simd_24_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_state_theta_simd_31_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_state_theta_simd_33_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_state_theta_simd_40_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_state_theta_simd_42_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_simd_00_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_state_pi_and_simd_02_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_state_pi_and_simd_04_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_state_pi_and_simd_11_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_state_pi_and_simd_13_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_state_pi_and_simd_20_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_state_pi_and_simd_22_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_state_pi_and_simd_24_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_state_pi_and_simd_31_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_state_pi_and_simd_33_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_state_pi_and_simd_40_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_state_pi_and_simd_42_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_state_pi_and_44_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_state_chi_simd_00_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_state_chi_simd_02_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_state_chi_simd_04_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_state_chi_simd_11_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_state_chi_simd_13_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_state_chi_simd_20_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_state_chi_simd_22_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_state_chi_simd_24_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_state_chi_simd_31_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_state_chi_simd_33_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_state_chi_simd_40_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_state_chi_simd_42_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_out_of_range_toggle_relation)
 
 bb::avm2::INSTANTIATE_LOOKUP (lookup_keccakf1600_dst_out_of_range_toggle_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:44

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.