fix: chunk task deserialisation from prove request input (#1620)

Author: roynalnaruto

zkvm-prover/src/zk_circuits_handler/euclid.rs

@@ -24,18 +24,33 @@ impl EuclidHandler {
         let cache_dir = workspace_path.join("cache");
         let chunk_exe = workspace_path.join("chunk/app.vmexe");
         let chunk_app_config = workspace_path.join("chunk/openvm.toml");
-        let chunk_prover = ChunkProver::setup(chunk_exe, chunk_app_config, Some(cache_dir.clone()))
-            .expect("Failed to setup chunk prover");
+        let chunk_prover = ChunkProver::setup(
+            chunk_exe,
+            chunk_app_config,
+            Some(cache_dir.clone()),
+            Default::default(),
+        )
+        .expect("Failed to setup chunk prover");
 
         let batch_exe = workspace_path.join("batch/app.vmexe");
         let batch_app_config = workspace_path.join("batch/openvm.toml");
-        let batch_prover = BatchProver::setup(batch_exe, batch_app_config, Some(cache_dir.clone()))
-            .expect("Failed to setup batch prover");
+        let batch_prover = BatchProver::setup(
+            batch_exe,
+            batch_app_config,
+            Some(cache_dir.clone()),
+            Default::default(),
+        )
+        .expect("Failed to setup batch prover");
 
         let bundle_exe = workspace_path.join("bundle/app.vmexe");
         let bundle_app_config = workspace_path.join("bundle/openvm.toml");
-        let bundle_prover = BundleProver::setup(bundle_exe, bundle_app_config, Some(cache_dir))
-            .expect("Failed to setup bundle prover");
+        let bundle_prover = BundleProver::setup(
+            bundle_exe,
+            bundle_app_config,
+            Some(cache_dir),
+            Default::default(),
+        )
+        .expect("Failed to setup bundle prover");
 
         Self {
             chunk_prover,
@@ -59,16 +74,8 @@ impl CircuitsHandler for Arc<Mutex<EuclidHandler>> {
     async fn get_proof_data(&self, prove_request: ProveRequest) -> Result<String> {
         match prove_request.proof_type {
             ProofType::Chunk => {
-                let witnesses: Vec<sbv_primitives::types::BlockWitness> =
-                    serde_json::from_str(&prove_request.input)?;
-
-                let proof = self
-                    .try_lock()
-                    .unwrap()
-                    .chunk_prover
-                    .gen_proof(&ChunkProvingTask {
-                        block_witnesses: witnesses,
-                    })?;
+                let task: ChunkProvingTask = serde_json::from_str(&prove_request.input)?;
+                let proof = self.try_lock().unwrap().chunk_prover.gen_proof(&task)?;
 
                 Ok(serde_json::to_string(&proof)?)
             }