表现
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版本，通过ZK证明让智能合约无需信任地访问历史链上数据。2024年1月，Axiom V2在主网上线，新增交易、收据和Solidity映射支持，并经过Spearbit、Zellic和Trail of Bits的全面审计。同年晚些时候，Axiom完成2000万美元融资，由Paradigm和Standard Crypto领投。2025年，OpenVM 2.0达到生产就绪状态，在CPU上以每笔交易0.0015美元的成本在3分钟内证明以太坊主网区块，Axiom Proving API进入私有alpha阶段。这些里程碑标志着Axiom从研究原型发展为可扩展的ZK协处理器基础设施。
重要进展： eg OpenVM 2.0 在16块GPU上以p99 11.8秒实时证明以太坊主网区块，达到以太坊基金会L1 zkEVM性能目标。 eg OpenVM 2.0 Beta 将平均证明时间缩短至4.4秒（p99 7.9秒），单区块成本约0.01美元，10块GPU即可实现实时证明，并已开源。 eg 与Nethermind合作完成OpenVM RISC-V扩展的Lean形式化验证，覆盖全部45条RV32IM指令，未发现电路漏洞。 eg 与Lighter合作构建Lighter EVM，通过OpenVM 2.0与自定义电路结合，实现通用EVM执行的可组合性。
未来发展重心：
eg 继续推进形式化验证，目标是128位安全性，并集成以太坊客户端。 eg OpenVM 2.0将在Axiom Proving API上预览，随后全面生产发布，通过API或本地部署提供GPU证明服务。
Yi Sun（联合创始人）：MIT数学博士，导师Vladimir Drinfeld；IAS博士后；MIT NSF研究员；Perimeter Institute高级博士后；现任Axiom联合创始人。
Jonathan Wang（联合创始人）：哈佛数学学士/硕士；剑桥数学硕士；芝加哥大学博士；IAS博士后；现任Axiom联合创始人。
Nathan Feng（COO）：曾从事量化分析（D.E. Shaw）和数学教育（Art of Problem Solving）；现任Axiom首席运营官。