bb::UltraFlavor::AllEntities_< DataType, HasZK_ > Class Template Reference

A base class labelling all entities (for instance, all of the polynomials used by the prover during sumcheck) in this Honk variant along with particular subsets of interest. More...

#include <ultra_flavor.hpp>

Inheritance diagram for bb::UltraFlavor::AllEntities_< DataType, HasZK_ >:

Public Member Functions
	DEFINE_COMPOUND_GET_ALL (MaskingEntities< DataType, HasZK_ >, PrecomputedEntities< DataType >, WitnessEntities< DataType >, ShiftedEntities< DataType >) auto get_unshifted()
auto	get_precomputed ()
auto	get_witness ()
auto	get_witness () const
Public Member Functions inherited from bb::UltraFlavor::MaskingEntities< DataType, HasZK_ >
auto	get_all ()
auto	get_all () const
Public Member Functions inherited from bb::UltraFlavor::PrecomputedEntities< DataType_ >
bool	operator== (const PrecomputedEntities &) const =default
	DEFINE_FLAVOR_MEMBERS (DataType, q_m, q_c, q_l, q_r, q_o, q_4, q_lookup, q_arith, q_delta_range, q_elliptic, q_memory, q_nnf, q_poseidon2_external, q_poseidon2_internal, sigma_1, sigma_2, sigma_3, sigma_4, id_1, id_2, id_3, id_4, table_1, table_2, table_3, table_4, lagrange_first, lagrange_last) auto get_non_gate_selectors()
auto	get_gate_selectors ()
auto	get_selectors ()
auto	get_sigmas ()
auto	get_ids ()
auto	get_tables ()
Public Member Functions inherited from bb::UltraFlavor::WitnessEntities< DataType >
	DEFINE_FLAVOR_MEMBERS (DataType, w_l, w_r, w_o, w_4, z_perm, lookup_inverses, lookup_read_counts, lookup_read_tags) auto get_wires()
auto	get_to_be_shifted ()
	MSGPACK_FIELDS (w_l, w_r, w_o, w_4, z_perm, lookup_inverses, lookup_read_counts, lookup_read_tags)
Public Member Functions inherited from bb::UltraFlavor::ShiftedEntities< DataType >
	DEFINE_FLAVOR_MEMBERS (DataType, w_l_shift, w_r_shift, w_o_shift, w_4_shift, z_perm_shift) auto get_shifted()

Additional Inherited Members
Public Types inherited from bb::UltraFlavor::PrecomputedEntities< DataType_ >
using	DataType = DataType_
Static Public Member Functions inherited from bb::UltraFlavor::MaskingEntities< DataType, HasZK_ >
static auto	get_labels ()

Detailed Description

template<typename DataType, bool HasZK_ = HasZK>
class bb::UltraFlavor::AllEntities_< DataType, HasZK_ >

A base class labelling all entities (for instance, all of the polynomials used by the prover during sumcheck) in this Honk variant along with particular subsets of interest.

Used to build containers for: the prover's polynomial during sumcheck; the sumcheck's folded polynomials; the univariates consturcted during during sumcheck; the evaluations produced by sumcheck.

Symbolically we have: AllEntities = PrecomputedEntities + WitnessEntities + "ShiftedEntities". It could be implemented as such, but we have this now.

Definition at line 257 of file ultra_flavor.hpp.

Member Function Documentation

DEFINE_COMPOUND_GET_ALL()

template<typename DataType , bool HasZK_ = HasZK>

bb::UltraFlavor::AllEntities_< DataType, HasZK_ >::DEFINE_COMPOUND_GET_ALL ( MaskingEntities< DataType, HasZK_ >  , PrecomputedEntities< DataType >  , WitnessEntities< DataType >  , ShiftedEntities< DataType >    )

inline

Definition at line 262 of file ultra_flavor.hpp.

get_precomputed()

template<typename DataType , bool HasZK_ = HasZK>

auto bb::UltraFlavor::AllEntities_< DataType, HasZK_ >::get_precomputed ( )

inline

Definition at line 273 of file ultra_flavor.hpp.

get_witness() [1/2]

template<typename DataType , bool HasZK_ = HasZK>

auto bb::UltraFlavor::AllEntities_< DataType, HasZK_ >::get_witness ( )

inline

Definition at line 274 of file ultra_flavor.hpp.

get_witness() [2/2]

template<typename DataType , bool HasZK_ = HasZK>

auto bb::UltraFlavor::AllEntities_< DataType, HasZK_ >::get_witness ( ) const

inline

Definition at line 275 of file ultra_flavor.hpp.

---

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

• src/barretenberg/flavor/ultra_flavor.hpp