logos-storage/plonky2
1
0
Fork 0
mirror of https://github.com/logos-storage/plonky2.git synced 2026-07-24 16:23:14 +00:00
Code Issues Packages Projects Releases Wiki Activity

Check balance in create (#1046)

Browse Source
This commit is contained in:
wborgeaud 2023-05-18 14:37:54 +02:00 committed by GitHub
parent 1616c0baa2
commit 29fac4caeb
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 8 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
evm/src/cpu/kernel/asm/core/create.asm
View File

@ -71,7 +71,8 @@ global create_common:
DUP1 %insert_accessed_addresses_no_return DUP1 %insert_accessed_addresses_no_return
// TODO: Check call stack depth. // TODO: Check call stack depth.
// TODO: Check balance of caller first. // stack: address, value, code_offset, code_len, kexit_info
DUP2 %selfbalance LT %jumpi(create_insufficient_balance)
// Increment the sender's nonce. // Increment the sender's nonce.
%address %address
%increment_nonce %increment_nonce
@ -86,7 +87,7 @@ global create_common:
// stack: status, address, value, code_offset, code_len, kexit_info // stack: status, address, value, code_offset, code_len, kexit_info
%jumpi(fault_exception) %jumpi(fault_exception)
// stack: address, value, code_offset, code_len, kexit_info // stack: address, value, code_offset, code_len, kexit_info
DUP2 DUP2 %address %transfer_eth %jumpi(fault_exception) DUP2 DUP2 %address %transfer_eth %jumpi(panic) // We checked the balance above, so this should never happen.
DUP2 DUP2 %address %journal_add_balance_transfer // Add journal entry for the balance transfer. DUP2 DUP2 %address %journal_add_balance_transfer // Add journal entry for the balance transfer.
%create_context %create_context
@ -186,6 +187,11 @@ after_constructor_failed:
%stack (success, leftover_gas, new_ctx, address, kexit_info) -> (leftover_gas, success, address, kexit_info) %stack (success, leftover_gas, new_ctx, address, kexit_info) -> (leftover_gas, success, address, kexit_info)
%jump(after_constructor_contd) %jump(after_constructor_contd)
create_insufficient_balance:
// stack: address, value, code_offset, code_len, kexit_info
%stack (address, value, code_offset, code_len, kexit_info) -> (kexit_info, 0)
EXIT_KERNEL
%macro set_codehash %macro set_codehash
%stack (addr, codehash) -> (addr, codehash, %%after) %stack (addr, codehash) -> (addr, codehash, %%after)
%jump(set_codehash) %jump(set_codehash)