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

#pragma once

#include <filesystem>


namespace bb {


// Global flag indicating AVM support is available

extern const bool avm_enabled;


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);


// FIXME(fcarreiro): The inputs should not need to be the PROVING inputs.

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


void avm_write_verification_key(const std::filesystem::path& output_path);


} // 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:81

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:65

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:93

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: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:53

bb::avm_enabled
const bool avm_enabled
Definition api_avm.cpp:14