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  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 >
 
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 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>()
 

Detailed Description

Definition at line 34 of file mega_flavor.hpp.

Member Typedef Documentation

◆ AllEntities

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

Definition at line 357 of file mega_flavor.hpp.

◆ AllValues

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

Definition at line 369 of file mega_flavor.hpp.

◆ CircuitBuilder

using bb::MegaFlavor::CircuitBuilder = MegaCircuitBuilder

Definition at line 36 of file mega_flavor.hpp.

◆ Codec

using bb::MegaFlavor::Codec = FrCodec

Definition at line 46 of file mega_flavor.hpp.

◆ Commitment

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

Definition at line 40 of file mega_flavor.hpp.

◆ CommitmentKey

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

Definition at line 43 of file mega_flavor.hpp.

◆ Curve

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

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

◆ FF

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

Definition at line 38 of file mega_flavor.hpp.

◆ GroupElement

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

Definition at line 39 of file mega_flavor.hpp.

◆ HashFunction

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

Definition at line 47 of file mega_flavor.hpp.

◆ PartiallyEvaluatedMultivariates

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

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

◆ PCS

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

Definition at line 41 of file mega_flavor.hpp.

◆ Polynomial

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

Definition at line 42 of file mega_flavor.hpp.

◆ PrecomputedData

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

Definition at line 444 of file mega_flavor.hpp.

◆ ProverPolynomials

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

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

◆ Relations

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

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

◆ SubrelationSeparator

using bb::MegaFlavor::SubrelationSeparator = FF

Definition at line 133 of file mega_flavor.hpp.

◆ TraceBlocks

using bb::MegaFlavor::TraceBlocks = MegaExecutionTraceBlocks

Definition at line 45 of file mega_flavor.hpp.

◆ Transcript

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

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

◆ VerifierCommitmentKey

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

Definition at line 44 of file mega_flavor.hpp.

◆ VerifierCommitments

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

Definition at line 583 of file mega_flavor.hpp.

◆ VKAndHash

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

Definition at line 457 of file mega_flavor.hpp.

◆ WitnessCommitments

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

A container for the witness commitments.

Definition at line 482 of file mega_flavor.hpp.

◆ WitnessEntities

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

Definition at line 308 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 115 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 80 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 126 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 105 of file mega_flavor.hpp.

◆ HasZK

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

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

◆ NUM_ALL_ENTITIES

constexpr size_t bb::MegaFlavor::NUM_ALL_ENTITIES = 60
staticconstexpr

Definition at line 63 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 108 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 109 of file mega_flavor.hpp.

◆ NUM_PRECOMPUTED_ENTITIES

constexpr size_t bb::MegaFlavor::NUM_PRECOMPUTED_ENTITIES = 31
staticconstexpr

Definition at line 66 of file mega_flavor.hpp.

◆ NUM_RELATIONS

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

Definition at line 106 of file mega_flavor.hpp.

◆ NUM_SHIFTED_ENTITIES

constexpr size_t bb::MegaFlavor::NUM_SHIFTED_ENTITIES = 5
staticconstexpr

Definition at line 70 of file mega_flavor.hpp.

◆ NUM_SUBRELATIONS

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

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

◆ NUM_WIRES

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

Definition at line 60 of file mega_flavor.hpp.

◆ NUM_WITNESS_ENTITIES

constexpr size_t bb::MegaFlavor::NUM_WITNESS_ENTITIES = 24
staticconstexpr

Definition at line 68 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:68
bb::MegaFlavor::num_frs_comm
static constexpr size_t num_frs_comm
Definition mega_flavor.hpp:108

Definition at line 112 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:66
bb::MegaFlavor::NUM_SHIFTED_ENTITIES
static constexpr size_t NUM_SHIFTED_ENTITIES
Definition mega_flavor.hpp:70

Definition at line 74 of file mega_flavor.hpp.

◆ USE_PADDING

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

Definition at line 59 of file mega_flavor.hpp.

◆ USE_SHORT_MONOMIALS

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

Definition at line 54 of file mega_flavor.hpp.

◆ VIRTUAL_LOG_N

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

Definition at line 52 of file mega_flavor.hpp.

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