Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
api_avm.hpp
Go to the documentation of this file.
1#pragma once
2#include <filesystem>
3
4namespace bb {
5
6// AVM is NOT enabled in this build (stub)
7extern const bool avm_enabled;
8
12void avm_prove(const std::filesystem::path& inputs_path, const std::filesystem::path& output_path);
13
17void avm_check_circuit(const std::filesystem::path& inputs_path);
18
22bool avm_verify(const std::filesystem::path& proof_path, const std::filesystem::path& public_inputs_path);
23
27void avm_simulate(const std::filesystem::path& inputs_path);
28
32void avm_write_verification_key(const std::filesystem::path& output_path);
33
34} // namespace bb
bb
Entry point for Barretenberg command-line interface.
Definition api.hpp:5
bb::avm_simulate
void avm_simulate(const std::filesystem::path &inputs_path)
Simulates an public transaction.
Definition api_avm.cpp:77
bb::avm_verify
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
bb::avm_write_verification_key
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
bb::avm_prove
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
bb::avm_check_circuit
void avm_check_circuit(const std::filesystem::path &inputs_path)
Stub - throws runtime error if called.
Definition api_avm.cpp:52
bb::avm_enabled
const bool avm_enabled
Definition api_avm.cpp:14