Axiom的零知识证明或将揭示“Deepfakes”的真相

2023-07-06 21:12:14发布2023-08-29 17:41:32更新

初创公司 Axiom 正在致力于开发可广泛应用于 AI 领域的零知识证明（ZK）技术。

Axiom如何应用ZK技术

ZK，即 Zero Knowledge（零知识证明），可以让用户在不透露信息的前提下证明自己知道或拥有信息。

“证明者”（prover）会利用某一系统输入的信息来创建证明，而“验证者”（verifier）则会验证这个证明的计算结果，但却无法得知信息的具体内容。最关键的是，零知识证明可以验证某一数据集的有效性，并同时保护数据隐私。

ZK 证明使用密码学允许某人（证明者）向其他人（验证者）证明事实是百分百真实的，但除了特定真实性的陈述之外，不会透露任何额外信息。即能保守秘密，又能让人相信你。

比较通俗的定义是：ZK 证明本质上是让某人证明他们知道或拥有某些东西，而不会泄露他们知道或拥有什么的任何信息。

该技术在最近启动的主网络上可以检索以太坊的历史数据，并进行高密度的离链计算，同时通过 ZK 进行数据传输。

加密初创公司 Axiom，一种允许开发人员在以太坊上编写智能合约的协议，并能够从区块链网络中获取数据进行密集计算，现在他们以 alpha 模式启动了他们的主网。

该公司的创始人 Yi Sun 表示，他们正在考虑将这项技术应用于快速准确地检测 Deepfakes 这一目标。

Deepfake 源自于英文“deep learning”（深度学习）和“fake”（伪造）组合，主要意指应用AI深度学习的技术，合成某个（不一定存在的）人的图像或影片、甚至声音。

Axiom 使用零知识证明，只需选择性地透露关于语句本身的少量信息就可以证明语句的有效性。

零知识证明是区块链技术今年最热门的趋势之一，该项目还使用了所谓的“协处理器”，这是一种与以太坊区块链并行但异步运行的软件。

据 Axiom 官方网站介绍，一旦数据被读取和摄取，协处理器可以执行各种运算，包括加法、计数和其他数学函数，以及密码学操作。此外，它还具备机器学习功能。

在以太坊在一次名为“合并”的事件中切换到 2.0 版本后，智能合约无法再访问历史链上数据。通常部署用于将链外数据传输到区块链上的预言机（例如 Chainlink 和 Uniswap）也在尝试解决这个问题。

但由于当前技术的计算限制，他们的产品价格昂贵且速度缓慢。Axiom 联合创始人 Sun 表示，传统预言机会做出信任假设，将链下实体引入链上，这会削弱传输的准确性。

协处理器通过在链下处理数据，然后通过 ZK 证明将它们准确地传输到主链上，从而消除了这些限制。Sun 表示，ZK 证明产生错误结果的可能性是 1/(2^256)，小到基本上不存在。

随着主网 alpha 版本的发布，开发人员可以通过 Axiom 浏览器应用程序查询以太坊主网上的区块头、账户和合约存储。

他们还可以使用资源管理器构建自己的应用程序。Axiom网站称，数据处理目前发生在以太坊虚拟机上，该初创公司正在“与早期合作伙伴合作，对 ZK 中的数据执行无需信任的计算” 。

该网站表示，Axiom 将能够在以太坊上开发真正“数据丰富”的应用程序。例如，该网站称，“通过允许空投依赖于任意历史链上数据，Axiom 允许协议定制标准来奖励对协议有利的行动，而不是空投农民。”

在 Axiom 的愿景中，ZK 证明与蓬勃发展的 AI 领域齐头并进。

“我认为真正有趣的是生成 AI 和深度伪造正在带来对加密货币的需求，在生成类内容泛滥的互联网中，验证信息和媒体的真实性正成为一个更大的问题。” Sun 说。

在 Axiom 的愿景中，ZK 证明将用于此类身份验证过程。

ZKML (Zero knowledge machine learning），将零知识证明用于机器学习的技术将能够在链外运行，但是当 ZK 证明将其结果带到链上时，用户和智能合约将能够检查在哪里以及如何检查生成了一段在线内容。