ZKVM 与 ZK验证的思考

时间:2024-09-25 编辑: 浏览:(87)

作者:Miles 来源:X,@Miles082510

昨天与国内的ZK芯片厂商讨论了ZK加速的问题。当前,基于ZK的L2只需要几百台GPU机器即可维持日常业务,未来的Asic发展将更加令人期待。那么,现在的加速需求在哪里?哪些部分值得加速?ZK赛道的瓶颈到底是在证明生成还是验证?这些问题会对生态产生什么影响?

基于这条推文,我想分享一些自己的理解,欢迎指正与讨论!

过去的ZK技术

早期的ZK解决方案主要基于电路开发。开发者必须使用特定语言构建电路,这种方法既复杂又昂贵。@StarkWareLtd 在这个领域处于领先地位,他们通过STARKs在Cairo中构建了电路,利用STARKs的递归证明优势。然而,这种方法的局限性在于它只能汇总来自单一证明系统或机器的STARK证明。

当前的ZK技术

现在,随着通用ZKVM的出现,程序员无需学习新的电路语言,只需编写Rust代码即可开发应用。这方面的代表包括 @RiscZero、@SuccinctLabs 的 SP1、@NexusLabsHQ,以及 @lita_xyz 和来自 @a16zcrypto 的 jolt。

尽管有很多ZKVM项目,但我认为未来所有的证明聚合系统都将依赖RISC-V ZKVMs或基于Rust的ZKVMs。通过使用RISC-V证明,我们可以轻松合并不同的证明系统,简化复杂的验证过程。

问题与挑战

在以太坊上验证证明的成本非常高,且不支持大容量。例如,一个1GB的证明直接在以太坊上验证是不现实的,尽管可以通过递归证明进行压缩,但这同样昂贵且耗时。如果你运行一个ZK rollup,每年的成本可能高达数百万美元。

此外,虽然 @alignedlayer 每秒可验证2500个哈希值,但以太坊无法处理如此大的容量。

解决方案

在以太坊上有两种方法可以实现快速且低成本的验证:

证明聚合:提高验证效率的一种方式。

ZK验证层:在 @eigenlayer 上实现低成本、可扩展的ZK验证层,这是 @alignedlayer 的当前做法。

讨论与观点

关于ZK赛道的瓶颈,@Ozhar(来自 @zkSync)认为只有5%的成本与验证相关,95%则与生成证明的硬件成本相关。@heslinkim(来自 @gevulot_network)持不同观点,他认为真正的瓶颈在于证明生成和硬件。

事实上,ZK硬件和证明生成领域也在快速发展中,如 @cysic_xyz、@Ingo_zk 和 @lagrangedev 等项目方正在积极推进相关技术。

最新 更多 >
  • 1 酷猫宣布2024年第四届年度克隆人艺术大赛

    数字资产孵化工作室Coot Cats和Cool Cats NFT系列背后的团队宣布了其第四届年度艺术竞赛“克隆人2024”。 由酷猫在X上宣布,Clontest 2024开放供提交,将持续七天,于5月31日结束。参与者被要求在他们的作品中融入至少四个来自酷猫宇宙的角色——米洛、阿迪、楚斯、布鲁、乔、萨奇、基拉和骨头。 该竞赛向在任何媒介中工作的数字艺术家开放,并拥有迄今为止最大的奖池。 来源:酷

  • 2 美国证券交易委员会批准现货ETH ETF上市后,Whale在以太坊Altcoins上花费24700000美元:链上数据

    在美国证券交易委员会(SEC)批准ETH交易所交易基金(ETF)上市后,周末发现一头加密鲸从以太坊生态系统中大量获取altcoins。 区块链跟踪公司Lookonchain首次报道称,就在ETH ETF可能获批的消息浮出水面之前,一头带着一系列钱包的鲸鱼购买了略高于3000美元大关的以太坊。 在ETF获得美国证券交易委员会的批准后不久,这头鲸鱼开始积累基于以太坊的altcoins,如Lido(LD

  • 3 观点:投资者需警惕政客对Crypto资产的态度转变

    来源:区块链骑士BTC倡导者Samson Mow最近对不断演变的Crypto资产格局进行了分析,他对政界人士越来越多地支持数字资产表示怀疑。Mow警告说,如果混淆了BTC和其他Crypto资产的基本特征,那么这种“暂时”的变化可能会在未来带来一些问题。Mow的主要担忧之一是许多政客未能区分BTC和其他Crypto资产。他强调说,BTC具有去中心化、无权限和抗审查的特性,与许多其他数字货币项目不同。

  • 4 如何设计更好的链上治理?Futarchy模型的探索与应用

    作者:Malte Kliemann 来源:coindesk 翻译:善欧巴,链上治理的话题一直存在争议。虽然链下治理通常被认为是笨拙的,但链上治理允许开发人员构建日益复杂的协议,允许用户左右网络的方向。但这些本质上都是游戏,如果配置错误或提供错误的激励措施,可能会导致整个链条走向灾难。在“什么是 Futarchy?——交易未来”,Gnosis 联合创始人 Freiderike Ernst 强调了链上

  • 5 在主要指标复苏的情况下,狗狗币暴涨700%至1.17美元

    加密货币分析师Mags提出了Dogecoin(DOGE)价格飙升700%的可能性,这将使其超过1美元。该分析师的预测是在Dogecoin的链上指标最近出现复苏之后做出的,这为模因币描绘了一幅乐观的画面。狗狗币即将走向抛物线Mags在X(前推特)的一篇帖子中表示,狗狗币即将成为抛物线。他声称,当最重要的模因币涨到1美元以上时,它将在这个周期内移动700%。相关阅读为什么加密货币市场暴跌时CORE价格

  • 6 Multipool出售Fjord Foundry LBP

    马朱罗,马绍尔群岛,2024年5月27日,区块链和加密货币行业的领先创新者Chainware Multipool在Fjord Foundry LBP结束时售出了所有500万枚代币。随着LBP的结束,Multipool今天在Uniswap V3上推出了他们的原生代币$MUL,市值为1300万美元$Uniswap上的MUL-在这里“LBP已经结束,我们已经卖出了所有500万个代币。随着LBP的结束,我

  • 7 必须购买加密货币才能观看:5位百万富翁将在2024年爆炸

    2024年的牛市已经到来,为加密货币市场带来了非凡的机遇。投资者正在寻找能够带来可观回报的有前景的加密货币。本文深入探讨了五种有潜力成为百万富翁的杰出加密货币。这些数字硬币吸引了经验丰富的交易员的眼球,并有望实现爆炸式增长。探索这些密码所拥有的令人兴奋的可能性,并发现哪些可能在今年带来巨大收益。CYBRO预售运行迅速,2500万代币已售罄CYBRO是一个独一无二的市场,利用了Blast区块链的本地

  • 8 XRP牛市前景:分析师预测地平线上会有大幅度上涨

    加密货币分析师兼交易员Edrag Crypto在有利的市场条件下做出了惊人的乐观预测,他对XRP进行了乐观的评估,预测数字资产的大规模挤兑可能即将到来。该分析探讨了一系列积极的市场指标和趋势,这些指标和趋势表明了XRP吸引大幅价格飙升和收益的潜力,将该币定位为不断发展的加密货币世界中一种有前景的资产。Edrag Crypto对XRP的看涨预测是基于专家之前介绍的真实唤醒线,分为两个不同的部分,如突

  • 9 MoonBag预售-超过Bonk和Fantom,价值增长15000%

    你有没有想过进入加密货币投资市场?你是否寻求最好的模因币预售来站稳脚跟?加密货币市场已经变得动荡,许多已建立的硬币正在经历螺旋式下跌。即使在这些不可预测的情况下,模因币也出乎意料地获得了发展势头,引发了投资者的兴趣。MoonBag Crypto就是这样一个实体,它以本季度最好的模因币预售展示吸引了用户的注意力。该硬币将与Fantom和BONK等玩家较量,为早期投资者提供有吸引力的奖励。本文将Fan

  • 10 一文了解以太坊大爆发

    近日以太坊现货 ETF 风向大逆转,引发市场及监管层面的高度关注,而基于美国批准交易基金以太坊现货 ETF 的乐观情绪,以太坊本周价格大幅上涨,目前价格为 3807 美元。尽管风向急转背后的原因尚有争议,但市场观察人士及加密货币资深从业者普遍认为监管机构的认可会对以太坊及其他加密货币产生不同程度的影响。据悉,资产管理公司 VanEck 是第一个向美国证券交易委员会(SEC)提交以太坊现货 ETF