Skip gas and balance checks for l1 message (#2)

* skip gas check

* do not check l1 msg balance

* fix fmt

* fix test

* fix clippy

---------

Co-authored-by: chengwenxi <[email protected]>

Author: chengwenxi

crates/primitives/src/env.rs

@@ -274,17 +274,30 @@ impl Env {
         // Check if account has enough balance for gas_limit*gas_price and value transfer.
         // Transfer will be done inside `*_inner` functions.
         if balance_check > account.info.balance {
-            if self.cfg.is_balance_check_disabled() {
-                // Add transaction cost to balance to ensure execution doesn't fail.
-                account.info.balance = balance_check;
-            } else {
-                return Err(InvalidTransaction::LackOfFundForMaxFee {
-                    fee: Box::new(balance_check),
-                    balance: Box::new(account.info.balance),
-                });
+            cfg_if::cfg_if! {
+                if #[cfg(not(feature = "morph"))] {
+                    if self.cfg.is_balance_check_disabled() {
+                        // Add transaction cost to balance to ensure execution doesn't fail.
+                        account.info.balance = balance_check;
+                    } else {
+                        return Err(InvalidTransaction::LackOfFundForMaxFee {
+                            fee: Box::new(balance_check),
+                            balance: Box::new(account.info.balance),
+                        });
+                    }
+                } else {
+                    if self.cfg.is_balance_check_disabled() || self.tx.morph.is_l1_msg {
+                        // Add transaction cost to balance to ensure execution doesn't fail.
+                        account.info.balance = balance_check;
+                    } else {
+                        return Err(InvalidTransaction::LackOfFundForMaxFee {
+                            fee: Box::new(balance_check),
+                            balance: Box::new(account.info.balance),
+                        });
+                    }
+                }
             }
         }
-
         Ok(())
     }
 }

crates/revm/src/handler/mainnet/validation.rs

@@ -49,7 +49,7 @@ pub fn validate_initial_tx_gas<SPEC: Spec, DB: Database>(
         .map(|l| l.len() as u64)
         .unwrap_or_default();
 
-    let initial_gas_spend = gas::validate_initial_tx_gas(
+    let mut initial_gas_spend = gas::validate_initial_tx_gas(
         SPEC::SPEC_ID,
         input,
         is_create,
@@ -59,7 +59,18 @@ pub fn validate_initial_tx_gas<SPEC: Spec, DB: Database>(
 
     // Additional check to see if limit is big enough to cover initial gas.
     if initial_gas_spend > env.tx.gas_limit {
-        return Err(InvalidTransaction::CallGasCostMoreThanGasLimit.into());
+        cfg_if::cfg_if! {
+            if #[cfg(not(feature = "morph"))] {
+                return Err(InvalidTransaction::CallGasCostMoreThanGasLimit.into());
+            } else {
+                // reset initial gas spend for l1 message to ensure execution doesn't fail
+                if env.tx.morph.is_l1_msg {
+                    initial_gas_spend = env.tx.gas_limit
+                } else {
+                    return Err(InvalidTransaction::CallGasCostMoreThanGasLimit.into());
+                }
+            }
+        }
     }
     Ok(initial_gas_spend)
 }