Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
Public Types | Public Member Functions | Static Public Member Functions | Public Attributes | Static Public Attributes | List of all members
bb::RelationParameters< T > Struct Template Reference

Container for parameters used by the grand product (permutation, lookup) Honk relations. More...

#include <relation_parameters.hpp>

Public Types

using DataType = T
 

Public Member Functions

void compute_eta_powers (const T &eta_challenge)
 
void compute_beta_powers (const T &beta_challenge)
 
void compute_multilinear_batching_challenges (const T &batching_challenge, const size_t num_claims)
 
template<typename U >
RelationParameters< U > convert_to () const
 

Static Public Member Functions

static RelationParameters get_random ()
 

Public Attributes

T eta { 0 }
 
T eta_two { 0 }
 
T eta_three { 0 }
 
T rom_logup_gamma { 0 }
 
T beta { 0 }
 
T gamma { 0 }
 
T public_input_delta { 0 }
 
T beta_sqr { 0 }
 
T beta_cube { 0 }
 
T beta_quartic { 0 }
 
std::array< T, NUM_MULTILINEAR_BATCHING_CHALLENGES > multilinear_batching_challenges = {}
 
size_t num_multilinear_batching_challenges = 0
 
T eccvm_set_permutation_delta = T(0)
 
std::array< T, NUM_BINARY_LIMBS_IN_GOBLIN_TRANSLATOR > accumulated_result = { T(0), T(0), T(0), T(0) }
 
std::array< T, NUM_BINARY_LIMBS_IN_GOBLIN_TRANSLATOR+NUM_NATIVE_LIMBS_IN_GOBLIN_TRANSLATOR > evaluation_input_x
 
std::array< std::array< T, NUM_BINARY_LIMBS_IN_GOBLIN_TRANSLATOR+NUM_NATIVE_LIMBS_IN_GOBLIN_TRANSLATOR >, NUM_CHALLENGE_POWERS_IN_GOBLIN_TRANSLATOR > batching_challenge_v
 

Static Public Attributes

static constexpr int NUM_BINARY_LIMBS_IN_GOBLIN_TRANSLATOR = 4
 
static constexpr int NUM_NATIVE_LIMBS_IN_GOBLIN_TRANSLATOR = 1
 
static constexpr int NUM_CHALLENGE_POWERS_IN_GOBLIN_TRANSLATOR = 4
 
static constexpr size_t NUM_MULTILINEAR_BATCHING_CHALLENGES = CHONK_MAX_CLAIMS_PER_KERNEL
 

Detailed Description

template<typename T>
struct bb::RelationParameters< T >

Container for parameters used by the grand product (permutation, lookup) Honk relations.

Template Parameters
T,eithera native field type or a Univariate.

Definition at line 19 of file relation_parameters.hpp.

Member Typedef Documentation

◆ DataType

template<typename T >
using bb::RelationParameters< T >::DataType = T

Definition at line 20 of file relation_parameters.hpp.

Member Function Documentation

◆ compute_beta_powers()

template<typename T >
void bb::RelationParameters< T >::compute_beta_powers ( const T &  beta_challenge)
inline

Definition at line 46 of file relation_parameters.hpp.

◆ compute_eta_powers()

template<typename T >
void bb::RelationParameters< T >::compute_eta_powers ( const T &  eta_challenge)
inline

Definition at line 39 of file relation_parameters.hpp.

◆ compute_multilinear_batching_challenges()

template<typename T >
void bb::RelationParameters< T >::compute_multilinear_batching_challenges ( const T &  batching_challenge,
const size_t  num_claims 
)
inline

Definition at line 59 of file relation_parameters.hpp.

◆ convert_to()

template<typename T >
template<typename U >
RelationParameters< U > bb::RelationParameters< T >::convert_to ( ) const
inline

Definition at line 95 of file relation_parameters.hpp.

◆ get_random()

template<typename T >
static RelationParameters bb::RelationParameters< T >::get_random ( )
inlinestatic

Definition at line 128 of file relation_parameters.hpp.

Member Data Documentation

◆ accumulated_result

template<typename T >
std::array<T, NUM_BINARY_LIMBS_IN_GOBLIN_TRANSLATOR> bb::RelationParameters< T >::accumulated_result = { T(0), T(0), T(0), T(0) }

Definition at line 80 of file relation_parameters.hpp.

◆ batching_challenge_v

template<typename T >
std::array<std::array<T, NUM_BINARY_LIMBS_IN_GOBLIN_TRANSLATOR + NUM_NATIVE_LIMBS_IN_GOBLIN_TRANSLATOR>, NUM_CHALLENGE_POWERS_IN_GOBLIN_TRANSLATOR> bb::RelationParameters< T >::batching_challenge_v
Initial value:
= { { { T(0), T(0), T(0), T(0), T(0) },
{ T(0), T(0), T(0), T(0), T(0) },
{ T(0), T(0), T(0), T(0), T(0) },
{ T(0), T(0), T(0), T(0), T(0) } } }

Definition at line 86 of file relation_parameters.hpp.

◆ beta

template<typename T >
T bb::RelationParameters< T >::beta { 0 }

Definition at line 30 of file relation_parameters.hpp.

◆ beta_cube

template<typename T >
T bb::RelationParameters< T >::beta_cube { 0 }

Definition at line 35 of file relation_parameters.hpp.

◆ beta_quartic

template<typename T >
T bb::RelationParameters< T >::beta_quartic { 0 }

Definition at line 36 of file relation_parameters.hpp.

◆ beta_sqr

template<typename T >
T bb::RelationParameters< T >::beta_sqr { 0 }

Definition at line 34 of file relation_parameters.hpp.

◆ eccvm_set_permutation_delta

template<typename T >
T bb::RelationParameters< T >::eccvm_set_permutation_delta = T(0)

Definition at line 79 of file relation_parameters.hpp.

◆ eta

template<typename T >
T bb::RelationParameters< T >::eta { 0 }

Definition at line 26 of file relation_parameters.hpp.

◆ eta_three

template<typename T >
T bb::RelationParameters< T >::eta_three { 0 }

Definition at line 28 of file relation_parameters.hpp.

◆ eta_two

template<typename T >
T bb::RelationParameters< T >::eta_two { 0 }

Definition at line 27 of file relation_parameters.hpp.

◆ evaluation_input_x

template<typename T >
std::array<T, NUM_BINARY_LIMBS_IN_GOBLIN_TRANSLATOR + NUM_NATIVE_LIMBS_IN_GOBLIN_TRANSLATOR> bb::RelationParameters< T >::evaluation_input_x
Initial value:
= {
T(0), T(0), T(0), T(0), T(0)
}

Definition at line 81 of file relation_parameters.hpp.

◆ gamma

template<typename T >
T bb::RelationParameters< T >::gamma { 0 }

Definition at line 31 of file relation_parameters.hpp.

◆ multilinear_batching_challenges

template<typename T >
std::array<T, NUM_MULTILINEAR_BATCHING_CHALLENGES> bb::RelationParameters< T >::multilinear_batching_challenges = {}

Definition at line 56 of file relation_parameters.hpp.

◆ NUM_BINARY_LIMBS_IN_GOBLIN_TRANSLATOR

template<typename T >
constexpr int bb::RelationParameters< T >::NUM_BINARY_LIMBS_IN_GOBLIN_TRANSLATOR = 4
staticconstexpr

Definition at line 21 of file relation_parameters.hpp.

◆ NUM_CHALLENGE_POWERS_IN_GOBLIN_TRANSLATOR

template<typename T >
constexpr int bb::RelationParameters< T >::NUM_CHALLENGE_POWERS_IN_GOBLIN_TRANSLATOR = 4
staticconstexpr

Definition at line 23 of file relation_parameters.hpp.

◆ NUM_MULTILINEAR_BATCHING_CHALLENGES

template<typename T >
constexpr size_t bb::RelationParameters< T >::NUM_MULTILINEAR_BATCHING_CHALLENGES = CHONK_MAX_CLAIMS_PER_KERNEL
staticconstexpr

Definition at line 24 of file relation_parameters.hpp.

◆ num_multilinear_batching_challenges

template<typename T >
size_t bb::RelationParameters< T >::num_multilinear_batching_challenges = 0

Definition at line 57 of file relation_parameters.hpp.

◆ NUM_NATIVE_LIMBS_IN_GOBLIN_TRANSLATOR

template<typename T >
constexpr int bb::RelationParameters< T >::NUM_NATIVE_LIMBS_IN_GOBLIN_TRANSLATOR = 1
staticconstexpr

Definition at line 22 of file relation_parameters.hpp.

◆ public_input_delta

template<typename T >
T bb::RelationParameters< T >::public_input_delta { 0 }

Definition at line 33 of file relation_parameters.hpp.

◆ rom_logup_gamma

template<typename T >
T bb::RelationParameters< T >::rom_logup_gamma { 0 }

Definition at line 29 of file relation_parameters.hpp.

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