perf(l1): disable balance check for prewarming to avoid early reverts

CHANGELOG.md

@@ -2,6 +2,10 @@
 
 ## Perf
 
+### 2026-02-25
+
+- Disable balance check for prewarming to avoid early reverts [#6259](https://github.com/lambdaclass/ethrex/pull/6259)
+
 ### 2026-02-24
 
 - Expand fast-path dispatch in LEVM interpreter loop [#6245](https://github.com/lambdaclass/ethrex/pull/6245)

crates/vm/backends/levm/mod.rs

@@ -235,6 +235,7 @@ impl LEVM {
                 db,
                 vm_type,
                 &mut shared_stack_pool,
+                false,
             )?;
             if queue_length.load(Ordering::Relaxed) == 0 && tx_since_last_flush > 5 {
                 LEVM::send_state_transitions_tx(&merkleizer, db, queue_length)?;
@@ -353,6 +354,7 @@ impl LEVM {
                         &mut group_db,
                         vm_type,
                         stack_pool,
+                        true,
                     );
                 }
             },
@@ -483,6 +485,7 @@ impl LEVM {
             difficulty: block_header.difficulty,
             is_privileged: matches!(tx, Transaction::PrivilegedL2Transaction(_)),
             fee_token: tx.fee_token(),
+            disable_balance_check: false,
         };
 
         Ok(env)
@@ -515,8 +518,10 @@ impl LEVM {
         db: &mut GeneralizedDatabase,
         vm_type: VMType,
         stack_pool: &mut Vec<Stack>,
+        disable_balance_check: bool,
     ) -> Result<ExecutionReport, EvmError> {
-        let env = Self::setup_env(tx, tx_sender, block_header, db, vm_type)?;
+        let mut env = Self::setup_env(tx, tx_sender, block_header, db, vm_type)?;
+        env.disable_balance_check = disable_balance_check;
         let mut vm = VM::new(env, db, tx, LevmCallTracer::disabled(), vm_type)?;
 
         std::mem::swap(&mut vm.stack_pool, stack_pool);
@@ -1006,6 +1011,7 @@ fn env_from_generic(
         difficulty: header.difficulty,
         is_privileged: false,
         fee_token: tx.fee_token,
+        disable_balance_check: false,
     })
 }
 

crates/vm/levm/src/environment.rs

@@ -41,6 +41,9 @@ pub struct Environment {
     pub block_gas_limit: u64,
     pub is_privileged: bool,
     pub fee_token: Option<Address>,
+    /// When true, skip balance deduction in `deduct_caller`. Used by the prewarmer
+    /// to avoid early reverts on insufficient balance so that warming touches more storage.
+    pub disable_balance_check: bool,
 }
 
 /// This struct holds special configuration variables specific to the

crates/vm/levm/src/hooks/default_hook.rs

@@ -488,6 +488,10 @@ pub fn validate_gas_allowance(vm: &mut VM<'_>) -> Result<(), TxValidationError>
 }
 
 pub fn validate_sender_balance(vm: &mut VM<'_>, sender_balance: U256) -> Result<(), VMError> {
+    if vm.env.disable_balance_check {
+        return Ok(());
+    }
+
     // Up front cost is the maximum amount of wei that a user is willing to pay for. Gaslimit * gasprice + value + blob_gas_cost
     let value = vm.current_call_frame.msg_value;
 
@@ -523,6 +527,10 @@ pub fn deduct_caller(
     gas_limit_price_product: U256,
     sender_address: Address,
 ) -> Result<(), VMError> {
+    if vm.env.disable_balance_check {
+        return Ok(());
+    }
+
     // Up front cost is the maximum amount of wei that a user is willing to pay for. Gaslimit * gasprice + value + blob_gas_cost
     let value = vm.current_call_frame.msg_value;
 

test/tests/levm/eip7708_tests.rs

@@ -200,6 +200,7 @@ impl TestBuilder {
             block_gas_limit: GAS_LIMIT * 2,
             is_privileged: false,
             fee_token: None,
+            disable_balance_check: false,
         };
 
         let tx = Transaction::EIP1559Transaction(EIP1559Transaction {

tooling/ef_tests/state/runner/levm_runner.rs

@@ -222,6 +222,7 @@ pub fn prepare_vm_for_tx<'a>(
             block_gas_limit: test.env.current_gas_limit,
             is_privileged: false,
             fee_token: None,
+            disable_balance_check: false,
         },
         db,
         &tx,

tooling/ef_tests/state_v2/src/modules/runner.rs

@@ -142,6 +142,7 @@ pub fn get_vm_env_for_test(
         block_gas_limit: test_env.current_gas_limit,
         is_privileged: false,
         fee_token: None,
+        disable_balance_check: false,
     })
 }