#include <filesystem>
#include <vector>
#include "barretenberg/ecc/curves/bn254/fr.hpp"

Classes
struct	bb::AvmProveResult
	Result of in-memory AVM proving. More...

Namespaces
namespace	bb
	Entry point for Barretenberg command-line interface.

Functions
AvmProveResult	bb::avm_prove_from_bytes (std::vector< uint8_t > inputs)
	Prove an AVM transaction from serialized inputs (msgpack bytes). Callers that need to verify the proof should call avm_verify_from_bytes separately.

bool	bb::avm_verify_from_bytes (std::vector< bb::fr > proof, std::vector< uint8_t > public_inputs)
	Verify an AVM proof from serialized data.

bool	bb::avm_check_circuit_from_bytes (std::vector< uint8_t > inputs)
	Check the AVM circuit from serialized inputs (msgpack bytes).

void	bb::avm_prove (const std::filesystem::path &inputs_path, const std::filesystem::path &output_path)
	Writes an avm proof to a file.

void	bb::avm_check_circuit (const std::filesystem::path &inputs_path)
	Stub - throws runtime error if called.

bool	bb::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.

void	bb::avm_simulate (const std::filesystem::path &inputs_path)
	Simulates an public transaction.

void	bb::avm_write_verification_key (const std::filesystem::path &output_path)
	Writes an avm (incomplete) verification key to a file.

Classes

Namespaces