bbapi_ultra_honk.cpp File Reference

#include "barretenberg/bbapi/bbapi_ultra_honk.hpp"
#include "barretenberg/bbapi/bbapi_shared.hpp"
#include "barretenberg/circuit_checker/circuit_checker.hpp"
#include "barretenberg/commitment_schemes/ipa/ipa.hpp"
#include "barretenberg/common/serialize.hpp"
#include "barretenberg/common/throw_or_abort.hpp"
#include "barretenberg/constants.hpp"
#include "barretenberg/dsl/acir_format/acir_format.hpp"
#include "barretenberg/dsl/acir_format/acir_to_constraint_buf.hpp"
#include "barretenberg/dsl/acir_format/serde/witness_stack.hpp"
#include "barretenberg/dsl/acir_proofs/honk_contract.hpp"
#include "barretenberg/dsl/acir_proofs/honk_optimized_contract.hpp"
#include "barretenberg/dsl/acir_proofs/honk_zk_contract.hpp"
#include "barretenberg/flavor/mega_flavor.hpp"
#include "barretenberg/flavor/ultra_flavor.hpp"
#include "barretenberg/flavor/ultra_keccak_flavor.hpp"
#include "barretenberg/flavor/ultra_keccak_zk_flavor.hpp"
#include "barretenberg/flavor/ultra_rollup_flavor.hpp"
#include "barretenberg/flavor/ultra_zk_flavor.hpp"
#include "barretenberg/numeric/uint256/uint256.hpp"
#include "barretenberg/special_public_inputs/special_public_inputs.hpp"
#include "barretenberg/ultra_honk/prover_instance.hpp"
#include "barretenberg/ultra_honk/ultra_prover.hpp"
#include "barretenberg/ultra_honk/ultra_verifier.hpp"
#include <type_traits>
#include <iomanip>
#include <sstream>

Go to the source code of this file.

Namespaces
namespace	bb
	Entry point for Barretenberg command-line interface.
namespace	bb::bbapi

Functions
template<typename Flavor >
acir_format::ProgramMetadata	bb::bbapi::_create_program_metadata ()
template<typename Flavor , typename Circuit = typename Flavor::CircuitBuilder>
Circuit	bb::bbapi::_compute_circuit (std::vector< uint8_t > &&bytecode, std::vector< uint8_t > &&witness)
template<typename Flavor >
std::shared_ptr< ProverInstance_< Flavor > >	bb::bbapi::_compute_prover_instance (std::vector< uint8_t > &&bytecode, std::vector< uint8_t > &&witness)
template<typename Flavor >
CircuitProve::Response	bb::bbapi::_prove (std::vector< uint8_t > &&bytecode, std::vector< uint8_t > &&witness, std::vector< uint8_t > &&vk_bytes)
template<typename Flavor >
bool	bb::bbapi::_verify (const bool ipa_accumulation, const std::vector< uint8_t > &vk_bytes, const std::vector< uint256_t > &public_inputs, const std::vector< uint256_t > &proof)
template<typename Flavor , typename Circuit = typename Flavor::CircuitBuilder>
CircuitStats::Response	bb::bbapi::_stats (std::vector< uint8_t > &&bytecode, bool include_gates_per_opcode)