refactor: ethproofs logs

Author: fbwoolf

zkvm_execution_layer/src/dummy_proof_gen.rs

@@ -54,8 +54,7 @@ impl DummyProofGenerator {
         .into_bytes();
 
         // Use proof_id 0 (Fallback verifier) to mark this as a dummy proof
-        let fallback_proof_id = ExecutionProofId::new(0)
-            .expect("proof_id 0 is always valid");
+        let fallback_proof_id = ExecutionProofId::new(0).expect("proof_id 0 is always valid");
         ExecutionProof::new(
             fallback_proof_id,
             slot,

zkvm_execution_layer/src/dummy_proof_verifier.rs

@@ -2,7 +2,7 @@ use crate::ethproofs_demo::{EthproofsValidator, ProofValidator};
 use crate::proof_verification::{ProofVerificationResult, ProofVerifier, VerificationError};
 use std::sync::Arc;
 use std::time::Duration;
-use tracing::info;
+use tracing::debug;
 use types::{ExecutionProof, ExecutionProofId};
 
 /// TODO(ethproofs): Ethproofs demo implementation of proof verification.
@@ -58,7 +58,7 @@ impl ProofVerifier for DummyVerifier {
             std::thread::sleep(self.verification_delay);
         }
 
-        info!(
+        debug!(
             proof_id = %self.proof_id,
             block_hash = %proof.block_hash,
             "[Ethproofs] Verifying proof"

zkvm_execution_layer/src/ethproofs_demo.rs

@@ -4,7 +4,7 @@ use once_cell::sync::Lazy;
 use reqwest::StatusCode;
 use serde::{Deserialize, Serialize};
 use std::time::{Duration, Instant};
-use tracing::{info, warn};
+use tracing::{debug, info, warn};
 use types::ExecutionProof;
 
 /// Trait for validating proofs
@@ -169,7 +169,7 @@ pub fn validate_proof(proof: &ExecutionProof) -> bool {
         info!(
             slot = %proof.slot,
             block_hash = %proof.block_hash,
-            "[Ethproofs] Fallback proof accepted without cryptographic verification"
+            "[Ethproofs] Fallback proof accepted"
         );
         return true;
     }
@@ -190,7 +190,7 @@ pub fn validate_proof(proof: &ExecutionProof) -> bool {
         Some(store) => {
             match store.get(&prover_uuid) {
                 Some(vk) => {
-                    info!(
+                    debug!(
                         slot = %proof.slot,
                         block_hash = %proof.block_hash,
                         prover_id = %prover_uuid,
@@ -205,7 +205,6 @@ pub fn validate_proof(proof: &ExecutionProof) -> bool {
                             info!(
                                 slot = %proof.slot,
                                 block_hash = %proof.block_hash,
-                                prover_id = %prover_uuid,
                                 verifier = verifier_entry.name,
                                 "[Ethproofs] Verification started"
                             );
@@ -216,7 +215,7 @@ pub fn validate_proof(proof: &ExecutionProof) -> bool {
                                     info!(
                                         slot = %proof.slot,
                                         block_hash = %proof.block_hash,
-                                        prover_id = %prover_uuid,
+                                        verifier = verifier_entry.name,
                                         verification_result = result,
                                         "[Ethproofs] Verification completed"
                                     );
@@ -226,9 +225,9 @@ pub fn validate_proof(proof: &ExecutionProof) -> bool {
                                     warn!(
                                         slot = %proof.slot,
                                         block_hash = %proof.block_hash,
-                                        prover_id = %prover_uuid,
+                                        verifier = verifier_entry.name,
                                         error = %e,
-                                        "[Ethproofs] Verification failed with error"
+                                        "[Ethproofs] Verification failed"
                                     );
                                     false
                                 }
@@ -239,7 +238,7 @@ pub fn validate_proof(proof: &ExecutionProof) -> bool {
                                 slot = %proof.slot,
                                 block_hash = %proof.block_hash,
                                 prover_id = %prover_uuid,
-                                "[Ethproofs] No verifier registered for this prover, cannot verify proof"
+                                "[Ethproofs] No registered verifier"
                             );
                             false
                         }
@@ -250,7 +249,7 @@ pub fn validate_proof(proof: &ExecutionProof) -> bool {
                         slot = %proof.slot,
                         block_hash = %proof.block_hash,
                         prover_id = %prover_uuid,
-                        "[Ethproofs] No verification key found for this prover"
+                        "[Ethproofs] No verification key found"
                     );
                     false
                 }