什么是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 和其他前沿区块链协议的最新信息。