[FIX] For testing chunk with witness from TRACE_PATH, read new witness format by default

Cargo.toml

@@ -60,7 +60,9 @@ openvm-rv32im-transpiler = { git = "https://github.com/openvm-org/openvm.git", t
 openvm-sdk = { git = "https://github.com/openvm-org/openvm.git", tag = "v1.4.0", default-features = false, features = [
   "parallel",
   "evm-prove",
-  "legacy-v1-3",
+  "legacy-v1-3-evm-verifier",
+  "tco",
+  "unprotected"
 ] }
 openvm-transpiler = { git = "https://github.com/openvm-org/openvm.git", tag = "v1.4.0", default-features = false }
 
@@ -115,7 +117,7 @@ metrics-util = "0.17"
 metrics-tracing-context = "0.16.0"
 rayon = "1.10"
 rkyv = "0.8"
-revm = "27"
+revm = "29"
 serde = { version = "1", default-features = false, features = ["derive"] }
 serde_json = { version = "1.0" }
 serde_with = "3.11.0"

crates/circuits/batch-circuit/batch_exe_commit.rs

@@ -1,4 +1,4 @@
 #![cfg_attr(rustfmt, rustfmt_skip)]
 //! Generated by crates/build-guest. DO NOT EDIT!
 
-pub const COMMIT: [u32; 8] = [201161368, 1899692875, 57302023, 1414522389, 1405245774, 311196883, 1031375563, 825047078];
+pub const COMMIT: [u32; 8] = [1796682385, 1339993820, 664444028, 812826792, 544118065, 1714145018, 1899701647, 263762459];

crates/circuits/bundle-circuit/bundle_exe_commit.rs

@@ -1,4 +1,4 @@
 #![cfg_attr(rustfmt, rustfmt_skip)]
 //! Generated by crates/build-guest. DO NOT EDIT!
 
-pub const COMMIT: [u32; 8] = [589856849, 1330820623, 1180137266, 797671778, 1377139448, 1156052132, 970605334, 1284715685];
+pub const COMMIT: [u32; 8] = [1213809926, 1592275397, 1843329070, 307702057, 1338236482, 1183564818, 106553978, 1130035027];

crates/circuits/chunk-circuit/chunk_exe_commit.rs

@@ -1,4 +1,4 @@
 #![cfg_attr(rustfmt, rustfmt_skip)]
 //! Generated by crates/build-guest. DO NOT EDIT!
 
-pub const COMMIT: [u32; 8] = [1615126210, 1540966639, 404437747, 340105966, 608371960, 557102463, 127181758, 1302678923];
+pub const COMMIT: [u32; 8] = [161741782, 960627702, 686976134, 973402919, 466148582, 1021890835, 535979968, 123379212];

crates/integration/src/testers/chunk.rs

@@ -37,11 +37,16 @@ where
         println!("File not found: {:?}", path_witness.as_ref());
         return Err(eyre::eyre!("File not found: {:?}", path_witness.as_ref()));
     }
-    let witness = File::open(path_witness)?;
-    Ok(BlockWitness::from(serde_json::from_reader::<
-        _,
-        sbv_primitives::legacy_types::BlockWitness,
-    >(witness)?))
+
+    if let Ok(ret) = serde_json::from_reader::<_, BlockWitness>(File::open(&path_witness)?) {
+        Ok(ret)
+    } else {
+        let witness = File::open(path_witness)?;
+        Ok(BlockWitness::from(serde_json::from_reader::<
+            _,
+            sbv_primitives::legacy_types::BlockWitness,
+        >(witness)?))
+    }
 }
 
 pub struct ChunkProverTester;

crates/prover/src/prover/mod.rs

@@ -79,7 +79,7 @@ impl Prover {
             let segmentation_limits =
                 &mut app_config.app_vm_config.system.config.segmentation_limits;
             segmentation_limits.max_trace_height = segment_len as u32;
-            segmentation_limits.max_cells = 700_000_000_usize; // For 24G vram
+            segmentation_limits.max_cells = 1_200_000_000_usize; // For 24G vram
 
             let sdk = Sdk::new(app_config).expect("sdk init failed");
             // 45s for first time

crates/prover/src/utils/vm.rs

@@ -33,8 +33,8 @@ pub fn execute_guest(
     let state = instance
         .execute(stdin.clone(), None)
         .map_err(|e| Error::GenProof(e.to_string()))?;
-    let final_memory = state.memory;
     let total_cycle = state.instret;
+    let final_memory = state.memory;
 
     let public_values: Vec<u8> =
         extract_public_values(vm_config.as_ref().num_public_values, &final_memory.memory);