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

Inheritance diagram for bb::MultilinearBatchingFlavor::AllEntities< DataType >:

Public Member Functions
auto	get_unshifted ()

auto	get_shifted ()

Public Member Functions inherited from bb::MultilinearBatchingFlavor::WitnessEntities< DataType >
	DEFINE_FLAVOR_MEMBERS (DataType, w_non_shifted_accumulator, w_non_shifted_instance, w_evaluations_accumulator, w_evaluations_instance)

	MSGPACK_FIELDS (this->w_non_shifted_accumulator, this->w_non_shifted_instance, this->w_evaluations_accumulator, this->w_evaluations_instance)

Public Member Functions inherited from bb::MultilinearBatchingFlavor::WireEntities< DataType >
	DEFINE_FLAVOR_MEMBERS (DataType, w_non_shifted_accumulator, w_non_shifted_instance, w_evaluations_accumulator, w_evaluations_instance)

Public Member Functions inherited from bb::MultilinearBatchingFlavor::ShiftedEntities< DataType >
	DEFINE_FLAVOR_MEMBERS (DataType, w_shifted_accumulator, w_shifted_instance)

auto	get_shifted ()

Detailed Description

template<typename DataType>
class bb::MultilinearBatchingFlavor::AllEntities< DataType >

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 126 of file multilinear_batching_flavor.hpp.