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)
24 throw_or_abort(
"AVM is not supported in this build. Use the 'bb-avm' binary with full AVM support.");
27void avm_simulate([[maybe_unused]]
const std::filesystem::path& inputs_path)
29 throw_or_abort(
"AVM is not supported in this build. Use the 'bb-avm' binary with full AVM support.");
34 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)
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 to a file.
void avm_check_circuit(const std::filesystem::path &inputs_path)
Stub - throws runtime error if called.
void throw_or_abort(std::string const &err)