Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
api_avm.cpp
Go to the documentation of this file.
1#include "api_avm.hpp"
3#include <stdexcept>
4
5namespace bb {
6
7// AVM is NOT enabled in this build
8const bool avm_enabled = false;
9
10void avm_prove([[maybe_unused]] const std::filesystem::path& inputs_path,
11 [[maybe_unused]] const std::filesystem::path& output_path)
12{
13 throw_or_abort("AVM is not supported in this build. Use the 'bb-avm' binary with full AVM support.");
14}
15
16void avm_check_circuit([[maybe_unused]] const std::filesystem::path& inputs_path)
17{
18 throw_or_abort("AVM is not supported in this build. Use the 'bb-avm' binary with full AVM support.");
19}
20
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)
24{
25 throw_or_abort("AVM is not supported in this build. Use the 'bb-avm' binary with full AVM support.");
26}
27
28void avm_simulate([[maybe_unused]] const std::filesystem::path& inputs_path)
29{
30 throw_or_abort("AVM is not supported in this build. Use the 'bb-avm' binary with full AVM support.");
31}
32
33void avm_write_verification_key([[maybe_unused]] const std::filesystem::path& output_path)
34{
35 throw_or_abort("AVM is not supported in this build. Use the 'bb-avm' binary with full AVM support.");
36}
37
38} // namespace bb
Entry point for Barretenberg command-line interface.
Definition api.hpp:5
void avm_simulate(const std::filesystem::path &inputs_path)
Simulates an public transaction.
Definition api_avm.cpp:81
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.
Definition api_avm.cpp:65
void avm_write_verification_key(const std::filesystem::path &output_path)
Writes an avm (incomplete) verification key to a file.
Definition api_avm.cpp:93
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.
Definition api_avm.cpp:30
void avm_check_circuit(const std::filesystem::path &inputs_path)
Stub - throws runtime error if called.
Definition api_avm.cpp:53
const bool avm_enabled
Definition api_avm.cpp:14
void throw_or_abort(std::string const &err)