bb::MultilinearBatchingFlavor::AllEntities< DataType > Class Template Reference

All polynomials used in multilinear batching sumcheck. More...

#include <multilinear_batching_flavor.hpp>

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

Public Member Functions
	DEFINE_FLAVOR_MEMBERS (DataType, batched_unshifted_accumulator, batched_unshifted_instance, eq_accumulator, eq_instance, batched_shifted_accumulator, batched_shifted_instance)
auto	get_unshifted ()
auto	get_shifted ()

Detailed Description

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

All polynomials used in multilinear batching sumcheck.

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

Layout:

• batched_unshifted_accumulator: commitment SENT in proof
• batched_unshifted_instance: commitment computed by verifier from Oink witness commitments
• eq_accumulator/eq_instance: computed from challenges by both prover and verifier (not committed)
• batched_shifted_*: shifted views of the batched polynomials

Definition at line 91 of file multilinear_batching_flavor.hpp.

Member Function Documentation

DEFINE_FLAVOR_MEMBERS()

template<typename DataType >

bb::MultilinearBatchingFlavor::AllEntities< DataType >::DEFINE_FLAVOR_MEMBERS	(	DataType	,
		batched_unshifted_accumulator	,
		batched_unshifted_instance	,
		eq_accumulator	,
		eq_instance	,
		batched_shifted_accumulator	,
		batched_shifted_instance
	)

get_shifted()

template<typename DataType >

auto bb::MultilinearBatchingFlavor::AllEntities< DataType >::get_shifted ( )

inline

Definition at line 105 of file multilinear_batching_flavor.hpp.

get_unshifted()

template<typename DataType >

auto bb::MultilinearBatchingFlavor::AllEntities< DataType >::get_unshifted ( )

inline

Definition at line 101 of file multilinear_batching_flavor.hpp.

---

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

• src/barretenberg/flavor/multilinear_batching_flavor.hpp