Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
Static Public Member Functions | Static Private Attributes | List of all members
bb::PermutationPolynomialStructure< Settings > Class Template Reference

Specialization of the polynomial structure required for the lookup argument to the case of the permutation argument. More...

#include <generic_permutation_relation.hpp>

Static Public Member Functions

static constexpr size_t get_inverse_polynomial_index ()
 
static constexpr size_t get_lookup_term_predicate_index ()
 
static constexpr size_t get_table_term_predicate_index ()
 
static constexpr size_t compute_lookup_term_polynomial_offset ()
 
static constexpr size_t compute_table_term_polynomial_offset ()
 

Static Private Attributes

static constexpr size_t NUM_LOOKUP_TERMS = 1
 
static constexpr size_t NUM_TABLE_TERMS = 1
 
static constexpr size_t INVERSE_POLYNOMIAL_INDEX = 0
 
static constexpr size_t LOOKUP_TERM_PREDICATE_START_POLYNOMIAL_INDEX = INVERSE_POLYNOMIAL_INDEX + NUM_TABLE_TERMS
 
static constexpr size_t TABLE_TERM_PREDICATE_START_POLYNOMIAL_INDEX
 
static constexpr size_t LOOKUP_TERM_START_POLYNOMIAL_INDEX
 
static constexpr size_t TABLE_TERM_START_POLYNOMIAL_INDEX
 

Detailed Description

template<typename Settings>
class bb::PermutationPolynomialStructure< Settings >

Specialization of the polynomial structure required for the lookup argument to the case of the permutation argument.

This class works exactly as LookupPolynomialStructure, but with fixed parameters for the permutation argument: NUM_LOOKUP_TERMS = NUM_TABLE_TERMS = 1 and all terms are of type BASIC (and therefore they have degree 1)

Definition at line 25 of file generic_permutation_relation.hpp.

Member Function Documentation

◆ compute_lookup_term_polynomial_offset()

template<typename Settings >
static constexpr size_t bb::PermutationPolynomialStructure< Settings >::compute_lookup_term_polynomial_offset ( )
inlinestaticconstexpr

Definition at line 45 of file generic_permutation_relation.hpp.

◆ compute_table_term_polynomial_offset()

template<typename Settings >
static constexpr size_t bb::PermutationPolynomialStructure< Settings >::compute_table_term_polynomial_offset ( )
inlinestaticconstexpr

Definition at line 47 of file generic_permutation_relation.hpp.

◆ get_inverse_polynomial_index()

template<typename Settings >
static constexpr size_t bb::PermutationPolynomialStructure< Settings >::get_inverse_polynomial_index ( )
inlinestaticconstexpr

Definition at line 40 of file generic_permutation_relation.hpp.

◆ get_lookup_term_predicate_index()

template<typename Settings >
static constexpr size_t bb::PermutationPolynomialStructure< Settings >::get_lookup_term_predicate_index ( )
inlinestaticconstexpr

Definition at line 42 of file generic_permutation_relation.hpp.

◆ get_table_term_predicate_index()

template<typename Settings >
static constexpr size_t bb::PermutationPolynomialStructure< Settings >::get_table_term_predicate_index ( )
inlinestaticconstexpr

Definition at line 43 of file generic_permutation_relation.hpp.

Member Data Documentation

◆ INVERSE_POLYNOMIAL_INDEX

template<typename Settings >
constexpr size_t bb::PermutationPolynomialStructure< Settings >::INVERSE_POLYNOMIAL_INDEX = 0
staticconstexprprivate

Definition at line 30 of file generic_permutation_relation.hpp.

◆ LOOKUP_TERM_PREDICATE_START_POLYNOMIAL_INDEX

template<typename Settings >
constexpr size_t bb::PermutationPolynomialStructure< Settings >::LOOKUP_TERM_PREDICATE_START_POLYNOMIAL_INDEX = INVERSE_POLYNOMIAL_INDEX + NUM_TABLE_TERMS
staticconstexprprivate

Definition at line 31 of file generic_permutation_relation.hpp.

◆ LOOKUP_TERM_START_POLYNOMIAL_INDEX

template<typename Settings >
constexpr size_t bb::PermutationPolynomialStructure< Settings >::LOOKUP_TERM_START_POLYNOMIAL_INDEX
staticconstexprprivate
Initial value:
=
TABLE_TERM_PREDICATE_START_POLYNOMIAL_INDEX + NUM_TABLE_TERMS
bb::PermutationPolynomialStructure::TABLE_TERM_PREDICATE_START_POLYNOMIAL_INDEX
static constexpr size_t TABLE_TERM_PREDICATE_START_POLYNOMIAL_INDEX
Definition generic_permutation_relation.hpp:32

Definition at line 34 of file generic_permutation_relation.hpp.

◆ NUM_LOOKUP_TERMS

template<typename Settings >
constexpr size_t bb::PermutationPolynomialStructure< Settings >::NUM_LOOKUP_TERMS = 1
staticconstexprprivate

Definition at line 27 of file generic_permutation_relation.hpp.

◆ NUM_TABLE_TERMS

template<typename Settings >
constexpr size_t bb::PermutationPolynomialStructure< Settings >::NUM_TABLE_TERMS = 1
staticconstexprprivate

Definition at line 28 of file generic_permutation_relation.hpp.

◆ TABLE_TERM_PREDICATE_START_POLYNOMIAL_INDEX

template<typename Settings >
constexpr size_t bb::PermutationPolynomialStructure< Settings >::TABLE_TERM_PREDICATE_START_POLYNOMIAL_INDEX
staticconstexprprivate
Initial value:
=
LOOKUP_TERM_PREDICATE_START_POLYNOMIAL_INDEX + NUM_LOOKUP_TERMS
bb::PermutationPolynomialStructure::LOOKUP_TERM_PREDICATE_START_POLYNOMIAL_INDEX
static constexpr size_t LOOKUP_TERM_PREDICATE_START_POLYNOMIAL_INDEX
Definition generic_permutation_relation.hpp:31

Definition at line 32 of file generic_permutation_relation.hpp.

◆ TABLE_TERM_START_POLYNOMIAL_INDEX

template<typename Settings >
constexpr size_t bb::PermutationPolynomialStructure< Settings >::TABLE_TERM_START_POLYNOMIAL_INDEX
staticconstexprprivate
Initial value:
=
LOOKUP_TERM_START_POLYNOMIAL_INDEX + Settings::COLUMNS_PER_SET

Definition at line 36 of file generic_permutation_relation.hpp.

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