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{
24 throw_or_abort("AVM is not supported in this build. Use the 'bb-avm' binary with full AVM support.");
25}
26
27void avm_simulate([[maybe_unused]] const std::filesystem::path& inputs_path)
28{
29 throw_or_abort("AVM is not supported in this build. Use the 'bb-avm' binary with full AVM support.");
30}
31
32void avm_write_verification_key([[maybe_unused]] const std::filesystem::path& output_path)
33{
34 throw_or_abort("AVM is not supported in this build. Use the 'bb-avm' binary with full AVM support.");
35}
36
37} // 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:77
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.
Definition api_avm.cpp:64
void avm_write_verification_key(const std::filesystem::path &output_path)
Writes an avm (incomplete) verification key to a file.
Definition api_avm.cpp:89
void avm_prove(const std::filesystem::path &inputs_path, const std::filesystem::path &output_path)
Writes an avm proof to a file.
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:52
const bool avm_enabled
Definition api_avm.cpp:14
void throw_or_abort(std::string const &err)