15template <
class Params>
struct alignas(32) field;
16class UltraExecutionTraceBlocks;
17template <
class ExecutionTrace>
class UltraCircuitBuilder_;
42template <
typename CurveType,
bool HasZK_,
bool UseShortMonomials_>
class SumcheckTestFlavor_;
45template <
typename BuilderType>
class UltraRecursiveFlavor_;
46template <
typename BuilderType>
class UltraZKRecursiveFlavor_;
54class AvmRecursiveFlavor;
57#ifdef STARKNET_GARAGA_FLAVORS
58class UltraStarknetFlavor;
A flavor for the AVM recursive verifier circuit arithmetized with Mega.
Recursive flavor for verifying proofs produced with MegaAvmFlavor.
The recursive counterpart to the "native" Mega flavor.
Child class of MegaFlavor that runs with ZK Sumcheck. See more in Sumcheck Outline.
The recursive counterpart to the "native" MegaZKFlavor.
The recursive counterpart of the native Translator flavor.
UltraRollupFlavor extends UltraFlavor with IPA proof support.
The recursive counterpart to the "native" UltraRollupFlavor.
Child class of UltraFlavor that runs with ZK Sumcheck.
Entry point for Barretenberg command-line interface.
SumcheckTestFlavor_< curve::Grumpkin, true, true > SumcheckTestFlavorGrumpkinZK
Grumpkin ZK variant.