Barretenberg
The ZK-SNARK library at the core of Aztec
|
Core shared component for contract instance retrieval and validation. More...
#include <contract_instance_manager.hpp>
Public Member Functions | |
virtual | ~ContractInstanceManagerInterface ()=default |
virtual std::optional< ContractInstance > | get_contract_instance (const FF &contract_address)=0 |
Retrieve and validate a contract instance. | |
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.
|
virtualdefault |
|
pure virtual |
Retrieve and validate a contract instance.
contract_address | The address of the contract to retrieve |
Implemented in bb::avm2::simulation::ContractInstanceManager.