Child class of MegaFlavor that runs with ZK Sumcheck. See more in Sumcheck Outline. More...

#include <mega_zk_flavor.hpp>

Inheritance diagram for bb::MegaZKFlavor:

Public Types
using	Transcript = NativeTranscript

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	VerifierCommitmentKey = bb::VerifierCommitmentKey< Curve >

using	TraceBlocks = MegaExecutionTraceBlocks

using	Transcript = NativeTranscript

template<typename FF >
using	Relations_ = std::tuple< bb::UltraArithmeticRelation< 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	SubrelationSeparators = std::array< FF, NUM_SUBRELATIONS - 1 >

template<size_t NUM_KEYS>
using	ProtogalaxyTupleOfTuplesOfUnivariatesNoOptimisticSkipping = decltype(create_protogalaxy_tuple_of_tuples_of_univariates< Relations, NUM_KEYS >())

template<size_t NUM_KEYS>
using	ProtogalaxyTupleOfTuplesOfUnivariates = decltype(create_protogalaxy_tuple_of_tuples_of_univariates< Relations, NUM_KEYS, true >())

using	PrecomputedData = PrecomputedData_< Polynomial, NUM_PRECOMPUTED_ENTITIES >

template<size_t LENGTH>
using	ProverUnivariates = AllEntities< bb::Univariate< FF, LENGTH > >
	A container for univariates used during Protogalaxy folding and sumcheck.

template<size_t LENGTH, size_t SKIP_COUNT>
using	ProverUnivariatesWithOptimisticSkipping = AllEntities< bb::Univariate< FF, LENGTH, 0, SKIP_COUNT > >
	A container for univariates used during Protogalaxy folding and sumcheck with some of the computation optmistically ignored.

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 >

Static Public Member Functions
static constexpr size_t	PROOF_LENGTH_WITHOUT_PUB_INPUTS (size_t virtual_log_n=MegaFlavor::VIRTUAL_LOG_N)

Static Public Member Functions inherited from bb::MegaFlavor
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 bool	HasZK = true

static constexpr size_t	BATCHED_RELATION_PARTIAL_LENGTH = MegaFlavor::BATCHED_RELATION_PARTIAL_LENGTH + 1

Static Public Attributes inherited from bb::MegaFlavor
static constexpr size_t	VIRTUAL_LOG_N = std::max(CONST_PG_LOG_N, MEGA_AVM_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_FOLDED_ENTITIES = NUM_PRECOMPUTED_ENTITIES + NUM_WITNESS_ENTITIES

static constexpr size_t	NUM_SHIFTED_WITNESSES = 5

static constexpr RepeatedCommitmentsData	REPEATED_COMMITMENTS

static constexpr size_t	MAX_PARTIAL_RELATION_LENGTH = compute_max_partial_relation_length<Relations>()

static constexpr size_t	MAX_TOTAL_RELATION_LENGTH = compute_max_total_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 = bb::field_conversion::calc_num_bn254_frs<Commitment>()

static constexpr size_t	num_frs_fr = bb::field_conversion::calc_num_bn254_frs<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

Child class of MegaFlavor that runs with ZK Sumcheck. See more in Sumcheck Outline.

Definition at line 17 of file mega_zk_flavor.hpp.

Member Typedef Documentation

◆ Transcript

using bb::MegaZKFlavor::Transcript = NativeTranscript

Definition at line 49 of file mega_zk_flavor.hpp.

Member Function Documentation

◆ PROOF_LENGTH_WITHOUT_PUB_INPUTS()

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

inlinestaticconstexpr

Definition at line 27 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 22 of file mega_zk_flavor.hpp.

◆ HasZK

constexpr bool bb::MegaZKFlavor::HasZK = true

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

Public Types

Static Public Member Functions

Static Public Attributes