refactor: zkcloud zisk verifier wrapper

Author: fbwoolf

zkvm_execution_layer/src/ethproofs_demo.rs

@@ -45,7 +45,7 @@ pub async fn fetch_proof_from_ethproofs(
     block_hash: types::ExecutionBlockHash,
     cluster: String,
 ) -> Result<Vec<Ethproof>, String> {
-    const MAX_WAIT_TIME_SECS: u64 = 15;
+    const MAX_WAIT_TIME_SECS: u64 = 20;
     const INITIAL_DELAY_MS: u64 = 100;
     const MAX_DELAY_MS: u64 = 5000;
 

zkvm_execution_layer/src/verifiers/mod.rs

@@ -5,6 +5,7 @@
 
 pub mod pico;
 pub mod zisk;
+pub mod zkcloud;
 pub mod zkm;
 
 use std::collections::HashMap;
@@ -26,7 +27,7 @@ pub mod ethproofs_ids {
     /// ZisK verifier UUID (proof_id = 1)
     pub const ZISK_UUID: &str = "33f14a82-47b7-42d7-9bc1-b81a46eea4fe";
 
-    /// ZKCloud verifier UUID (proof_id = 2)
+    /// ZkCloud verifier UUID (proof_id = 2)
     pub const ZKCLOUD_UUID: &str = "884fcc21-d522-4b4a-b535-7cfde199485c";
 
     /// ZKM verifier UUID (proof_id = 3)
@@ -42,7 +43,7 @@ pub mod ethproofs_ids {
         Uuid::parse_str(ZISK_UUID).expect("Valid UUID")
     }
 
-    /// Parse a ZKCloud UUID
+    /// Parse a ZkCloud UUID
     pub fn zkcloud() -> Uuid {
         Uuid::parse_str(ZKCLOUD_UUID).expect("Valid UUID")
     }
@@ -126,7 +127,7 @@ impl VerifierStore {
     /// For Ethproofs demo testing, this provides a hardcoded mapping of proof_ids to prover UUIDs:
     /// - proof_id 0 → brevis (Pico verifier)
     /// - proof_id 1 → zisk (ZisK verifier)
-    /// - proof_id 2 → zkcloud (ZisK verifier)
+    /// - proof_id 2 → zkcloud (ZkCloud verifier)
     /// - proof_id 3 → zkm (ZKM verifier)
     pub fn get_prover_uuid_for_proof_id(&self, proof_id: ExecutionProofId) -> Option<Uuid> {
         let id = proof_id.as_u8() as u32;
@@ -159,11 +160,11 @@ impl VerifierStore {
             zisk::ZiskVerifier::verify,
         );
 
-        // Register ZKCloud verifier (uses ZisK verifier)
+        // Register ZkCloud verifier (uses ZisK)
         store.register(
             ethproofs_ids::zkcloud(),
-            zisk::ZiskVerifier::name(),
-            zisk::ZiskVerifier::verify,
+            zkcloud::ZkcloudVerifier::name(),
+            zkcloud::ZkcloudVerifier::verify,
         );
 
         // Register ZKM verifier

zkvm_execution_layer/src/verifiers/zkcloud.rs

@@ -0,0 +1,43 @@
+//! ZkCloud proof verifier
+//!
+//! This module implements proof verification for ZkCloud using ZisK.
+
+use super::{ProofVerifier, VerificationResult};
+use tracing::debug;
+
+/// ZkCloud verifier (uses ZisK)
+pub struct ZkcloudVerifier;
+
+impl ProofVerifier for ZkcloudVerifier {
+    fn verify(proof_data: &[u8], vk_data: &[u8]) -> VerificationResult {
+        debug!(
+            proof_size = proof_data.len(),
+            vk_size = vk_data.len(),
+            "Starting ZkCloud verification"
+        );
+
+        // Delegate to ZisK verifier implementation
+        let result = super::zisk::ZiskVerifier::verify(proof_data, vk_data)?;
+
+        debug!(
+            verification_result = result,
+            "Completed ZkCloud verification"
+        );
+
+        Ok(result)
+    }
+
+    fn name() -> &'static str {
+        "zkcloud"
+    }
+}
+
+#[cfg(test)]
+mod tests {
+    use super::*;
+
+    #[test]
+    fn test_zkcloud_verifier_name() {
+        assert_eq!(ZkcloudVerifier::name(), "zkcloud");
+    }
+}