Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
Public Types | Public Member Functions | List of all members
bb::avm2::AvmAPI Class Reference

#include <avm_api.hpp>

Inheritance diagram for bb::avm2::AvmAPI:
bb::avm2::AvmSimAPI

Public Types

using AvmProof = AvmProvingHelper::Proof
 
using AvmVerificationKey = std::vector< uint8_t >
 
using ProvingInputs = AvmProvingInputs
 
- Public Types inherited from bb::avm2::AvmSimAPI
using ProvingInputs = AvmProvingInputs
 
using FastSimulationInputs = AvmFastSimulationInputs
 

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)
 
AvmVerificationKey get_verification_key ()
 
- Public Member Functions inherited from bb::avm2::AvmSimAPI
 AvmSimAPI ()=default
 
TxSimulationResult simulate (const FastSimulationInputs &inputs, simulation::ContractDBInterface &contract_db, world_state::WorldState &ws)
 
TxSimulationResult simulate_with_hinted_dbs (const AvmProvingInputs &inputs)
 

Detailed Description

Definition at line 9 of file avm_api.hpp.

Member Typedef Documentation

◆ AvmProof

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

Definition at line 11 of file avm_api.hpp.

◆ AvmVerificationKey

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

Definition at line 12 of file avm_api.hpp.

◆ ProvingInputs

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

Definition at line 13 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 36 of file avm_api.cpp.

◆ get_verification_key()

AvmAPI::AvmVerificationKey bb::avm2::AvmAPI::get_verification_key ( )

Definition at line 73 of file avm_api.cpp.

◆ prove()

std::pair< AvmAPI::AvmProof, AvmAPI::AvmVerificationKey > bb::avm2::AvmAPI::prove ( const ProvingInputs &  inputs)

Definition at line 13 of file avm_api.cpp.

◆ verify()

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

Definition at line 66 of file avm_api.cpp.

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