zkVerify

Type: Infrastructure - Zero-Knowledge Compute Verification Layer

Website: https://zkverify.io/

Overview

What is zkVerify?

zkVerify is a zero-knowledge verification layer developed by Horizon Labs that enables proof-based validation of computational work — confirming correctness, authenticity, and ownership without exposing sensitive data.

By integrating zkVerify with Amadeus, the network gains verified compute capabilities where every training, inference, or agent action can be provably correct and privacy-preserving. This establishes Amadeus as a Layer 1 for verified compute, bridging decentralized AI workloads with enterprise-grade privacy and compliance.

---

Planned Capabilities for Amadeus

Once integrated, zkVerify will allow Amadeus to:

• Verify uPoW (Useful Proof of Work) jobs such as AI training or inference through zk-proofs.

• Enable on-chain attestation of AI computations with verifiable zk proofs validated via a zkVerify bridge.

• Provide enterprise compliance features such as provenance, geofencing, and licensing attestations.

• Establish a proof settlement layer between Amadeus and zkVerify for scalable, privacy-preserving AI execution.

• Support zk verification for bridging Amadeus with EVM-compatible chains using KZG-based proofs.

---

Example Use Cases

Verified AI Compute: AI training and inference workloads executed on Amadeus are verified through zk proofs, ensuring correctness and preventing manipulation.

Enterprise zk Compliance: Enterprises can deploy compliant AI applications with privacy-preserving proof attestations (provenance, data license, jurisdiction).

Cross-Chain zk Bridges: zkVerify-generated attestations validate Amadeus transactions for EVM-compatible networks, extending interoperability through verifiable proofs.

---

Current Status

Integration is under design and planned for rollout in two phases across Q4 2025–Q2 2026.

---

Coming Deliverables (Planned)

Phase 1: Q4 2025 – Q1 2026

Deploy zkVerify–Amadeus bridge and on-chain verifier contracts, enabling zk-proof validation for uPoW compute jobs and $AMA reward distribution.

Phase 2: Q2 2026

Scale to full AI computation verification with zkVerify as Amadeus’ proof settlement layer, introducing enterprise-grade zk compliance for provenance, privacy, and licensing.