Classes
class	AllEntities
	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...

class	AllValues
	A field element for each entity of the flavor. These entities represent the prover polynomials evaluated at one point. More...

class	CommitmentLabels
	A container for commitment labels. More...

struct	ProverClaim
	Prover's claim for multilinear batching - contains polynomials and their evaluation claims. More...

class	ProverPolynomials
	A container for the prover polynomials handles. More...

class	ProvingKey
	The proving key for multilinear batching sumcheck. More...

class	ShiftedEntities
	Class for ShiftedEntities, containing the shifted witness polynomials. More...

class	WitnessEntities
	Container for all witness polynomials used/constructed by the prover. More...

Public Types
using	Curve = curve::BN254

using	FF = Curve::ScalarField

using	GroupElement = Curve::Element

using	Commitment = Curve::AffineElement

using	PCS = KZG< Curve >

using	Polynomial = bb::Polynomial< FF >

using	CommitmentKey = bb::CommitmentKey< Curve >

using	VerifierCommitmentKey = bb::VerifierCommitmentKey< Curve >

using	Transcript = NativeTranscript

template<typename FF >
using	Relations_ = std::tuple< bb::MultilinearBatchingAccumulatorRelation< FF >, bb::MultilinearBatchingInstanceRelation< FF > >

using	Relations = Relations_< FF >

using	SubrelationSeparator = FF

using	PartiallyEvaluatedMultivariates = PartiallyEvaluatedMultivariatesBase< AllEntities< Polynomial >, ProverPolynomials, Polynomial >
	A container for storing the partially evaluated multivariates produced by sumcheck.

template<size_t LENGTH>
using	ProverUnivariates = AllEntities< bb::Univariate< FF, LENGTH > >
	A container for univariates used in sumcheck.

using	ExtendedEdges = ProverUnivariates< MAX_PARTIAL_RELATION_LENGTH >
	A container for univariates produced during the hot loop in sumcheck.

using	WitnessCommitments = WitnessEntities< Commitment >
	A container for the witness commitments.

Static Public Member Functions
static constexpr size_t	PROOF_LENGTH_WITHOUT_PUB_INPUTS ()

Static Public Attributes
static constexpr size_t	VIRTUAL_LOG_N = CONST_FOLDING_LOG_N

static constexpr bool	USE_SHORT_MONOMIALS = false

static constexpr bool	HasZK = false

static constexpr bool	IS_MULTILINEAR_BATCHING = true

static constexpr bool	USE_PADDING = true

static constexpr size_t	NUM_ALL_ENTITIES = 6

static constexpr size_t	NUM_WITNESS_ENTITIES = 4

static constexpr size_t	NUM_SHIFTED_ENTITIES = 2

static constexpr size_t	NUM_ACCUMULATOR_EVALUATIONS = 2

static constexpr size_t	MAX_PARTIAL_RELATION_LENGTH = compute_max_partial_relation_length<Relations>()

static constexpr size_t	BATCHED_RELATION_PARTIAL_LENGTH = MAX_PARTIAL_RELATION_LENGTH + 1

static constexpr size_t	NUM_RELATIONS = std::tuple_size_v<Relations>

static constexpr size_t	NUM_SUBRELATIONS = compute_number_of_subrelations<Relations>()

static constexpr size_t	num_frs_comm = FrCodec::calc_num_fields<Commitment>()

static constexpr size_t	num_frs_fr = FrCodec::calc_num_fields<FF>()