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
RefArray< T, NUM_TO_FOLD >	get_to_fold ()
RefArray< const T, NUM_TO_FOLD >	get_to_fold () const
	MSGPACK_FIELDS (eta, eta_two, eta_three, beta, gamma, public_input_delta)

Static Public Member Functions
static RelationParameters	get_random ()

Public Attributes
T	eta { 0 }
T	eta_two { 0 }
T	eta_three { 0 }
T	beta { 0 }
T	gamma { 0 }
T	public_input_delta { 0 }
T	beta_sqr { 0 }
T	beta_cube { 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 int	NUM_TO_FOLD = 6

Detailed Description

template<typename T>
struct bb::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.

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

get_random()

template<typename T >

static RelationParameters bb::RelationParameters< T >::get_random ( )

inlinestatic

Definition at line 58 of file relation_parameters.hpp.

get_to_fold() [1/2]

template<typename T >

RefArray< T, NUM_TO_FOLD > bb::RelationParameters< T >::get_to_fold ( )

inline

Definition at line 48 of file relation_parameters.hpp.

get_to_fold() [2/2]

template<typename T >

RefArray< const T, NUM_TO_FOLD > bb::RelationParameters< T >::get_to_fold ( ) const

inline

Definition at line 53 of file relation_parameters.hpp.

MSGPACK_FIELDS()

template<typename T >

bb::RelationParameters< T >::MSGPACK_FIELDS	(	eta	,
		eta_two	,
		eta_three	,
		beta	,
		gamma	,
		public_input_delta
	)

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 37 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 43 of file relation_parameters.hpp.

beta

template<typename T >

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

Definition at line 29 of file relation_parameters.hpp.

beta_cube

template<typename T >

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

Definition at line 33 of file relation_parameters.hpp.

beta_sqr

template<typename T >

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

Definition at line 32 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 36 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 38 of file relation_parameters.hpp.

gamma

template<typename T >

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

Definition at line 30 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_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.

NUM_TO_FOLD

template<typename T >

constexpr int bb::RelationParameters< T >::NUM_TO_FOLD = 6

staticconstexpr

Definition at line 24 of file relation_parameters.hpp.

public_input_delta

template<typename T >

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

Definition at line 31 of file relation_parameters.hpp.

---

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

• src/barretenberg/relations/relation_parameters.hpp