什麼是Axiom？由Paradigm資助的ZK協處理器解決方案

隨着鏈上數據需求的激增，Axiom作爲一個專門構建的ZK協處理器協議應運而生，使智能合約能夠利用零知識證明查詢和計算以太坊的全部歷史狀態。Axiom獲得了來自Paradigm和其他頂級投資者的2000萬美元A輪融資，承諾將解鎖新的鏈上用例——從先進的DeFi分析到復雜的治理邏輯——而無需信任假設或鏈下服務的成本開銷。作爲Gate的內容創作者，以下是您對Axiom的全面介紹：它是什麼，它是如何工作的，它的ZK協處理器爲何重要，以及誰在推動這個項目。

Axiom是什麼？

Axiom是一個無權限協議，作爲以太坊的ZK協處理器運作。開發者構建Axiom電路——定制的零知識程序——以精確指定所需的鏈上數據和計算，而不是依賴於集中式索引器或外部預言機。當智能合約在鏈上提交查詢時，Axiom會根據以太坊的歸檔狀態執行電路，生成正確執行的簡潔ZK證明，並將經過驗證的結果返回給合約。這種方法讓dApp團隊以較低的燃氣費用訪問從歷史區塊頭到交易回執的所有信息，而無需信任第三方數據提供商。

Axiom是如何工作的

從底層來看，Axiom分爲三個階段：

1. 提交
開發者使用 Axiom Type_script_ SDK 創建 Axiom 電路，定義所需的鏈上數據和邏輯。電路部署在 Axiom 的查詢合約上，用戶通過發送帶有查詢參數的交易來調用它。

2. 完成
公理節點獲取請求的歷史數據——區塊頭， 以太坊 狀態樹條目和交易回執——來自歸檔節點。它們在鏈外計算結果，並生成一個ZK證明，以證明數據檢索和計算的正確性。

3. 驗證與回調
一旦證明在鏈上被傳遞，Axiom智能合約會在單次鏈上執行中驗證它。如果有效，Axiom將回調原始智能合約並提供計算結果，從而實現無信任、低燃氣費的深度鏈上洞察訪問。

該模型確保每個結果都具有以太坊的加密保證，同時大幅降低鏈上計算和存儲需求。

Axiom的ZK協處理器的好處

Axiom的設計相比傳統數據索引解決方案帶來了幾個優勢：

• 全面歷史訪問：查詢任何區塊的狀態或交易歷史，而無需運行自己的歸檔節點。
• 零信任數據完整性：ZK證明消除了對中心化預言機的依賴——結果可以在鏈上驗證。
• 燃氣效率：通過將重計算和數據查找推送到鏈外，Axiom將復雜查詢的燃氣成本降低了高達90%。
• 無縫智能合約集成：合約通過簡單的查詢API與Axiom互動，所需的代碼更改最小。
• 可組合設計：多個電路可以組合以構建更豐富的鏈上應用，從自動審計工具到先進的DeFi策略。

Gate的研究團隊利用這些能力來原型開發新穎的DeFi分析dApp，我們密切關注任何Axiom空投事件，以獎勵早期社區成員。

團隊與投資者

1. 核心團隊
Axiom由Jonathan Wang和Yi Sun創立，兩人都是在零知識證明和分布式系統方面具有深厚專業知識的前學者。Jonathan擁有麻省理工學院計算機科學博士學位，專注於協議設計和密碼學。Yi則有在芝加哥和劍橋授課的背景，負責開發者體驗和SDK架構。

2. 投資者和資金
該項目的2000萬美元A輪融資由Paradigm牽頭，Standard Crypto、Polychain以及幾位天使投資者參與。這筆資金將加速Axiom的主網推出，擴展驗證者網路，並資助ZK協處理器集成的生態系統補助。

類似項目

雖然Axiom專注於鏈上ZK協同處理，但仍然存在一些相關的解決方案：

• Brevis：專注於基於零知識證明的以太坊數據的鏈外計算，採用專有的證明器架構。
• Bonsai: 提供基於zkVM的證明，適用於鏈上和鏈下計算，由Risk Zero開發。

每個項目在證明系統設計中針對不同的權衡，但Axiom與以太坊的歸檔狀態緊密集成以及開發者友好的SDK使其與衆不同。

Axiom 代表了去中心化數據可用性和計算的重要進步。隨着 Gate 繼續關注 ZK 創新，我們將爲您帶來關於使用 Axiom 電路構建的教程、任何 Axiom 空投公告的更新，以及可能重新定義鏈上應用的用例的深入分析。請關注我們的博客，以獲取有關 Axiom 和其他前沿區塊鏈協議的最新信息。