ethereum.spurious_dragon.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__

29
__all__ = ("Environment", "Evm", "Message")

Environment

Items external to the virtual machine itself, provided by the environment.

32
@dataclass
class Environment:

caller

38
    caller: Address

block_hashes

39
    block_hashes: List[Hash32]

origin

40
    origin: Address

coinbase

41
    coinbase: Address

number

42
    number: Uint

gas_limit

43
    gas_limit: Uint

gas_price

44
    gas_price: Uint

time

45
    time: U256

difficulty

46
    difficulty: Uint

state

47
    state: State

traces

48
    traces: List[dict]

Message

Items that are used by contract creation or message call.

51
@dataclass
class Message:

caller

57
    caller: Address

target

58
    target: Union[Bytes0, Address]

current_target

59
    current_target: Address

gas

60
    gas: Uint

value

61
    value: U256

data

62
    data: Bytes

code_address

63
    code_address: Optional[Address]

code

64
    code: Bytes

depth

65
    depth: Uint

should_transfer_value

66
    should_transfer_value: bool

parent_evm

67
    parent_evm: Optional["Evm"]

Evm

The internal state of the virtual machine.

70
@dataclass
class Evm:

pc

74
    pc: Uint

stack

75
    stack: List[U256]

memory

76
    memory: bytearray

code

77
    code: Bytes

gas_left

78
    gas_left: Uint

env

79
    env: Environment

valid_jump_destinations

80
    valid_jump_destinations: Set[Uint]

logs

81
    logs: Tuple[Log, ...]

refund_counter

82
    refund_counter: int

running

83
    running: bool

message

84
    message: Message

output

85
    output: Bytes

accounts_to_delete

86
    accounts_to_delete: Set[Address]

touched_accounts

87
    touched_accounts: Set[Address]

error

88
    error: Optional[Exception]

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:
92
    """
93
    Incorporate the state of a successful `child_evm` into the parent `evm`.
94
95
    Parameters
96
    ----------
97
    evm :
98
        The parent `EVM`.
99
    child_evm :
100
        The child evm to incorporate.
101
    """
102
    evm.gas_left += child_evm.gas_left
103
    evm.logs += child_evm.logs
104
    evm.refund_counter += child_evm.refund_counter
105
    evm.accounts_to_delete.update(child_evm.accounts_to_delete)
106
    evm.touched_accounts.update(child_evm.touched_accounts)
107
    if account_exists_and_is_empty(
108
        evm.env.state, child_evm.message.current_target
109
    ):
110
        evm.touched_accounts.add(child_evm.message.current_target)

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:
114
    """
115
    Incorporate the state of an unsuccessful `child_evm` into the parent `evm`.
116
117
    Parameters
118
    ----------
119
    evm :
120
        The parent `EVM`.
121
    child_evm :
122
        The child evm to incorporate.
123
    """
124
    # In block 2675119, the empty account at 0x3 (the RIPEMD160 precompile) was
125
    # cleared despite running out of gas. This is an obscure edge case that can
126
    # only happen to a precompile.
127
    # According to the general rules governing clearing of empty accounts, the
128
    # touch should have been reverted. Due to client bugs, this event went
129
    # unnoticed and 0x3 has been exempted from the rule that touches are
130
    # reverted in order to preserve this historical behaviour.
131
    if RIPEMD160_ADDRESS in child_evm.touched_accounts:
132
        evm.touched_accounts.add(RIPEMD160_ADDRESS)
133
    if child_evm.message.current_target == RIPEMD160_ADDRESS:
134
        if account_exists_and_is_empty(
135
            evm.env.state, child_evm.message.current_target
136
        ):
137
            evm.touched_accounts.add(RIPEMD160_ADDRESS)
138
    evm.gas_left += child_evm.gas_left