区块链:一文了解 ZK 在推进链上 AI 的作用_JARED币

原文来自：ModulusLabs

编译：DeFi之道

很高兴终于可以与你们分享我们的第一篇论文，该论文是通过以太坊基金会的资助完成的，它的名称是《TheCostofIntelligence:ProvingMachineLearningInferencewithZero-Knowledge?》（或paper0，这是酷孩子们的叫法)。

没错，这些都是真数字！有图表！论文还讨论了理论结构及其对性能的影响！事实上，paper0是第一个跨通用AI原语套件对ZK证明系统进行基准测试的研究工作，你现在就可以阅读整篇论文。

而这篇文章，你可以将其视为论文的总结，有关详细信息，请参阅原论文。

事不宜迟，让我们深入了解：

Paper0:我们的调查要点

事实上，计算的未来将大量使用复杂的人工智能。看看我的文本编辑器：

金色财经合约行情分析 | BTC下午放量上涨，市场情绪有所激活:据火币BTC永续合约行情显示，截至今日18:00（GMT+8），BTC价格暂报9315美元（+1.38%），20:00（GMT+8）结算资金费率为0.010000%。

BTC在今日下午3点放量上涨，短时从9200美元迅速突破9300美元，市场主流币整体上涨。根据火币交割合约数据，BTC当季合约成交额较昨日增加，持仓量随着价格上涨迅速上升，精英多头占比增加，当季合约溢价增加。BTC目前在9350美元上方整理，市场在沉寂良久后情绪得到一定激活。

USDT于火币全球站OTC的报价为6.95元，溢价率为-0.58%。[2020/7/21]

Notion的提示告诉我，他们的LLM可以让这句话变得更好

然而，链上不存在功能性神经网络，甚至连最小的推荐系统或匹配算法都不存在。真见鬼！甚至连实验也没有一个……当然，原因是非常明显的，因为这太贵了，毕竟，即使运行价值数十万FLOP的计算的成本也是数百万gas，目前相当于数百美元。

那么，如果我们想将AI范式带入无需信任的世界，我们该怎么做？我们会翻车，然后放弃吗？当然不是…等等！Roll-over）……Giveup……

金色午报｜7月17日午间重要动态一览:7:00-12:00关键词：区块链产业、推特被黑、吴忌寒、信标链

1.娄底市加快推进区块链产业发展政策正式出台。

2.苏州市相城区成立10亿元区块链专项引导基金。

3.深圳硅基扬航公司成立 吴忌寒出任法定代表人。

4.推特被黑幕后黑手或为21岁英国小伙 曾协助劫持杰克多西账户。

5.推特：约有130个账户被作为目标 已于受害者进行合作。

6.Grin已完成第三次硬分叉升级。

7.红岭云与阿里云签署“党建+区块链”框架合作协议。

8.BSN发展联盟理事长：BSN北京区块链主干网落户大兴。

9.以太坊联合创始人：信标链安全性对ETH2.0至关重要。[2020/7/17]

如果像Starkware、MatterLabs和其他公司这样的Rollup服务，正在使用零知识证明来大规模扩展计算，同时保持密码学安全，那么我们能为AI做同样的事情吗？

这个问题成为推动我们在paper0中工作的激励种子。剧透警报，以下是我们发现的：

金色财经挖矿数据播报 | BSV今日全网算力上涨27.34%:金色财经报道，据蜘蛛矿池数据显示：

ETH全网算力178.548TH/s，挖矿难度2220.99T，目前区块高度10054859，理论收益0.00823938/100MH/天。

BTC全网算力119.308EH/s，挖矿难度16.10T，目前区块高度630177，理论收益0.00000780/T/天。

BSV全网算力2.082EH/s，挖矿难度0.28T，目前区块高度634694，理论收益0.00043225/T/天。

BCH全网算力2.814EH/s，挖矿难度0.40T，目前区块高度634896，理论收益0.00031983/T/天。[2020/5/13]

“现代ZK证明系统的性能越来越高，并且越来越多样化。它们已经可以支持成本在某种程度上是合理的人工智能操作。事实上，有些系统在证明神经网络方面比其他系统好得多。然而，所有这些仍然达不到实际应用所需的性能，并且对于神奇的用例来说是严重不足的。换句话说，如果不进一步加速用于AI操作的ZK系统，用例就会非常有限。“

paper0总结

这是众所周知的秘密：AI性能几乎总是与模型大小成比例。这种趋势看起来也没有放缓。只要这种情况仍然存在，对于我们这些web3中的人来说，这将是特别痛苦的。

金色财经合约数据播报 | 市场活跃性降低 BTC价格窄幅波动:据火币BTC季度合约行情显示，截至16:00（GMT+8），BTC价格暂报6307美元（-1.47%），24小时季度合约成交量14.18亿美元（-19.05%）。

BTC在30日均线下方窄幅波动，季度合约24小时成交量下降19%。根据火币合约数据看，BTC总持仓量维持稳定，大户多头持仓占比较昨日略升，季度合约依然小幅贴水。[2020/4/1]

毕竟，计算成本是我们最终、不可避免的噩梦来源。

今天的ZKP已经可以支持小模型了，但中型到大型模型打破了范式

基准：实验设计

对于paper0，我们关注任何零知识证明系统中的2个基本指标：

证明生成时间：prover创建AI推理的伴随证明所需的时间，以及

prover内存使用峰值：证明者在证明期间的任何给定时间用于生成推理证明的最大内存；

金色财经现场报道 蒙森基金合伙人吴尼克：现在区块链游戏还处于蛮荒时代:金色财经现场报道，5月19日下午在北京亚洲大酒店2018 HTML5区块链游戏大会上，椋鸟区块链极客联盟发起人、蒙森基金合伙人吴尼克认为现在区块链游戏还处于一个蛮荒的时代，但在2018年5月之后会有一些有创意的区块链小游戏出现。针对黄翔认为以太猫不是游戏的观点，吴尼克有不同见解，他认为加密猫中存在挑战，比如你可以去破解繁衍新生代猫的特性规律。另外，参与这个游戏的玩家不都是炒币者。[2018/5/19]

这主要是一个实际的选择，并且是从我们构建Rockybot的经验中做出的。此外，所有测量都是针对证明生成时间进行的，并且没有考虑预处理或witness生成。

当然，还有其他方面的成本需要跟踪。这包括验证者运行时间和证明大小。我们将来可能会重新审视这些指标，但将它们视为paper0的范围之外。

至于我们测试的实际证明系统，通过投票，我们选定了6个：

Paper0测试的证明系统汇总表，以及协助我们的作者

最后，我们创建了两套用于基准测试的多线性感知器——值得注意的是，MLP相对简单，主要由线性运算组成。这包括一套随着参数数量增加而扩展的架构，以及第二套随着层数增加而扩展的架构。如下表所示，每个套件都测试了证明系统以不同方式扩展的能力，并大致代表了从LeNet5到ResNet-34的知名深度学习架构的规模。

参数和深度基准套件

结果：迅如闪电

对于以上6个证明系统的参数和深度范围的证明生成时间结果

对于以上6个证明系统的参数和深度范围内的峰值内存结果

有关这些结果的完整内容，以及对每个系统内瓶颈的深入分析，请参阅paper0的第4节。

用例和最终要点

好吧，以上是一些非常简洁的图表，而以下则是要点：

“在证明时间方面，Plonky2是迄今为止表现最好的系统，因为它使用了基于FRI的多项式承诺和Goldilocks域。事实上，对于我们最大的基准架构，它比Halo2快3倍。然而，这是以prover内存消耗为显著代价的，Plonky2的性能始终较差，有时会使Halo2的峰值RAM使用量翻倍。在证明时间和内存方面，基于GKR的zkCNNprover似乎最适合处理大型模型——即使没有优化的实现。”

那这在实践中究竟意味着什么？我们将重点介绍2个示例：

1、Worldcoin：Worldcoin正在构建世界上第一个“隐私保护身份证明协议”，换句话说，通过将身份验证与一种非常独特的生物特征联系起来来解决女巫攻击问题。这是一个疯狂的想法，它使用卷积神经网络来压缩、转换和证明存储的虹膜数据。虽然他们当前的设置涉及orb硬件中安全飞地内的可信计算环境，但他们希望改为使用ZKP来证明模型的正确计算。这将允许用户对自己的生物特征数据进行自我保护，并提供加密安全保证。

现在具体一点：Worldcoin的模型具有180万参数和50层。这是区分100亿个不同虹膜所必需的模型复杂性。哎呀！

虽然在计算优化的云CPU上证明Plonky2等系统，可以在几分钟内为这种规模的模型生成推理证明，但证明者的内存消耗将超过任何商用移动硬件。

事实上，没有一个测试系统能够在移动硬件上证明这个神经网络……

2.AIArena：AIArena是一款类似于《任天堂明星大乱斗》风格的链上平台格斗游戏，其具有一个独特的特点：玩家并不是操作化身实时进行对抗，而是让玩家拥有的AI模型相互竞争和战斗，是的，这听起来很酷。

随着时间的推移，AIArena的出色团队正努力将他们的游戏转向一个完全无需信任的锦标赛计划。但问题是，这涉及验证每次游戏数量惊人的AI计算的挑战。

比赛以每秒60帧的速度运行，持续3分钟时间。这意味着每轮比赛，两个玩家模型之间的推理结果超过20000个。以AIArena的一个策略网络为例，一个相对较小的MLP需要大约0.008秒来执行一次前向传递，使用zkCNN证明该模型需要0.6秒，即，每采取一次动作就需要增加1000倍的计算。

这也意味着计算成本将增加1000倍。随着单元经济对链上服务变得越来越重要，开发人员必须平衡去中心化安全的价值与证明生成的实际成本。

https://aws.amazon.com/ec2/pricing/

无论是上面的例子，ZK-KYC，DALL-E风格的图像生成，还是智能合约中的大型语言模型，ZKML的世界中都存在着一个完整的用例世界。然而，要真正实现这些，我们强烈认为ZKprover仍需要大量改进。特别是对于自我完善的区块链的未来。

那么，我们该何去何从？

我们有具体的表现数据，我们知道在证明神经网络时哪些技术往往表现最好。当然，我们开始发现各种用例，这些用例激励了我们不断成长的社区。

我想知道接下来会发生什么……

很快就会为你们提供更多更新；）

标签：区块链PAPVERARE区块链专业学什么课程PAPAMoonVerseAIJARED币

TRX热门资讯