ethereum.muir_glacier.vm.gas

Ethereum Virtual Machine (EVM) Gas ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

.. contents:: Table of Contents :backlinks: none :local:

Introduction

EVM gas constants and calculators.

GAS_JUMPDEST

25
GAS_JUMPDEST = Uint(1)

GAS_BASE

26
GAS_BASE = Uint(2)

GAS_VERY_LOW

27
GAS_VERY_LOW = Uint(3)

GAS_SLOAD

28
GAS_SLOAD = Uint(800)

GAS_STORAGE_SET

29
GAS_STORAGE_SET = Uint(20000)

GAS_STORAGE_UPDATE

30
GAS_STORAGE_UPDATE = Uint(5000)

GAS_STORAGE_CLEAR_REFUND

31
GAS_STORAGE_CLEAR_REFUND = Uint(15000)

GAS_LOW

32
GAS_LOW = Uint(5)

GAS_MID

33
GAS_MID = Uint(8)

GAS_HIGH

34
GAS_HIGH = Uint(10)

GAS_EXPONENTIATION

35
GAS_EXPONENTIATION = Uint(10)

GAS_EXPONENTIATION_PER_BYTE

36
GAS_EXPONENTIATION_PER_BYTE = Uint(50)

GAS_MEMORY

37
GAS_MEMORY = Uint(3)

GAS_KECCAK256

38
GAS_KECCAK256 = Uint(30)

GAS_KECCAK256_WORD

39
GAS_KECCAK256_WORD = Uint(6)

GAS_COPY

40
GAS_COPY = Uint(3)

GAS_BLOCK_HASH

41
GAS_BLOCK_HASH = Uint(20)

GAS_EXTERNAL

42
GAS_EXTERNAL = Uint(700)

GAS_BALANCE

43
GAS_BALANCE = Uint(700)

GAS_LOG

44
GAS_LOG = Uint(375)

GAS_LOG_DATA

45
GAS_LOG_DATA = Uint(8)

GAS_LOG_TOPIC

46
GAS_LOG_TOPIC = Uint(375)

GAS_CREATE

47
GAS_CREATE = Uint(32000)

GAS_CODE_DEPOSIT

48
GAS_CODE_DEPOSIT = Uint(200)

GAS_ZERO

49
GAS_ZERO = Uint(0)

GAS_CALL

50
GAS_CALL = Uint(700)

GAS_NEW_ACCOUNT

51
GAS_NEW_ACCOUNT = Uint(25000)

GAS_CALL_VALUE

52
GAS_CALL_VALUE = Uint(9000)

GAS_CALL_STIPEND

53
GAS_CALL_STIPEND = Uint(2300)

GAS_SELF_DESTRUCT

54
GAS_SELF_DESTRUCT = Uint(5000)

GAS_SELF_DESTRUCT_NEW_ACCOUNT

55
GAS_SELF_DESTRUCT_NEW_ACCOUNT = Uint(25000)

REFUND_SELF_DESTRUCT

56
REFUND_SELF_DESTRUCT = 24000

GAS_ECRECOVER

57
GAS_ECRECOVER = Uint(3000)

GAS_SHA256

58
GAS_SHA256 = Uint(60)

GAS_SHA256_WORD

59
GAS_SHA256_WORD = Uint(12)

GAS_RIPEMD160

60
GAS_RIPEMD160 = Uint(600)

GAS_RIPEMD160_WORD

61
GAS_RIPEMD160_WORD = Uint(120)

GAS_IDENTITY

62
GAS_IDENTITY = Uint(15)

GAS_IDENTITY_WORD

63
GAS_IDENTITY_WORD = Uint(3)

GAS_RETURN_DATA_COPY

64
GAS_RETURN_DATA_COPY = Uint(3)

GAS_CODE_HASH

65
GAS_CODE_HASH = Uint(700)

GAS_FAST_STEP

66
GAS_FAST_STEP = Uint(5)

GAS_BLAKE2_PER_ROUND

67
GAS_BLAKE2_PER_ROUND = Uint(1)

ExtendMemory

Define the parameters for memory extension in opcodes

cost: ethereum.base_types.Uint The gas required to perform the extension expand_by: ethereum.base_types.Uint The size by which the memory will be extended

70
@dataclass
class ExtendMemory:

cost

81
    cost: Uint

expand_by

82
    expand_by: Uint

MessageCallGas

Define the gas cost and stipend for executing the call opcodes.

cost: ethereum.base_types.Uint The non-refundable portion of gas reserved for executing the call opcode. stipend: ethereum.base_types.Uint The portion of gas available to sub-calls that is refundable if not consumed

85
@dataclass
class MessageCallGas:

cost

98
    cost: Uint

stipend

99
    stipend: Uint

charge_gas

Subtracts amount from evm.gas_left.

Parameters

evm : The current EVM. amount : The amount of gas the current operation requires.

def charge_gas(​evm: Evm, ​​amount: Uint​) -> None:
103
    """
104
    Subtracts `amount` from `evm.gas_left`.
105
106
    Parameters
107
    ----------
108
    evm :
109
        The current EVM.
110
    amount :
111
        The amount of gas the current operation requires.
112
113
    """
114
    evm_trace(evm, GasAndRefund(int(amount)))
115
116
    if evm.gas_left < amount:
117
        raise OutOfGasError
118
    else:
119
        evm.gas_left -= amount

calculate_memory_gas_cost

Calculates the gas cost for allocating memory to the smallest multiple of 32 bytes, such that the allocated size is at least as big as the given size.

Parameters

size_in_bytes : The size of the data in bytes.

Returns

total_gas_cost : ethereum.base_types.Uint The gas cost for storing data in memory.

def calculate_memory_gas_cost(​size_in_bytes: Uint​) -> Uint:
123
    """
124
    Calculates the gas cost for allocating memory
125
    to the smallest multiple of 32 bytes,
126
    such that the allocated size is at least as big as the given size.
127
128
    Parameters
129
    ----------
130
    size_in_bytes :
131
        The size of the data in bytes.
132
133
    Returns
134
    -------
135
    total_gas_cost : `ethereum.base_types.Uint`
136
        The gas cost for storing data in memory.
137
    """
138
    size_in_words = ceil32(size_in_bytes) // Uint(32)
139
    linear_cost = size_in_words * GAS_MEMORY
140
    quadratic_cost = size_in_words ** Uint(2) // Uint(512)
141
    total_gas_cost = linear_cost + quadratic_cost
142
    try:
143
        return total_gas_cost
144
    except ValueError:
145
        raise OutOfGasError

calculate_gas_extend_memory

Calculates the gas amount to extend memory

Parameters

memory : Memory contents of the EVM. extensions: List of extensions to be made to the memory. Consists of a tuple of start position and size.

Returns

extend_memory: ExtendMemory

def calculate_gas_extend_memory(​memory: bytearray, ​​extensions: List[Tuple[U256, U256]]​) -> ExtendMemory:
151
    """
152
    Calculates the gas amount to extend memory
153
154
    Parameters
155
    ----------
156
    memory :
157
        Memory contents of the EVM.
158
    extensions:
159
        List of extensions to be made to the memory.
160
        Consists of a tuple of start position and size.
161
162
    Returns
163
    -------
164
    extend_memory: `ExtendMemory`
165
    """
166
    size_to_extend = Uint(0)
167
    to_be_paid = Uint(0)
168
    current_size = Uint(len(memory))
169
    for start_position, size in extensions:
170
        if size == 0:
171
            continue
172
        before_size = ceil32(current_size)
173
        after_size = ceil32(Uint(start_position) + Uint(size))
174
        if after_size <= before_size:
175
            continue
176
177
        size_to_extend += after_size - before_size
178
        already_paid = calculate_memory_gas_cost(before_size)
179
        total_cost = calculate_memory_gas_cost(after_size)
180
        to_be_paid += total_cost - already_paid
181
182
        current_size = after_size
183
184
    return ExtendMemory(to_be_paid, size_to_extend)

calculate_message_call_gas

Calculates the MessageCallGas (cost and stipend) for executing call Opcodes.

Parameters

value: The amount of ETH that needs to be transferred. gas : The amount of gas provided to the message-call. gas_left : The amount of gas left in the current frame. memory_cost : The amount needed to extend the memory in the current frame. extra_gas : The amount of gas needed for transferring value + creating a new account inside a message call. call_stipend : The amount of stipend provided to a message call to execute code while transferring value(ETH).

Returns

message_call_gas: MessageCallGas

def calculate_message_call_gas(​value: U256, ​​gas: Uint, ​​gas_left: Uint, ​​memory_cost: Uint, ​​extra_gas: Uint, ​​call_stipend: Uint​) -> MessageCallGas:
195
    """
196
    Calculates the MessageCallGas (cost and stipend) for
197
    executing call Opcodes.
198
199
    Parameters
200
    ----------
201
    value:
202
        The amount of `ETH` that needs to be transferred.
203
    gas :
204
        The amount of gas provided to the message-call.
205
    gas_left :
206
        The amount of gas left in the current frame.
207
    memory_cost :
208
        The amount needed to extend the memory in the current frame.
209
    extra_gas :
210
        The amount of gas needed for transferring value + creating a new
211
        account inside a message call.
212
    call_stipend :
213
        The amount of stipend provided to a message call to execute code while
214
        transferring value(ETH).
215
216
    Returns
217
    -------
218
    message_call_gas: `MessageCallGas`
219
    """
220
    call_stipend = Uint(0) if value == 0 else call_stipend
221
    if gas_left < extra_gas + memory_cost:
222
        return MessageCallGas(gas + extra_gas, gas + call_stipend)
223
224
    gas = min(gas, max_message_call_gas(gas_left - memory_cost - extra_gas))
225
226
    return MessageCallGas(gas + extra_gas, gas + call_stipend)

max_message_call_gas

Calculates the maximum gas that is allowed for making a message call

Parameters

gas : The amount of gas provided to the message-call.

Returns

max_allowed_message_call_gas: ethereum.base_types.Uint The maximum gas allowed for making the message-call.

def max_message_call_gas(​gas: Uint​) -> Uint:
230
    """
231
    Calculates the maximum gas that is allowed for making a message call
232
233
    Parameters
234
    ----------
235
    gas :
236
        The amount of gas provided to the message-call.
237
238
    Returns
239
    -------
240
    max_allowed_message_call_gas: `ethereum.base_types.Uint`
241
        The maximum gas allowed for making the message-call.
242
    """
243
    return gas - (gas // Uint(64))