diff --git a/crates/handler/src/evm.rs b/crates/handler/src/evm.rs
index 53b893029a..2fd1eab5d7 100644
--- a/crates/handler/src/evm.rs
+++ b/crates/handler/src/evm.rs
@@ -123,7 +123,7 @@ impl<CTX, INSP, PRECOMPILES> ExecuteEvm
     for Evm<CTX, INSP, EthInstructions<EthInterpreter, CTX>, PRECOMPILES>
 where
     CTX: ContextSetters + ContextTr<Journal: JournalTr<FinalOutput = JournalOutput>>,
-    PRECOMPILES: PrecompileProvider<Context = CTX, Output = InterpreterResult>,
+    PRECOMPILES: PrecompileProvider<CTX, Output = InterpreterResult>,
 {
     type Output = Result<
         ResultAndState<HaltReason>,
@@ -141,7 +141,7 @@ impl<CTX, INSP, PRECOMPILES> ExecuteCommitEvm
 where
     CTX: ContextSetters
         + ContextTr<Journal: JournalTr<FinalOutput = JournalOutput>, Db: DatabaseCommit>,
-    PRECOMPILES: PrecompileProvider<Context = CTX, Output = InterpreterResult>,
+    PRECOMPILES: PrecompileProvider<CTX, Output = InterpreterResult>,
 {
     type CommitOutput = Result<
         ExecutionResult<HaltReason>,
diff --git a/crates/handler/src/frame.rs b/crates/handler/src/frame.rs
index 0e78ad4e43..d4e887857a 100644
--- a/crates/handler/src/frame.rs
+++ b/crates/handler/src/frame.rs
@@ -74,7 +74,7 @@ pub struct EthFrame<EVM, ERROR, IW: InterpreterTypes> {
 impl<EVM, ERROR> Frame for EthFrame<EVM, ERROR, EthInterpreter>
 where
     EVM: EvmTr<
-        Precompiles: PrecompileProvider<Context = EVM::Context, Output = InterpreterResult>,
+        Precompiles: PrecompileProvider<EVM::Context, Output = InterpreterResult>,
         Instructions: InstructionProvider<
             Context = EVM::Context,
             InterpreterTypes = EthInterpreter,
@@ -146,7 +146,7 @@ impl<EVM, ERROR> EthFrame<EVM, ERROR, EthInterpreter>
 where
     EVM: EvmTr<
         Context: ContextTr,
-        Precompiles: PrecompileProvider<Context = EVM::Context, Output = InterpreterResult>,
+        Precompiles: PrecompileProvider<EVM::Context, Output = InterpreterResult>,
         Instructions: InstructionProvider,
     >,
     ERROR: From<ContextTrDbError<EVM::Context>> + From<PrecompileError>,
@@ -514,7 +514,7 @@ impl<EVM, ERROR> EthFrame<EVM, ERROR, EthInterpreter>
 where
     EVM: EvmTr<
         Context: ContextTr,
-        Precompiles: PrecompileProvider<Context = EVM::Context, Output = InterpreterResult>,
+        Precompiles: PrecompileProvider<EVM::Context, Output = InterpreterResult>,
         Instructions: InstructionProvider<
             Context = EVM::Context,
             InterpreterTypes = EthInterpreter,
diff --git a/crates/handler/src/mainnet_builder.rs b/crates/handler/src/mainnet_builder.rs
index efd1ddd652..2ee64b64a7 100644
--- a/crates/handler/src/mainnet_builder.rs
+++ b/crates/handler/src/mainnet_builder.rs
@@ -6,7 +6,7 @@ use interpreter::interpreter::EthInterpreter;
 use primitives::hardfork::SpecId;
 
 pub type MainnetEvm<CTX, INSP = ()> =
-    Evm<CTX, INSP, EthInstructions<EthInterpreter, CTX>, EthPrecompiles<CTX>>;
+    Evm<CTX, INSP, EthInstructions<EthInterpreter, CTX>, EthPrecompiles>;
 
 pub type MainnetContext<DB> = Context<BlockEnv, TxEnv, CfgEnv, DB, Journal<DB>, ()>;
 
diff --git a/crates/handler/src/precompile_provider.rs b/crates/handler/src/precompile_provider.rs
index 608caea73f..8bded03c4d 100644
--- a/crates/handler/src/precompile_provider.rs
+++ b/crates/handler/src/precompile_provider.rs
@@ -8,64 +8,69 @@ use primitives::{hardfork::SpecId, Address, Bytes};
 use std::boxed::Box;
 
 #[auto_impl(&mut, Box)]
-pub trait PrecompileProvider {
-    type Context: ContextTr;
+pub trait PrecompileProvider<CTX: ContextTr> {
     type Output;
 
-    fn set_spec(&mut self, spec: <<Self::Context as ContextTr>::Cfg as Cfg>::Spec);
+    fn set_spec(&mut self, spec: <CTX::Cfg as Cfg>::Spec);
 
     /// Run the precompile.
     fn run(
         &mut self,
-        context: &mut Self::Context,
+        context: &mut CTX,
         address: &Address,
         bytes: &Bytes,
         gas_limit: u64,
     ) -> Result<Option<Self::Output>, PrecompileError>;
 
     /// Get the warm addresses.
-    fn warm_addresses(&self) -> Box<impl Iterator<Item = Address> + '_>;
+    fn warm_addresses(&self) -> Box<impl Iterator<Item = Address>>;
 
     /// Check if the address is a precompile.
     fn contains(&self, address: &Address) -> bool;
 }
 
-pub struct EthPrecompiles<CTX> {
+pub struct EthPrecompiles {
     pub precompiles: &'static Precompiles,
-    pub _phantom: core::marker::PhantomData<CTX>,
 }
 
-impl<CTX> Clone for EthPrecompiles<CTX> {
+impl EthPrecompiles {
+    /// Returns addresses of the precompiles.
+    pub fn warm_addresses(&self) -> Box<impl Iterator<Item = Address>> {
+        Box::new(self.precompiles.addresses().cloned())
+    }
+
+    /// Returns whether the address is a precompile.
+    pub fn contains(&self, address: &Address) -> bool {
+        self.precompiles.contains(address)
+    }
+}
+
+impl Clone for EthPrecompiles {
     fn clone(&self) -> Self {
         Self {
             precompiles: self.precompiles,
-            _phantom: core::marker::PhantomData,
         }
     }
 }
 
-impl<CTX> Default for EthPrecompiles<CTX> {
+impl Default for EthPrecompiles {
     fn default() -> Self {
         Self {
             precompiles: Precompiles::new(PrecompileSpecId::from_spec_id(SpecId::LATEST)),
-            _phantom: core::marker::PhantomData,
         }
     }
 }
 
-impl<CTX> PrecompileProvider for EthPrecompiles<CTX>
-where
-    CTX: ContextTr,
-{
-    type Context = CTX;
+impl<CTX: ContextTr> PrecompileProvider<CTX> for EthPrecompiles {
     type Output = InterpreterResult;
-    fn set_spec(&mut self, spec: <<Self::Context as ContextTr>::Cfg as Cfg>::Spec) {
+
+    fn set_spec(&mut self, spec: <CTX::Cfg as Cfg>::Spec) {
         self.precompiles = Precompiles::new(PrecompileSpecId::from_spec_id(spec.into()));
     }
 
     fn run(
         &mut self,
-        _context: &mut Self::Context,
+        _context: &mut CTX,
         address: &Address,
         bytes: &Bytes,
         gas_limit: u64,
@@ -102,10 +107,10 @@ where
     }
 
     fn warm_addresses(&self) -> Box<impl Iterator<Item = Address>> {
-        Box::new(self.precompiles.addresses().cloned())
+        self.warm_addresses()
     }
 
     fn contains(&self, address: &Address) -> bool {
-        self.precompiles.contains(address)
+        self.contains(address)
     }
 }
diff --git a/crates/inspector/src/mainnet_inspect.rs b/crates/inspector/src/mainnet_inspect.rs
index 4853d5dca1..ac493bf604 100644
--- a/crates/inspector/src/mainnet_inspect.rs
+++ b/crates/inspector/src/mainnet_inspect.rs
@@ -29,7 +29,7 @@ impl<CTX, INSP, PRECOMPILES> InspectEvm
 where
     CTX: ContextSetters + ContextTr<Journal: JournalTr<FinalOutput = JournalOutput> + JournalExt>,
     INSP: Inspector<CTX, EthInterpreter>,
-    PRECOMPILES: PrecompileProvider<Context = CTX, Output = InterpreterResult>,
+    PRECOMPILES: PrecompileProvider<CTX, Output = InterpreterResult>,
 {
     type Inspector = INSP;
 
@@ -52,7 +52,7 @@ where
     CTX: ContextSetters
         + ContextTr<Journal: JournalTr<FinalOutput = JournalOutput> + JournalExt, Db: DatabaseCommit>,
     INSP: Inspector<CTX, EthInterpreter>,
-    PRECOMPILES: PrecompileProvider<Context = CTX, Output = InterpreterResult>,
+    PRECOMPILES: PrecompileProvider<CTX, Output = InterpreterResult>,
 {
     fn inspect_commit_previous(&mut self) -> Self::CommitOutput {
         self.inspect_previous().map(|r| {
diff --git a/crates/inspector/src/traits.rs b/crates/inspector/src/traits.rs
index 3bdb5abcb2..4cdd4cbba8 100644
--- a/crates/inspector/src/traits.rs
+++ b/crates/inspector/src/traits.rs
@@ -80,7 +80,7 @@ impl<EVM, ERROR> InspectorFrame for EthFrame<EVM, ERROR, EthInterpreter>
 where
     EVM: EvmTr<
             Context: ContextTr,
-            Precompiles: PrecompileProvider<Context = EVM::Context, Output = InterpreterResult>,
+            Precompiles: PrecompileProvider<EVM::Context, Output = InterpreterResult>,
             Instructions: InstructionProvider<
                 Context = EVM::Context,
                 InterpreterTypes = EthInterpreter,
diff --git a/crates/optimism/src/api/exec.rs b/crates/optimism/src/api/exec.rs
index 7ae0d340f1..f82c4a0017 100644
--- a/crates/optimism/src/api/exec.rs
+++ b/crates/optimism/src/api/exec.rs
@@ -42,7 +42,7 @@ impl<CTX, INSP, PRECOMPILE> ExecuteEvm
     for OpEvm<CTX, INSP, EthInstructions<EthInterpreter, CTX>, PRECOMPILE>
 where
     CTX: OpContextTr,
-    PRECOMPILE: PrecompileProvider<Context = CTX, Output = InterpreterResult>,
+    PRECOMPILE: PrecompileProvider<CTX, Output = InterpreterResult>,
 {
     type Output = Result<ResultAndState<OpHaltReason>, OpError<CTX>>;
 
@@ -56,7 +56,7 @@ impl<CTX, INSP, PRECOMPILE> ExecuteCommitEvm
     for OpEvm<CTX, INSP, EthInstructions<EthInterpreter, CTX>, PRECOMPILE>
 where
     CTX: OpContextTr<Db: DatabaseCommit>,
-    PRECOMPILE: PrecompileProvider<Context = CTX, Output = InterpreterResult>,
+    PRECOMPILE: PrecompileProvider<CTX, Output = InterpreterResult>,
 {
     type CommitOutput = Result<ExecutionResult<OpHaltReason>, OpError<CTX>>;
 
@@ -73,7 +73,7 @@ impl<CTX, INSP, PRECOMPILE> InspectEvm
 where
     CTX: OpContextTr<Journal: JournalExt>,
     INSP: Inspector<CTX, EthInterpreter>,
-    PRECOMPILE: PrecompileProvider<Context = CTX, Output = InterpreterResult>,
+    PRECOMPILE: PrecompileProvider<CTX, Output = InterpreterResult>,
 {
     type Inspector = INSP;
 
@@ -92,7 +92,7 @@ impl<CTX, INSP, PRECOMPILE> InspectCommitEvm
 where
     CTX: OpContextTr<Journal: JournalExt, Db: DatabaseCommit>,
     INSP: Inspector<CTX, EthInterpreter>,
-    PRECOMPILE: PrecompileProvider<Context = CTX, Output = InterpreterResult>,
+    PRECOMPILE: PrecompileProvider<CTX, Output = InterpreterResult>,
 {
     fn inspect_commit_previous(&mut self) -> Self::CommitOutput {
         self.inspect_previous().map(|r| {
diff --git a/crates/optimism/src/evm.rs b/crates/optimism/src/evm.rs
index a08fcfa1d1..6aecd23f22 100644
--- a/crates/optimism/src/evm.rs
+++ b/crates/optimism/src/evm.rs
@@ -1,4 +1,4 @@
-use crate::precompiles::OpPrecompileProvider;
+use crate::precompiles::OpPrecompiles;
 use revm::{
     context::{setters::ContextSetters, Evm, EvmData},
     context_interface::ContextTr,
@@ -11,18 +11,16 @@ use revm::{
     },
 };
 
-pub struct OpEvm<CTX, INSP, I = EthInstructions<EthInterpreter, CTX>, P = OpPrecompileProvider<CTX>>(
+pub struct OpEvm<CTX, INSP, I = EthInstructions<EthInterpreter, CTX>, P = OpPrecompiles>(
     pub Evm<CTX, INSP, I, P>,
 );
 
-impl<CTX: Host, INSP>
-    OpEvm<CTX, INSP, EthInstructions<EthInterpreter, CTX>, OpPrecompileProvider<CTX>>
-{
+impl<CTX: Host, INSP> OpEvm<CTX, INSP, EthInstructions<EthInterpreter, CTX>, OpPrecompiles> {
     pub fn new(ctx: CTX, inspector: INSP) -> Self {
         Self(Evm {
             data: EvmData { ctx, inspector },
             instruction: EthInstructions::new_mainnet(),
-            precompiles: OpPrecompileProvider::default(),
+            precompiles: OpPrecompiles::default(),
         })
     }
 }
diff --git a/crates/optimism/src/precompiles.rs b/crates/optimism/src/precompiles.rs
index 7a3b2aaf37..8769d688dc 100644
--- a/crates/optimism/src/precompiles.rs
+++ b/crates/optimism/src/precompiles.rs
@@ -14,12 +14,12 @@ use revm::{
 use std::boxed::Box;
 
 // Optimism precompile provider
-pub struct OpPrecompileProvider<CTX> {
+pub struct OpPrecompiles {
     /// Inner precompile provider is same as Ethereums.
-    inner: EthPrecompiles<CTX>,
+    inner: EthPrecompiles,
 }
 
-impl<CTX> Clone for OpPrecompileProvider<CTX> {
+impl Clone for OpPrecompiles {
     fn clone(&self) -> Self {
         Self {
             inner: self.inner.clone(),
@@ -27,14 +27,11 @@ impl<CTX> Clone for OpPrecompileProvider<CTX> {
     }
 }
 
-impl<CTX> OpPrecompileProvider<CTX> {
-    /// Create a new [`OpPrecompileProvider`] with the given precompiles.
+impl OpPrecompiles {
+    /// Create a new [`OpPrecompiles`] with the given precompiles.
     pub fn new(precompiles: &'static Precompiles) -> Self {
         Self {
-            inner: EthPrecompiles {
-                precompiles,
-                _phantom: core::marker::PhantomData,
-            },
+            inner: EthPrecompiles { precompiles },
         }
     }
 
@@ -92,22 +89,21 @@ pub fn isthumus() -> &'static Precompiles {
     })
 }
 
-impl<CTX> PrecompileProvider for OpPrecompileProvider<CTX>
+impl<CTX> PrecompileProvider<CTX> for OpPrecompiles
 where
     CTX: ContextTr<Cfg: Cfg<Spec = OpSpecId>>,
 {
-    type Context = CTX;
     type Output = InterpreterResult;
 
     #[inline]
-    fn set_spec(&mut self, spec: <<Self::Context as ContextTr>::Cfg as Cfg>::Spec) {
+    fn set_spec(&mut self, spec: <CTX::Cfg as Cfg>::Spec) {
         *self = Self::new_with_spec(spec);
     }
 
     #[inline]
     fn run(
         &mut self,
-        context: &mut Self::Context,
+        context: &mut CTX,
         address: &Address,
         bytes: &Bytes,
         gas_limit: u64,
@@ -116,7 +112,7 @@ where
     }
 
     #[inline]
-    fn warm_addresses(&self) -> Box<impl Iterator<Item = Address> + '_> {
+    fn warm_addresses(&self) -> Box<impl Iterator<Item = Address>> {
         self.inner.warm_addresses()
     }
 
@@ -126,7 +122,7 @@ where
     }
 }
 
-impl<CTX> Default for OpPrecompileProvider<CTX> {
+impl Default for OpPrecompiles {
     fn default() -> Self {
         Self::new_with_spec(OpSpecId::ISTHMUS)
     }
diff --git a/examples/erc20_gas/src/exec.rs b/examples/erc20_gas/src/exec.rs
index c24cbde2dc..70296a7904 100644
--- a/examples/erc20_gas/src/exec.rs
+++ b/examples/erc20_gas/src/exec.rs
@@ -19,7 +19,7 @@ pub fn transact_erc20evm<EVM>(
 where
     EVM: EvmTr<
         Context: ContextTr<Journal: JournalTr<FinalOutput = JournalOutput>>,
-        Precompiles: PrecompileProvider<Context = EVM::Context, Output = InterpreterResult>,
+        Precompiles: PrecompileProvider<EVM::Context, Output = InterpreterResult>,
         Instructions: InstructionProvider<
             Context = EVM::Context,
             InterpreterTypes = EthInterpreter,
@@ -35,7 +35,7 @@ pub fn transact_erc20evm_commit<EVM>(
 where
     EVM: EvmTr<
         Context: ContextTr<Journal: JournalTr<FinalOutput = JournalOutput>, Db: DatabaseCommit>,
-        Precompiles: PrecompileProvider<Context = EVM::Context, Output = InterpreterResult>,
+        Precompiles: PrecompileProvider<EVM::Context, Output = InterpreterResult>,
         Instructions: InstructionProvider<
             Context = EVM::Context,
             InterpreterTypes = EthInterpreter,