Skip to main content

revm_handler/
pre_execution.rs

1//! Handles related to the main function of the EVM.
2//!
3//! They handle initial setup of the EVM, call loop and the final return of the EVM
4
5use crate::{EvmTr, PrecompileProvider};
6use bytecode::Bytecode;
7use context_interface::{
8    journaled_state::{account::JournaledAccountTr, JournalTr},
9    result::InvalidTransaction,
10    transaction::{AccessListItemTr, AuthorizationTr, Transaction, TransactionType},
11    Block, Cfg, ContextTr, Database,
12};
13use core::cmp::Ordering;
14use interpreter::InitialAndFloorGas;
15use primitives::{hardfork::SpecId, AddressMap, HashSet, StorageKey, U256};
16use state::AccountInfo;
17
18/// Loads and warms accounts for execution, including precompiles and access list.
19pub fn load_accounts<
20    EVM: EvmTr<Precompiles: PrecompileProvider<EVM::Context>>,
21    ERROR: From<<<EVM::Context as ContextTr>::Db as Database>::Error>,
22>(
23    evm: &mut EVM,
24) -> Result<(), ERROR> {
25    let (context, precompiles) = evm.ctx_precompiles();
26
27    let gen_spec = context.cfg().spec();
28    let spec = gen_spec.clone().into();
29    // sets eth spec id in journal
30    context.journal_mut().set_spec_id(spec);
31    let precompiles_changed = precompiles.set_spec(gen_spec);
32    let empty_warmed_precompiles = context.journal_mut().precompile_addresses().is_empty();
33
34    if precompiles_changed || empty_warmed_precompiles {
35        // load new precompile addresses into journal.
36        // When precompiles addresses are changed we reset the warmed hashmap to those new addresses.
37        context
38            .journal_mut()
39            .warm_precompiles(precompiles.warm_addresses());
40    }
41
42    // Load coinbase
43    // EIP-3651: Warm COINBASE. Starts the `COINBASE` address warm
44    if spec.is_enabled_in(SpecId::SHANGHAI) {
45        let coinbase = context.block().beneficiary();
46        context.journal_mut().warm_coinbase_account(coinbase);
47    }
48
49    // Load access list
50    let (tx, journal) = context.tx_journal_mut();
51    // legacy is only tx type that does not have access list.
52    if tx.tx_type() != TransactionType::Legacy {
53        if let Some(access_list) = tx.access_list() {
54            let mut map: AddressMap<HashSet<StorageKey>> = AddressMap::default();
55            for item in access_list {
56                map.entry(*item.address())
57                    .or_default()
58                    .extend(item.storage_slots().map(|key| U256::from_be_bytes(key.0)));
59            }
60            journal.warm_access_list(map);
61        }
62    }
63
64    Ok(())
65}
66
67/// Validates caller account nonce and code according to EIP-3607.
68#[inline]
69pub fn validate_account_nonce_and_code_with_components(
70    caller_info: &AccountInfo,
71    tx: impl Transaction,
72    cfg: impl Cfg,
73) -> Result<(), InvalidTransaction> {
74    validate_account_nonce_and_code(
75        caller_info,
76        tx.nonce(),
77        cfg.is_eip3607_disabled(),
78        cfg.is_nonce_check_disabled(),
79    )
80}
81
82/// Validates caller account nonce and code according to EIP-3607.
83#[inline]
84pub fn validate_account_nonce_and_code(
85    caller_info: &AccountInfo,
86    tx_nonce: u64,
87    is_eip3607_disabled: bool,
88    is_nonce_check_disabled: bool,
89) -> Result<(), InvalidTransaction> {
90    // EIP-3607: Reject transactions from senders with deployed code
91    // This EIP is introduced after london but there was no collision in past
92    // so we can leave it enabled always
93    if !is_eip3607_disabled {
94        let bytecode = match caller_info.code.as_ref() {
95            Some(code) => code,
96            None => &Bytecode::default(),
97        };
98        // Allow EOAs whose code is a valid delegation designation,
99        // i.e. 0xef0100 || address, to continue to originate transactions.
100        if !bytecode.is_empty() && !bytecode.is_eip7702() {
101            return Err(InvalidTransaction::RejectCallerWithCode);
102        }
103    }
104
105    // Check that the transaction's nonce is correct
106    if !is_nonce_check_disabled {
107        let tx = tx_nonce;
108        let state = caller_info.nonce;
109        if tx == u64::MAX && state == u64::MAX {
110            return Err(InvalidTransaction::NonceOverflowInTransaction);
111        }
112        match tx.cmp(&state) {
113            Ordering::Greater => {
114                return Err(InvalidTransaction::NonceTooHigh { tx, state });
115            }
116            Ordering::Less => {
117                return Err(InvalidTransaction::NonceTooLow { tx, state });
118            }
119            _ => {}
120        }
121    }
122    Ok(())
123}
124
125/// Check maximum possible fee and deduct the effective fee.
126///
127/// Returns new balance.
128#[inline]
129pub fn calculate_caller_fee(
130    balance: U256,
131    tx: impl Transaction,
132    block: impl Block,
133    cfg: impl Cfg,
134) -> Result<U256, InvalidTransaction> {
135    // If fee charge is disabled, return the balance as-is without deducting fees.
136    // This is useful for `eth_call` and similar simulation scenarios.
137    if cfg.is_fee_charge_disabled() {
138        return Ok(balance);
139    }
140
141    let basefee = block.basefee() as u128;
142    let blob_price = block.blob_gasprice().unwrap_or_default();
143    let is_balance_check_disabled = cfg.is_balance_check_disabled();
144
145    if !is_balance_check_disabled {
146        tx.ensure_enough_balance(balance)?;
147    }
148
149    let effective_balance_spending = tx
150        .effective_balance_spending(basefee, blob_price)
151        .expect("effective balance is always smaller than max balance so it can't overflow");
152
153    let gas_balance_spending = effective_balance_spending - tx.value();
154
155    // new balance
156    let mut new_balance = balance.saturating_sub(gas_balance_spending);
157
158    if is_balance_check_disabled {
159        // Make sure the caller's balance is at least the value of the transaction.
160        new_balance = new_balance.max(tx.value());
161    }
162
163    Ok(new_balance)
164}
165
166/// Validates caller state and deducts transaction costs from the caller's balance.
167#[inline]
168pub fn validate_against_state_and_deduct_caller<
169    CTX: ContextTr,
170    ERROR: From<InvalidTransaction> + From<<CTX::Db as Database>::Error>,
171>(
172    context: &mut CTX,
173) -> Result<(), ERROR> {
174    let (block, tx, cfg, journal, _, _) = context.all_mut();
175
176    // Load caller's account.
177    let mut caller = journal.load_account_with_code_mut(tx.caller())?.data;
178
179    validate_account_nonce_and_code_with_components(&caller.account().info, tx, cfg)?;
180
181    let new_balance = calculate_caller_fee(*caller.balance(), tx, block, cfg)?;
182
183    caller.set_balance(new_balance);
184    if tx.kind().is_call() {
185        caller.bump_nonce();
186    }
187    Ok(())
188}
189
190/// Apply EIP-7702 auth list and return number gas refund on already created accounts.
191///
192/// Note that this function will do nothing if the transaction type is not EIP-7702.
193/// If you need to apply auth list for other transaction types, use [`apply_auth_list`] function.
194///
195/// Internally uses [`apply_auth_list`] function.
196#[inline]
197pub fn apply_eip7702_auth_list<
198    CTX: ContextTr,
199    ERROR: From<InvalidTransaction> + From<<CTX::Db as Database>::Error>,
200>(
201    context: &mut CTX,
202    init_and_floor_gas: &mut InitialAndFloorGas,
203) -> Result<u64, ERROR> {
204    let chain_id = context.cfg().chain_id();
205    let refund_per_auth = context.cfg().gas_params().tx_eip7702_auth_refund();
206    let (tx, journal) = context.tx_journal_mut();
207
208    // Return if not EIP-7702 transaction.
209    if tx.tx_type() != TransactionType::Eip7702 {
210        return Ok(0);
211    }
212    let eip7702_refund =
213        apply_auth_list::<_, ERROR>(chain_id, refund_per_auth, tx.authorization_list(), journal)?;
214
215    // EIP-8037: Split auth list refund into state gas and regular gas portions.
216    // The state gas portion is added to the reservoir after initial_state_gas deduction,
217    // matching the Python spec where set_delegation adds state refund directly to
218    // state_gas_reservoir. This ensures refunded state gas stays as reservoir gas
219    // (not regular gas), so it's not consumed on frame halt.
220    // The regular gas portion goes through the normal refund mechanism.
221    let (eip7702_state_refund, eip7702_regular_refund_raw) = context
222        .cfg()
223        .gas_params()
224        .split_eip7702_refund(eip7702_refund);
225    if eip7702_state_refund > 0 {
226        init_and_floor_gas.eip7702_reservoir_refund = eip7702_state_refund;
227    }
228
229    Ok(eip7702_regular_refund_raw)
230}
231
232/// Apply EIP-7702 style auth list and return number gas refund on already created accounts.
233///
234/// It is more granular function from [`apply_eip7702_auth_list`] function as it takes only the list, journal and chain id.
235///
236/// The `refund_per_auth` parameter specifies the gas refund per existing account authorization.
237/// By default this is `PER_EMPTY_ACCOUNT_COST - PER_AUTH_BASE_COST` (25000 - 12500 = 12500),
238/// but can be configured via [`GasParams::tx_eip7702_auth_refund`](context_interface::cfg::gas_params::GasParams::tx_eip7702_auth_refund).
239#[inline]
240pub fn apply_auth_list<
241    JOURNAL: JournalTr,
242    ERROR: From<InvalidTransaction> + From<<JOURNAL::Database as Database>::Error>,
243>(
244    chain_id: u64,
245    refund_per_auth: u64,
246    auth_list: impl Iterator<Item = impl AuthorizationTr>,
247    journal: &mut JOURNAL,
248) -> Result<u64, ERROR> {
249    let mut refunded_accounts = 0;
250    for authorization in auth_list {
251        // 1. Verify the chain id is either 0 or the chain's current ID.
252        let auth_chain_id = authorization.chain_id();
253        if !auth_chain_id.is_zero() && auth_chain_id != U256::from(chain_id) {
254            continue;
255        }
256
257        // 2. Verify the `nonce` is less than `2**64 - 1`.
258        if authorization.nonce() == u64::MAX {
259            continue;
260        }
261
262        // recover authority and authorized addresses.
263        // 3. `authority = ecrecover(keccak(MAGIC || rlp([chain_id, address, nonce])), y_parity, r, s]`
264        let Some(authority) = authorization.authority() else {
265            continue;
266        };
267
268        // warm authority account and check nonce.
269        // 4. Add `authority` to `accessed_addresses` (as defined in [EIP-2929](./eip-2929.md).)
270        let mut authority_acc = journal.load_account_with_code_mut(authority)?;
271        let authority_acc_info = &authority_acc.account().info;
272
273        // 5. Verify the code of `authority` is either empty or already delegated.
274        if let Some(bytecode) = &authority_acc_info.code {
275            // if it is not empty and it is not eip7702
276            if !bytecode.is_empty() && !bytecode.is_eip7702() {
277                continue;
278            }
279        }
280
281        // 6. Verify the nonce of `authority` is equal to `nonce`. In case `authority` does not exist in the trie, verify that `nonce` is equal to `0`.
282        if authorization.nonce() != authority_acc_info.nonce {
283            continue;
284        }
285
286        // 7. Add `PER_EMPTY_ACCOUNT_COST - PER_AUTH_BASE_COST` gas to the global refund counter if `authority` exists in the trie.
287        if !(authority_acc_info.is_empty()
288            && authority_acc
289                .account()
290                .is_loaded_as_not_existing_not_touched())
291        {
292            refunded_accounts += 1;
293        }
294
295        // 8. Set the code of `authority` to be `0xef0100 || address`. This is a delegation designation.
296        //  * As a special case, if `address` is `0x0000000000000000000000000000000000000000` do not write the designation.
297        //    Clear the accounts code and reset the account's code hash to the empty hash `0xc5d2460186f7233c927e7db2dcc703c0e500b653ca82273b7bfad8045d85a470`.
298        // 9. Increase the nonce of `authority` by one.
299        authority_acc.delegate(authorization.address());
300    }
301
302    let refunded_gas = refunded_accounts * refund_per_auth;
303
304    Ok(refunded_gas)
305}
306
307#[cfg(test)]
308mod tests {
309    use super::validate_account_nonce_and_code;
310    use context_interface::result::InvalidTransaction;
311    use state::AccountInfo;
312
313    #[test]
314    fn rejects_transactions_when_sender_nonce_is_max() {
315        let caller_info = AccountInfo {
316            nonce: u64::MAX,
317            ..AccountInfo::default()
318        };
319
320        let err = validate_account_nonce_and_code(&caller_info, u64::MAX, false, false)
321            .expect_err("nonce-max sender should be rejected before execution");
322
323        assert_eq!(err, InvalidTransaction::NonceOverflowInTransaction);
324    }
325
326    #[test]
327    fn allows_matching_non_max_nonce() {
328        let caller_info = AccountInfo {
329            nonce: 7,
330            ..AccountInfo::default()
331        };
332
333        assert!(validate_account_nonce_and_code(&caller_info, 7, false, false).is_ok());
334    }
335}