Fix replay use fallback

cmd/ef_tests/blockchain/test_runner.rs

@@ -418,7 +418,7 @@ async fn re_run_stateless(
 
     let program_input = ProgramInput {
         blocks,
-        db: witness,
+        db: ethrex_vm::prover_db::WitnessProof::Witness(witness),
         elasticity_multiplier: ethrex_common::types::ELASTICITY_MULTIPLIER,
         ..Default::default()
     };

cmd/ethrex_replay/Cargo.toml

@@ -9,7 +9,12 @@ ethrex-common.workspace = true
 ethrex-vm.workspace = true
 ethrex-levm.workspace = true
 ethrex-rpc.workspace = true
+ethrex-p2p.workspace = true
+ethrex-storage.workspace = true
+ethrex-trie.workspace = true
+ethrex-rlp.workspace = true
 
+ethrex-l2 = { path = "../../crates/l2", default-features = false }
 zkvm_interface = { path = "../../crates/l2/prover/zkvm/interface", default-features = false }
 ethrex-prover = { path = "../../crates/l2/prover", default-features = false }
 
@@ -24,12 +29,17 @@ eyre.workspace = true
 tokio = { version = "1.21", default-features = false, features = ["full"] }
 clap.workspace = true
 charming = { version = "0.4.0", features = ["ssr"] }
+lazy_static.workspace = true
+bytes.workspace = true
+again = "0.1.2"
+futures-util = "0.3.31"
+tokio-utils = "0.1.2"
 
 
 [features]
 risc0 = ["zkvm_interface/risc0", "ethrex-prover/risc0"]
 sp1 = ["zkvm_interface/sp1", "ethrex-prover/sp1"]
 gpu = ["ethrex-prover/gpu"]
-l2 = ["zkvm_interface/l2", "ethrex-prover/l2"]
+l2 = ["zkvm_interface/l2", "ethrex-prover/l2", "ethrex-l2/l2"]
 profiling = ["ethrex-prover/profiling"]
 ci = []

cmd/ethrex_replay/src/cache.rs

@@ -1,5 +1,6 @@
+use ethrex_common::types::Block;
 use ethrex_common::types::blobs_bundle;
-use ethrex_common::types::{Block, block_execution_witness::ExecutionWitnessResult};
+use ethrex_vm::prover_db::WitnessProof;
 use serde::{Deserialize, Serialize};
 use serde_with::serde_as;
 use std::{
@@ -19,17 +20,17 @@ pub struct L2Fields {
 #[derive(Serialize, Deserialize)]
 pub struct Cache {
     pub blocks: Vec<Block>,
-    pub witness: ExecutionWitnessResult,
+    pub proof: WitnessProof,
     #[serde(skip_serializing_if = "Option::is_none")]
     #[serde(flatten)]
     pub l2_fields: Option<L2Fields>,
 }
 
 impl Cache {
-    pub fn new(blocks: Vec<Block>, witness: ExecutionWitnessResult) -> Self {
+    pub fn new(blocks: Vec<Block>, proof: WitnessProof) -> Self {
         Self {
             blocks,
-            witness,
+            proof,
             l2_fields: None,
         }
     }