The recursive counterpart to MegaZKFlavor. More...

#include <mega_zk_recursive_flavor.hpp>

Classes
class	AllValues

Public Types
using	CircuitBuilder = BuilderType

using	Curve = stdlib::bn254< CircuitBuilder >

using	PCS = KZG< Curve >

using	GroupElement = typename Curve::Element

using	FF = typename Curve::ScalarField

using	Commitment = typename Curve::Element

using	NativeFlavor = MegaZKFlavor

using	Codec = stdlib::StdlibCodec< FF >

using	Transcript = StdlibTranscript< CircuitBuilder >

using	Relations = MegaZKFlavor::Relations_< FF >

using	SubrelationSeparator = FF

using	VerificationKey = StdlibVerificationKey_< CircuitBuilder, NativeFlavor::PrecomputedEntities< Commitment >, NativeFlavor::VerificationKey >

using	WitnessCommitments = MegaZKFlavor::WitnessEntities< Commitment >

using	CommitmentLabels = MegaZKFlavor::CommitmentLabels

using	VKAndHash = VKAndHash_< FF, VerificationKey >

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

static const CommitmentLabels &	commitment_labels ()

Static Public Attributes
static constexpr size_t	VIRTUAL_LOG_N = MegaZKFlavor::VIRTUAL_LOG_N

static constexpr bool	USE_SHORT_MONOMIALS = MegaZKFlavor::USE_SHORT_MONOMIALS

static constexpr bool	HasZK = true

static constexpr bool	HasGeminiMasking = false

static constexpr bool	USE_PADDING = MegaZKFlavor::USE_PADDING

static constexpr size_t	NUM_WIRES = MegaZKFlavor::NUM_WIRES

static constexpr size_t	NUM_ALL_ENTITIES = MegaZKFlavor::NUM_ALL_ENTITIES

static constexpr size_t	NUM_PRECOMPUTED_ENTITIES = MegaZKFlavor::NUM_PRECOMPUTED_ENTITIES

static constexpr size_t	NUM_WITNESS_ENTITIES = MegaZKFlavor::NUM_WITNESS_ENTITIES

static constexpr size_t	NUM_SHIFTED_ENTITIES = MegaZKFlavor::NUM_SHIFTED_ENTITIES

static constexpr size_t	NUM_UNSHIFTED_ENTITIES = MegaZKFlavor::NUM_UNSHIFTED_ENTITIES

static constexpr bool	HasDataBus = MegaZKFlavor::HasDataBus

static constexpr size_t	NUM_BUS_COLUMNS = MegaZKFlavor::NUM_BUS_COLUMNS

static constexpr bool	HasLogDerivLookup = MegaZKFlavor::HasLogDerivLookup

static constexpr bool	HasElliptic = MegaZKFlavor::HasElliptic

static constexpr bool	HasMemory = MegaZKFlavor::HasMemory

static constexpr bool	HasNonNativeField = MegaZKFlavor::HasNonNativeField

static constexpr bool	HasEccOpQueue = MegaZKFlavor::HasEccOpQueue

static constexpr size_t	MAX_PARTIAL_RELATION_LENGTH = compute_max_partial_relation_length<Relations>()

static constexpr size_t	BATCHED_RELATION_PARTIAL_LENGTH = MegaZKFlavor::BATCHED_RELATION_PARTIAL_LENGTH

static constexpr RepeatedCommitmentsData	REPEATED_COMMITMENTS = MegaZKFlavor::REPEATED_COMMITMENTS

static constexpr size_t	NUM_RELATIONS = std::tuple_size_v<Relations>

static constexpr size_t	NUM_SUBRELATIONS = MegaZKFlavor::NUM_SUBRELATIONS

Detailed Description

template<typename BuilderType>
class bb::MegaZKRecursiveFlavor_< BuilderType >

The recursive counterpart to MegaZKFlavor.

Mirrors MegaRecursiveFlavor_ but references MegaZKFlavor (reduced relation set, fewer entities) so that the in-circuit recursive verifier evaluates the same polynomials and relations as the native prover. Runs with ZK Sumcheck (HasZK = true) and without a Gemini masking polynomial.

Template Parameters

BuilderType Determines the arithmetization of the verifier circuit defined based on this flavor.

Definition at line 25 of file mega_zk_recursive_flavor.hpp.