bb::avm2::AvmAPI Class Reference

#include <avm_api.hpp>

Public Types
using	AvmProof = AvmProvingHelper::Proof
using	AvmVerificationKey = std::vector< uint8_t >
using	ProvingInputs = AvmProvingInputs

Public Member Functions
	AvmAPI ()=default
std::pair< AvmProof, AvmVerificationKey >	prove (const ProvingInputs &inputs)
bool	check_circuit (const ProvingInputs &inputs)
bool	verify (const AvmProof &proof, const PublicInputs &pi, const AvmVerificationKey &vk_data)
void	simulate (const ExecutionHints &hints)

Detailed Description

Definition at line 10 of file avm_api.hpp.

Member Typedef Documentation

AvmProof

using bb::avm2::AvmAPI::AvmProof = AvmProvingHelper::Proof

Definition at line 12 of file avm_api.hpp.

AvmVerificationKey

using bb::avm2::AvmAPI::AvmVerificationKey = std::vector<uint8_t>

Definition at line 13 of file avm_api.hpp.

ProvingInputs

using bb::avm2::AvmAPI::ProvingInputs = AvmProvingInputs

Definition at line 14 of file avm_api.hpp.

Constructor & Destructor Documentation

AvmAPI()

bb::avm2::AvmAPI::AvmAPI ( )

default

Member Function Documentation

check_circuit()

bool bb::avm2::AvmAPI::check_circuit

(

const ProvingInputs &

inputs

)

Definition at line 50 of file avm_api.cpp.

prove()

std::pair< AvmAPI::AvmProof, AvmAPI::AvmVerificationKey > bb::avm2::AvmAPI::prove

(

const ProvingInputs &

inputs

)

Definition at line 25 of file avm_api.cpp.

simulate()

void bb::avm2::AvmAPI::simulate

(

const ExecutionHints &

hints

)

Definition at line 89 of file avm_api.cpp.

verify()

bool bb::avm2::AvmAPI::verify	(	const AvmProof &	proof,
		const PublicInputs &	pi,
		const AvmVerificationKey &	vk_data
	)

Definition at line 82 of file avm_api.cpp.

---

The documentation for this class was generated from the following files:

• src/barretenberg/vm2/avm_api.hpp
• src/barretenberg/vm2/avm_api.cpp