10void avm_prove([[maybe_unused]]
const std::filesystem::path& inputs_path,
11 [[maybe_unused]]
const std::filesystem::path& output_path)
13 throw_or_abort(
"AVM is not supported in this build. Use the 'bb-avm' binary with full AVM support.");
18 throw_or_abort(
"AVM is not supported in this build. Use the 'bb-avm' binary with full AVM support.");
21bool avm_verify([[maybe_unused]]
const std::filesystem::path& proof_path,
22 [[maybe_unused]]
const std::filesystem::path& public_inputs_path,
23 [[maybe_unused]]
const std::filesystem::path& vk_path)
25 throw_or_abort(
"AVM is not supported in this build. Use the 'bb-avm' binary with full AVM support.");
28void avm_simulate([[maybe_unused]]
const std::filesystem::path& inputs_path)
30 throw_or_abort(
"AVM is not supported in this build. Use the 'bb-avm' binary with full AVM support.");
35 throw_or_abort(
"AVM is not supported in this build. Use the 'bb-avm' binary with full AVM support.");
Entry point for Barretenberg command-line interface.
void avm_simulate(const std::filesystem::path &inputs_path)
Simulates an public transaction.
bool 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 avm_write_verification_key(const std::filesystem::path &output_path)
Writes an avm (incomplete) verification key to a file.
void 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 avm_check_circuit(const std::filesystem::path &inputs_path)
Stub - throws runtime error if called.
void throw_or_abort(std::string const &err)