ethereum.arrow_glacier.vm.gasethereum.gray_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_STORAGE_SET

28
GAS_STORAGE_SET = Uint(20000)

GAS_STORAGE_UPDATE

29
GAS_STORAGE_UPDATE = Uint(5000)

GAS_STORAGE_CLEAR_REFUND

30
GAS_STORAGE_CLEAR_REFUND = Uint(4800)

GAS_LOW

31
GAS_LOW = Uint(5)

GAS_MID

32
GAS_MID = Uint(8)

GAS_HIGH

33
GAS_HIGH = Uint(10)

GAS_EXPONENTIATION

34
GAS_EXPONENTIATION = Uint(10)

GAS_EXPONENTIATION_PER_BYTE

35
GAS_EXPONENTIATION_PER_BYTE = Uint(50)

GAS_MEMORY

36
GAS_MEMORY = Uint(3)

GAS_KECCAK256

37
GAS_KECCAK256 = Uint(30)

GAS_KECCAK256_WORD

38
GAS_KECCAK256_WORD = Uint(6)

GAS_COPY

39
GAS_COPY = Uint(3)

GAS_BLOCK_HASH

40
GAS_BLOCK_HASH = Uint(20)

GAS_LOG

41
GAS_LOG = Uint(375)

GAS_LOG_DATA

42
GAS_LOG_DATA = Uint(8)

GAS_LOG_TOPIC

43
GAS_LOG_TOPIC = Uint(375)

GAS_CREATE

44
GAS_CREATE = Uint(32000)

GAS_CODE_DEPOSIT

45
GAS_CODE_DEPOSIT = Uint(200)

GAS_ZERO

46
GAS_ZERO = Uint(0)

GAS_NEW_ACCOUNT

47
GAS_NEW_ACCOUNT = Uint(25000)

GAS_CALL_VALUE

48
GAS_CALL_VALUE = Uint(9000)

GAS_CALL_STIPEND

49
GAS_CALL_STIPEND = Uint(2300)

GAS_SELF_DESTRUCT

50
GAS_SELF_DESTRUCT = Uint(5000)

GAS_SELF_DESTRUCT_NEW_ACCOUNT

51
GAS_SELF_DESTRUCT_NEW_ACCOUNT = Uint(25000)

GAS_ECRECOVER

52
GAS_ECRECOVER = Uint(3000)

GAS_SHA256

53
GAS_SHA256 = Uint(60)

GAS_SHA256_WORD

54
GAS_SHA256_WORD = Uint(12)

GAS_RIPEMD160

55
GAS_RIPEMD160 = Uint(600)

GAS_RIPEMD160_WORD

56
GAS_RIPEMD160_WORD = Uint(120)

GAS_IDENTITY

57
GAS_IDENTITY = Uint(15)

GAS_IDENTITY_WORD

58
GAS_IDENTITY_WORD = Uint(3)

GAS_RETURN_DATA_COPY

59
GAS_RETURN_DATA_COPY = Uint(3)

GAS_FAST_STEP

60
GAS_FAST_STEP = Uint(5)

GAS_BLAKE2_PER_ROUND

61
GAS_BLAKE2_PER_ROUND = Uint(1)

GAS_COLD_SLOAD

62
GAS_COLD_SLOAD = Uint(2100)

GAS_COLD_ACCOUNT_ACCESS

63
GAS_COLD_ACCOUNT_ACCESS = Uint(2600)

GAS_WARM_ACCESS

64
GAS_WARM_ACCESS = Uint(100)

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

67
@dataclass
class ExtendMemory:

cost

78
    cost: Uint

expand_by

79
    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

82
@dataclass
class MessageCallGas:

cost

95
    cost: Uint

stipend

96
    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:
100
    """
101
    Subtracts `amount` from `evm.gas_left`.
102
103
    Parameters
104
    ----------
105
    evm :
106
        The current EVM.
107
    amount :
108
        The amount of gas the current operation requires.
109
110
    """
111
    evm_trace(evm, GasAndRefund(int(amount)))
112
113
    if evm.gas_left < amount:
114
        raise OutOfGasError
115
    else:
116
        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:
120
    """
121
    Calculates the gas cost for allocating memory
122
    to the smallest multiple of 32 bytes,
123
    such that the allocated size is at least as big as the given size.
124
125
    Parameters
126
    ----------
127
    size_in_bytes :
128
        The size of the data in bytes.
129
130
    Returns
131
    -------
132
    total_gas_cost : `ethereum.base_types.Uint`
133
        The gas cost for storing data in memory.
134
    """
135
    size_in_words = ceil32(size_in_bytes) // Uint(32)
136
    linear_cost = size_in_words * GAS_MEMORY
137
    quadratic_cost = size_in_words ** Uint(2) // Uint(512)
138
    total_gas_cost = linear_cost + quadratic_cost
139
    try:
140
        return total_gas_cost
141
    except ValueError:
142
        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:
148
    """
149
    Calculates the gas amount to extend memory
150
151
    Parameters
152
    ----------
153
    memory :
154
        Memory contents of the EVM.
155
    extensions:
156
        List of extensions to be made to the memory.
157
        Consists of a tuple of start position and size.
158
159
    Returns
160
    -------
161
    extend_memory: `ExtendMemory`
162
    """
163
    size_to_extend = Uint(0)
164
    to_be_paid = Uint(0)
165
    current_size = Uint(len(memory))
166
    for start_position, size in extensions:
167
        if size == 0:
168
            continue
169
        before_size = ceil32(current_size)
170
        after_size = ceil32(Uint(start_position) + Uint(size))
171
        if after_size <= before_size:
172
            continue
173
174
        size_to_extend += after_size - before_size
175
        already_paid = calculate_memory_gas_cost(before_size)
176
        total_cost = calculate_memory_gas_cost(after_size)
177
        to_be_paid += total_cost - already_paid
178
179
        current_size = after_size
180
181
    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:
192
    """
193
    Calculates the MessageCallGas (cost and stipend) for
194
    executing call Opcodes.
195
196
    Parameters
197
    ----------
198
    value:
199
        The amount of `ETH` that needs to be transferred.
200
    gas :
201
        The amount of gas provided to the message-call.
202
    gas_left :
203
        The amount of gas left in the current frame.
204
    memory_cost :
205
        The amount needed to extend the memory in the current frame.
206
    extra_gas :
207
        The amount of gas needed for transferring value + creating a new
208
        account inside a message call.
209
    call_stipend :
210
        The amount of stipend provided to a message call to execute code while
211
        transferring value(ETH).
212
213
    Returns
214
    -------
215
    message_call_gas: `MessageCallGas`
216
    """
217
    call_stipend = Uint(0) if value == 0 else call_stipend
218
    if gas_left < extra_gas + memory_cost:
219
        return MessageCallGas(gas + extra_gas, gas + call_stipend)
220
221
    gas = min(gas, max_message_call_gas(gas_left - memory_cost - extra_gas))
222
223
    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:
227
    """
228
    Calculates the maximum gas that is allowed for making a message call
229
230
    Parameters
231
    ----------
232
    gas :
233
        The amount of gas provided to the message-call.
234
235
    Returns
236
    -------
237
    max_allowed_message_call_gas: `ethereum.base_types.Uint`
238
        The maximum gas allowed for making the message-call.
239
    """
240
    return gas - (gas // Uint(64))