bb::UltraRollupRecursiveFlavor_< BuilderType > Class Template Reference

The recursive counterpart to the "native" UltraRollupFlavor. More...

#include <ultra_rollup_recursive_flavor.hpp>

Inheritance diagram for bb::UltraRollupRecursiveFlavor_< BuilderType >:

Public Types
using	NativeFlavor = UltraRollupFlavor
Public Types inherited from bb::UltraRecursiveFlavor_< BuilderType >
using	CircuitBuilder = BuilderType
using	Curve = stdlib::bn254< CircuitBuilder >
using	PCS = KZG< Curve >
using	GroupElement = typename Curve::Element
using	Commitment = typename Curve::Element
using	FF = typename Curve::ScalarField
using	NativeFlavor = UltraFlavor
using	NativeVerificationKey = NativeFlavor::VerificationKey
using	Transcript = StdlibTranscript< CircuitBuilder >
using	VerifierCommitmentKey = bb::VerifierCommitmentKey< NativeFlavor::Curve >
using	Relations = UltraFlavor::Relations_< FF >
using	SubrelationSeparator = FF
using	VerificationKey = StdlibVerificationKey_< CircuitBuilder, NativeFlavor::PrecomputedEntities< Commitment >, typename NativeFlavor::VerificationKey >
using	CommitmentLabels = UltraFlavor::CommitmentLabels
using	WitnessCommitments = UltraFlavor::WitnessEntities< Commitment >
using	VerifierCommitments = UltraFlavor::VerifierCommitments_< Commitment, VerificationKey >
using	VKAndHash = VKAndHash_< FF, VerificationKey >

Additional Inherited Members
Static Public Member Functions inherited from bb::UltraRecursiveFlavor_< BuilderType >
static constexpr size_t	FINAL_PCS_MSM_SIZE (size_t log_n=VIRTUAL_LOG_N)
Static Public Attributes inherited from bb::UltraRecursiveFlavor_< BuilderType >
static constexpr size_t	VIRTUAL_LOG_N = UltraFlavor::VIRTUAL_LOG_N
static constexpr bool	USE_SHORT_MONOMIALS = UltraFlavor::USE_SHORT_MONOMIALS
static constexpr bool	HasZK = false
static constexpr bool	USE_PADDING = UltraFlavor::USE_PADDING
static constexpr size_t	NUM_WIRES = UltraFlavor::NUM_WIRES
static constexpr size_t	NUM_ALL_ENTITIES = UltraFlavor::NUM_ALL_ENTITIES
static constexpr size_t	NUM_PRECOMPUTED_ENTITIES = UltraFlavor::NUM_PRECOMPUTED_ENTITIES
static constexpr size_t	NUM_WITNESS_ENTITIES = UltraFlavor::NUM_WITNESS_ENTITIES
static constexpr RepeatedCommitmentsData	REPEATED_COMMITMENTS = UltraFlavor::REPEATED_COMMITMENTS
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<Relations>::value
static constexpr size_t	NUM_SUBRELATIONS = NativeFlavor::NUM_SUBRELATIONS

Detailed Description

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

The recursive counterpart to the "native" UltraRollupFlavor.

Nearly identical to UltraRecursiveFlavor_, but with NativeFlavor = UltraRollupFlavor. This distinction is needed for:

1. Concept checks (e.g., HasIPAAccumulator) that trigger different code paths
2. Access to UltraRollupFlavor-specific PROOF_LENGTH_WITHOUT_PUB_INPUTS

Template Parameters

BuilderType

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

Definition at line 22 of file ultra_rollup_recursive_flavor.hpp.

Member Typedef Documentation

NativeFlavor

template<typename BuilderType >

using bb::UltraRollupRecursiveFlavor_< BuilderType >::NativeFlavor = UltraRollupFlavor

Definition at line 24 of file ultra_rollup_recursive_flavor.hpp.

---

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

• src/barretenberg/flavor/flavor.hpp
• src/barretenberg/flavor/ultra_rollup_recursive_flavor.hpp