Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
Classes | Public Types | Static Public Member Functions | Static Public Attributes | List of all members
bb::MegaFlavor Class Reference

#include <mega_flavor.hpp>

Inheritance diagram for bb::MegaFlavor:
bb::MegaAvmFlavor bb::MegaZKFlavor

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  PrecomputedEntities
 A base class labelling precomputed entities and (ordered) subsets of interest. 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 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 >
 
template<bool HasZK_ = HasZK>
using ProverPolynomials_ = ProverPolynomialsBase< AllEntities_< Polynomial, HasZK_ >, AllValues_< HasZK_ >, Polynomial >
 A container for the prover polynomials handles.
 
using ProverPolynomials = ProverPolynomials_< HasZK >
 
using PrecomputedData = PrecomputedData_< Polynomial, NUM_PRECOMPUTED_ENTITIES >
 
using VerificationKey = NativeVerificationKey_< PrecomputedEntities< Commitment >, Codec, HashFunction, CommitmentKey >
 The verification key stores commitments to the precomputed (non-witness) polynomials used by the verifier.
 
using VKAndHash = VKAndHash_< FF, VerificationKey >
 
template<bool HasZK_ = HasZK>
using PartiallyEvaluatedMultivariates_ = PartiallyEvaluatedMultivariatesBase< AllEntities_< Polynomial, HasZK_ >, ProverPolynomials_< HasZK_ >, Polynomial >
 A container for storing the partially evaluated multivariates produced by sumcheck.
 
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 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 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 NUM_SUBRELATIONS = compute_number_of_subrelations<Relations>()
 
static constexpr size_t NUM_PRECOMPUTED_ENTITIES = PrecomputedEntities<FF>::_members_size
 
static constexpr size_t NUM_WITNESS_ENTITIES = WireEntities<FF>::_members_size + DerivedEntities<FF>::_members_size
 
static constexpr size_t NUM_SHIFTED_ENTITIES = ShiftedEntities<FF>::_members_size
 
static constexpr size_t NUM_UNSHIFTED_ENTITIES = NUM_PRECOMPUTED_ENTITIES + NUM_WITNESS_ENTITIES
 
static constexpr size_t NUM_ALL_ENTITIES = NUM_UNSHIFTED_ENTITIES + NUM_SHIFTED_ENTITIES
 
static constexpr RepeatedCommitmentsData REPEATED_COMMITMENTS
 

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 306 of file mega_flavor.hpp.

◆ AllValues

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

Definition at line 336 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 43 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 374 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 44 of file mega_flavor.hpp.

◆ PartiallyEvaluatedMultivariates

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

Definition at line 363 of file mega_flavor.hpp.

◆ PartiallyEvaluatedMultivariates_

template<bool HasZK_ = HasZK>
using bb::MegaFlavor::PartiallyEvaluatedMultivariates_ = PartiallyEvaluatedMultivariatesBase<AllEntities_<Polynomial, HasZK_>, ProverPolynomials_<HasZK_>, Polynomial>

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

Definition at line 360 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 346 of file mega_flavor.hpp.

◆ ProverPolynomials

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

Definition at line 344 of file mega_flavor.hpp.

◆ ProverPolynomials_

template<bool HasZK_ = HasZK>
using bb::MegaFlavor::ProverPolynomials_ = ProverPolynomialsBase<AllEntities_<Polynomial, HasZK_>, AllValues_<HasZK_>, Polynomial>

A container for the prover polynomials handles.

Definition at line 342 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 369 of file mega_flavor.hpp.

◆ Relations

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

Definition at line 73 of file mega_flavor.hpp.

◆ Relations_

template<typename FF >
using bb::MegaFlavor::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> >

Definition at line 62 of file mega_flavor.hpp.

◆ SubrelationSeparator

using bb::MegaFlavor::SubrelationSeparator = FF

Definition at line 87 of file mega_flavor.hpp.

◆ Transcript

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

Definition at line 45 of file mega_flavor.hpp.

◆ VerificationKey

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

The verification key stores commitments to the precomputed (non-witness) polynomials used by the verifier.

Definition at line 352 of file mega_flavor.hpp.

◆ VerifierCommitments

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

Definition at line 480 of file mega_flavor.hpp.

◆ VKAndHash

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

Definition at line 354 of file mega_flavor.hpp.

◆ WitnessCommitments

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

A container for the witness commitments.

Definition at line 379 of file mega_flavor.hpp.

◆ WitnessEntities

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

Definition at line 259 of file mega_flavor.hpp.

Member Function Documentation

◆ 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 321 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 79 of file mega_flavor.hpp.

◆ HasZK

constexpr bool bb::MegaFlavor::HasZK = false
staticconstexpr

Definition at line 53 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 75 of file mega_flavor.hpp.

◆ NUM_ALL_ENTITIES

constexpr size_t bb::MegaFlavor::NUM_ALL_ENTITIES = NUM_UNSHIFTED_ENTITIES + NUM_SHIFTED_ENTITIES
staticconstexpr

Definition at line 313 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 82 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 83 of file mega_flavor.hpp.

◆ NUM_PRECOMPUTED_ENTITIES

constexpr size_t bb::MegaFlavor::NUM_PRECOMPUTED_ENTITIES = PrecomputedEntities<FF>::_members_size
staticconstexpr

Definition at line 309 of file mega_flavor.hpp.

◆ NUM_RELATIONS

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

Definition at line 80 of file mega_flavor.hpp.

◆ NUM_SHIFTED_ENTITIES

constexpr size_t bb::MegaFlavor::NUM_SHIFTED_ENTITIES = ShiftedEntities<FF>::_members_size
staticconstexpr

Definition at line 311 of file mega_flavor.hpp.

◆ NUM_SUBRELATIONS

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

Definition at line 86 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 312 of file mega_flavor.hpp.

◆ NUM_WIRES

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

Definition at line 57 of file mega_flavor.hpp.

◆ NUM_WITNESS_ENTITIES

constexpr size_t bb::MegaFlavor::NUM_WITNESS_ENTITIES = WireEntities<FF>::_members_size + DerivedEntities<FF>::_members_size
staticconstexpr

Definition at line 310 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:309
bb::MegaFlavor::NUM_SHIFTED_ENTITIES
static constexpr size_t NUM_SHIFTED_ENTITIES
Definition mega_flavor.hpp:311
bb::MegaFlavor::NUM_WITNESS_ENTITIES
static constexpr size_t NUM_WITNESS_ENTITIES
Definition mega_flavor.hpp:310

Definition at line 315 of file mega_flavor.hpp.

◆ USE_PADDING

constexpr bool bb::MegaFlavor::USE_PADDING = true
staticconstexpr

Definition at line 56 of file mega_flavor.hpp.

◆ USE_SHORT_MONOMIALS

constexpr bool bb::MegaFlavor::USE_SHORT_MONOMIALS = true
staticconstexpr

Definition at line 51 of file mega_flavor.hpp.

◆ VIRTUAL_LOG_N

constexpr size_t bb::MegaFlavor::VIRTUAL_LOG_N = CONST_FOLDING_LOG_N
staticconstexpr

Definition at line 49 of file mega_flavor.hpp.

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