ethereum.forks.bpo5.vmethereum.forks.amsterdam.vm
Ethereum Virtual Machine (EVM).
.. contents:: Table of Contents :backlinks: none :local:
Introduction
The abstract computer which runs the code stored in an
.fork_types.Account.
__all__
| 32 | __all__ = ("Environment", "Evm", "Message") |
|---|
BlockEnvironment
Items external to the virtual machine itself, provided by the environment.
| 35 | @dataclass |
|---|
class BlockEnvironment:
chain_id
| 41 | chain_id: U64 |
|---|
state
| 42 | state: State |
|---|
block_gas_limit
| 43 | block_gas_limit: Uint |
|---|
block_hashes
| 44 | block_hashes: List[Hash32] |
|---|
coinbase
| 45 | coinbase: Address |
|---|
number
| 46 | number: Uint |
|---|
base_fee_per_gas
| 47 | base_fee_per_gas: Uint |
|---|
time
| 48 | time: U256 |
|---|
prev_randao
| 49 | prev_randao: Bytes32 |
|---|
excess_blob_gas
| 50 | excess_blob_gas: U64 |
|---|
parent_beacon_block_root
| 51 | parent_beacon_block_root: Hash32 |
|---|
state_changes
| 52 | state_changes: StateChanges |
|---|
BlockOutput
Output from applying the block body to the present state.
Contains the following:
block_gas_used : ethereum.base_types.Uint
Gas used for executing all transactions.
transactions_trie : ethereum.fork_types.Root
Trie of all the transactions in the block.
receipts_trie : ethereum.fork_types.Root
Trie root of all the receipts in the block.
receipt_keys :
Keys of all the receipts in the block.
block_logs : Bloom
Logs bloom of all the logs included in all the transactions of the
block.
withdrawals_trie : ethereum.fork_types.Root
Trie root of all the withdrawals in the block.
blob_gas_used : ethereum.base_types.U64
Total blob gas used in the block.
requests : Bytes
Hash of all the requests in the block.
block_access_list: BlockAccessList
The block access list for the block.
| 55 | @dataclass |
|---|
class BlockOutput:
block_gas_used
| 83 | block_gas_used: Uint = Uint(0) |
|---|
transactions_trie
| 84 | transactions_trie: Trie[Bytes, Optional[Bytes | LegacyTransaction]] = ( |
|---|---|
| 85 | field(default_factory=lambda: Trie(secured=False, default=None)) |
| 86 | ) |
receipts_trie
| 87 | receipts_trie: Trie[Bytes, Optional[Bytes | Receipt]] = field( |
|---|---|
| 88 | default_factory=lambda: Trie(secured=False, default=None) |
| 89 | ) |
receipt_keys
| 90 | receipt_keys: Tuple[Bytes, ...] = field(default_factory=tuple) |
|---|
block_logs
| 91 | block_logs: Tuple[Log, ...] = field(default_factory=tuple) |
|---|
withdrawals_trie
| 92 | withdrawals_trie: Trie[Bytes, Optional[Bytes | Withdrawal]] = field( |
|---|---|
| 93 | default_factory=lambda: Trie(secured=False, default=None) |
| 94 | ) |
blob_gas_used
| 95 | blob_gas_used: U64 = U64(0) |
|---|
requests
| 96 | requests: List[Bytes] = field(default_factory=list) |
|---|
block_access_list
| 97 | block_access_list: BlockAccessList = field(default_factory=list) |
|---|
TransactionEnvironment
Items that are used by contract creation or message call.
| 100 | @dataclass |
|---|
class TransactionEnvironment:
origin
| 106 | origin: Address |
|---|
gas_price
| 107 | gas_price: Uint |
|---|
gas
| 108 | gas: Uint |
|---|
access_list_addresses
| 109 | access_list_addresses: Set[Address] |
|---|
access_list_storage_keys
| 110 | access_list_storage_keys: Set[Tuple[Address, Bytes32]] |
|---|
transient_storage
| 111 | transient_storage: TransientStorage |
|---|
blob_versioned_hashes
| 112 | blob_versioned_hashes: Tuple[VersionedHash, ...] |
|---|
index_in_block
| 114 | index_in_block: Optional[Uint] |
|---|
tx_hash
| 115 | tx_hash: Optional[Hash32] |
|---|
state_changes
| 116 | state_changes: "StateChanges" = field(default_factory=StateChanges) |
|---|
Message
Items that are used by contract creation or message call.
| 119 | @dataclass |
|---|
class Message:
block_env
| 125 | block_env: BlockEnvironment |
|---|
tx_env
| 126 | tx_env: TransactionEnvironment |
|---|
caller
| 127 | caller: Address |
|---|
target
| 128 | target: Bytes0 | Address |
|---|
current_target
| 129 | current_target: Address |
|---|
gas
| 130 | gas: Uint |
|---|
value
| 131 | value: U256 |
|---|
data
| 132 | data: Bytes |
|---|
code_address
| 133 | code_address: Optional[Address] |
|---|
code
| 134 | code: Bytes |
|---|
depth
| 135 | depth: Uint |
|---|
should_transfer_value
| 136 | should_transfer_value: bool |
|---|
is_static
| 137 | is_static: bool |
|---|
accessed_addresses
| 138 | accessed_addresses: Set[Address] |
|---|
accessed_storage_keys
| 139 | accessed_storage_keys: Set[Tuple[Address, Bytes32]] |
|---|
disable_precompiles
| 140 | disable_precompiles: bool |
|---|
parent_evm
| 141 | parent_evm: Optional["Evm"] |
|---|
is_create
| 142 | is_create: bool |
|---|
state_changes
| 143 | state_changes: "StateChanges" = field(default_factory=StateChanges) |
|---|
Evm
The internal state of the virtual machine.
| 146 | @dataclass |
|---|
class Evm:
pc
| 150 | pc: Uint |
|---|
stack
| 151 | stack: List[U256] |
|---|
memory
| 152 | memory: bytearray |
|---|
code
| 153 | code: Bytes |
|---|
gas_left
| 154 | gas_left: Uint |
|---|
valid_jump_destinations
| 155 | valid_jump_destinations: Set[Uint] |
|---|
logs
| 156 | logs: Tuple[Log, ...] |
|---|
refund_counter
| 157 | refund_counter: int |
|---|
running
| 158 | running: bool |
|---|
message
| 159 | message: Message |
|---|
output
| 160 | output: Bytes |
|---|
accounts_to_delete
| 161 | accounts_to_delete: Set[Address] |
|---|
return_data
| 162 | return_data: Bytes |
|---|
error
| 163 | error: Optional[EthereumException] |
|---|
accessed_addresses
| 164 | accessed_addresses: Set[Address] |
|---|
accessed_storage_keys
| 165 | accessed_storage_keys: Set[Tuple[Address, Bytes32]] |
|---|
state_changes
| 166 | state_changes: StateChanges |
|---|
incorporate_child_on_success
Incorporate the state of a successful child_evm into the parent evm.
Parameters
evm :
The parent EVM.
child_evm :
The child evm to incorporate.
def incorporate_child_on_success(evm: Evm, child_evm: Evm) -> None:
| 170 | """ |
|---|---|
| 171 | Incorporate the state of a successful `child_evm` into the parent `evm`. |
| 172 | |
| 173 | Parameters |
| 174 | ---------- |
| 175 | evm : |
| 176 | The parent `EVM`. |
| 177 | child_evm : |
| 178 | The child evm to incorporate. |
| 179 | |
| 180 | """ |
| 181 | evm.gas_left += child_evm.gas_left |
| 182 | evm.logs += child_evm.logs |
| 183 | evm.refund_counter += child_evm.refund_counter |
| 184 | evm.accounts_to_delete.update(child_evm.accounts_to_delete) |
| 185 | evm.accessed_addresses.update(child_evm.accessed_addresses) |
| 176 | evm.accessed_storage_keys.update(child_evm.accessed_storage_keys) |
| 186 | evm.accessed_storage_keys.update(child_evm.accessed_storage_keys) |
| 187 | |
| 188 | merge_on_success(child_evm.state_changes) |
incorporate_child_on_error
Incorporate the state of an unsuccessful child_evm into the parent evm.
Parameters
evm :
The parent EVM.
child_evm :
The child evm to incorporate.
def incorporate_child_on_error(evm: Evm, child_evm: Evm) -> None:
| 192 | """ |
|---|---|
| 193 | Incorporate the state of an unsuccessful `child_evm` into the parent `evm`. |
| 194 | |
| 195 | Parameters |
| 196 | ---------- |
| 197 | evm : |
| 198 | The parent `EVM`. |
| 199 | child_evm : |
| 200 | The child evm to incorporate. |
| 201 | |
| 202 | """ |
| 191 | evm.gas_left += child_evm.gas_left |
| 203 | evm.gas_left += child_evm.gas_left |
| 204 | |
| 205 | merge_on_failure(child_evm.state_changes) |