bb::avm2::tracegen::ContractInstanceRetrievalTraceBuilder Class Reference

#include <contract_instance_retrieval_trace.hpp>

Public Member Functions
void	process (const simulation::EventEmitterInterface< simulation::ContractInstanceRetrievalEvent >::Container &events, TraceContainer &trace)
	Process the contract instance retrieval events and populate the relevant columns in the trace.

Static Public Attributes
static const InteractionDefinition	interactions

Detailed Description

Definition at line 10 of file contract_instance_retrieval_trace.hpp.

Member Function Documentation

process()

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

Process the contract instance retrieval events and populate the relevant columns in the trace.

Events are emitted in the following flavors:

• Protocol contract: is_protocol_contract=true, exists depends on derived address lookup, deployment_nullifier is not set (default 0).
• Non-existent contract: exists=false, is_protocol_contract=false, empty contract instance, deployment_nullifier=contract_address.
• Existing contract: exists=true, is_protocol_contract=false, full contract instance populated, deployment_nullifier=contract_address.

Parameters

events	Container of ContractInstanceRetrievalEvent to process.
trace	The trace container to populate.

Definition at line 26 of file contract_instance_retrieval_trace.cpp.

Member Data Documentation

interactions

const InteractionDefinition bb::avm2::tracegen::ContractInstanceRetrievalTraceBuilder::interactions

static

Initial value:

=
    InteractionDefinition()
        .add<InteractionType::LookupSequential, lookup_contract_instance_retrieval_deployment_nullifier_read_settings>()
        .add<InteractionType::LookupGeneric, lookup_contract_instance_retrieval_address_derivation_settings>()
        .add<InteractionType::LookupSequential, lookup_contract_instance_retrieval_update_check_settings>()
        .add<InteractionType::LookupGeneric, lookup_contract_instance_retrieval_check_protocol_address_range_settings>()
        .add<InteractionType::LookupIntoIndexedByRow,
             lookup_contract_instance_retrieval_read_derived_address_from_public_inputs_settings>()

Definition at line 15 of file contract_instance_retrieval_trace.hpp.

---

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

• src/barretenberg/vm2/tracegen/contract_instance_retrieval_trace.hpp
• src/barretenberg/vm2/tracegen/contract_instance_retrieval_trace.cpp