來源: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框架的緩慢採用主要因其長時間的證明週期和高運算成本,凸顯了該技術領域需要進一步開發的必要性。
為了連結零知識證明與機器學習模型,提出了兩種不同的實作方法:
- 特定ZK Circuits :為不同模型設計的客製化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
方面 | zkOracle協議 | 傳統預言機 |
工作流程與架構 | 利用ZK證明在鏈下執行計算,提供安全且無需信任的操作 | 依賴有限的智能合約計算,需無信任聚合 |
去中心化 | 採用1-of-N信任模型無需信任地運行,透過密碼學和以太坊安全性確保資料完整性 | 需要龐大的節點網路實現去中心化,依賴可信任第三方 |
性能與最終性 | 實現快速最終性,透過高效生成zk證明將效能從數週提升至數分鐘 | 由於長度的挑戰期面臨最終性延遲 |
成本 | 透過1-of-N信任模型減少成本,降低冗餘和證明費用 | 營運和冗餘成本較高 |
機制與架構 | 機制簡化,確保至少有一個誠實節點以維護資料完整性 | 依賴代幣經濟學和第三方聲譽的複雜架構 |
來源: 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 領投的4,300 萬美元A 輪融資。
看漲基本面因素
- Hyper Oracle 團隊暗示,雖然未獲正式確認,他們即將推出的代幣可能將參考以太坊或Aleo 等區塊鏈所使用的工作量證明(POW)機制。
- AI 與ML 技術與區塊鏈的融合,為智慧合約開啟了充滿潛力的新領域。倘若Hyper Oracle 成功佔有此領域的一席之地,其估值可望實現重大成長。
- opML 與zkML 的技術進步,在鏈上驗證計算過程中展現出巨大潛力,有效解決了成本與效能的現有挑戰。
- Hyper Oracle 已完成300 萬美元的融資,該輪融資由紅杉中國種子基金與Dao5 共同領投。
- 該專案得到了以太坊基金會、Compound 和Uniswap 等區塊鏈核心實體的信任,並擁有堅實的發展路線圖,其創始人之前在谷歌有傑出的工作經驗。
看跌因素分析
- Hyper Oracle 目前仍處於實驗階段,尚缺乏其未來效能與成效的實證。
- 鏈下認證機制的效率與實務為Hyper Oracle 的opML 架構帶來挑戰。
- 諸如代幣經濟模型等關鍵要素尚未明確,這使得從投資角度對該專案進行評估面臨困難。
- Hyper Oracle 內建的AI 系統可能複雜且難以透明化,增加了理解、解釋和信賴的難度。
結語
Greythorn 致力於密切關注區塊鏈和加密技術的最新動態。 AI 與區塊鏈技術結合的領域尤其令人矚目。傳統智能合約是基於預設動作響應觸發事件,而融入AI 與ML 的智能合約能夠自主進行即時決策,這一進步為區塊鏈功能帶來了革新性的擴展。