bb::MegaZKFlavor Class Reference

Child class of MegaFlavor that runs with ZK Sumcheck. More...

#include <mega_zk_flavor.hpp>

Inheritance diagram for bb::MegaZKFlavor:

Public Types
template<typename DataType >
using	AllEntities = MegaFlavor::AllEntities_< DataType, HasZK >
using	AllValues = MegaFlavor::AllValues_< HasZK >
using	ProverPolynomials = MegaFlavor::ProverPolynomials_< HasZK >
using	PartiallyEvaluatedMultivariates = MegaFlavor::PartiallyEvaluatedMultivariates_< HasZK >
using	VerifierCommitments = MegaFlavor::VerifierCommitments_< Commitment, VerificationKey, HasZK >
template<size_t LENGTH>
using	ProverUnivariates = AllEntities< bb::Univariate< FF, LENGTH > >
using	ExtendedEdges = ProverUnivariates< MAX_PARTIAL_RELATION_LENGTH >
using	Transcript = NativeTranscript
using	VKAndHash = MegaFlavor::VKAndHash
Public Types inherited from bb::MegaFlavor
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=MegaFlavor::VIRTUAL_LOG_N)
Static Public Member Functions inherited from bb::MegaFlavor
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 = HIDING_KERNEL_LOG_N
static constexpr bool	HasZK = true
static constexpr size_t	NUM_MASKING_POLYNOMIALS = 1
static constexpr size_t	BATCHED_RELATION_PARTIAL_LENGTH = MegaFlavor::BATCHED_RELATION_PARTIAL_LENGTH + 1
static constexpr size_t	NUM_WITNESS_ENTITIES = MegaFlavor::NUM_WITNESS_ENTITIES + NUM_MASKING_POLYNOMIALS
static constexpr size_t	NUM_ALL_ENTITIES = MegaFlavor::NUM_ALL_ENTITIES + NUM_MASKING_POLYNOMIALS
static constexpr size_t	NUM_UNSHIFTED_ENTITIES = MegaFlavor::NUM_UNSHIFTED_ENTITIES + NUM_MASKING_POLYNOMIALS
Static Public Attributes inherited from bb::MegaFlavor
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

Child class of MegaFlavor that runs with ZK Sumcheck.

Definition at line 17 of file mega_zk_flavor.hpp.

Member Typedef Documentation

AllEntities

template<typename DataType >

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

Definition at line 34 of file mega_zk_flavor.hpp.

AllValues

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

Definition at line 49 of file mega_zk_flavor.hpp.

ExtendedEdges

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

Definition at line 56 of file mega_zk_flavor.hpp.

PartiallyEvaluatedMultivariates

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

Definition at line 51 of file mega_zk_flavor.hpp.

ProverPolynomials

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

Definition at line 50 of file mega_zk_flavor.hpp.

ProverUnivariates

template<size_t LENGTH>

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

Definition at line 55 of file mega_zk_flavor.hpp.

Transcript

using bb::MegaZKFlavor::Transcript = NativeTranscript

Definition at line 58 of file mega_zk_flavor.hpp.

VerifierCommitments

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

Definition at line 52 of file mega_zk_flavor.hpp.

VKAndHash

using bb::MegaZKFlavor::VKAndHash = MegaFlavor::VKAndHash

Definition at line 59 of file mega_zk_flavor.hpp.

Member Function Documentation

FINAL_PCS_MSM_SIZE()

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

inlinestaticconstexpr

Definition at line 44 of file mega_zk_flavor.hpp.

Member Data Documentation

BATCHED_RELATION_PARTIAL_LENGTH

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

staticconstexpr

Definition at line 29 of file mega_zk_flavor.hpp.

HasZK

constexpr bool bb::MegaZKFlavor::HasZK = true

staticconstexpr

Definition at line 23 of file mega_zk_flavor.hpp.

NUM_ALL_ENTITIES

constexpr size_t bb::MegaZKFlavor::NUM_ALL_ENTITIES = MegaFlavor::NUM_ALL_ENTITIES + NUM_MASKING_POLYNOMIALS

staticconstexpr

Definition at line 39 of file mega_zk_flavor.hpp.

NUM_MASKING_POLYNOMIALS

constexpr size_t bb::MegaZKFlavor::NUM_MASKING_POLYNOMIALS = 1

staticconstexpr

Definition at line 26 of file mega_zk_flavor.hpp.

NUM_UNSHIFTED_ENTITIES

constexpr size_t bb::MegaZKFlavor::NUM_UNSHIFTED_ENTITIES = MegaFlavor::NUM_UNSHIFTED_ENTITIES + NUM_MASKING_POLYNOMIALS

staticconstexpr

Definition at line 41 of file mega_zk_flavor.hpp.

NUM_WITNESS_ENTITIES

constexpr size_t bb::MegaZKFlavor::NUM_WITNESS_ENTITIES = MegaFlavor::NUM_WITNESS_ENTITIES + NUM_MASKING_POLYNOMIALS

staticconstexpr

Definition at line 37 of file mega_zk_flavor.hpp.

VIRTUAL_LOG_N

constexpr size_t bb::MegaZKFlavor::VIRTUAL_LOG_N = HIDING_KERNEL_LOG_N

staticconstexpr

Definition at line 20 of file mega_zk_flavor.hpp.

---

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

• src/barretenberg/flavor/mega_zk_flavor.hpp