Recursive counterpart to MegaAvmFlavor. More...

#include <mega_avm_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 = MegaAvmFlavor

using	Codec = stdlib::StdlibCodec< FF >

using	Transcript = StdlibTranscript< CircuitBuilder >

using	Relations = MegaAvmFlavor::Relations_< FF >

using	SubrelationSeparator = FF

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

using	WitnessCommitments = MegaAvmFlavor::WitnessEntities< Commitment >

using	CommitmentLabels = MegaAvmFlavor::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 = MegaAvmFlavor::VIRTUAL_LOG_N

static constexpr bool	USE_SHORT_MONOMIALS = MegaAvmFlavor::USE_SHORT_MONOMIALS

static constexpr bool	HasZK = false

static constexpr bool	USE_PADDING = MegaAvmFlavor::USE_PADDING

static constexpr size_t	NUM_WIRES = MegaAvmFlavor::NUM_WIRES

static constexpr size_t	NUM_ALL_ENTITIES = MegaAvmFlavor::NUM_ALL_ENTITIES

static constexpr size_t	NUM_PRECOMPUTED_ENTITIES = MegaAvmFlavor::NUM_PRECOMPUTED_ENTITIES

static constexpr size_t	NUM_WITNESS_ENTITIES = MegaAvmFlavor::NUM_WITNESS_ENTITIES

static constexpr size_t	NUM_SHIFTED_ENTITIES = MegaAvmFlavor::NUM_SHIFTED_ENTITIES

static constexpr size_t	NUM_UNSHIFTED_ENTITIES = MegaAvmFlavor::NUM_UNSHIFTED_ENTITIES

static constexpr bool	HasDataBus = MegaAvmFlavor::HasDataBus

static constexpr size_t	NUM_BUS_COLUMNS = MegaAvmFlavor::NUM_BUS_COLUMNS

static constexpr bool	HasLogDerivLookup = MegaAvmFlavor::HasLogDerivLookup

static constexpr bool	HasElliptic = MegaAvmFlavor::HasElliptic

static constexpr bool	HasMemory = MegaAvmFlavor::HasMemory

static constexpr bool	HasNonNativeField = MegaAvmFlavor::HasNonNativeField

static constexpr bool	HasEccOpQueue = MegaAvmFlavor::HasEccOpQueue

static constexpr bool	UsesEtaPowers = MegaAvmFlavor::UsesEtaPowers

static constexpr bool	UsesBetaPowers = MegaAvmFlavor::UsesBetaPowers

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 RepeatedCommitmentsData	REPEATED_COMMITMENTS = MegaAvmFlavor::REPEATED_COMMITMENTS

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

static constexpr size_t	NUM_SUBRELATIONS = MegaAvmFlavor::NUM_SUBRELATIONS

Detailed Description

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

Recursive counterpart to MegaAvmFlavor.

Used by the outer Ultra circuit when recursively verifying the Mega proof of the inner AVM recursive verifier. Mirrors MegaAvmFlavor's entity/relation set, with stdlib curve / field types.

Definition at line 21 of file mega_avm_recursive_flavor.hpp.