api_avm.hpp File Reference

#include <filesystem>

Go to the source code of this file.

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

Functions
void	bb::avm_prove (const std::filesystem::path &inputs_path, const std::filesystem::path &output_path)
	Writes an avm proof and corresponding (incomplete) verification key to files.
void	bb::avm_check_circuit (const std::filesystem::path &inputs_path)
	Stub - throws runtime error if called.
bool	bb::avm_verify (const std::filesystem::path &proof_path, const std::filesystem::path &public_inputs_path, const std::filesystem::path &vk_path)
	Verifies an avm proof and writes the result to stdout.
void	bb::avm_simulate (const std::filesystem::path &inputs_path)
	Simulates an public transaction.
void	bb::avm_write_verification_key (const std::filesystem::path &output_path)
	Writes an avm (incomplete) verification key to a file.

Variables
const bool	bb::avm_enabled = true