#include <mega_flavor.hpp>

Inheritance diagram for bb::MegaFlavor:

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

class	DerivedEntities

class	MaskingEntities
	ZK-specific entities (only used when HasZK = true) More...

class	MaskingEntities< DataType, true >

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

class	PrecomputedEntities
	A base class labelling precomputed entities and (ordered) subsets of interest. More...

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

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

class	VerifierCommitments_

class	WireEntities

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

Public Types
using	CircuitBuilder = MegaCircuitBuilder

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	TraceBlocks = MegaExecutionTraceBlocks

using	Codec = FrCodec

using	HashFunction = crypto::Poseidon2< crypto::Poseidon2Bn254ScalarFieldParams >

using	Transcript = BaseTranscript< Codec, HashFunction >

template<typename FF >
using	Relations_ = std::tuple< bb::ArithmeticRelation< FF >, bb::UltraPermutationRelation< FF >, bb::LogDerivLookupRelation< FF >, bb::DeltaRangeConstraintRelation< FF >, bb::EllipticRelation< FF >, bb::MemoryRelation< FF >, bb::NonNativeFieldRelation< FF >, bb::EccOpQueueRelation< FF >, bb::DatabusLookupRelation< FF >, bb::Poseidon2ExternalRelation< FF >, bb::Poseidon2InternalRelation< FF > >

using	Relations = Relations_< FF >

using	SubrelationSeparator = FF

template<typename DataType >
using	WitnessEntities = WitnessEntities_< DataType >

template<typename DataType >
using	AllEntities = AllEntities_< DataType, HasZK >

using	AllValues = AllValues_< HasZK >

using	ProverPolynomials = ProverPolynomials_< HasZK >

using	PrecomputedData = PrecomputedData_< Polynomial, NUM_PRECOMPUTED_ENTITIES >

using	VerificationKey = NativeVerificationKey_< PrecomputedEntities< Commitment >, Codec, HashFunction, CommitmentKey >
	The verification key is responsible for storing the commitments to the precomputed (non-witness) polynomials used by the verifier.

using	VKAndHash = VKAndHash_< FF, VerificationKey >

using	PartiallyEvaluatedMultivariates = PartiallyEvaluatedMultivariates_< HasZK >

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.

using	VerifierCommitments = VerifierCommitments_< Commitment, VerificationKey, HasZK >

Static Public Member Functions
static constexpr size_t	FINAL_PCS_MSM_SIZE (size_t log_n=VIRTUAL_LOG_N)

static constexpr size_t	DECIDER_PROOF_LENGTH (size_t virtual_log_n=VIRTUAL_LOG_N)

static constexpr size_t	PROOF_LENGTH_WITHOUT_PUB_INPUTS (size_t virtual_log_n=VIRTUAL_LOG_N)

Static Public Attributes
static constexpr size_t	VIRTUAL_LOG_N = CONST_FOLDING_LOG_N

static constexpr bool	USE_SHORT_MONOMIALS = true

static constexpr bool	HasZK = false

static constexpr bool	USE_PADDING = true

static constexpr size_t	NUM_WIRES = CircuitBuilder::NUM_WIRES

static constexpr size_t	NUM_ALL_ENTITIES = 60

static constexpr size_t	NUM_PRECOMPUTED_ENTITIES = 31

static constexpr size_t	NUM_WITNESS_ENTITIES = 24

static constexpr size_t	NUM_SHIFTED_ENTITIES = 5

static constexpr size_t	NUM_UNSHIFTED_ENTITIES = NUM_PRECOMPUTED_ENTITIES + NUM_WITNESS_ENTITIES

static constexpr RepeatedCommitmentsData	REPEATED_COMMITMENTS

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_frs_comm = FrCodec::calc_num_fields<Commitment>()

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

static constexpr size_t	OINK_PROOF_LENGTH_WITHOUT_PUB_INPUTS

static constexpr size_t	NUM_SUBRELATIONS = compute_number_of_subrelations<Relations>()

static constexpr bool	has_zero_row = true

Detailed Description

Definition at line 33 of file mega_flavor.hpp.

Member Typedef Documentation

◆ AllEntities

template<typename DataType >

using bb::MegaFlavor::AllEntities = AllEntities_<DataType, HasZK>

Definition at line 358 of file mega_flavor.hpp.

◆ AllValues

using bb::MegaFlavor::AllValues = AllValues_<HasZK>

Definition at line 370 of file mega_flavor.hpp.

◆ CircuitBuilder

using bb::MegaFlavor::CircuitBuilder = MegaCircuitBuilder

Definition at line 35 of file mega_flavor.hpp.

◆ Codec

using bb::MegaFlavor::Codec = FrCodec

Definition at line 45 of file mega_flavor.hpp.

◆ Commitment

using bb::MegaFlavor::Commitment = Curve::AffineElement

Definition at line 39 of file mega_flavor.hpp.

◆ CommitmentKey

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

Definition at line 42 of file mega_flavor.hpp.

◆ Curve

using bb::MegaFlavor::Curve = curve::BN254

Definition at line 36 of file mega_flavor.hpp.

◆ ExtendedEdges

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

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

Definition at line 495 of file mega_flavor.hpp.

◆ FF

using bb::MegaFlavor::FF = Curve::ScalarField

Definition at line 37 of file mega_flavor.hpp.

◆ GroupElement

using bb::MegaFlavor::GroupElement = Curve::Element

Definition at line 38 of file mega_flavor.hpp.

◆ HashFunction

using bb::MegaFlavor::HashFunction = crypto::Poseidon2<crypto::Poseidon2Bn254ScalarFieldParams>

Definition at line 46 of file mega_flavor.hpp.

◆ PartiallyEvaluatedMultivariates

using bb::MegaFlavor::PartiallyEvaluatedMultivariates = PartiallyEvaluatedMultivariates_<HasZK>

Definition at line 484 of file mega_flavor.hpp.

◆ PCS

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

Definition at line 40 of file mega_flavor.hpp.

◆ Polynomial

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

Definition at line 41 of file mega_flavor.hpp.

◆ PrecomputedData

using bb::MegaFlavor::PrecomputedData = PrecomputedData_<Polynomial, NUM_PRECOMPUTED_ENTITIES>

Definition at line 445 of file mega_flavor.hpp.

◆ ProverPolynomials

using bb::MegaFlavor::ProverPolynomials = ProverPolynomials_<HasZK>

Definition at line 443 of file mega_flavor.hpp.

◆ ProverUnivariates

template<size_t LENGTH>

using bb::MegaFlavor::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 490 of file mega_flavor.hpp.

◆ Relations

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

Definition at line 98 of file mega_flavor.hpp.

◆ Relations_

template<typename FF >

Definition at line 87 of file mega_flavor.hpp.

◆ SubrelationSeparator

using bb::MegaFlavor::SubrelationSeparator = FF

Definition at line 132 of file mega_flavor.hpp.

◆ TraceBlocks

using bb::MegaFlavor::TraceBlocks = MegaExecutionTraceBlocks

Definition at line 44 of file mega_flavor.hpp.

◆ Transcript

using bb::MegaFlavor::Transcript = BaseTranscript<Codec, HashFunction>

Definition at line 47 of file mega_flavor.hpp.

◆ VerificationKey

using bb::MegaFlavor::VerificationKey = NativeVerificationKey_<PrecomputedEntities<Commitment>, Codec, HashFunction, CommitmentKey>

The verification key is responsible for storing the commitments to the precomputed (non-witness) polynomials used by the verifier.

Note: Note the discrepancy with what sort of data is stored here vs in the proving key. We may want to resolve that, and split out separate PrecomputedPolynomials/Commitments data for clarity but also for portability of our circuits.

Todo:: TODO(https://github.com/AztecProtocol/barretenberg/issues/876)

Definition at line 456 of file mega_flavor.hpp.

◆ VerifierCommitmentKey

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

Definition at line 43 of file mega_flavor.hpp.

◆ VerifierCommitments

using bb::MegaFlavor::VerifierCommitments = VerifierCommitments_<Commitment, VerificationKey, HasZK>

Definition at line 601 of file mega_flavor.hpp.

◆ VKAndHash

using bb::MegaFlavor::VKAndHash = VKAndHash_<FF, VerificationKey>

Definition at line 458 of file mega_flavor.hpp.

◆ WitnessCommitments

using bb::MegaFlavor::WitnessCommitments = WitnessEntities<Commitment>

A container for the witness commitments.

Definition at line 500 of file mega_flavor.hpp.

◆ WitnessEntities

template<typename DataType >

using bb::MegaFlavor::WitnessEntities = WitnessEntities_<DataType>

Definition at line 309 of file mega_flavor.hpp.

Member Function Documentation

◆ DECIDER_PROOF_LENGTH()

static constexpr size_t bb::MegaFlavor::DECIDER_PROOF_LENGTH ( size_t virtual_log_n = VIRTUAL_LOG_N )

inlinestaticconstexpr

Definition at line 114 of file mega_flavor.hpp.

◆ FINAL_PCS_MSM_SIZE()

static constexpr size_t bb::MegaFlavor::FINAL_PCS_MSM_SIZE ( size_t log_n = VIRTUAL_LOG_N )

inlinestaticconstexpr

Definition at line 79 of file mega_flavor.hpp.

◆ PROOF_LENGTH_WITHOUT_PUB_INPUTS()

static constexpr size_t bb::MegaFlavor::PROOF_LENGTH_WITHOUT_PUB_INPUTS ( size_t virtual_log_n = VIRTUAL_LOG_N )

inlinestaticconstexpr

Definition at line 125 of file mega_flavor.hpp.

Member Data Documentation

◆ BATCHED_RELATION_PARTIAL_LENGTH

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

staticconstexpr

Definition at line 104 of file mega_flavor.hpp.

◆ has_zero_row

constexpr bool bb::MegaFlavor::has_zero_row = true

staticconstexpr

Definition at line 135 of file mega_flavor.hpp.

◆ HasZK

constexpr bool bb::MegaFlavor::HasZK = false

staticconstexpr

Definition at line 55 of file mega_flavor.hpp.

◆ MAX_PARTIAL_RELATION_LENGTH

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

staticconstexpr

Definition at line 100 of file mega_flavor.hpp.

◆ NUM_ALL_ENTITIES

constexpr size_t bb::MegaFlavor::NUM_ALL_ENTITIES = 60

staticconstexpr

Definition at line 62 of file mega_flavor.hpp.

◆ num_frs_comm

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

staticconstexpr

Definition at line 107 of file mega_flavor.hpp.

◆ num_frs_fr

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

staticconstexpr

Definition at line 108 of file mega_flavor.hpp.

◆ NUM_PRECOMPUTED_ENTITIES

constexpr size_t bb::MegaFlavor::NUM_PRECOMPUTED_ENTITIES = 31

staticconstexpr

Definition at line 65 of file mega_flavor.hpp.

◆ NUM_RELATIONS

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

staticconstexpr

Definition at line 105 of file mega_flavor.hpp.

◆ NUM_SHIFTED_ENTITIES

constexpr size_t bb::MegaFlavor::NUM_SHIFTED_ENTITIES = 5

staticconstexpr

Definition at line 69 of file mega_flavor.hpp.

◆ NUM_SUBRELATIONS

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

staticconstexpr

Definition at line 131 of file mega_flavor.hpp.

◆ NUM_UNSHIFTED_ENTITIES

constexpr size_t bb::MegaFlavor::NUM_UNSHIFTED_ENTITIES = NUM_PRECOMPUTED_ENTITIES + NUM_WITNESS_ENTITIES

staticconstexpr

Definition at line 71 of file mega_flavor.hpp.

◆ NUM_WIRES

constexpr size_t bb::MegaFlavor::NUM_WIRES = CircuitBuilder::NUM_WIRES

staticconstexpr

Definition at line 59 of file mega_flavor.hpp.

◆ NUM_WITNESS_ENTITIES

constexpr size_t bb::MegaFlavor::NUM_WITNESS_ENTITIES = 24

staticconstexpr

Definition at line 67 of file mega_flavor.hpp.

◆ OINK_PROOF_LENGTH_WITHOUT_PUB_INPUTS

constexpr size_t bb::MegaFlavor::OINK_PROOF_LENGTH_WITHOUT_PUB_INPUTS

staticconstexpr

Initial value:

=

(NUM_WITNESS_ENTITIES * num_frs_comm)

bb::MegaFlavor::NUM_WITNESS_ENTITIES

static constexpr size_t NUM_WITNESS_ENTITIES

Definition mega_flavor.hpp:67

bb::MegaFlavor::num_frs_comm

static constexpr size_t num_frs_comm

Definition mega_flavor.hpp:107

Definition at line 111 of file mega_flavor.hpp.

◆ REPEATED_COMMITMENTS

constexpr RepeatedCommitmentsData bb::MegaFlavor::REPEATED_COMMITMENTS

staticconstexpr

Initial value:

= RepeatedCommitmentsData(

NUM_PRECOMPUTED_ENTITIES, NUM_PRECOMPUTED_ENTITIES + NUM_WITNESS_ENTITIES, NUM_SHIFTED_ENTITIES)

bb::MegaFlavor::NUM_PRECOMPUTED_ENTITIES

static constexpr size_t NUM_PRECOMPUTED_ENTITIES

Definition mega_flavor.hpp:65

bb::MegaFlavor::NUM_SHIFTED_ENTITIES

static constexpr size_t NUM_SHIFTED_ENTITIES

Definition mega_flavor.hpp:69

Definition at line 73 of file mega_flavor.hpp.

◆ USE_PADDING

constexpr bool bb::MegaFlavor::USE_PADDING = true

staticconstexpr

Definition at line 58 of file mega_flavor.hpp.

◆ USE_SHORT_MONOMIALS

constexpr bool bb::MegaFlavor::USE_SHORT_MONOMIALS = true

staticconstexpr

Definition at line 53 of file mega_flavor.hpp.

◆ VIRTUAL_LOG_N

constexpr size_t bb::MegaFlavor::VIRTUAL_LOG_N = CONST_FOLDING_LOG_N

staticconstexpr

Definition at line 51 of file mega_flavor.hpp.

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

src/barretenberg/flavor/mega_flavor.hpp

Classes

Public Types

Static Public Member Functions

Static Public Attributes

Detailed Description

Member Typedef Documentation

◆ AllEntities

◆ AllValues

◆ CircuitBuilder

◆ Codec

◆ Commitment

◆ CommitmentKey

◆ Curve

◆ ExtendedEdges

◆ FF

◆ GroupElement

◆ HashFunction

◆ PartiallyEvaluatedMultivariates

◆ PCS

◆ Polynomial

◆ PrecomputedData

◆ ProverPolynomials

◆ ProverUnivariates

◆ Relations

◆ Relations_

◆ SubrelationSeparator

◆ TraceBlocks

◆ Transcript

◆ VerificationKey

◆ VerifierCommitmentKey

◆ VerifierCommitments

◆ VKAndHash

◆ WitnessCommitments

◆ WitnessEntities

Member Function Documentation

◆ DECIDER_PROOF_LENGTH()

◆ FINAL_PCS_MSM_SIZE()

◆ PROOF_LENGTH_WITHOUT_PUB_INPUTS()

Member Data Documentation

◆ BATCHED_RELATION_PARTIAL_LENGTH

◆ has_zero_row

◆ HasZK

◆ MAX_PARTIAL_RELATION_LENGTH

◆ NUM_ALL_ENTITIES

◆ num_frs_comm

◆ num_frs_fr

◆ NUM_PRECOMPUTED_ENTITIES

◆ NUM_RELATIONS

◆ NUM_SHIFTED_ENTITIES

◆ NUM_SUBRELATIONS

◆ NUM_UNSHIFTED_ENTITIES

◆ NUM_WIRES

◆ NUM_WITNESS_ENTITIES

◆ OINK_PROOF_LENGTH_WITHOUT_PUB_INPUTS

◆ REPEATED_COMMITMENTS

◆ USE_PADDING

◆ USE_SHORT_MONOMIALS

◆ VIRTUAL_LOG_N