Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
circuit_builders_fwd.hpp
Go to the documentation of this file.
1
9#pragma once
10#include <concepts>
11
12namespace bb {
13class Bn254FrParams;
14class Bn254FqParams;
15template <class Params> struct alignas(32) field;
16class UltraExecutionTraceBlocks;
17template <class ExecutionTrace> class UltraCircuitBuilder_;
19template <class FF> class MegaCircuitBuilder_;
21
22class StandardFlavor;
23class UltraFlavor;
24class UltraZKFlavor;
25class MegaFlavor;
26class MegaZKFlavor;
27class MegaAvmFlavor;
31class ECCVMFlavor;
37
38// Forward declare SumcheckTestFlavor template and Grumpkin ZK variant
39namespace curve {
40class Grumpkin;
41}
42template <typename CurveType, bool HasZK_, bool UseShortMonomials_> class SumcheckTestFlavor_;
43using SumcheckTestFlavorGrumpkinZK = SumcheckTestFlavor_<curve::Grumpkin, true, true>;
44
45template <typename BuilderType> class UltraRecursiveFlavor_;
46template <typename BuilderType> class UltraZKRecursiveFlavor_;
47template <typename BuilderType> class UltraKeccakRecursiveFlavor_;
48template <typename BuilderType> class UltraRollupRecursiveFlavor_;
49template <typename BuilderType> class MegaRecursiveFlavor_;
50template <typename BuilderType> class MegaZKRecursiveFlavor_;
51template <typename BuilderType> class MegaAvmRecursiveFlavor_;
52
53namespace avm2 {
54class AvmRecursiveFlavor;
55}
56
57#ifdef STARKNET_GARAGA_FLAVORS
58class UltraStarknetFlavor;
59#endif
60} // namespace bb
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.
Definition api.hpp:5
SumcheckTestFlavor_< curve::Grumpkin, true, true > SumcheckTestFlavorGrumpkinZK
Grumpkin ZK variant.