Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
bb::avm2::simulation::ContractInstanceManagerInterface Class Referenceabstract

Core shared component for contract instance retrieval and validation. More...

#include <contract_instance_manager.hpp>

Inheritance diagram for bb::avm2::simulation::ContractInstanceManagerInterface:
bb::avm2::simulation::ContractInstanceManager

Public Member Functions

virtual ~ContractInstanceManagerInterface ()=default
 
virtual std::optional< ContractInstanceget_contract_instance (const FF &contract_address)=0
 Retrieve and validate a contract instance.
 

Detailed Description

Core shared component for contract instance retrieval and validation.

This component provides shared logic for retrieving contract instances, validating their existence with address derivation, nullifier checks, and update checking. Used by both the GetContractInstance opcode and bytecode retrieval.

Definition at line 29 of file contract_instance_manager.hpp.

Constructor & Destructor Documentation

◆ ~ContractInstanceManagerInterface()

virtual bb::avm2::simulation::ContractInstanceManagerInterface::~ContractInstanceManagerInterface ( )
virtualdefault

Member Function Documentation

◆ get_contract_instance()

virtual std::optional< ContractInstance > bb::avm2::simulation::ContractInstanceManagerInterface::get_contract_instance ( const FF contract_address)
pure virtual

Retrieve and validate a contract instance.

Parameters
contract_addressThe address of the contract to retrieve
Returns
The contract instance if it exists, otherwise std::nullopt

Implemented in bb::avm2::simulation::ContractInstanceManager.


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