Struct StackExecutor 

pub struct StackExecutor<'config, 'precompiles, S, P> { /* private fields */ }

Stack-based executor.

Implementations

impl<'config, 'precompiles, S: StackState<'config>, P: PrecompileSet> StackExecutor<'config, 'precompiles, S, P>

pub const fn config(&self) -> &'config Config

Return a reference of the Config.

pub const fn precompiles(&self) -> &'precompiles P

Return a reference to the precompile set.

pub const fn new_with_precompiles( state: S, config: &'config Config, precompile_set: &'precompiles P, ) -> Self

Create a new stack-based executor with given precompiles.

pub const fn state(&self) -> &S

pub const fn state_mut(&mut self) -> &mut S

pub fn into_state(self) -> S

pub fn enter_substate(&mut self, gas_limit: u64, is_static: bool)

Create a substate executor from the current executor.

pub fn exit_substate(&mut self, kind: &StackExitKind) -> Result<(), ExitError>

Exit a substate.

Panics

Panic occurs if a result is an empty substate stack.

Errors

Return ExitError

pub fn execute(&mut self, runtime: &mut Runtime) -> ExitReason

Execute the runtime until it returns.

pub fn gas(&self) -> u64

Get remaining gas.

pub fn transact_create( &mut self, caller: H160, value: U256, init_code: Vec<u8>, gas_limit: u64, access_list: Vec<(H160, Vec<H256>)>, ) -> (ExitReason, Vec<u8>)

Execute a CREATE transaction.

pub fn transact_create2( &mut self, caller: H160, value: U256, init_code: Vec<u8>, salt: H256, gas_limit: u64, access_list: Vec<(H160, Vec<H256>)>, ) -> (ExitReason, Vec<u8>)

Execute a CREATE2 transaction.

pub fn transact_call( &mut self, caller: H160, address: H160, value: U256, data: Vec<u8>, gas_limit: u64, access_list: Vec<(H160, Vec<H256>)>, authorization_list: Vec<Authorization>, ) -> (ExitReason, Vec<u8>)

Execute a CALL transaction with a given parameters

Notes

• access_list associated to EIP-2930: Optional access lists
• authorization_list associated to EIP-7702: Authorized accounts

pub fn used_gas(&self) -> u64

Get used gas for the current executor, given the price.

pub fn fee(&self, price: U256) -> U256

Get fee needed for the current executor, given the price.

pub fn nonce(&self, address: H160) -> U256

Get account nonce. NOTE: we don’t need to cache it as by default it’s MemoryStackState with cache flow

pub fn is_create_collision(&self, address: H160) -> bool

Check if the existing account is “create collision”. EIP-7610

pub fn create_address(&self, scheme: CreateScheme) -> H160

Get the created address from given scheme.

pub fn warm_access_list(&mut self, access_list: Vec<(H160, Vec<H256>)>)

According to EIP-2930 - access_list should be warmed. This function warms addresses and storage keys.

EIP-2930: Optional access lists

Trait Implementations

impl<'config, S: StackState<'config>, P: PrecompileSet> Handler for StackExecutor<'config, '_, S, P>

fn balance(&self, address: H160) -> U256

Get account balance NOTE: we don’t need to cache it as by default it’s MemoryStackState with cache flow

fn code_size(&mut self, address: H160) -> U256

Fetch the code size of an address. Provide a default implementation by fetching the code.

According to EIP-7702, the code size of an address is the size of the delegated address code size. https://eips.ethereum.org/EIPS/eip-7702#delegation-designation

fn code_hash(&mut self, address: H160) -> H256

Fetch the code hash of an address. Provide a default implementation by fetching the code.

According to EIP-7702, the code hash of an address is the hash of the delegated address code hash. https://eips.ethereum.org/EIPS/eip-7702#delegation-designation

fn code(&self, address: H160) -> Vec<u8>

Get account code

fn storage(&self, address: H160, index: H256) -> H256

Get account storage by index

fn is_empty_storage(&self, address: H160) -> bool

Check is account storage empty

fn exists(&self, address: H160) -> bool

Check is account exists on backend side

fn mark_delete(&mut self, address: H160, target: H160) -> Result<(), ExitError>

Mark account as deleted

• SELFDESTRUCT - CANCUN hard fork: EIP-6780

fn blob_base_fee(&self) -> Option<u128>

Returns None if Cancun hard fork is not enabled via has_blob_base_fee config.

[EIP-4844]: Shard Blob Transactions [EIP-7516]: BLOBBASEFEE instruction

fn get_authority_target(&mut self, address: H160) -> Option<H160>

Return the target address of the authority delegation designation (EIP-7702).

fn authority_code(&mut self, authority: H160) -> Vec<u8>

Get delegation designator code for the authority code. If the code of address is delegation designator, then retrieve code from the designation address for the authority. Detect delegated designation loop and return basic byte code for loop.

It’s related to EIP-7702 Delegation Designation When authority code is found, it should set delegated address to authority_access array for calculating additional gas cost. Gas must be charged for the authority address and for delegated address, for detection is address warm or cold.

type CreateInterrupt = StackExecutorCreateInterrupt<'static>

Type of CREATE interrupt.

type CreateFeedback = Infallible

Feedback value for CREATE interrupt.

type CallInterrupt = StackExecutorCallInterrupt<'static>

Type of CALL interrupt.

type CallFeedback = Infallible

Feedback value of CALL interrupt.

fn original_storage(&self, address: H160, index: H256) -> H256

Get original storage value of address at index.

fn is_cold(&mut self, address: H160, maybe_index: Option<H256>) -> bool

Checks if the address or (address, index) pair has been previously accessed (or set in accessed_addresses / accessed_storage_keys via an access list transaction). References:

fn gas_left(&self) -> U256

Get the gas left value.

fn gas_price(&self) -> U256

Get the gas price value.

fn origin(&self) -> H160

Get execution origin.

fn block_hash(&self, number: U256) -> H256

Get environmental block hash.

fn block_number(&self) -> U256

Get environmental block number.

fn block_coinbase(&self) -> H160

Get environmental coinbase.

fn block_timestamp(&self) -> U256

Get environmental block timestamp.

fn block_difficulty(&self) -> U256

Get environmental block difficulty.

fn block_randomness(&self) -> Option<H256>

Get environmental block randomness.

fn block_gas_limit(&self) -> U256

Get environmental gas limit.

fn block_base_fee_per_gas(&self) -> U256

Environmental block base fee.

fn chain_id(&self) -> U256

Get environmental chain ID.

fn deleted(&self, address: H160) -> bool

Check whether an address has already been deleted.

fn set_storage( &mut self, address: H160, index: H256, value: H256, ) -> Result<(), ExitError>

Set storage value of address at index.

fn log( &mut self, address: H160, topics: Vec<H256>, data: Vec<u8>, ) -> Result<(), ExitError>

Create a log owned by address with given topics and data.

fn create( &mut self, caller: H160, scheme: CreateScheme, value: U256, init_code: Vec<u8>, target_gas: Option<u64>, ) -> Capture<(ExitReason, Vec<u8>), Self::CreateInterrupt>

Invoke a create operation.

fn call( &mut self, code_address: H160, transfer: Option<Transfer>, input: Vec<u8>, target_gas: Option<u64>, is_static: bool, context: Context, ) -> Capture<(ExitReason, Vec<u8>), Self::CallInterrupt>

Invoke a call operation.

fn record_external_operation( &mut self, op: ExternalOperation, ) -> Result<(), ExitError>

Records some associated ExternalOperation.

fn get_blob_hash(&self, index: usize) -> Option<U256>

Get blob_hash from blob_versioned_hashes by index [EIP-4844]: BLOBHASH - https://eips.ethereum.org/EIPS/eip-4844#opcode-to-get-versioned-hashes

fn tstore( &mut self, address: H160, index: H256, value: U256, ) -> Result<(), ExitError>

Set tstorage value of address at index. [EIP-1153]: Transient storage

fn tload(&mut self, address: H160, index: H256) -> Result<U256, ExitError>

Get tstorage value of address at index. [EIP-1153]: Transient storage

fn warm_target(&mut self, target: (H160, Option<H256>))

Warm target according to EIP-2929

fn create_feedback( &mut self, _feedback: Self::CreateFeedback, ) -> Result<(), ExitError>

Feed in create feedback.

fn call_feedback( &mut self, _feedback: Self::CallFeedback, ) -> Result<(), ExitError>

Feed in call feedback.

fn other( &mut self, opcode: Opcode, _stack: &mut Machine, ) -> Result<(), ExitError>

Handle other unknown external opcodes.

impl<'config, S: StackState<'config>, P: PrecompileSet> InterpreterHandler for StackExecutor<'config, '_, S, P>

fn before_bytecode( &mut self, opcode: Opcode, _pc: usize, machine: &Machine, address: &H160, ) -> Result<(), ExitError>

Errors