宇宙链 宇宙链
Ctrl+D收藏宇宙链
首页 > Bitcoin > 正文

一文了解 ZK 在推进链上 AI 的作用

作者:

时间:1900/1/1 0:00:00

原文来自:ModulusLabs

编译:DeFi之道

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

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

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

事不宜迟,让我们深入了解:

Paper0:我们的调查要点

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

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

NFT项目Renga向美国专利商标局申请软件和服务商标:金色财经报道,据美国专利商标局披露的申请信息显示,由艺术家DirtyRobot创作的NFT项目已向该机构提交了软件和服务商标申请,旨在使用户能够查看、交易和管理数字藏品和代币。Renga商标申请涵盖用于管理NFT和数字资产的可下载软件,包括NFT和数字藏品的在线市场、以及用于电子存储NFT的网站。商标申请表明,Renga即将推出的软件将允许用户查看、分析、记录、存储、监控、管理、交易和交换数字资产,如加密货币、数字代币和NFT。[2023/4/4 13:43:22]

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

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

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

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

Coinbase将上线欧元稳定币Euro Coin:2月22日消息,据官方消息,Coinbase将上线欧元稳定币Euro Coin (EUROC)。如果满足流动性条件,交易将于太平洋冬令时2月22日9:00(北京时间2月23日1:00)开始。如果建立了足够的资产供应, EUROC-USD和EUROC-EUR交易对将分阶段开放交易。Coinbase仅在以太坊网络上支持EUROC。在某些司法管辖区,EUROC交易可能会受到限制。欧元稳定币EUROC由Circle于6月30日在以太坊上发行,100%由欧元计价的储备支持,可以按照1:1的比例兑换成欧元。[2023/2/22 12:21:01]

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

OSMO短时上涨13倍后回落,24H涨幅收窄至19%:12月11日消息,据币安行情显示,OSMO短时上涨逾13倍,最高点达12.5 USDT后大幅回落,24H涨幅收窄至19%,现报1.07USDT,且各交易平台出现较大短时差价。[2022/12/11 21:36:42]

paper0总结

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

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

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

基准:实验设计

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

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

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

Valkyrie Funds宣布将其资产负债表机会 ETF 清算和退市:金色财经报道,加密资产管理公司 Valkyrie Funds 周二宣布,将清算和解散其 Valkyrie 资产负债表机会基金(纳斯达克代码:VBB),这是一种以比特币牛市为重点的投资工具,自2021 年 12 月以来在纳斯达克交易。

VBB中最大的头寸是特斯拉 和 MicroStrategy,这两家公司以在资产负债表上持有比特币而闻名,目前基金管理的净资产规模仅为 570,000 美元左右。 Valkyrie表示,VBB基金将在 10 月 31 日清算,清算后将从纳斯达克交易所退市,任何在清算时仍持有基金份额的用户将获得等于其持仓净资产值 (NAV) 的现金分配。[2022/10/12 10:31:39]

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

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

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

Game Space加入Polygon向Steam用户空投NFT,并支持NFT资产充提:8月2日消息,GameFi as a Service平台Game Space加入Polygon宣布面向十亿Steam玩家开启NFT空投活动,并添加Polygon链NFT资产充提功能。

这意味着Polygon将成为继以太坊、BNB Chain之后,Game Space支持的第三个区块链网络,游戏厂商可以通过Game Space的SDK,快速有效地在Polygon 上构建GameFi应用程序和部署NFT智能合约。[2022/8/2 2:53:37]

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仍需要大量改进。特别是对于自我完善的区块链的未来。

那么,我们该何去何从?

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

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

很快就会为你们提供更多更新;)

标签:NFTPAPERPAPAPESPUNK Vault (NFTX)ToiletPaper.FinancePaparazziAPEX

Bitcoin热门资讯
“骨折价”出售ETH信托 DCG危机基本解除?

加密货币集团DigitalCurrencyGroup已开始以“骨折价”出售其多个加密基金的股票,重点是灰度以太坊信托基金.

1900/1/1 0:00:00
再获2100万美元融资 工业元宇宙公司Worlds野心到底有多大?

2021年,元宇宙横空出世,为数字化社会赋予了极具诗意的代名词,并在短短的两年内从概念层面逐步转向规模化,逐渐有了阶段性的进展和相关的应用落地。而随着产业初见雏形,工业元宇宙成为了关键一环.

1900/1/1 0:00:00
加密市场多头走强 大型“巨鲸”过去 10 天内增持 37,100 BTC

自美国劳工部发布CPI数据以来,加密货币市场一直跟随美股处于上涨趋势,比特币和以太坊在短短一周内飙升了近20%,这种势头带动了市场上几乎所有的山寨币,全球加密货币总市值自2022年11月以来首次达到1万亿美元.

1900/1/1 0:00:00
金色Web3.0日报 | Coinbase与Kava团队达成合作并上线其原生代币KAVA

DeFi数据 1、DeFi代币总市值:420.27亿美元 DeFi总市值及前十代币数据来源:coingecko2、过去24小时去中心化交易所的交易量35.

1900/1/1 0:00:00
LayerZero CEO:从第一性原理理解LayerZero

昨天推特上出现了有很多对LayerZero的讨论,其中也包括很多误解,所以我将从第一性原理开始介绍LayerZero.

1900/1/1 0:00:00
Web3 音乐发展史:音乐人不再为爱发电 DAO与社区助力发展

来源|?mta1versemag 编译|白泽研究院 音乐产业最早可以追溯到1900年代初期,当时出现了录制的音乐。在过去的几十年里,该行业随着技术变革而不断进步。从黑胶唱片到CD,从收音机到电视,所有这些都为音乐产业带来了巨大的增长.

1900/1/1 0:00:00