Axiom的零知识证明有一天可能帮助检测Deepfakes

加密货币初创公司Axiom是一个允许开发人员在以太坊上编写智能合约并从区块链网络中检索数据,然后对其进行密集计算的协议,该公司已经以alpha模式推出了其主网。

创始人孙毅表示,该初创公司最终希望利用这项技术快速准确地检测互联网上的深度伪造。

Axiom使用零知识证明,这是一种只需有选择性地透露有关该陈述本身的任何信息即可证明陈述有效性的加密证明类型,也是今年区块链技术中最热门的趋势之一。该项目使用了所谓的“协处理器”,这是一种与以太坊区块链并行但异步运行的软件。

一旦数据被读取和摄取,协处理器可以执行“各种操作”-加法、计数和其他数学函数以及密码学等,该公司的网站介绍说。它还具备机器学习的能力。

阅读更多:10种加密和人工智能如何能使彼此更好(或更糟)

在以太坊切换到其2.0版本的事件中,智能合约无法再访问历史上链数据。像Chainlink和Uniswap这样的预言机通常被部署在区块链上,以将链下数据带到区块链上,也正试图解决这个问题。

但是由于当前技术的计算限制,它们的方案既昂贵又缓慢。根据Axiom的联合创始人孙毅的说法,传统的预言机在将链下实体带到链上时会进行信任假设,这会影响传输的准确性。

协处理器通过在链下处理数据,然后使用ZK证明准确地将其传输到主链上,摆脱了这些限制。孙毅表示,ZK证明产生错误结果的可能性为1/(2^256),足够小以至于基本上可以忽略不计。

通过主网alpha版本的发布,开发人员可以通过Axiom的浏览器应用程序查询以太坊主网上的区块头、账户和合约存储。他们还可以使用该浏览器构建自己的应用程序。目前数据处理发生在以太坊虚拟机上,该初创公司正在“与早期合作伙伴合作,在ZK上对此数据进行无信任计算”,Axiom的网站上写道。

Axiom将使基于以太坊的应用程序真正“数据丰富”,该网站表示。例如,“通过允许空投依赖于任意历史上链数据,Axiom允许协议根据对协议有益的行动自定义奖励标准,而不是空投农民,”该网站说。

ZKML的未来

在Axiom的愿景中,ZK证明与蓬勃发展的人工智能行业紧密相连。

孙毅表示:“我认为真正有趣的是生成式人工智能和深度伪造正在推动对加密货币的需求。”在由人工智能生成的内容充斥的互联网上,验证信息和媒体的真实性变得越来越成为一个更大的问题。

在Axiom的愿景中,ZK证明将用于此类验证过程。机器学习算法,其中一些算法通过基于提示生成图像或文本,将能够在链下运行,但当ZK证明将它们的结果带到链上时,用户和智能合约将能够检查在线内容的生成位置和方式。

该初创公司由在芝加哥大学任教的孙毅和麻省理工学院的研究员Jonathan Wang于2022年创立。Axiom拒绝透露其融资情况。