从区块链层面出发,以太坊生命的初始阶段是单一的。这意味着在最初的几年里,Layer1以太坊主网全权负责执行自己的交易,促进自己的网络安全,并为自己的数据可用性提供服务。
然而,在过去的几年里,以太坊一直在迅速转向模块化设计。这意味着对以太坊的运行来说,采用外部第三方解决方案对自身进行扩展,是一种理想的方式。
比如近年来,像Arbitrum和zkSync等Layer2项目的兴起,它们在以太坊之外执行交易,然后有效地将批量交易“Rollup”到以太坊Layer1,在此过程中提供便宜、合理的价格和便捷的用户体验。
ModularEthereum-viaUltraScalableEthereum
从L1到L2
零知识身份预言机提供商zkMe完成200万美元Pre-Seed轮融资,Circle Venture等参投:5月30日消息,零知识身份预言机 zkMe 完成 200 万美元 Pre-Seed 轮融资,Circle Venture、Spartan Group、CMS Holdings、Fenbushi Capital、NGC Ventures、Arkstream Capital 等参投,计划利用新资金加速开发,在一个月内完成主网测试并上线客户注册功能。
ZkMe 允许用户加密他们的数据,并使用 ZKP 在他们自己的设备上证明声明,以有效地验证用户资格,同时保护他们的隐私安全。[2023/5/30 9:49:53]
今天,以太坊L1本身实现了30笔/秒的交易。但为了更好地处理全球链上活动,且不会造成重大网络拥塞,L2的扩展创新将给以太坊带来更强大的能力。
具体而言,实现这样的优秀能力有两种主要类型的解决方案:链上扩展和链下扩展。链上扩展是指直接对区块链进行任何更改,以提高其交易执行能力,即吞吐速度。对以太坊来说,分片就是一个例子。它把以太坊活动的负载分散到数十个主链,而不是单一的主网上。
多链Web3生态Hacker资助计划Dora Grant DAO首轮零知识投票环节结束:11月14日消息,社区驱动的多链Web3生态开源极客资助计划Dora Grant DAO已于北京时间11月13日23:59在开发者激励平台DoraHacks.io关闭首轮投票通道。投票最终结果和零知识证明文件将于14日晚八时公布。首期20万美金Grant奖金将会根据投票结果的排序进行发放。
Dora Grant DAO计划旨在持续支持在以下三个领域的多链Web3开源极客团队:多链Web3核心基础设施和工具,加密原生应用,加密-前沿科技交叉领域。[2022/11/14 13:01:29]
ThefutureofEthereumL2s+shards-viaVitalikButerin
Filecoin:Filecoin网络已成为最大的零知识证明网络:Filecoin发表博客称,目前Filecoin已成为最大的零知识证明(zk-SNARK)网络。据官方数据显示,目前Filecoin网络每日会运行6至7百万次零知识证明,每一个零知识证明中包含了超过1亿个约束电路证明。目前Filecoin网络的可信配置已支持最高128M大小的电路证明,单个证明最大已超过100M,而Zcash最高仅支持2M。此外,目前Filecoin实现了通过SnarkPack将10个零知识证明捆绑至单次证明中,并正在研究零知识证明聚合以实现将数千个零知识证明聚合至单次证明中。硬件支持方面,Filecoin将零知识证明中高度可并行化的部分交由GPU完成,将CPU和内存释放出来进行较为复杂的计算,进一步提高了零知识证明的效率。[2021/7/14 0:51:01]
链下扩展是指在链下执行交易执行能力,即L2。链下扩展不像分片一样将L1拆分为许多主链,而是在外部构建第2层。
零知识证明系统Bulletproofs+代码获准可在门罗币协议中使用:12月30日,门罗币发推宣布,零知识证明系统Bulletproofs+的代码现已获得许可,可在Monero协议中使用,以替代现有的Bulletproofs零知识证明系统。新系统将使得门罗交易结构变得更小,钱包交易速度更快以及网络验证速度更快。此外,官方表示,该代码具有功能性并包括对基础算法的测试,若考虑将来在门罗币网络升级中进行部署,则应该由第三方进行审核。[2020/12/30 16:04:23]
以太坊的叙事也正逐渐从L1向L2转变。
而当谈到L2时,当下最受欢迎的解决方案之一是ZKRollup。这是因为在速度上,以太坊和它不在一个层级。ZKRollup可以实现大约2000TPS的速度,而以太坊目前是30TPS。
依靠以太坊安全性的同时,ZKRollup既带来了高效的运行速度,又提供了低廉的价格,受到当前资本及市场对它的极大关注。其中一些L2项目也在飞速发展,如:
零知识证明研发机构StarkWare启动基于STARK的可验证延迟函数服务:零知识证明研发机构StarkWare在以太坊主网上启动了基于STARK的可验证延迟函数(VDF)服务VeeDo。VDF是一种可通过计算提供延迟和时间滞后的函数。StarkWare打算用VeeDo解决的第一个应用是以太坊上的无需信任的、不可支配的随机性概念验证(PoC)。目前,该PoC已在主网激活。另外,StarkWare还在研究时间锁(TimeLock)以及下一代PoW机制。
注:2018年7月份,StarkWare获得了以太坊基金会提供的400万美元资助,将研发对STARK友好的哈希函数和技术,并为生态系统提供开源代码。STARK将允许区块链在兼备隐私和后量子安全的情况下进行大规模扩展(例如分片)。(Medium)[2020/6/24]
dYdX:加密货币和衍生品交易所,TVL达$375
MLoopring:L2交易,NFTs,TVL达$121
MzkSyncLite:L2交易,NFTs,TVL达$65M
Space:L2交易,NFTs,TVL达$49M
Fourofthelargest10L2stodayareZKrollups-viaL2BEAT
从ZKRollup到zkEVMs
ZKrollup有两个主要架构:链上以太坊智能合约和基于以太坊交易和执行环境的链下虚拟机。
zkEVM则是与以太坊虚拟机兼容的ZKrollup,即以太坊L1的执行环境。
IllustrationofPolygonzkEVM’sgeneralapproachtoscaling-viaPolygon
在以太坊开始扩容竞赛时,像Arbitrum和Optimism这样的OptimisticRollup具有巨大的优势,因为它更容易与EVM兼容甚至完全等效。这种技术“亲和力”使应用程序可以轻松地移植其代码,并使用从L1到L2的自己喜欢的工具,这是很棒的用户体验。
相比之下,ZKRollup从定制的虚拟机开始,意味着项目需要进行大量的工作,即“解释”来自EVM的代码或使用从头开始编写的新代码。
因此,zkEVM的到来代表了VitalikButerin在2021年预测的重要一步,即“随着技术的改进,中长期来看,ZKRollup将在所有用例中胜出。由于ZKRollup使用了加密证明,因此与OptimisticRollup相比,它们具有内置的隐私和安全优势。当您将EVM兼容性添加到组合中时,ZKRollup有可能在未来超越OptimisticRollup”。
Type1、Type2zkEVM的竞赛进行时
如果说以太坊“扩容战”是指OptimisticRollup和ZKRollup之间的竞争,以提供最佳的区块链扩容解决方案。那么发生在ZKRollup内部之间的竞争也才刚刚开始,即看看哪个团队能够实现VitalikButerin定义的第一个“Type1”和“Type2”zkEVM。
Buterin’stypesofzkEVM
2022年8月,Buterin提供了一种衡量zkEVM能力的方法,即以Type1到Type4的等级来对其进行评级。Type1zkEVM将与EVM完全等效,甚至可以用于升级以太坊本身,而Type4zkEVM只能与以太坊某些应用程序兼容。
也就是说,由于工作涉及较广,Type1zkEVM的实现还需要一段时间,但是现在有多个项目正在尝试Type2zkEVM。
ThemainzkEVMeffortstoday-viaImmutableX
例如,PolygonzkEVM是Type3zkEVM,并且正在成为Type2zkEVM,接近EVM等效。
Scroll是另一个值得关注的项目,目前正在朝着Type2zkEVM发展。
相比之下,zkSyncEra通过自定义功能和zkPorter进行了增强。当然,它的可能性范围是开放的。
迄今为止,zkEVM的最新进展项目有:
将于3月27日开启主网测试版的PolygonzkEVM;
已向Buider推出主网的zkSyncEra;
刚刚发布GoerlizkEVM测试网的Scroll;
处于Type3状态并且正在升级的Starknet的KakarotzkEVM;
Source:Messari
结语
以太坊本身可能会升级到Type1zkEVM,以进一步进行链上扩展,这是极有可能的事。与此同时,作为潜在升级的补充,从Type2s到Type4s的外部zkEVM将继续蓬勃发展,为开发人员和用户提供以太坊L1无法提供的独特自定义功能,如用户体验增强功能。
总而言之,ZKRollup的最终结果是zkEVM,而这些努力的项目中的第一个正处于推出市场的前沿。2023年也将是普遍加密用户能够首次尝试zkEVM的一年。
郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。