feat: Optimism execution changes

crates/interpreter/Cargo.toml

@@ -59,3 +59,4 @@ arbitrary = [
     "dep:proptest-derive",
     "revm-primitives/arbitrary",
 ]
+optimism = ["revm-primitives/optimism"]

crates/interpreter/src/instructions/opcode.rs

@@ -924,5 +924,15 @@ pub const fn spec_opcode_gas(spec_id: SpecId) -> &'static [OpInfo; 256] {
             gas_opcodee!(LATEST, SpecId::LATEST);
             LATEST
         }
+        #[cfg(feature = "optimism")]
+        SpecId::BEDROCK => {
+            gas_opcodee!(BEDROCK, SpecId::BEDROCK);
+            BEDROCK
+        }
+        #[cfg(feature = "optimism")]
+        SpecId::REGOLITH => {
+            gas_opcodee!(REGOLITH, SpecId::REGOLITH);
+            REGOLITH
+        }
     }
 }

crates/precompile/Cargo.toml

@@ -31,3 +31,4 @@ default = ["secp256k1"]
 # Only problem that it has, it fails to build for wasm target on windows and mac as it is c lib.
 # If you dont require wasm on win/mac, i would recommend its usage.
 secp256k1 = ["dep:secp256k1"]
+optimism = ["revm-primitives/optimism"]

crates/precompile/src/lib.rs

@@ -109,6 +109,8 @@ impl SpecId {
                 Self::BERLIN
             }
             LATEST => Self::LATEST,
+            #[cfg(feature = "optimism")]
+            BEDROCK | REGOLITH => Self::LATEST,
         }
     }
 

crates/primitives/Cargo.toml

@@ -89,3 +89,4 @@ arbitrary = [
     "dep:proptest-derive",
     "bitflags/arbitrary",
 ]
+optimism = []

crates/primitives/src/env.rs

@@ -45,6 +45,14 @@ pub struct TxEnv {
     pub chain_id: Option<u64>,
     pub nonce: Option<u64>,
     pub access_list: Vec<(B160, Vec<U256>)>,
+    #[cfg(feature = "optimism")]
+    pub source_hash: Option<B256>,
+    #[cfg(feature = "optimism")]
+    pub mint: Option<u128>,
+    #[cfg(feature = "optimism")]
+    pub is_system_transaction: Option<bool>,
+    #[cfg(feature = "optimism")]
+    pub l1_cost: Option<U256>,
 }
 
 #[derive(Clone, Debug)]
@@ -122,6 +130,10 @@ pub struct CfgEnv {
     /// This is useful for testing method calls with zero gas price.
     #[cfg(feature = "optional_no_base_fee")]
     pub disable_base_fee: bool,
+    /// Enables Optimism's execution changes for deposit transactions and fee
+    /// collection.
+    #[cfg(feature = "optimism")]
+    pub optimism: bool,
 }
 
 impl CfgEnv {
@@ -174,6 +186,16 @@ impl CfgEnv {
     pub fn is_block_gas_limit_disabled(&self) -> bool {
         false
     }
+
+    #[cfg(feature = "optimism")]
+    pub fn is_optimism(&self) -> bool {
+        self.optimism
+    }
+
+    #[cfg(not(feature = "optimism"))]
+    pub fn is_optimism(&self) -> bool {
+        false
+    }
 }
 
 #[derive(Clone, Default, Debug, Eq, PartialEq)]
@@ -205,6 +227,8 @@ impl Default for CfgEnv {
             disable_gas_refund: false,
             #[cfg(feature = "optional_no_base_fee")]
             disable_base_fee: false,
+            #[cfg(feature = "optimism")]
+            optimism: false,
         }
     }
 }
@@ -236,6 +260,14 @@ impl Default for TxEnv {
             chain_id: None,
             nonce: None,
             access_list: Vec::new(),
+            #[cfg(feature = "optimism")]
+            source_hash: None,
+            #[cfg(feature = "optimism")]
+            mint: None,
+            #[cfg(feature = "optimism")]
+            is_system_transaction: None,
+            #[cfg(feature = "optimism")]
+            l1_cost: None,
         }
     }
 }
@@ -331,6 +363,13 @@ impl Env {
             return Err(InvalidTransaction::RejectCallerWithCode);
         }
 
+        // On Optimism, deposit transactions do not have verification on the nonce
+        // nor the balance of the account.
+        #[cfg(feature = "optimism")]
+        if self.cfg.optimism && self.tx.source_hash.is_some() {
+            return Ok(());
+        }
+
         // Check that the transaction's nonce is correct
         if let Some(tx) = self.tx.nonce {
             let state = account.info.nonce;

crates/primitives/src/result.rs

@@ -183,6 +183,8 @@ pub enum InvalidTransaction {
     /// Access list is not supported is not supported
     /// for blocks before Berlin hardfork.
     AccessListNotSupported,
+    #[cfg(feature = "optimism")]
+    DepositSystemTxPostRegolith,
 }
 
 /// When transaction return successfully without halts.

crates/primitives/src/specification.rs

@@ -25,6 +25,10 @@ pub enum SpecId {
     SHANGHAI = 16,
     CANCUN = 17,
     LATEST = 18,
+    #[cfg(feature = "optimism")]
+    BEDROCK = 128,
+    #[cfg(feature = "optimism")]
+    REGOLITH = 129,
 }
 
 impl SpecId {
@@ -52,6 +56,10 @@ impl From<&str> for SpecId {
             "Merge" => SpecId::MERGE,
             "Shanghai" => SpecId::SHANGHAI,
             "Cancun" => SpecId::CANCUN,
+            #[cfg(feature = "optimism")]
+            "Bedrock" => SpecId::BEDROCK,
+            #[cfg(feature = "optimism")]
+            "Regolith" => SpecId::REGOLITH,
             _ => SpecId::LATEST,
         }
     }
@@ -69,6 +77,17 @@ pub trait Spec: Sized {
 
     #[inline(always)]
     fn enabled(spec_id: SpecId) -> bool {
+        // Optimism's Bedrock and Regolith hardforks implement changes on top of the Merge
+        // hardfork. This function is modified to preserve the original behavior of the
+        // spec IDs without having to put hardforks past Merge under
+        // `#[cfg(not(feature = "optimism"))]`.
+        #[cfg(feature = "optimism")]
+        if (Self::SPEC_ID == SpecId::BEDROCK || Self::SPEC_ID == SpecId::REGOLITH)
+            && spec_id > SpecId::MERGE
+        {
+            return false;
+        }
+
         Self::SPEC_ID as u8 >= spec_id as u8
     }
 }
@@ -103,3 +122,9 @@ spec!(MERGE, MergeSpec);
 spec!(SHANGHAI, ShanghaiSpec);
 spec!(CANCUN, CancunSpec);
 spec!(LATEST, LatestSpec);
+
+// Optimism Hardforks
+#[cfg(feature = "optimism")]
+spec!(BEDROCK, BedrockSpec);
+#[cfg(feature = "optimism")]
+spec!(REGOLITH, RegolithSpec);

crates/revm/Cargo.toml

@@ -15,6 +15,8 @@ revm-interpreter = { path = "../interpreter", version = "1.1.2", default-feature
 
 #misc
 auto_impl = { version = "1.1", default-features = false }
+once_cell = "1.18.0"
+bytes = "1.4.0"
 
 # Optional
 serde = { version = "1.0", features = ["derive", "rc"], optional = true }
@@ -65,6 +67,7 @@ arbitrary = ["revm-interpreter/arbitrary"]
 # deprecated feature
 web3db = []
 with-serde = []
+optimism = ["revm-interpreter/optimism", "revm-precompile/optimism"]
 
 [[example]]
 name = "fork_ref_transact"

crates/revm/src/evm.rs

@@ -239,6 +239,8 @@ pub fn to_precompile_id(spec_id: SpecId) -> revm_precompile::SpecId {
         | SpecId::SHANGHAI
         | SpecId::CANCUN
         | SpecId::LATEST => revm_precompile::SpecId::BERLIN,
+        #[cfg(feature = "optimism")]
+        SpecId::BEDROCK | SpecId::REGOLITH => revm_precompile::SpecId::BERLIN,
     }
 }
 
@@ -264,5 +266,9 @@ pub fn evm_inner<'a, DB: Database, const INSPECT: bool>(
         SpecId::SHANGHAI => create_evm!(ShanghaiSpec, db, env, insp),
         SpecId::CANCUN => create_evm!(CancunSpec, db, env, insp),
         SpecId::LATEST => create_evm!(LatestSpec, db, env, insp),
+        #[cfg(feature = "optimism")]
+        SpecId::BEDROCK => create_evm!(BedrockSpec, db, env, insp),
+        #[cfg(feature = "optimism")]
+        SpecId::REGOLITH => create_evm!(RegolithSpec, db, env, insp),
     }
 }