resume vk verify in prover-bin

Author: noel2004

crates/prover-bin/src/zk_circuits_handler/euclidV2.rs

@@ -74,24 +74,24 @@ impl EuclidV2Handler {
 #[async_trait]
 impl CircuitsHandler for Arc<Mutex<EuclidV2Handler>> {
     fn get_vk(&self, task_type: ProofType) -> String {
-        self.try_lock().unwrap().get_vk_and_cache(task_type)
+        self.try_lock()
+            .expect("get vk is on called before other entry is used")
+            .get_vk_and_cache(task_type)
     }
 
     async fn get_proof_data(&self, prove_request: ProveRequest) -> Result<String> {
+        let handler_self = self.lock().await;
         let u_task: ProvingTask = serde_json::from_str(&prove_request.input)?;
-        let handler_self = self.try_lock().unwrap();
-        // current coordinator do not send vk and in fact it has been checked while login
-        // checking here is not need unless considering a malicious coordinator
-        /*        let expected_vk = handler_self.get_vk_and_cache(prove_request.proof_type);
-                if BASE64_STANDARD.encode(&u_task.vk) != expected_vk {
-                    eyre::bail!(
-                        "vk is not match!, prove type {:?}, expected {}, get {}",
-                        prove_request.proof_type,
-                        expected_vk,
-                        BASE64_STANDARD.encode(&u_task.vk),
-                    );
-                }
-        */
+        let expected_vk = handler_self.get_vk_and_cache(prove_request.proof_type);
+        if BASE64_STANDARD.encode(&u_task.vk) != expected_vk {
+            eyre::bail!(
+                "vk is not match!, prove type {:?}, expected {}, get {}",
+                prove_request.proof_type,
+                expected_vk,
+                BASE64_STANDARD.encode(&u_task.vk),
+            );
+        }
+
         let proof = match prove_request.proof_type {
             ProofType::Chunk => handler_self
                 .chunk_prover