fix(op): skip validation on deposit tx (#1065)

* fix(op): skip validation on deposit tx

* compile it

crates/revm/src/optimism.rs

@@ -5,6 +5,6 @@ mod l1block;
 
 pub use handler_register::{
     deduct_caller, end, last_frame_return, load_accounts, optimism_handle_register, output,
-    reward_beneficiary, validate_env,
+    reward_beneficiary, validate_env, validate_tx_against_state,
 };
 pub use l1block::{L1BlockInfo, BASE_FEE_RECIPIENT, L1_BLOCK_CONTRACT, L1_FEE_RECIPIENT};

crates/revm/src/optimism/handler_register.rs

@@ -20,6 +20,8 @@ pub fn optimism_handle_register<DB: Database, EXT>(handler: &mut EvmHandler<'_,
     spec_to_generic!(handler.cfg.spec_id, {
         // validate environment
         handler.validation.env = Arc::new(validate_env::<SPEC, DB>);
+        // Validate transaction against state.
+        handler.validation.tx_against_state = Arc::new(validate_tx_against_state::<SPEC, EXT, DB>);
         // load l1 data
         handler.pre_execution.load_accounts = Arc::new(load_accounts::<SPEC, EXT, DB>);
         // An estimated batch cost is charged from the caller and added to L1 Fee Vault.
@@ -52,6 +54,16 @@ pub fn validate_env<SPEC: Spec, DB: Database>(env: &Env) -> Result<(), EVMError<
     Ok(())
 }
 
+/// Don not perform any extra validation for deposit transactions, they are pre-verified on L1.
+pub fn validate_tx_against_state<SPEC: Spec, EXT, DB: Database>(
+    context: &mut Context<EXT, DB>,
+) -> Result<(), EVMError<DB::Error>> {
+    if context.evm.env.tx.optimism.source_hash.is_some() {
+        return Ok(());
+    }
+    mainnet::validate_tx_against_state::<SPEC, EXT, DB>(context)
+}
+
 /// Handle output of the transaction
 #[inline]
 pub fn last_frame_return<SPEC: Spec, EXT, DB: Database>(