Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
Public Types | Static Public Member Functions | Static Public Attributes | List of all members
SettingsCustomizedLookup Struct Reference

Public Types

using AllEntities = std::array< FF, NUM_POLYS >
 

Static Public Member Functions

static bool inverse_polynomial_is_computed_at_row (const AllEntities &in)
 
template<typename Accumulator >
static Accumulator compute_inverse_exists (const AllEntities &in)
 
template<typename Accumulator , size_t , typename Parameters >
static Accumulator compute_lookup_term (const AllEntities &in, const Parameters &params)
 Custom lookup term: f^2 (degree 2)
 
template<typename Accumulator , size_t , typename Parameters >
static Accumulator compute_table_term (const AllEntities &in, const Parameters &params)
 Custom table term: t (degree 1)
 
template<typename AE >
static auto get_const_entities (const AE &in)
 
template<typename AE >
static auto get_nonconst_entities (AE &in)
 

Static Public Attributes

static constexpr size_t NUM_LOOKUP_TERMS = 1
 
static constexpr size_t NUM_TABLE_TERMS = 1
 
static constexpr size_t LOOKUP_TUPLE_SIZE = 1
 
static constexpr size_t INVERSE_EXISTS_POLYNOMIAL_DEGREE = 2
 
static constexpr std::array< uint8_t, NUM_LOOKUP_TERMS > LOOKUP_TYPES = { CUSTOMIZED_LOOKUP }
 
static constexpr std::array< uint8_t, NUM_TABLE_TERMS > TABLE_TYPES = { CUSTOMIZED_TABLE }
 
static constexpr std::array< size_t, NUM_LOOKUP_TERMS > LOOKUP_TERM_DEGREES = { 2 }
 
static constexpr std::array< size_t, NUM_TABLE_TERMS > TABLE_TERM_DEGREES = { 1 }
 
static constexpr size_t NUM_POLYS = 6
 

Detailed Description

Definition at line 125 of file generic_lookup_relation.test.cpp.

Member Typedef Documentation

◆ AllEntities

using SettingsCustomizedLookup::AllEntities = std::array<FF, NUM_POLYS>

Definition at line 140 of file generic_lookup_relation.test.cpp.

Member Function Documentation

◆ compute_inverse_exists()

template<typename Accumulator >
static Accumulator SettingsCustomizedLookup::compute_inverse_exists ( const AllEntities &  in)
inlinestatic

Definition at line 147 of file generic_lookup_relation.test.cpp.

◆ compute_lookup_term()

template<typename Accumulator , size_t , typename Parameters >
static Accumulator SettingsCustomizedLookup::compute_lookup_term ( const AllEntities &  in,
const Parameters &  params 
)
inlinestatic

Custom lookup term: f^2 (degree 2)

Definition at line 156 of file generic_lookup_relation.test.cpp.

◆ compute_table_term()

template<typename Accumulator , size_t , typename Parameters >
static Accumulator SettingsCustomizedLookup::compute_table_term ( const AllEntities &  in,
const Parameters &  params 
)
inlinestatic

Custom table term: t (degree 1)

Definition at line 167 of file generic_lookup_relation.test.cpp.

◆ get_const_entities()

template<typename AE >
static auto SettingsCustomizedLookup::get_const_entities ( const AE &  in)
inlinestatic

Definition at line 174 of file generic_lookup_relation.test.cpp.

◆ get_nonconst_entities()

template<typename AE >
static auto SettingsCustomizedLookup::get_nonconst_entities ( AE &  in)
inlinestatic

Definition at line 179 of file generic_lookup_relation.test.cpp.

◆ inverse_polynomial_is_computed_at_row()

static bool SettingsCustomizedLookup::inverse_polynomial_is_computed_at_row ( const AllEntities &  in)
inlinestatic

Definition at line 142 of file generic_lookup_relation.test.cpp.

Member Data Documentation

◆ INVERSE_EXISTS_POLYNOMIAL_DEGREE

constexpr size_t SettingsCustomizedLookup::INVERSE_EXISTS_POLYNOMIAL_DEGREE = 2
staticconstexpr

Definition at line 130 of file generic_lookup_relation.test.cpp.

◆ LOOKUP_TERM_DEGREES

constexpr std::array<size_t, NUM_LOOKUP_TERMS> SettingsCustomizedLookup::LOOKUP_TERM_DEGREES = { 2 }
staticconstexpr

Definition at line 134 of file generic_lookup_relation.test.cpp.

◆ LOOKUP_TUPLE_SIZE

constexpr size_t SettingsCustomizedLookup::LOOKUP_TUPLE_SIZE = 1
staticconstexpr

Definition at line 129 of file generic_lookup_relation.test.cpp.

◆ LOOKUP_TYPES

constexpr std::array<uint8_t, NUM_LOOKUP_TERMS> SettingsCustomizedLookup::LOOKUP_TYPES = { CUSTOMIZED_LOOKUP }
staticconstexpr

Definition at line 132 of file generic_lookup_relation.test.cpp.

◆ NUM_LOOKUP_TERMS

constexpr size_t SettingsCustomizedLookup::NUM_LOOKUP_TERMS = 1
staticconstexpr

Definition at line 126 of file generic_lookup_relation.test.cpp.

◆ NUM_POLYS

constexpr size_t SettingsCustomizedLookup::NUM_POLYS = 6
staticconstexpr

Definition at line 138 of file generic_lookup_relation.test.cpp.

◆ NUM_TABLE_TERMS

constexpr size_t SettingsCustomizedLookup::NUM_TABLE_TERMS = 1
staticconstexpr

Definition at line 127 of file generic_lookup_relation.test.cpp.

◆ TABLE_TERM_DEGREES

constexpr std::array<size_t, NUM_TABLE_TERMS> SettingsCustomizedLookup::TABLE_TERM_DEGREES = { 1 }
staticconstexpr

Definition at line 135 of file generic_lookup_relation.test.cpp.

◆ TABLE_TYPES

constexpr std::array<uint8_t, NUM_TABLE_TERMS> SettingsCustomizedLookup::TABLE_TYPES = { CUSTOMIZED_TABLE }
staticconstexpr

Definition at line 133 of file generic_lookup_relation.test.cpp.

The documentation for this struct was generated from the following file: