Barretenberg
The ZK-SNARK library at the core of Aztec
|
#include "barretenberg/commitment_schemes/ipa/ipa.hpp"
#include "barretenberg/commitment_schemes/pairing_points.hpp"
#include "barretenberg/stdlib/primitives/circuit_builders/circuit_builders_fwd.hpp"
#include "barretenberg/stdlib/primitives/curves/bn254.hpp"
#include "barretenberg/stdlib/primitives/databus/databus.hpp"
#include "barretenberg/stdlib/primitives/pairing_points.hpp"
#include "barretenberg/stdlib/primitives/public_input_component/public_input_component.hpp"
Go to the source code of this file.
Classes | |
class | bb::stdlib::recursion::honk::KernelIO |
Manages the data that is propagated on the public inputs of a kernel circuit. More... | |
class | bb::stdlib::recursion::honk::DefaultIO< Builder_ > |
Manages the data that is propagated on the public inputs of an application/function circuit. More... | |
class | bb::stdlib::recursion::honk::GoblinAvmIO< Builder_ > |
The data that is propagated on the public inputs of the inner GoblinAvmRecursiveVerifier circuit. More... | |
class | bb::stdlib::recursion::honk::HidingKernelIO< Builder_ > |
Manages the data that is propagated on the public inputs of a hiding kernel circuit. More... | |
class | bb::stdlib::recursion::honk::RollupIO |
The data that is propagated on the public inputs of a rollup circuit. More... | |
Namespaces | |
namespace | bb |
Entry point for Barretenberg command-line interface. | |
namespace | bb::stdlib |
namespace | bb::stdlib::recursion |
namespace | bb::stdlib::recursion::honk |
Typedefs | |
using | bb::stdlib::recursion::honk::AppIO = DefaultIO< MegaCircuitBuilder > |
The data that is propagated on the public inputs of an application/function circuit. | |
Functions | |
template<typename Builder > | |
std::array< typename bn254< Builder >::Group, Builder::NUM_WIRES > | bb::stdlib::recursion::honk::empty_ecc_op_tables (Builder &builder) |
Construct commitments to empty subtables. | |