Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
bb::avm2::tracegen::GetContractInstanceTraceBuilder Class Referencefinal

#include <get_contract_instance_trace.hpp>

Public Member Functions

void process (const simulation::EventEmitterInterface< simulation::GetContractInstanceEvent >::Container &events, TraceContainer &trace)
 Process the GetContractInstance events and populate the relevant columns in the trace.
 

Static Public Attributes

static const InteractionDefinition interactions
 

Detailed Description

Definition at line 10 of file get_contract_instance_trace.hpp.

Member Function Documentation

◆ process()

void bb::avm2::tracegen::GetContractInstanceTraceBuilder::process ( const simulation::EventEmitterInterface< simulation::GetContractInstanceEvent >::Container &  events,
TraceContainer trace 
)

Process the GetContractInstance events and populate the relevant columns in the trace.

Events are emitted in the following flavors:

  • Out-of-bounds error: dst_offset == AVM_HIGHEST_MEM_ADDRESS. Instance retrieval fields are unpopulated (defaults). Event is emitted before the exception is thrown.
  • Invalid enum error: member_enum > MAX. Instance retrieval fields are unpopulated (defaults). Event is emitted before the exception is thrown.
  • Normal execution: all fields populated including instance_exists and retrieved member values.
Parameters
eventsContainer of GetContractInstanceEvent to process.
traceThe trace container to populate.

Definition at line 29 of file get_contract_instance_trace.cpp.

Member Data Documentation

◆ interactions

const InteractionDefinition bb::avm2::tracegen::GetContractInstanceTraceBuilder::interactions
static
Initial value:
=
InteractionDefinition()
.add<InteractionType::LookupSequential, lookup_get_contract_instance_contract_instance_retrieval_settings>()
lookup_settings< lookup_get_contract_instance_precomputed_info_settings_ > lookup_get_contract_instance_precomputed_info_settings

Definition at line 15 of file get_contract_instance_trace.hpp.


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