bb::SumcheckTestFlavor_< CurveType, HasZK_, UseShortMonomials_ >::AllEntities< DataType > Class Template Reference

All entities combined. More...

#include <sumcheck_test_flavor.hpp>

Inheritance diagram for bb::SumcheckTestFlavor_< CurveType, HasZK_, UseShortMonomials_ >::AllEntities< DataType >:

Public Types
enum class	EntityId : uint16_t {   q_m = 0 , q_l , q_r , q_o ,   q_4 , q_c , q_arith , q_test ,   w_l , w_r , w_o , w_4 ,   w_test_1 , w_test_2 , w_l_shift , w_4_shift }

Public Member Functions
auto	get_precomputed ()
auto	get_witness ()
auto	get_witness () const
auto	get_shifted ()
auto	get_shifted () const
DataType &	operator[] (EntityId id)
const DataType &	operator[] (EntityId id) const

Static Public Attributes
static constexpr std::array< DataType AllEntities::*, NUM_ALL_ENTITIES >	ENTITY_REFS

Detailed Description

template<typename CurveType = curve::BN254, bool HasZK_ = false, bool UseShortMonomials_ = true>
template<typename DataType>
class bb::SumcheckTestFlavor_< CurveType, HasZK_, UseShortMonomials_ >::AllEntities< DataType >

All entities combined.

Note: We don't include gemini_masking_poly here because that's a Gemini/PCS concept, not a sumcheck concept. For ZK sumcheck testing, the key difference is the increased BATCHED_RELATION_PARTIAL_LENGTH to accommodate Libra masking univariates.

Definition at line 236 of file sumcheck_test_flavor.hpp.

Member Enumeration Documentation

EntityId

template<typename CurveType = curve::BN254, bool HasZK_ = false, bool UseShortMonomials_ = true>

template<typename DataType >

enum class bb::SumcheckTestFlavor_::AllEntities::EntityId : uint16_t

strong

Enumerator
q_m
q_l
q_r
q_o
q_4
q_c
q_arith
q_test
w_l
w_r
w_o
w_4
w_test_1
w_test_2
w_l_shift
w_4_shift

Definition at line 251 of file sumcheck_test_flavor.hpp.

Member Function Documentation

get_precomputed()

template<typename CurveType = curve::BN254, bool HasZK_ = false, bool UseShortMonomials_ = true>

template<typename DataType >

auto bb::SumcheckTestFlavor_< CurveType, HasZK_, UseShortMonomials_ >::AllEntities< DataType >::get_precomputed ( )

inline

Definition at line 242 of file sumcheck_test_flavor.hpp.

get_shifted() [1/2]

template<typename CurveType = curve::BN254, bool HasZK_ = false, bool UseShortMonomials_ = true>

template<typename DataType >

auto bb::SumcheckTestFlavor_< CurveType, HasZK_, UseShortMonomials_ >::AllEntities< DataType >::get_shifted ( )

inline

Definition at line 245 of file sumcheck_test_flavor.hpp.

get_shifted() [2/2]

template<typename CurveType = curve::BN254, bool HasZK_ = false, bool UseShortMonomials_ = true>

template<typename DataType >

auto bb::SumcheckTestFlavor_< CurveType, HasZK_, UseShortMonomials_ >::AllEntities< DataType >::get_shifted ( ) const

inline

Definition at line 246 of file sumcheck_test_flavor.hpp.

get_witness() [1/2]

template<typename CurveType = curve::BN254, bool HasZK_ = false, bool UseShortMonomials_ = true>

template<typename DataType >

auto bb::SumcheckTestFlavor_< CurveType, HasZK_, UseShortMonomials_ >::AllEntities< DataType >::get_witness ( )

inline

Definition at line 243 of file sumcheck_test_flavor.hpp.

get_witness() [2/2]

template<typename CurveType = curve::BN254, bool HasZK_ = false, bool UseShortMonomials_ = true>

template<typename DataType >

auto bb::SumcheckTestFlavor_< CurveType, HasZK_, UseShortMonomials_ >::AllEntities< DataType >::get_witness ( ) const

inline

Definition at line 244 of file sumcheck_test_flavor.hpp.

operator[]() [1/2]

template<typename CurveType = curve::BN254, bool HasZK_ = false, bool UseShortMonomials_ = true>

template<typename DataType >

DataType & bb::SumcheckTestFlavor_< CurveType, HasZK_, UseShortMonomials_ >::AllEntities< DataType >::operator[] ( EntityId  id )

inline

Definition at line 276 of file sumcheck_test_flavor.hpp.

operator[]() [2/2]

template<typename CurveType = curve::BN254, bool HasZK_ = false, bool UseShortMonomials_ = true>

template<typename DataType >

const DataType & bb::SumcheckTestFlavor_< CurveType, HasZK_, UseShortMonomials_ >::AllEntities< DataType >::operator[] ( EntityId  id ) const

inline

Definition at line 277 of file sumcheck_test_flavor.hpp.

Member Data Documentation

ENTITY_REFS

template<typename CurveType = curve::BN254, bool HasZK_ = false, bool UseShortMonomials_ = true>

template<typename DataType >

constexpr std::array<DataType AllEntities::*, NUM_ALL_ENTITIES> bb::SumcheckTestFlavor_< CurveType, HasZK_, UseShortMonomials_ >::AllEntities< DataType >::ENTITY_REFS

staticconstexpr

Initial value:

{
            &AllEntities::q_m,      &AllEntities::q_l,      &AllEntities::q_r,       &AllEntities::q_o,
            &AllEntities::q_4,      &AllEntities::q_c,      &AllEntities::q_arith,   &AllEntities::q_test,
            &AllEntities::w_l,      &AllEntities::w_r,      &AllEntities::w_o,       &AllEntities::w_4,
            &AllEntities::w_test_1, &AllEntities::w_test_2, &AllEntities::w_l_shift, &AllEntities::w_4_shift,
        }

Definition at line 270 of file sumcheck_test_flavor.hpp.

---

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

• src/barretenberg/flavor/sumcheck_test_flavor.hpp