api_avm.hpp

Go to the documentation of this file.

#pragma once
#include <filesystem>
#include <vector>
 
#include "barretenberg/ecc/curves/bn254/fr.hpp"
 
namespace bb {
 
struct AvmProveResult {
    std::vector<bb::fr> proof;
};
 
AvmProveResult avm_prove_from_bytes(std::vector<uint8_t> inputs);
 
bool avm_verify_from_bytes(std::vector<bb::fr> proof, std::vector<uint8_t> public_inputs);
 
bool avm_check_circuit_from_bytes(std::vector<uint8_t> inputs);
 
// 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);
 
// 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