ethereum.byzantium.vm.instructions.system
Ethereum Virtual Machine (EVM) System Instructions ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
.. contents:: Table of Contents :backlinks: none :local:
Introduction
Implementations of the EVM system related instructions.
create
Creates a new account with associated code.
Parameters
evm : The current EVM frame.
def create(evm: Evm) -> None:
53 | """ |
---|---|
54 | Creates a new account with associated code. |
55 |
|
56 | Parameters |
57 | ---------- |
58 | evm : |
59 | The current EVM frame. |
60 | """ |
61 | # This import causes a circular import error |
62 | # if it's not moved inside this method |
63 | from ...vm.interpreter import STACK_DEPTH_LIMIT, process_create_message |
64 | |
65 | # STACK |
66 | endowment = pop(evm.stack) |
67 | memory_start_position = pop(evm.stack) |
68 | memory_size = pop(evm.stack) |
69 | |
70 | # GAS |
71 | extend_memory = calculate_gas_extend_memory( |
72 | evm.memory, [(memory_start_position, memory_size)] |
73 | ) |
74 | |
75 | charge_gas(evm, GAS_CREATE + extend_memory.cost) |
76 | |
77 | create_message_gas = max_message_call_gas(Uint(evm.gas_left)) |
78 | evm.gas_left -= create_message_gas |
79 | if evm.message.is_static: |
80 | raise WriteInStaticContext |
81 | evm.memory += b"\x00" * extend_memory.expand_by |
82 | evm.return_data = b"" |
83 | |
84 | sender_address = evm.message.current_target |
85 | sender = get_account(evm.env.state, sender_address) |
86 | |
87 | contract_address = compute_contract_address( |
88 | evm.message.current_target, |
89 | get_account(evm.env.state, evm.message.current_target).nonce, |
90 | ) |
91 | |
92 | if ( |
93 | sender.balance < endowment |
94 | or sender.nonce == Uint(2**64 - 1) |
95 | or evm.message.depth + Uint(1) > STACK_DEPTH_LIMIT |
96 | ): |
97 | push(evm.stack, U256(0)) |
98 | evm.gas_left += create_message_gas |
99 | elif account_has_code_or_nonce(evm.env.state, contract_address): |
100 | increment_nonce(evm.env.state, evm.message.current_target) |
101 | push(evm.stack, U256(0)) |
102 | else: |
103 | call_data = memory_read_bytes( |
104 | evm.memory, memory_start_position, memory_size |
105 | ) |
106 |
|
107 | increment_nonce(evm.env.state, evm.message.current_target) |
108 |
|
109 | child_message = Message( |
110 | caller=evm.message.current_target, |
111 | target=Bytes0(), |
112 | gas=create_message_gas, |
113 | value=endowment, |
114 | data=b"", |
115 | code=call_data, |
116 | current_target=contract_address, |
117 | depth=evm.message.depth + Uint(1), |
118 | code_address=None, |
119 | should_transfer_value=True, |
120 | is_static=False, |
121 | parent_evm=evm, |
122 | ) |
123 | child_evm = process_create_message(child_message, evm.env) |
124 |
|
125 | if child_evm.error: |
126 | incorporate_child_on_error(evm, child_evm) |
127 | evm.return_data = child_evm.output |
128 | push(evm.stack, U256(0)) |
129 | else: |
130 | incorporate_child_on_success(evm, child_evm) |
131 | evm.return_data = b"" |
132 | push( |
133 | evm.stack, U256.from_be_bytes(child_evm.message.current_target) |
134 | ) |
135 | |
136 | # PROGRAM COUNTER |
137 | evm.pc += Uint(1) |
return_
Halts execution returning output data.
Parameters
evm : The current EVM frame.
def return_(evm: Evm) -> None:
141 | """ |
---|---|
142 | Halts execution returning output data. |
143 |
|
144 | Parameters |
145 | ---------- |
146 | evm : |
147 | The current EVM frame. |
148 | """ |
149 | # STACK |
150 | memory_start_position = pop(evm.stack) |
151 | memory_size = pop(evm.stack) |
152 | |
153 | # GAS |
154 | extend_memory = calculate_gas_extend_memory( |
155 | evm.memory, [(memory_start_position, memory_size)] |
156 | ) |
157 | |
158 | charge_gas(evm, GAS_ZERO + extend_memory.cost) |
159 | |
160 | # OPERATION |
161 | evm.memory += b"\x00" * extend_memory.expand_by |
162 | evm.output = memory_read_bytes( |
163 | evm.memory, memory_start_position, memory_size |
164 | ) |
165 | |
166 | evm.running = False |
167 | |
168 | # PROGRAM COUNTER |
169 | pass |
generic_call
Perform the core logic of the CALL*
family of opcodes.
def generic_call(evm: Evm, gas: Uint, value: U256, caller: Address, to: Address, code_address: Address, should_transfer_value: bool, is_staticcall: bool, memory_input_start_position: U256, memory_input_size: U256, memory_output_start_position: U256, memory_output_size: U256) -> None:
186 | """ |
---|---|
187 | Perform the core logic of the `CALL*` family of opcodes. |
188 | """ |
189 | from ...vm.interpreter import STACK_DEPTH_LIMIT, process_message |
190 | |
191 | evm.return_data = b"" |
192 | |
193 | if evm.message.depth + Uint(1) > STACK_DEPTH_LIMIT: |
194 | evm.gas_left += gas |
195 | push(evm.stack, U256(0)) |
196 | return |
197 | |
198 | call_data = memory_read_bytes( |
199 | evm.memory, memory_input_start_position, memory_input_size |
200 | ) |
201 | code = get_account(evm.env.state, code_address).code |
202 | child_message = Message( |
203 | caller=caller, |
204 | target=to, |
205 | gas=gas, |
206 | value=value, |
207 | data=call_data, |
208 | code=code, |
209 | current_target=to, |
210 | depth=evm.message.depth + Uint(1), |
211 | code_address=code_address, |
212 | should_transfer_value=should_transfer_value, |
213 | is_static=True if is_staticcall else evm.message.is_static, |
214 | parent_evm=evm, |
215 | ) |
216 | child_evm = process_message(child_message, evm.env) |
217 | |
218 | if child_evm.error: |
219 | incorporate_child_on_error(evm, child_evm) |
220 | evm.return_data = child_evm.output |
221 | push(evm.stack, U256(0)) |
222 | else: |
223 | incorporate_child_on_success(evm, child_evm) |
224 | evm.return_data = child_evm.output |
225 | push(evm.stack, U256(1)) |
226 | |
227 | actual_output_size = min(memory_output_size, U256(len(child_evm.output))) |
228 | memory_write( |
229 | evm.memory, |
230 | memory_output_start_position, |
231 | child_evm.output[:actual_output_size], |
232 | ) |
call
Message-call into an account.
Parameters
evm : The current EVM frame.
def call(evm: Evm) -> None:
236 | """ |
---|---|
237 | Message-call into an account. |
238 |
|
239 | Parameters |
240 | ---------- |
241 | evm : |
242 | The current EVM frame. |
243 | """ |
244 | # STACK |
245 | gas = Uint(pop(evm.stack)) |
246 | to = to_address(pop(evm.stack)) |
247 | value = pop(evm.stack) |
248 | memory_input_start_position = pop(evm.stack) |
249 | memory_input_size = pop(evm.stack) |
250 | memory_output_start_position = pop(evm.stack) |
251 | memory_output_size = pop(evm.stack) |
252 | |
253 | # GAS |
254 | extend_memory = calculate_gas_extend_memory( |
255 | evm.memory, |
256 | [ |
257 | (memory_input_start_position, memory_input_size), |
258 | (memory_output_start_position, memory_output_size), |
259 | ], |
260 | ) |
261 | create_gas_cost = ( |
262 | Uint(0) |
263 | if value == 0 or is_account_alive(evm.env.state, to) |
264 | else GAS_NEW_ACCOUNT |
265 | ) |
266 | transfer_gas_cost = Uint(0) if value == 0 else GAS_CALL_VALUE |
267 | message_call_gas = calculate_message_call_gas( |
268 | value, |
269 | gas, |
270 | Uint(evm.gas_left), |
271 | extend_memory.cost, |
272 | GAS_CALL + create_gas_cost + transfer_gas_cost, |
273 | ) |
274 | charge_gas(evm, message_call_gas.cost + extend_memory.cost) |
275 | if evm.message.is_static and value != U256(0): |
276 | raise WriteInStaticContext |
277 | evm.memory += b"\x00" * extend_memory.expand_by |
278 | sender_balance = get_account( |
279 | evm.env.state, evm.message.current_target |
280 | ).balance |
281 | if sender_balance < value: |
282 | push(evm.stack, U256(0)) |
283 | evm.return_data = b"" |
284 | evm.gas_left += message_call_gas.stipend |
285 | else: |
286 | generic_call( |
287 | evm, |
288 | message_call_gas.stipend, |
289 | value, |
290 | evm.message.current_target, |
291 | to, |
292 | to, |
293 | True, |
294 | False, |
295 | memory_input_start_position, |
296 | memory_input_size, |
297 | memory_output_start_position, |
298 | memory_output_size, |
299 | ) |
300 | |
301 | # PROGRAM COUNTER |
302 | evm.pc += Uint(1) |
callcode
Message-call into this account with alternative account’s code.
Parameters
evm : The current EVM frame.
def callcode(evm: Evm) -> None:
306 | """ |
---|---|
307 | Message-call into this account with alternative account’s code. |
308 |
|
309 | Parameters |
310 | ---------- |
311 | evm : |
312 | The current EVM frame. |
313 | """ |
314 | # STACK |
315 | gas = Uint(pop(evm.stack)) |
316 | code_address = to_address(pop(evm.stack)) |
317 | value = pop(evm.stack) |
318 | memory_input_start_position = pop(evm.stack) |
319 | memory_input_size = pop(evm.stack) |
320 | memory_output_start_position = pop(evm.stack) |
321 | memory_output_size = pop(evm.stack) |
322 | |
323 | # GAS |
324 | to = evm.message.current_target |
325 | |
326 | extend_memory = calculate_gas_extend_memory( |
327 | evm.memory, |
328 | [ |
329 | (memory_input_start_position, memory_input_size), |
330 | (memory_output_start_position, memory_output_size), |
331 | ], |
332 | ) |
333 | transfer_gas_cost = Uint(0) if value == 0 else GAS_CALL_VALUE |
334 | message_call_gas = calculate_message_call_gas( |
335 | value, |
336 | gas, |
337 | Uint(evm.gas_left), |
338 | extend_memory.cost, |
339 | GAS_CALL + transfer_gas_cost, |
340 | ) |
341 | charge_gas(evm, message_call_gas.cost + extend_memory.cost) |
342 | |
343 | # OPERATION |
344 | evm.memory += b"\x00" * extend_memory.expand_by |
345 | sender_balance = get_account( |
346 | evm.env.state, evm.message.current_target |
347 | ).balance |
348 | if sender_balance < value: |
349 | push(evm.stack, U256(0)) |
350 | evm.return_data = b"" |
351 | evm.gas_left += message_call_gas.stipend |
352 | else: |
353 | generic_call( |
354 | evm, |
355 | message_call_gas.stipend, |
356 | value, |
357 | evm.message.current_target, |
358 | to, |
359 | code_address, |
360 | True, |
361 | False, |
362 | memory_input_start_position, |
363 | memory_input_size, |
364 | memory_output_start_position, |
365 | memory_output_size, |
366 | ) |
367 | |
368 | # PROGRAM COUNTER |
369 | evm.pc += Uint(1) |
selfdestruct
Halt execution and register account for later deletion.
Parameters
evm : The current EVM frame.
def selfdestruct(evm: Evm) -> None:
373 | """ |
---|---|
374 | Halt execution and register account for later deletion. |
375 |
|
376 | Parameters |
377 | ---------- |
378 | evm : |
379 | The current EVM frame. |
380 | """ |
381 | # STACK |
382 | beneficiary = to_address(pop(evm.stack)) |
383 | |
384 | # GAS |
385 | gas_cost = GAS_SELF_DESTRUCT |
386 | if ( |
387 | not is_account_alive(evm.env.state, beneficiary) |
388 | and get_account(evm.env.state, evm.message.current_target).balance != 0 |
389 | ): |
390 | gas_cost += GAS_SELF_DESTRUCT_NEW_ACCOUNT |
391 | |
392 | originator = evm.message.current_target |
393 | |
394 | refunded_accounts = evm.accounts_to_delete |
395 | parent_evm = evm.message.parent_evm |
396 | while parent_evm is not None: |
397 | refunded_accounts.update(parent_evm.accounts_to_delete) |
398 | parent_evm = parent_evm.message.parent_evm |
399 | |
400 | if originator not in refunded_accounts: |
401 | evm.refund_counter += REFUND_SELF_DESTRUCT |
402 | |
403 | charge_gas(evm, gas_cost) |
404 | if evm.message.is_static: |
405 | raise WriteInStaticContext |
406 | |
407 | beneficiary_balance = get_account(evm.env.state, beneficiary).balance |
408 | originator_balance = get_account(evm.env.state, originator).balance |
409 | |
410 | # First Transfer to beneficiary |
411 | set_account_balance( |
412 | evm.env.state, beneficiary, beneficiary_balance + originator_balance |
413 | ) |
414 | # Next, Zero the balance of the address being deleted (must come after |
415 | # sending to beneficiary in case the contract named itself as the |
416 | # beneficiary). |
417 | set_account_balance(evm.env.state, originator, U256(0)) |
418 | |
419 | # register account for deletion |
420 | evm.accounts_to_delete.add(originator) |
421 | |
422 | # mark beneficiary as touched |
423 | if account_exists_and_is_empty(evm.env.state, beneficiary): |
424 | evm.touched_accounts.add(beneficiary) |
425 | |
426 | # HALT the execution |
427 | evm.running = False |
428 | |
429 | # PROGRAM COUNTER |
430 | pass |
delegatecall
Message-call into an account.
Parameters
evm : The current EVM frame.
def delegatecall(evm: Evm) -> None:
434 | """ |
---|---|
435 | Message-call into an account. |
436 |
|
437 | Parameters |
438 | ---------- |
439 | evm : |
440 | The current EVM frame. |
441 | """ |
442 | # STACK |
443 | gas = Uint(pop(evm.stack)) |
444 | code_address = to_address(pop(evm.stack)) |
445 | memory_input_start_position = pop(evm.stack) |
446 | memory_input_size = pop(evm.stack) |
447 | memory_output_start_position = pop(evm.stack) |
448 | memory_output_size = pop(evm.stack) |
449 | |
450 | # GAS |
451 | extend_memory = calculate_gas_extend_memory( |
452 | evm.memory, |
453 | [ |
454 | (memory_input_start_position, memory_input_size), |
455 | (memory_output_start_position, memory_output_size), |
456 | ], |
457 | ) |
458 | message_call_gas = calculate_message_call_gas( |
459 | U256(0), gas, Uint(evm.gas_left), extend_memory.cost, GAS_CALL |
460 | ) |
461 | charge_gas(evm, message_call_gas.cost + extend_memory.cost) |
462 | |
463 | # OPERATION |
464 | evm.memory += b"\x00" * extend_memory.expand_by |
465 | generic_call( |
466 | evm, |
467 | message_call_gas.stipend, |
468 | evm.message.value, |
469 | evm.message.caller, |
470 | evm.message.current_target, |
471 | code_address, |
472 | False, |
473 | False, |
474 | memory_input_start_position, |
475 | memory_input_size, |
476 | memory_output_start_position, |
477 | memory_output_size, |
478 | ) |
479 | |
480 | # PROGRAM COUNTER |
481 | evm.pc += Uint(1) |
staticcall
Message-call into an account.
Parameters
evm : The current EVM frame.
def staticcall(evm: Evm) -> None:
485 | """ |
---|---|
486 | Message-call into an account. |
487 |
|
488 | Parameters |
489 | ---------- |
490 | evm : |
491 | The current EVM frame. |
492 | """ |
493 | # STACK |
494 | gas = Uint(pop(evm.stack)) |
495 | to = to_address(pop(evm.stack)) |
496 | memory_input_start_position = pop(evm.stack) |
497 | memory_input_size = pop(evm.stack) |
498 | memory_output_start_position = pop(evm.stack) |
499 | memory_output_size = pop(evm.stack) |
500 | |
501 | # GAS |
502 | extend_memory = calculate_gas_extend_memory( |
503 | evm.memory, |
504 | [ |
505 | (memory_input_start_position, memory_input_size), |
506 | (memory_output_start_position, memory_output_size), |
507 | ], |
508 | ) |
509 | message_call_gas = calculate_message_call_gas( |
510 | U256(0), |
511 | gas, |
512 | Uint(evm.gas_left), |
513 | extend_memory.cost, |
514 | GAS_CALL, |
515 | ) |
516 | charge_gas(evm, message_call_gas.cost + extend_memory.cost) |
517 | |
518 | # OPERATION |
519 | evm.memory += b"\x00" * extend_memory.expand_by |
520 | generic_call( |
521 | evm, |
522 | message_call_gas.stipend, |
523 | U256(0), |
524 | evm.message.current_target, |
525 | to, |
526 | to, |
527 | True, |
528 | True, |
529 | memory_input_start_position, |
530 | memory_input_size, |
531 | memory_output_start_position, |
532 | memory_output_size, |
533 | ) |
534 | |
535 | # PROGRAM COUNTER |
536 | evm.pc += Uint(1) |
revert
Stop execution and revert state changes, without consuming all provided gas and also has the ability to return a reason Parameters
evm : The current EVM frame.
def revert(evm: Evm) -> None:
540 | """ |
---|---|
541 | Stop execution and revert state changes, without consuming all provided gas |
542 | and also has the ability to return a reason |
543 | Parameters |
544 | ---------- |
545 | evm : |
546 | The current EVM frame. |
547 | """ |
548 | # STACK |
549 | memory_start_index = pop(evm.stack) |
550 | size = pop(evm.stack) |
551 | |
552 | # GAS |
553 | extend_memory = calculate_gas_extend_memory( |
554 | evm.memory, [(memory_start_index, size)] |
555 | ) |
556 | |
557 | charge_gas(evm, extend_memory.cost) |
558 | |
559 | # OPERATION |
560 | evm.memory += b"\x00" * extend_memory.expand_by |
561 | output = memory_read_bytes(evm.memory, memory_start_index, size) |
562 | evm.output = bytes(output) |
563 | raise Revert |
564 | |
565 | # PROGRAM COUNTER |
566 | pass |