feat: airbender verifier

Author: fbwoolf

zkvm_execution_layer/src/verifiers/airbender.rs

@@ -0,0 +1,63 @@
+//! Airbender STARK proof verifier
+//!
+//! This module implements proof verification for Airbender zkVM.
+//! Currently a placeholder implementation - full verification logic will be implemented separately.
+
+use super::{ProofVerifier, VerificationResult};
+use tracing::debug;
+
+/// Airbender verifier
+///
+/// Placeholder implementation for Airbender STARK proof verification.
+/// Returns true for any valid proof data.
+pub struct AirbenderVerifier;
+
+impl ProofVerifier for AirbenderVerifier {
+    fn verify(proof_data: &[u8], _vk_data: &[u8]) -> VerificationResult {
+        debug!(
+            proof_size = proof_data.len(),
+            "Starting Airbender verification (placeholder)"
+        );
+
+        // Validate proof data is not empty
+        if proof_data.is_empty() {
+            debug!("Invalid input: proof data is empty");
+            return Ok(false);
+        }
+
+        // Placeholder: always return true for valid proof data
+        // TODO(ethproofs): Implement full verification logic with execution_utils
+        debug!("Airbender verification placeholder - returning true");
+        Ok(true)
+    }
+
+    fn name() -> &'static str {
+        "airbender"
+    }
+}
+
+#[cfg(test)]
+mod tests {
+    use super::*;
+
+    #[test]
+    fn test_airbender_verifier_name() {
+        assert_eq!(AirbenderVerifier::name(), "airbender");
+    }
+
+    #[test]
+    fn test_airbender_empty_proof() {
+        // Empty proof data should return false
+        let result = AirbenderVerifier::verify(&[], &[]);
+        assert!(result.is_ok());
+        assert!(!result.unwrap());
+    }
+
+    #[test]
+    fn test_airbender_valid_proof() {
+        // Valid proof data should return true
+        let result = AirbenderVerifier::verify(&[1u8; 32], &[]);
+        assert!(result.is_ok());
+        assert!(result.unwrap());
+    }
+}

zkvm_execution_layer/src/verifiers/mod.rs

@@ -3,6 +3,7 @@
 //! This module manages different proof verification systems based on prover type.
 //! Each verifier implements cryptographic proof verification for a specific zkVM or proof system.
 
+pub mod airbender;
 pub mod fallback;
 pub mod openvm;
 pub mod pico;
@@ -37,6 +38,9 @@ pub mod ethproofs_ids {
     /// Used for dummy proofs when Ethproofs API fails or times out
     pub const FALLBACK_UUID: &str = "00000000-0000-0000-0000-000000000000";
 
+    /// Airbender verifier UUID (proof_id = 1)
+    pub const AIRBENDER_UUID: &str = "b18507c4-50f3-4638-854a-ed625c7e685a";
+
     /// OpenVM verifier UUID (proof_id = 2)
     pub const OPENVM_UUID: &str = "9b6768c0-831d-488c-ba72-05f93975a3be";
 
@@ -60,6 +64,11 @@ pub mod ethproofs_ids {
         Uuid::parse_str(FALLBACK_UUID).expect("Valid UUID")
     }
 
+    /// Parse an Airbender UUID
+    pub fn airbender() -> Uuid {
+        Uuid::parse_str(AIRBENDER_UUID).expect("Valid UUID")
+    }
+
     /// Parse an OpenVM UUID
     pub fn openvm() -> Uuid {
         Uuid::parse_str(OPENVM_UUID).expect("Valid UUID")
@@ -174,7 +183,7 @@ impl VerifierStore {
         let id = proof_id.as_u8() as u32;
         match id {
             0 => Some(ethproofs_ids::fallback()),
-            1 => None, // Reserved for Airbender
+            1 => Some(ethproofs_ids::airbender()),
             2 => Some(ethproofs_ids::openvm()),
             3 => Some(ethproofs_ids::pico()),
             4 => Some(ethproofs_ids::sp1_hypercube()),
@@ -198,7 +207,12 @@ impl VerifierStore {
             fallback::FallbackVerifier::verify,
         );
 
-        // proof_id 1 reserved for Airbender
+        // Register Airbender verifier (proof_id 1)
+        store.register(
+            ethproofs_ids::airbender(),
+            airbender::AirbenderVerifier::name(),
+            airbender::AirbenderVerifier::verify,
+        );
 
         // Register OpenVM verifier (proof_id 2)
         store.register(