bb::MultilinearBatchingFlavor Class Reference

#include <multilinear_batching_flavor.hpp>

Classes
class	AllEntities
	All polynomials used in multilinear batching sumcheck. More...
class	AllValues
	A field element for each entity of the flavor. These entities represent the prover polynomials evaluated at one point. 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...

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
using	Codec = FrCodec
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.

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_ACCUMULATOR_COMMITMENTS = 2
static constexpr size_t	NUM_ACCUMULATOR_EVALUATIONS = 2
static constexpr size_t	NUM_ALL_ENTITIES = 6
static constexpr size_t	NUM_SHIFTED_ENTITIES = 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>()

Detailed Description

Definition at line 24 of file multilinear_batching_flavor.hpp.

Member Typedef Documentation

Codec

using bb::MultilinearBatchingFlavor::Codec = FrCodec

Definition at line 35 of file multilinear_batching_flavor.hpp.

Commitment

using bb::MultilinearBatchingFlavor::Commitment = Curve::AffineElement

Definition at line 29 of file multilinear_batching_flavor.hpp.

CommitmentKey

using bb::MultilinearBatchingFlavor::CommitmentKey = bb::CommitmentKey<Curve>

Definition at line 32 of file multilinear_batching_flavor.hpp.

Curve

using bb::MultilinearBatchingFlavor::Curve = curve::BN254

Definition at line 26 of file multilinear_batching_flavor.hpp.

ExtendedEdges

using bb::MultilinearBatchingFlavor::ExtendedEdges = ProverUnivariates<MAX_PARTIAL_RELATION_LENGTH>

A container for univariates produced during the hot loop in sumcheck.

Definition at line 231 of file multilinear_batching_flavor.hpp.

FF

using bb::MultilinearBatchingFlavor::FF = Curve::ScalarField

Definition at line 27 of file multilinear_batching_flavor.hpp.

GroupElement

using bb::MultilinearBatchingFlavor::GroupElement = Curve::Element

Definition at line 28 of file multilinear_batching_flavor.hpp.

PartiallyEvaluatedMultivariates

using bb::MultilinearBatchingFlavor::PartiallyEvaluatedMultivariates = PartiallyEvaluatedMultivariatesBase<AllEntities<Polynomial>, ProverPolynomials, Polynomial>

A container for storing the partially evaluated multivariates produced by sumcheck.

Definition at line 219 of file multilinear_batching_flavor.hpp.

PCS

using bb::MultilinearBatchingFlavor::PCS = KZG<Curve>

Definition at line 30 of file multilinear_batching_flavor.hpp.

Polynomial

using bb::MultilinearBatchingFlavor::Polynomial = bb::Polynomial<FF>

Definition at line 31 of file multilinear_batching_flavor.hpp.

ProverUnivariates

template<size_t LENGTH>

using bb::MultilinearBatchingFlavor::ProverUnivariates = AllEntities<bb::Univariate<FF, LENGTH> >

A container for univariates used in sumcheck.

During folding and sumcheck, the prover evaluates the relations on these univariates.

Definition at line 226 of file multilinear_batching_flavor.hpp.

Relations

using bb::MultilinearBatchingFlavor::Relations = Relations_<FF>

Definition at line 67 of file multilinear_batching_flavor.hpp.

Relations_

template<typename FF >

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

Definition at line 65 of file multilinear_batching_flavor.hpp.

SubrelationSeparator

using bb::MultilinearBatchingFlavor::SubrelationSeparator = FF

Definition at line 78 of file multilinear_batching_flavor.hpp.

Transcript

using bb::MultilinearBatchingFlavor::Transcript = NativeTranscript

Definition at line 34 of file multilinear_batching_flavor.hpp.

VerifierCommitmentKey

using bb::MultilinearBatchingFlavor::VerifierCommitmentKey = bb::VerifierCommitmentKey<Curve>

Definition at line 33 of file multilinear_batching_flavor.hpp.

Member Data Documentation

BATCHED_RELATION_PARTIAL_LENGTH

constexpr size_t bb::MultilinearBatchingFlavor::BATCHED_RELATION_PARTIAL_LENGTH = MAX_PARTIAL_RELATION_LENGTH + 1

staticconstexpr

Definition at line 73 of file multilinear_batching_flavor.hpp.

HasZK

constexpr bool bb::MultilinearBatchingFlavor::HasZK = false

staticconstexpr

Definition at line 42 of file multilinear_batching_flavor.hpp.

IS_MULTILINEAR_BATCHING

constexpr bool bb::MultilinearBatchingFlavor::IS_MULTILINEAR_BATCHING = true

staticconstexpr

Definition at line 44 of file multilinear_batching_flavor.hpp.

MAX_PARTIAL_RELATION_LENGTH

constexpr size_t bb::MultilinearBatchingFlavor::MAX_PARTIAL_RELATION_LENGTH = compute_max_partial_relation_length<Relations>()

staticconstexpr

Definition at line 69 of file multilinear_batching_flavor.hpp.

NUM_ACCUMULATOR_COMMITMENTS

constexpr size_t bb::MultilinearBatchingFlavor::NUM_ACCUMULATOR_COMMITMENTS = 2

staticconstexpr

Definition at line 53 of file multilinear_batching_flavor.hpp.

NUM_ACCUMULATOR_EVALUATIONS

constexpr size_t bb::MultilinearBatchingFlavor::NUM_ACCUMULATOR_EVALUATIONS = 2

staticconstexpr

Definition at line 55 of file multilinear_batching_flavor.hpp.

NUM_ALL_ENTITIES

constexpr size_t bb::MultilinearBatchingFlavor::NUM_ALL_ENTITIES = 6

staticconstexpr

Definition at line 59 of file multilinear_batching_flavor.hpp.

NUM_RELATIONS

constexpr size_t bb::MultilinearBatchingFlavor::NUM_RELATIONS = std::tuple_size_v<Relations>

staticconstexpr

Definition at line 74 of file multilinear_batching_flavor.hpp.

NUM_SHIFTED_ENTITIES

constexpr size_t bb::MultilinearBatchingFlavor::NUM_SHIFTED_ENTITIES = 2

staticconstexpr

Definition at line 60 of file multilinear_batching_flavor.hpp.

NUM_SUBRELATIONS

constexpr size_t bb::MultilinearBatchingFlavor::NUM_SUBRELATIONS = compute_number_of_subrelations<Relations>()

staticconstexpr

Definition at line 77 of file multilinear_batching_flavor.hpp.

USE_PADDING

constexpr bool bb::MultilinearBatchingFlavor::USE_PADDING = true

staticconstexpr

Definition at line 47 of file multilinear_batching_flavor.hpp.

USE_SHORT_MONOMIALS

constexpr bool bb::MultilinearBatchingFlavor::USE_SHORT_MONOMIALS = false

staticconstexpr

Definition at line 40 of file multilinear_batching_flavor.hpp.

VIRTUAL_LOG_N

constexpr size_t bb::MultilinearBatchingFlavor::VIRTUAL_LOG_N = CONST_FOLDING_LOG_N

staticconstexpr

Definition at line 39 of file multilinear_batching_flavor.hpp.

---

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

• src/barretenberg/flavor/multilinear_batching_flavor.hpp