Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
bb::MultilinearBatchingFlavor::AllEntities< DataType > 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 <multilinear_batching_flavor.hpp>

Inheritance diagram for bb::MultilinearBatchingFlavor::AllEntities< DataType >:
bb::MultilinearBatchingFlavor::WitnessEntities< DataType > bb::MultilinearBatchingFlavor::ShiftedEntities< DataType > bb::MultilinearBatchingFlavor::AllValues bb::MultilinearBatchingFlavor::CommitmentLabels bb::MultilinearBatchingFlavor::ProverPolynomials bb::MultilinearBatchingRecursiveFlavor::AllValues

Public Member Functions

auto get_unshifted ()
 
auto get_shifted ()
 
- Public Member Functions inherited from bb::MultilinearBatchingFlavor::WitnessEntities< DataType >
 DEFINE_FLAVOR_MEMBERS (DataType, batched_unshifted_accumulator, batched_unshifted_instance, eq_accumulator, eq_instance)
 
- Public Member Functions inherited from bb::MultilinearBatchingFlavor::ShiftedEntities< DataType >
 DEFINE_FLAVOR_MEMBERS (DataType, batched_shifted_accumulator, batched_shifted_instance)
 

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 constructed during sumcheck; the evaluations produced by sumcheck.

Symbolically we have: AllEntities = WitnessEntities + ShiftedEntities.

Definition at line 119 of file multilinear_batching_flavor.hpp.

Member Function Documentation

◆ get_shifted()

template<typename DataType >
auto bb::MultilinearBatchingFlavor::AllEntities< DataType >::get_shifted ( )
inline

Definition at line 124 of file multilinear_batching_flavor.hpp.

◆ get_unshifted()

template<typename DataType >
auto bb::MultilinearBatchingFlavor::AllEntities< DataType >::get_unshifted ( )
inline

Definition at line 123 of file multilinear_batching_flavor.hpp.


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