circuit_builders_fwd.hpp

Go to the documentation of this file.

// === AUDIT STATUS ===
// internal:    { status: not started, auditors: [], date: YYYY-MM-DD }
// external_1:  { status: not started, auditors: [], date: YYYY-MM-DD }
// external_2:  { status: not started, auditors: [], date: YYYY-MM-DD }
// =====================
 
#pragma once
#include <concepts>
 
namespace bb {
class Bn254FrParams;
class Bn254FqParams;
template <class Params> struct alignas(32) field;
class UltraExecutionTraceBlocks;
template <class ExecutionTrace> class UltraCircuitBuilder_;
using UltraCircuitBuilder = UltraCircuitBuilder_<UltraExecutionTraceBlocks>;
template <class FF> class MegaCircuitBuilder_;
using MegaCircuitBuilder = MegaCircuitBuilder_<field<Bn254FrParams>>;
 
class StandardFlavor;
class UltraFlavor;
class UltraZKFlavor;
class MegaFlavor;
class MegaZKFlavor;
class UltraKeccakFlavor;
class UltraKeccakZKFlavor;
class UltraRollupFlavor;
class ECCVMFlavor;
class TranslatorFlavor;
class TranslatorRecursiveFlavor;
class ECCVMRecursiveFlavor;
class MultilinearBatchingFlavor;
class MultilinearBatchingRecursiveFlavor;
class AvmRecursiveFlavor;
 
// Forward declare SumcheckTestFlavor template and Grumpkin ZK variant
namespace curve {
class Grumpkin;
}
template <typename CurveType, bool HasZK_, bool UseShortMonomials_> class SumcheckTestFlavor_;
using SumcheckTestFlavorGrumpkinZK = SumcheckTestFlavor_<curve::Grumpkin, true, true>;
 
template <typename BuilderType> class UltraRecursiveFlavor_;
template <typename BuilderType> class UltraZKRecursiveFlavor_;
template <typename BuilderType> class UltraKeccakRecursiveFlavor_;
template <typename BuilderType> class UltraRollupRecursiveFlavor_;
template <typename BuilderType> class MegaRecursiveFlavor_;
template <typename BuilderType> class MegaZKRecursiveFlavor_;
 
namespace avm2 {
class AvmRecursiveFlavor;
}
 
#ifdef STARKNET_GARAGA_FLAVORS
class UltraStarknetFlavor;
#endif
} // namespace bb