Skip to content

Commit 8d402dd

Browse files
committed
resume missed commition
1 parent f19e3b1 commit 8d402dd

File tree

1 file changed

+12
-10
lines changed

1 file changed

+12
-10
lines changed

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

Lines changed: 12 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -80,16 +80,18 @@ impl CircuitsHandler for Arc<Mutex<EuclidV2Handler>> {
8080
async fn get_proof_data(&self, prove_request: ProveRequest) -> Result<String> {
8181
let u_task: ProvingTask = serde_json::from_str(&prove_request.input)?;
8282
let handler_self = self.try_lock().unwrap();
83-
let expected_vk = handler_self.get_vk_and_cache(prove_request.proof_type);
84-
if BASE64_STANDARD.encode(&u_task.vk) != expected_vk {
85-
eyre::bail!(
86-
"vk is not match!, prove type {:?}, expected {}, get {}",
87-
prove_request.proof_type,
88-
expected_vk,
89-
BASE64_STANDARD.encode(&u_task.vk),
90-
);
91-
}
92-
83+
// current coordinator do not send vk and in fact it has been checked while login
84+
// checking here is not need unless considering a malicious coordinator
85+
/* let expected_vk = handler_self.get_vk_and_cache(prove_request.proof_type);
86+
if BASE64_STANDARD.encode(&u_task.vk) != expected_vk {
87+
eyre::bail!(
88+
"vk is not match!, prove type {:?}, expected {}, get {}",
89+
prove_request.proof_type,
90+
expected_vk,
91+
BASE64_STANDARD.encode(&u_task.vk),
92+
);
93+
}
94+
*/
9395
let proof = match prove_request.proof_type {
9496
ProofType::Chunk => handler_self
9597
.chunk_prover

0 commit comments

Comments
 (0)