Barretenberg: src/barretenberg/api/api_avm.hpp Source File

#ifndef DISABLE_AZTEC_VM

#include <filesystem>


namespace bb {


void avm_prove(const std::filesystem::path& inputs_path, const std::filesystem::path& output_path);


void avm_check_circuit(const std::filesystem::path& inputs_path);


// NOTE: The proof should NOT include the public inputs.

bool avm_verify(const std::filesystem::path& proof_path,

                const std::filesystem::path& public_inputs_path,

                const std::filesystem::path& vk_path);

} // namespace bb

#endif

bb
Entry point for Barretenberg command-line interface.
Definition acir_format_getters.cpp:6

bb::avm_verify
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:62

bb::avm_prove
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:27

bb::avm_check_circuit
void avm_check_circuit(const std::filesystem::path &inputs_path)
Definition api_avm.cpp:50