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// Global flag indicating AVM support is available
7extern const bool avm_enabled;
8
18void avm_prove(const std::filesystem::path& inputs_path, const std::filesystem::path& output_path);
19
20void avm_check_circuit(const std::filesystem::path& inputs_path);
21
34// NOTE: The proof should NOT include the public inputs.
35bool avm_verify(const std::filesystem::path& proof_path, const std::filesystem::path& public_inputs_path);
36
42// FIXME(fcarreiro): The inputs should not need to be the PROVING inputs.
43void avm_simulate(const std::filesystem::path& inputs_path);
44
53void avm_write_verification_key(const std::filesystem::path& output_path);
54
55} // 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