feat: debug_executionWitness support (#147)

* feat: refactor RpcDb to prepare another impl with ExecutionWitness

* feat: add a feature to fetch the state using execution witness

* fix: remaining todos

* feat: enable `execution-witness` feature on eth proofs

* revert: enable `execution-witness` feature on eth proofs

This reverts commit fdfb12c.

Author: leruaa

Cargo.lock

@@ -90,6 +90,7 @@ revm-primitives = { version = "20.0.0", features = [
 ], default-features = false }
 revm-interpreter = { version = "22.0.1", default-features = false }
 revm-precompile = { version = "23.0.0", default-features = false }
+revm-database = { version = "6.0.0", default-features = false }
 revm-database-interface = { version = "6.0.0", default-features = false }
 op-revm = { version = "7.0.1", default-features = false }
 
@@ -106,6 +107,7 @@ alloy-provider = { version = "1.0.13", default-features = false, features = [
 alloy-rpc-types = { version = "1.0.13", default-features = false, features = [
     "eth",
 ] }
+alloy-rpc-types-debug = { version = "1.0.13", default-features = false }
 
 alloy-json-rpc = { version = "1.0.13", default-features = false }
 alloy-genesis = { version = "1.0.13", default-features = false }

Cargo.toml

@@ -14,7 +14,7 @@ use reth_primitives_traits::{NodePrimitives, RecoveredBlock, SealedHeader};
 pub trait IntoPrimitives<N: Network>: NodePrimitives {
     fn into_primitive_block(block: N::BlockResponse) -> Self::Block;
 
-    fn into_consensus_header(block: N::BlockResponse) -> Header;
+    fn into_consensus_header(header: N::HeaderResponse) -> Header;
 }
 
 pub trait FromInput: NodePrimitives {
@@ -52,8 +52,8 @@ impl IntoPrimitives<Ethereum> for EthPrimitives {
         block.into_consensus()
     }
 
-    fn into_consensus_header(block: alloy_rpc_types::Block) -> Header {
-        block.header.into()
+    fn into_consensus_header(header: alloy_rpc_types::Header) -> Header {
+        header.into()
     }
 }
 
@@ -123,10 +123,8 @@ impl IntoPrimitives<op_alloy_network::Optimism> for reth_optimism_primitives::Op
         block.into_consensus()
     }
 
-    fn into_consensus_header(
-        block: alloy_rpc_types::Block<op_alloy_rpc_types::Transaction>,
-    ) -> Header {
-        block.header.into()
+    fn into_consensus_header(header: alloy_rpc_types::Header) -> Header {
+        header.into()
     }
 }
 

bin/client-op/Cargo.lock

@@ -24,7 +24,7 @@ either = "1.13.0"
 # workspace
 rsp-rpc-db.workspace = true
 rsp-client-executor = { workspace = true, features = ["optimism"] }
-rsp-mpt = { workspace = true, features = ["preimage_context"] }
+rsp-mpt = { workspace = true }
 rsp-primitives = { workspace = true, features = ["optimism"] }
 
 # sp1
@@ -40,7 +40,6 @@ reth-optimism-primitives.workspace = true
 reth-ethereum-primitives.workspace = true
 reth-primitives-traits  = { workspace = true, features = ["secp256k1"] }
 reth-trie.workspace = true
-reth-execution-types.workspace = true
 reth-errors.workspace = true
 reth-chainspec.workspace = true
 
@@ -71,4 +70,8 @@ bincode = "1.3.3"
 dotenv = "0.15.0"
 
 [features]
-alerting = ["dep:reqwest"]
+alerting = ["dep:reqwest"]
+execution-witness = [
+    "rsp-mpt/execution-witness",
+    "rsp-rpc-db/execution-witness",
+]