Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
circuit_input.hpp File Reference
#include "barretenberg/common/throw_or_abort.hpp"
#include "barretenberg/flavor/mega_app_flavor.hpp"
#include "barretenberg/flavor/mega_app_recursive_flavor.hpp"
#include "barretenberg/flavor/mega_kernel_flavor.hpp"
#include "barretenberg/flavor/mega_kernel_recursive_flavor.hpp"
#include "barretenberg/flavor/mega_zk_flavor.hpp"
#include "barretenberg/serialize/msgpack.hpp"
#include "barretenberg/stdlib/special_public_inputs/special_public_inputs.hpp"
#include <msgpack/adaptor/define_decl.hpp>
#include <cstdint>
#include <memory>
#include <ostream>
#include <string>
#include <utility>
#include <variant>

Go to the source code of this file.

Classes

struct  bb::flavor_for_impl< CircuitKind::App >
 
struct  bb::flavor_for_impl< CircuitKind::Kernel >
 
struct  bb::flavor_for_impl< CircuitKind::HidingKernel >
 
struct  bb::io_for_impl< CircuitKind::App, Builder >
 
struct  bb::io_for_impl< CircuitKind::Kernel, Builder >
 
struct  bb::io_for_impl< CircuitKind::HidingKernel, Builder >
 

Namespaces

namespace  bb
 Entry point for Barretenberg command-line interface.
 

Typedefs

using bb::CircuitVerificationKey = std::variant< std::shared_ptr< MegaAppFlavor::VerificationKey >, std::shared_ptr< MegaKernelFlavor::VerificationKey >, std::shared_ptr< MegaZKFlavor::VerificationKey > >
 
using bb::StdlibCircuitVKAndHash = std::variant< std::shared_ptr< MegaAppRecursiveFlavor::VKAndHash >, std::shared_ptr< MegaKernelRecursiveFlavor::VKAndHash > >
 
template<CircuitKind K>
using bb::flavor_for = typename flavor_for_impl< K >::type
 
template<CircuitKind K, typename Builder = MegaCircuitBuilder>
using bb::io_for = typename io_for_impl< K, Builder >::type
 

Enumerations

enum class  bb::CircuitKind : uint8_t { bb::App = 0 , bb::Kernel = 1 , bb::HidingKernel = 2 , bb::None = 255 }
 

Functions

std::ostream & bb::operator<< (std::ostream &os, CircuitKind kind)
 
template<typename F >
constexpr decltype(auto) bb::dispatch_kind (CircuitKind kind, F &&f)