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 <mega_flavor.hpp>

Inheritance diagram for bb::MegaFlavor::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

auto	get_shifted ()

Public Member Functions inherited from bb::MegaFlavor::MaskingEntities< DataType, HasZK_ >
auto	get_all ()

auto	get_all () const

Public Member Functions inherited from bb::MegaFlavor::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_busread, 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, lagrange_ecc_op, databus_id) 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::MegaFlavor::WitnessEntities_< DataType >
auto	get_wires ()

auto	get_ecc_op_wires ()

auto	get_databus_entities ()

auto	get_databus_inverses ()

auto	get_to_be_shifted ()

	MSGPACK_FIELDS (this->w_l, this->w_r, this->w_o, this->w_4, this->z_perm, this->lookup_inverses, this->lookup_read_counts, this->lookup_read_tags, this->ecc_op_wire_1, this->ecc_op_wire_2, this->ecc_op_wire_3, this->ecc_op_wire_4, this->calldata, this->calldata_read_counts, this->calldata_read_tags, this->calldata_inverses, this->secondary_calldata, this->secondary_calldata_read_counts, this->secondary_calldata_read_tags, this->secondary_calldata_inverses, this->return_data, this->return_data_read_counts, this->return_data_read_tags, this->return_data_inverses)

Public Member Functions inherited from bb::MegaFlavor::WireEntities< DataType >
	DEFINE_FLAVOR_MEMBERS (DataType, w_l, w_r, w_o, w_4)

Public Member Functions inherited from bb::MegaFlavor::DerivedEntities< DataType >
	DEFINE_FLAVOR_MEMBERS (DataType, z_perm, lookup_inverses, lookup_read_counts, lookup_read_tags, ecc_op_wire_1, ecc_op_wire_2, ecc_op_wire_3, ecc_op_wire_4, calldata, calldata_read_counts, calldata_read_tags, calldata_inverses, secondary_calldata, secondary_calldata_read_counts, secondary_calldata_read_tags, secondary_calldata_inverses, return_data, return_data_read_counts, return_data_read_tags, return_data_inverses)

auto	get_to_be_shifted ()

Additional Inherited Members
Public Types inherited from bb::MegaFlavor::PrecomputedEntities< DataType_ >
using	DataType = DataType_

Static Public Member Functions inherited from bb::MegaFlavor::MaskingEntities< DataType, HasZK_ >
static auto	get_labels ()

Detailed Description

template<typename DataType, bool HasZK_ = HasZK>
class bb::MegaFlavor::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 346 of file mega_flavor.hpp.