refactor: update verifiers

Author: fbwoolf

Cargo.lock

@@ -1,3 +1,3 @@
 [toolchain]
-channel = "nightly-2025-08-04"
+channel = "nightly-2025-08-19"
 components = ["clippy", "rustfmt", "rust-analyzer"]

rust-toolchain.toml

@@ -7,7 +7,6 @@ edition = "2021"
 async-trait = "0.1" #TODO(zkproofs): Remove
 lru = "0.12"
 hashbrown = "0.15"
-serde = { version = "1.0", features = ["derive"] }
 serde_json = "1.0"
 tokio = { version = "1", features = ["full"] }
 thiserror = "2"
@@ -17,7 +16,8 @@ pico-prism-vm = { git = "https://github.com/ethproofs/pico.git", package = "pico
 proofman-verifier = { git = "https://github.com/0xPolygonHermez/pil2-proofman.git", tag = "v0.12.0" }
 sp1-verifier = { git = "https://github.com/succinctlabs/hypercube-verifier.git", branch = "ethproofs_demo" }
 verify-stark = { git = "https://github.com/openvm-org/openvm.git", branch = "feat/v1-verify-stark", package = "verify-stark" }
-bitcode = { version = "0.5", features = ["serde"] }
+bitcode = { version = "0.6.5", default-features = false, features = ["serde"] }
+serde = { version = "1.0.201", default-features = false, features = ["derive"] }
 bincode = { workspace = true }
 tempfile = { workspace = true }
 reqwest = { workspace = true }
@@ -26,7 +26,5 @@ rand = { workspace = true }
 once_cell = { workspace = true }
 tracing = { workspace = true }
 
-
-
 [dev-dependencies]
 mockall = "0.12"

zkvm_execution_layer/Cargo.toml

@@ -166,7 +166,7 @@ pub async fn download_proof_binary(proof_id: u64) -> Result<Vec<u8>, String> {
 pub fn validate_proof(proof: &ExecutionProof) -> bool {
     // Fallback proofs (proof_id 0) are accepted without verification
     if proof.proof_id.as_u8() == 0 {
-        info!(
+        warn!(
             slot = %proof.slot,
             block_hash = %proof.block_hash,
             "[Ethproofs] Fallback proof accepted"

zkvm_execution_layer/src/.DS_Store

@@ -1 +1 @@
-ç�=���-"�K�}�)�i�h�1x��%��L
+Xk���Yr��AZ䦎� *������