Recursive flavor for verifying proofs produced with MegaAvmFlavor. More...

Inheritance diagram for bb::MegaAvmRecursiveFlavor_< BuilderType >:

Public Types
using	Base = MegaRecursiveFlavor_< BuilderType >

using	NativeFlavor = MegaAvmFlavor

using	Commitment = typename Base::Commitment

using	VerificationKey = typename Base::VerificationKey

using	FF = typename Base::FF

Public Types inherited from bb::MegaRecursiveFlavor_< BuilderType >
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 = MegaFlavor

using	Transcript = StdlibTranscript< CircuitBuilder >

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

using	Relations = MegaFlavor::Relations_< FF >

using	SubrelationSeparator = FF

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

using	WitnessCommitments = MegaFlavor::WitnessEntities< Commitment >
	A container for the witness commitments.

using	CommitmentLabels = MegaFlavor::CommitmentLabels

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

using	VKAndHash = VKAndHash_< FF, VerificationKey >

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

Static Public Attributes inherited from bb::MegaRecursiveFlavor_< BuilderType >
static constexpr size_t	VIRTUAL_LOG_N = MegaFlavor::VIRTUAL_LOG_N

static constexpr bool	USE_SHORT_MONOMIALS = MegaFlavor::USE_SHORT_MONOMIALS

static constexpr bool	HasZK = false

static constexpr bool	USE_PADDING = MegaFlavor::USE_PADDING

static constexpr size_t	NUM_WIRES = MegaFlavor::NUM_WIRES

static constexpr size_t	NUM_ALL_ENTITIES = MegaFlavor::NUM_ALL_ENTITIES

static constexpr size_t	NUM_PRECOMPUTED_ENTITIES = MegaFlavor::NUM_PRECOMPUTED_ENTITIES

static constexpr size_t	NUM_WITNESS_ENTITIES = MegaFlavor::NUM_WITNESS_ENTITIES

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 = MegaFlavor::REPEATED_COMMITMENTS

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

static constexpr size_t	NUM_SUBRELATIONS = MegaFlavor::NUM_SUBRELATIONS

Additional Inherited Members
Static Public Member Functions inherited from bb::MegaRecursiveFlavor_< BuilderType >
static constexpr size_t	FINAL_PCS_MSM_SIZE (size_t log_n=VIRTUAL_LOG_N)