proof_system::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

Static Public Member Functions
static RelationParameters	get_random ()

Public Attributes
T	eta = T(0)
T	beta = T(0)
T	gamma = T(0)
T	public_input_delta = T(0)
T	lookup_grand_product_delta = T(0)
T	beta_sqr = T(0)
T	beta_cube = T(0)
T	eccvm_set_permutation_delta = T(0)
std::array< T, NUM_BINARY_LIMBS_IN_GOBLIN_TRANSLATOR >	accumulated_result
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
std::array< std::reference_wrapper< T >, NUM_TO_FOLD >	to_fold

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 int	NUM_TO_FOLD = 5

Detailed Description

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

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

Template Parameters

T,either

a native field type or a Univariate.

Member Data Documentation

accumulated_result

template<typename T >

std::array<T, NUM_BINARY_LIMBS_IN_GOBLIN_TRANSLATOR> proof_system::RelationParameters< T >::accumulated_result

Initial value:

= {
        T(0), T(0), T(0), T(0)
    }

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> proof_system::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) } } }

evaluation_input_x

template<typename T >

std::array<T, NUM_BINARY_LIMBS_IN_GOBLIN_TRANSLATOR + NUM_NATIVE_LIMBS_IN_GOBLIN_TRANSLATOR> proof_system::RelationParameters< T >::evaluation_input_x

Initial value:

= {
        T(0), T(0), T(0), T(0), T(0)
    }

to_fold

template<typename T >

std::array<std::reference_wrapper<T>, NUM_TO_FOLD> proof_system::RelationParameters< T >::to_fold

Initial value:

= {
        eta, beta, gamma, public_input_delta, lookup_grand_product_delta
    }

---

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

• src/barretenberg/relations/relation_parameters.hpp