# 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.


---

# Agent Instructions: Querying This Documentation

If you need additional information that is not directly available in this page, you can query the documentation dynamically by asking a question.

Perform an HTTP GET request on the current page URL with the `ask` query parameter:

```
GET https://docs.ama.one/ecosystem/partners/zkverify.md?ask=<question>
```

The question should be specific, self-contained, and written in natural language.
The response will contain a direct answer to the question and relevant excerpts and sources from the documentation.

Use this mechanism when the answer is not explicitly present in the current page, you need clarification or additional context, or you want to retrieve related documentation sections.