表现
RD 熱度指數
RD 增長指數
比較
跟隨更新
跟隨列表
人物
關於Axiom
Axiom是以太坊的ZK協處理器，讓智慧合約能夠在無需信任假設的情況下，存取並運算歷史鏈上資料。其核心業務提供查詢協議，開發者提交資料請求，Axiom在鏈下生成零知識證明，結果在鏈上驗證，使合約能夠在邏輯中使用經過驗證的歷史資料。 Axiom所解決的市場痛點是直接從以太坊讀取歷史區塊鏈資料的高成本與複雜性。目前，智慧合約僅能存取最新的狀態，而歷史資料則需要昂貴的外部橋接或預言機，這些方案會引入信任假設。Axiom透過使用ZK證明以密碼學方式保證歷史資料的正確性，使其如同原生鏈上資料一樣值得信賴，從而解決此問題。 在過去六個月（2026年2月至8月），Axiom專注於效能提升與形式化驗證。主要進展包括發布OpenVM 2.0，實現1 GHz的證明吞吐量，以及OpenVM 2.1預覽版，可在4張GPU上進行即時以太坊證明。團隊也在Lean中形式化驗證了Keccak與SHA-2雜湊電路，強化了系統的安全性保證。此外，基於GPU的證明現已可用於Axiom Proving API，降低了開發者的成本。
Axiom 於 2023 年在以太坊主網上推出其 Alpha 版本，使智慧合約能夠透過零知識證明無需信任地存取歷史鏈上資料。2024 年 1 月，Axiom V2 在主網上線，新增對交易、收據及 Solidity 映射的支援，並經由 Spearbit、Zellic 與 Trail of Bits 完成全面審計。同年稍晚，Axiom 在 Paradigm 與 Standard Crypto 領投下募集 2000 萬美元。2025 年，OpenVM 2.0 達到生產就緒狀態，可在 CPU 上於 3 分鐘內驗證以太坊主網區塊，每筆交易成本為 0.0015 美元，同時 Axiom 證明 API 進入私人 Alpha 階段。這些里程碑標誌著 Axiom 從研究原型發展為可擴展的零知識協處理器基礎設施。
主要進展： - OpenVM 2.0 在 16 張 GPU 上即時驗證以太坊主網區塊，p99 為 11.8 秒，達到以太坊基金會的 L1 zkEVM 效能目標。
- OpenVM 2.0 Beta 將平均證明時間縮短至 4.4 秒（p99 7.9 秒），每個區塊成本約 0.01 美元，並在 10 張 GPU 上實現即時證明；該版本已開源。
- 與 Nethermind 合作，在 Lean 中完成對 OpenVM 的 RISC-V 擴展的形式化驗證，涵蓋全部 45 個 RV32IM 操作碼，未發現任何電路錯誤。
- 與 Lighter 合作推出 Lighter EVM，這是一個混合 ZK 系統，結合 OpenVM 2.0 與自訂電路，實現可組合的通用 EVM 執行。 未來重點： - 持續進行形式化驗證，目標達到 128 位元安全性，並與以太坊客戶端整合。
- 在 Axiom Proving API 上提供 OpenVM 2.0 預覽版，隨後透過 API 或本地部署推出支援 GPU 證明的完整生產版本。
Yi Sun（共同創辦人）：MIT數學博士，師從Vladimir Drinfeld；IAS博士後；MIT NSF學者；Perimeter Institute資深博士後；現任Axiom共同創辦人。 Jonathan Wang（共同創辦人）：哈佛大學數學學士/碩士；劍橋大學數學碩士；芝加哥大學數學博士；IAS博士後；現任Axiom共同創辦人。 Nathan Feng（營運長）：量化分析背景（D.E. Shaw）和數學教育背景（Art of Problem Solving）；現任Axiom營運長。