chore: add debug logs

Author: fbwoolf

Cargo.lock

@@ -10,6 +10,7 @@ hashbrown = "0.15"
 serde = { version = "1.0", features = ["derive"] }
 tokio = { version = "1", features = ["full"] }
 thiserror = "2"
+tracing = { workspace = true }
 types = { path = "../consensus/types" }
 execution_layer = { path = "../beacon_node/execution_layer" }
 

zkvm_execution_layer/Cargo.toml

@@ -2,6 +2,7 @@ use crate::proof_generation::{ProofGenerationError, ProofGenerationResult, Proof
 use async_trait::async_trait;
 use std::time::Duration;
 use tokio::time::sleep;
+use tracing::debug;
 use types::{ExecutionBlockHash, ExecutionProof, ExecutionProofId, Hash256, Slot};
 
 /// Dummy proof generator for testing
@@ -39,6 +40,11 @@ impl ProofGenerator for DummyProofGenerator {
         payload_hash: &ExecutionBlockHash,
         block_root: &Hash256,
     ) -> ProofGenerationResult<ExecutionProof> {
+        debug!(
+            "[Ethproofs] DummyProofGenerator::generate called for proof_id={}, slot={}, block_hash={}",
+            self.proof_id, slot, payload_hash
+        );
+
         // Simulate proof generation work
         if !self.generation_delay.is_zero() {
             sleep(self.generation_delay).await;

zkvm_execution_layer/src/dummy_proof_gen.rs

@@ -1,5 +1,6 @@
 use crate::proof_verification::{ProofVerificationResult, ProofVerifier, VerificationError};
 use std::time::Duration;
+use tracing::debug;
 use types::{ExecutionProof, ExecutionProofId};
 
 /// Dummy proof verifier for testing
@@ -31,6 +32,11 @@ impl DummyVerifier {
 
 impl ProofVerifier for DummyVerifier {
     fn verify(&self, proof: &ExecutionProof) -> ProofVerificationResult<bool> {
+        debug!(
+            "[Ethproofs] DummyVerifier::verify called for proof_id={}, block_hash={}",
+            proof.proof_id, proof.block_hash
+        );
+
         // Check that the proof is for the correct subnet
         if proof.proof_id != self.proof_id {
             return Err(VerificationError::UnsupportedProofID(proof.proof_id));