WIP: Adding a script to fetch data from a RPC provider & then verify the EVM STF inside a zkVM program

Cargo.toml

@@ -93,6 +93,7 @@ members = [
     "testing/ef-tests/",
     "testing/testing-utils",
     "testing/zkvm",
+    "testing/zkvm-script"
 ]
 default-members = ["bin/reth"]
 
@@ -300,13 +301,14 @@ alloy-rpc-types-beacon = { git = "https://github.com/alloy-rs/alloy", rev = "f1d
 alloy-genesis = { git = "https://github.com/alloy-rs/alloy", rev = "f1d7085" }
 alloy-node-bindings = { git = "https://github.com/alloy-rs/alloy", rev = "f1d7085" }
 alloy-provider = { git = "https://github.com/alloy-rs/alloy", rev = "f1d7085", default-features = false, features = [
-    "reqwest",
+    "reqwest"
 ] }
 alloy-eips = { git = "https://github.com/alloy-rs/alloy", default-features = false, rev = "f1d7085" }
 alloy-signer = { git = "https://github.com/alloy-rs/alloy", rev = "f1d7085" }
 alloy-signer-wallet = { git = "https://github.com/alloy-rs/alloy", rev = "f1d7085" }
 alloy-network = { git = "https://github.com/alloy-rs/alloy", rev = "f1d7085" }
 alloy-consensus = { git = "https://github.com/alloy-rs/alloy", rev = "f1d7085" }
+alloy-transport-http = { git = "https://github.com/alloy-rs/alloy", rev = "f1d7085" }
 
 # misc
 auto_impl = "1"

crates/storage/provider/src/providers/state/latest.rs

@@ -15,6 +15,8 @@ use reth_primitives::{
 use reth_trie::{proof::Proof, updates::TrieUpdates, HashedPostState};
 use revm::db::BundleState;
 
+// TODO: impl StateProviderRef::new(alloy_provider::Provider)
+
 /// State provider over latest state that takes tx reference.
 #[derive(Debug)]
 pub struct LatestStateProviderRef<'b, TX: DbTx> {