logos-storage/plonky2
1
0
Fork 0
mirror of https://github.com/logos-storage/plonky2.git synced 2026-01-06 15:53:10 +00:00
Code Issues Packages Projects Releases Wiki Activity

Transaction validity checks (#949)

Browse Source
This commit is contained in:
wborgeaud 2023-04-01 07:24:02 +02:00 committed by GitHub
parent 2ca00a9ad4
commit a926dcad22
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 38 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

43
evm/src/cpu/kernel/asm/core/process_txn.asm
View File

@ -20,11 +20,44 @@ global process_normalized_txn:
%mload_txn_field(@TXN_FIELD_GAS_LIMIT) %mload_txn_field(@TXN_FIELD_GAS_LIMIT)
%assert_ge %assert_ge
// TODO: Check that txn nonce matches account nonce. %mload_txn_field(@TXN_FIELD_ORIGIN)
// TODO: Assert nonce is correct. // stack: sender, retdest
// TODO: Assert sender has no code.
// TODO: Assert sender balance >= gas_limit * gas_price + value. // Check that txn nonce matches account nonce.
// TODO: Assert chain ID matches block metadata? DUP1 %nonce
// stack: sender_nonce, sender, retdest
%mload_txn_field(@TXN_FIELD_NONCE)
// stack: tx_nonce, sender_nonce, sender, retdest
%assert_eq
// stack: sender, retdest
// Assert sender has no code.
DUP1 %ext_code_empty %assert_nonzero
// stack: sender, retdest
// Assert sender balance >= gas_limit * gas_price + value.
%balance
// stack: sender_balance, retdest
%mload_txn_field(@TXN_FIELD_COMPUTED_FEE_PER_GAS)
%mload_txn_field(@TXN_FIELD_GAS_LIMIT)
MUL
%mload_txn_field(@TXN_FIELD_VALUE)
ADD
%assert_le
// stack: retdest
// Assert chain ID matches block metadata
%mload_txn_field(@TXN_FIELD_CHAIN_ID_PRESENT)
// stack: chain_id_present, retdest
DUP1
%mload_txn_field(@TXN_FIELD_CHAIN_ID)
// stack: tx_chain_id, chain_id_present, chain_id_present, retdest
MUL SWAP1
// stack: chain_id_present, filtered_tx_chain_id, retdest
%mload_global_metadata(@GLOBAL_METADATA_BLOCK_CHAIN_ID)
MUL
// stack: filtered_block_chain_id, filtered_tx_chain_id, retdest
%assert_eq
// stack: retdest // stack: retdest
global buy_gas: global buy_gas: