Axiom 是一个 ZK 协处理器,它允许智能合约无信任地访问和处理所有链上数据。这是一种在链下处理数据的协议,然后将这些数据传输到以太坊主网,并使用 ZK 证明对其进行验证。
Axiom 允许智能合约以无需信任的方式计算整个以太坊的历史记录,包括交易和收据。开发人员可以将链上查询发送到 Axiom,这些查询将以无需信任的方式执行,并在回调中将经过 ZK 验证的结果发送到开发人员的智能合约。这使开发人员能够构建链上应用程序,以较低的成本访问更多数据,而无需添加额外的信任假设。
Axiom 使用 ZK 证明以无需信任的方式读取任何历史以太坊区块中的区块头、状态、交易和收据。所有以太坊链上数据都以这些形式之一进行编码,这意味着 Axiom 可以访问存档节点可以访问的任何内容。对 Axiom 的查询分为三个阶段:
- 提交:开发人员使用 Axiom Typescript SDK 构建 Axiom 电路,以定义他们想要从 Axiom 请求的链上数据的计算。使用此电路,他们可以通过向合约发送交易来查询链上的 Axiom。
- 履行:几分钟后,Axiom 将在链上发送结果,并附上 ZK 有效性证明,以证明 (1) 输入数据已从链中正确获取,且 (2) 计算已正确应用。此 ZK 证明在 Axiom 智能合约中进行链上验证
- 回调:验证后,最终结果通过链上回调发送到所选智能合约。然后,它们可以像标准链上数据一样在应用程序中使用。
由于经过 ZK 证明验证,Axiom 的结果在加密安全性上与以太坊相当,并且不对加密经济学、激励或博弈论做任何假设。我们相信这为智能合约应用提供了最高程度的保障。
文章标题:Axiom是什么?
文章链接:https://www.qkl112.com/1425.html
更新时间:2024年09月13日
本站声明:该内容来源于网络,若侵犯到您的权益,请联系我们,我们将第一时间处理。