解析可編程 zkOracle 協議 Hyper Oracle：實現鏈上數據與鏈下環境無縫對接

2024.02.20

分享至

TechFlow Selected深潮精選

解析可編程 zkOracle 協議 Hyper Oracle：實現鏈上數據與鏈下環境無縫對接

本文將深入探索HyperOracle在推動AI民主化、縮小透明度與創新之間的成果，以及在塑造去中心化應用的關鍵作用。

2024.02.20 - 05:21:57

專注 Web3 行業深度報導，洞察潮水流動的方向

本文將深入探索HyperOracle在推動AI民主化、縮小透明度與創新之間的成果，以及在塑造去中心化應用的關鍵作用。

撰文：Greythorn

來源: Hyper Oracle

引言

當前，去中心化應用（DApp）在安全地組織和處理自動化鏈下的數據方面遭遇諸多挑戰。HyperOracle推出zkOracle，這是一種創新方案，通過零知識證明技術，實現鏈上數據與鏈下環境的無縫對接。

HyperOracle作為引入機器學習至鏈上技術的橋樑，不僅開啟了可擴展的AI能力的大門，同時確保了去中心化和數據可驗證性的雙重要求得以滿足。

在AI與區塊鏈技術的交叉點，透明度顯得尤為關鍵。雖然不斷承諾鏈的開放性，但AI模型的不透明性依然是一大挑戰。以太坊創始人Vitalik Buterin認為，AI與加密技術的結合具有巨大潛力，區塊鏈的透明度有助於消弭AI天生的模糊性。

HyperOracle憑藉其在Halo2技術方面的先進應用，獲得了以太坊基金會的認可，並在推動區塊鏈標準和技術發展方面做出了顯著貢獻，包括為以太坊（ERC-6150、ERC-7007）、Celestia和Uniswap提供技術支持。

本文將深入探索HyperOracle在推動AI民主化、縮小透明度與創新之間的成果，以及在塑造去中心化應用的關鍵作用。

價值主張

在當下的人工智能（AI）和機器學習（ML）領域中，透明度成為了一個突出的議題。儘管開放性的論調和開源的聲音頻頻提出，但深入理解AI輸出背後的具體模型依舊是一項挑戰。Vitalik Buterin認為，AI與加密技術的融合蘊含巨大潛力，因為加密技術的透明特性能夠中和AI的固有不透明性。HyperOracle以其獨創的解決方案應對這一挑戰，提出了zkOracle。

來源: Vitalik’s article

HyperOracle致力於構建全球超級計算機——一個安全連接各式點對點網絡的全球化網絡。該平臺增強了以太坊的功能，支持更大規模的計算需求和存儲擴展。通過將AI與ML技術整合至鏈上，HyperOracle以區塊鏈的透明特性為基礎，為智能合約引入智能化功能，實現了一場創新革命。

儘管以太坊提供了鏈上計算的能力，但其在完全實現鏈上ML/AI方面存在侷限。HyperOracle通過引入opML和zkML兩大創新技術，實現了鏈上計算的驗證，有效克服了成本和性能的挑戰。zkOracle作為一個去中心化的預言機網絡，運用零知識證明技術，實現了鏈上數據與鏈下計算的無縫對接及鏈下證明的驗證，開啟了透明度與效率共存的新篇章。

以太坊充當共識賬本的角色，而zkOracle網絡負責執行資源密集型的計算任務，通過零知識證明技術連接不同組件。

opML專為鏈上AI與ML優化，提供了效率、可擴展性和去中心化的解決方案。採納這種前沿技術，旨在釋放AI與區塊鏈技術的全部潛能，同時確保透明度、安全性和道德責任得以維護。

項目概述

根據官方文檔，HyperOracle是一款可編程的zkOracle協議，能夠為智能合約提供任意計算能力和更豐富的數據來源。HyperOracle為可信任度有待考量的自動化和鏈上AI/ML提供全面的安全與去中心化保障，使開發者能夠輕鬆打造下一代去中心化應用（dApps）。

在HyperOracle網絡中，多個zkOracle節點形成一個網絡，類似於執行計算並生成零知識證明的以太坊節點。

可以想見，該項目的技術細節頗為複雜。即便是深入研究了詳細文檔，完全理解其機制仍具有一定難度。接下來，讓我們詳細探討HyperOracle引入的革命性元素，以便更深入地理解其未來發展潛力。

零知識機器學習（zkML）

zkMLinference是HyperOracle基於零知識證明的無需信任機器學習推理協議。它作為一個類似zkAutomation的輸入輸出zkOracle Meta App，通過集成zk機器學習框架並使用zkGraph作為核心組件，實現了鏈上ML推理。開發者可以利用zkMLinference構建任何由ML驅動且受以太坊保護的DApp。

zkML賦予區塊鏈技術以隱私保護的AI模型應用驗證能力，確保整個過程的數據保密性。

來源: Binance Research

zkML在加密技術與AI的交匯點上展現出巨大潛力，由Modulus Labs和Giza Tech領銜其商業應用。儘管充滿前景，AI供應鏈中特別是在認證環節存在的缺口尚未得到充分解決。zkML框架的緩慢採用主要因其長時間的證明週期和高計算成本，凸顯了該技術領域需要進一步開發的必要性。

為了連接零知識證明與機器學習模型，提出了兩種不同的實現方法：

● 特定ZKCircuits：為不同模型設計的定製ZK Circuits，以滿足它們的特定精度需求。

● 通用zkML運行時：通過一個通用運行時集成ZK證明與ML模型，類似於zkEVM對EVM兼容程序的處理方式。

來源: HyperOracle

樂觀機器學習（opML）介紹

正如前文所述，零知識機器學習（zkML）技術目前尚未達到完全優化的狀態。在此背景下，HyperOracle認識到這一點，並在努力尋找解決方案的同時，其創始人提出了一種名為樂觀機器學習（opML）的新概念，作為zkML正式推出前的臨時解決方案。

作為opML首個開源實施案例的創造者，HyperOracle團隊認為，opML能夠通過利用博弈論原理消除加密技術帶來的額外負擔，從而促進人工智能與加密技術的融合。

opML利用樂觀驗證機制，在鏈上執行AI模型的推理及訓練/精調過程。相比於zkML，opML以較低的成本和更高的效率提供機器學習證明。此外，opML對硬件要求低，使其能夠在不配備GPU的普通個人計算機上運行大型語言模型。

opML採用驗證機制（與OP Rollup相似）來確保機器學習計算過程的去中心化和可驗證性。

HyperOracle成為了opML首個開源實現的先驅。

來源: HyperOracle

zkGraph技術

zkGraph充當HyperOracle節點的可定製“智能合約”，負責管理數據行為和生成零知識證明，這與智能合約定義以太坊節點計算方式相似。智能合約開發者可以同時構建智能合約和zkGraph，使用戶能夠與兩者互動。

zkGraph主要包含三個組成部分：

● Manifest（zkgraph.yaml）：配置信息，如zkGraph標準、目標區塊鏈網絡和目標智能合約。

● Mapping（mapping.ts）：將區塊鏈數據轉換為其他形式（鏈下計算）。

● （可選）Schema（schema.graphql）：定義數據存儲和訪問模式。

部署時，所有zkGraph代碼文件都存儲在EthStorage中，這是一個由以太坊ESP支持的去中心化存儲擴展層。

來源: Hyper Oracle

競品分析

為了更深入瞭解其直接競爭對手，我們分析HyperOracle引入的創新技術及其應用。HyperOracle推出了一種區塊鏈服務——zkOracle協議，用於在智能合約中執行復雜計算，這與Chainlink的方法相似。它還利用zkGraph技術處理數據收集後的處理，類似於The Graph。同時，值得注意的是，HyperOracle並非唯一在區塊鏈上提供AI功能的項目，即便在zkML領域內，如Modulus Labs等其他項目也是值得關注的參與者。

預言機比較：Chainlink/傳統預言機與Hyper Oracle

來源: Greythorn 內部

來源:Hyper Oracle

HyperOracle 與Knowledge Graphs 技術的比較

HyperOracle 通過採用 zkWASM 技術，區別於傳統的Knowledge Graphs技術，例如 The Graph，其優勢包括：

● 使用zkWASM 技術加強安全性，而不犧牲性能。

● 通過零知識證明實現數據請求的加速，優化響應時間，同時確保數據的安全性和可驗證性。

● 利用可編程zkGraph 技術實現安全的鏈下自動化。

● 通過對最鄰近zkOracle 節點的無信任請求提升系統性能。

● 使用零知識證明技術，增強任何去中心化應用構建的信心。

相比依賴傳統索引方法且缺乏去中心化安全性的傳統Knowledge Graphs，HyperOracle 提供了顯著的優勢。傳統方法可能依賴於分佈式自治組織（DAO）或法律文件，為自動化流程帶來不確定性，且其安全性通常較弱，往往依賴於多重簽名的爭議解決機制。

來源: Hyper Oracle

簡言之，Chainlink 和 The Graph 是集成數據至區塊鏈應用的網絡，但它們不能完全保障數據的準確性。Chainlink 雖採用多數據源和安全措施，但並非無懈可擊。這兩種技術依靠數據聚合和激勵機制來追求數據正確性，但這並不能確保數據完整性的絕對性。HyperOracle 認為，為了實現安全、無需信任的應用，需要進一步的技術創新。因此，他們正在開發一個利用數學證明快速驗證數據的網絡，提供一種比傳統的基於信任或激勵的方法更為可靠的解決方案。

思考：值得注意的是，HyperOracle白皮書中提及的創新特性在實際應用中的實現可能面臨挑戰。與此相對，如 Chainlink 這樣的傳統預言機方案已經證明了其隨時間證明的有效性。這些新特性能否達到或超越之前的標準，還有待市場的檢驗。

HyperOracle 與 Modulus Labs 的對比分析

在這一新興趨勢及其開發協議的背景下，對比分析變得更加複雜。例如，Modulus Labs 正在結合AI 與區塊鏈技術，並利用零知識證明和機器學習技術，為區塊鏈應用開發透明、可驗證的 AI 算法。它採用了特殊的策略，尤其是在處理證明生成需求方面，同時承諾允許去中心化應用無損於信任或安全地整合 AI 和 ML 技術。

此外，Gensyn 作為該領域的另一個重點項目，是一個基於區塊鏈的AI 計算協議，最近完成了由a16z 領投的 4300 萬美元 A 輪融資。