Skip to content

Commit 17c692c

Browse files
committed
fix: remove gen validation check
1 parent bcb3cf4 commit 17c692c

File tree

2 files changed

+12
-25
lines changed

2 files changed

+12
-25
lines changed

zkvm_execution_layer/src/dummy_proof_gen.rs

Lines changed: 8 additions & 20 deletions
Original file line numberDiff line numberDiff line change
@@ -1,11 +1,9 @@
1-
use crate::ethproofs_demo::{
2-
download_proof_binary, fetch_proof_from_ethproofs, validate_proof, VERIFIER_STORE,
3-
};
1+
use crate::ethproofs_demo::{download_proof_binary, fetch_proof_from_ethproofs, VERIFIER_STORE};
42
use crate::proof_generation::{ProofGenerationError, ProofGenerationResult, ProofGenerator};
53
use async_trait::async_trait;
64
use std::time::Duration;
75
use tokio::time::sleep;
8-
use tracing::{info, warn};
6+
use tracing::{debug, info};
97
use types::{ExecutionBlockHash, ExecutionProof, ExecutionProofId, Hash256, Slot};
108

119
/// TODO(ethproofs): Implementation of proof generation for demo.
@@ -83,7 +81,7 @@ impl ProofGenerator for DummyProofGenerator {
8381
let prover_uuid = match VERIFIER_STORE.get_prover_uuid_for_proof_id(self.proof_id) {
8482
Some(uuid) => uuid,
8583
None => {
86-
warn!(
84+
debug!(
8785
proof_id = %self.proof_id,
8886
"[Ethproofs] No prover UUID mapping found, cannot query API"
8987
);
@@ -96,7 +94,6 @@ impl ProofGenerator for DummyProofGenerator {
9694
info!(
9795
proof_id = %self.proof_id,
9896
slot = %slot,
99-
block_hash = %payload_hash,
10097
"[Ethproofs] Starting proof generation"
10198
);
10299

@@ -117,46 +114,37 @@ impl ProofGenerator for DummyProofGenerator {
117114
proof_binary,
118115
) {
119116
Ok(proof) => {
120-
info!(
121-
proof_id = proof_entry.proof_id,
122-
cluster_id = %proof_entry.cluster_id,
123-
"[Ethproofs] Proof verification check"
124-
);
125-
126-
if validate_proof(&proof) {
127-
return Ok(proof);
128-
}
117+
return Ok(proof);
129118
}
130119
Err(_) => {
131120
// Proof structure creation failed, will fallback below
132121
}
133122
}
134123
}
135124
Err(e) => {
136-
warn!(
125+
debug!(
137126
proof_id = proof_entry.proof_id,
138127
error = %e,
139128
"[Ethproofs] Failed to download proof"
140129
);
141130
}
142131
}
143132
} else {
144-
warn!(
133+
debug!(
145134
proof_id = %self.proof_id,
146135
"[Ethproofs] No proofs returned from API"
147136
);
148137
}
149138

150-
// Fall back to dummy proof if we get here
151-
info!(
139+
debug!(
152140
proof_id = %self.proof_id,
153141
block_hash = %payload_hash,
154142
"[Ethproofs] API proof generation failed, using fallback"
155143
);
156144
self.create_dummy_proof(slot, payload_hash, block_root)
157145
}
158146
Err(e) => {
159-
info!(
147+
debug!(
160148
proof_id = %self.proof_id,
161149
block_hash = %payload_hash,
162150
error = %e,

zkvm_execution_layer/src/ethproofs_demo.rs

Lines changed: 4 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -178,7 +178,7 @@ pub async fn download_proof_binary(proof_id: u64) -> Result<Vec<u8>, String> {
178178
pub fn validate_proof(proof: &ExecutionProof) -> bool {
179179
// Fallback proofs (proof_id 0) are accepted without verification
180180
if proof.proof_id.as_u8() == 0 {
181-
warn!(
181+
debug!(
182182
slot = %proof.slot,
183183
block_hash = %proof.block_hash,
184184
"[Ethproofs] Fallback proof accepted"
@@ -216,8 +216,7 @@ pub fn validate_proof(proof: &ExecutionProof) -> bool {
216216
Some(verifier_entry) => {
217217
info!(
218218
"[Ethproofs] Verification started: verifier={} slot={}",
219-
verifier_entry.name,
220-
proof.slot
219+
verifier_entry.name, proof.slot
221220
);
222221

223222
// Run the actual cryptographic verification
@@ -255,7 +254,7 @@ pub fn validate_proof(proof: &ExecutionProof) -> bool {
255254
}
256255
}
257256
None => {
258-
warn!(
257+
debug!(
259258
slot = %proof.slot,
260259
block_hash = %proof.block_hash,
261260
prover_id = %prover_uuid,
@@ -266,7 +265,7 @@ pub fn validate_proof(proof: &ExecutionProof) -> bool {
266265
}
267266
}
268267
None => {
269-
warn!("[Ethproofs] Verification key store not initialized");
268+
debug!("[Ethproofs] Verification key store not initialized");
270269
false
271270
}
272271
}

0 commit comments

Comments
 (0)