“一文了解使用ZK-rollups分片的以太坊如何成为一股不可阻挡的务实力量。”原文:Hackmd
所有区块链网络都存在可扩展性不可能三角问题。L1网络推动可扩展性的难度越大,运行完整节点的最低硬件要求就越高。当无法轻松运行完整节点时,网络会变得更加中心化。很明显,以太坊长期以来一直将安全性和去中心化放在基础层的可扩展性之上。随着转向以Rollup为中心的路线图,以太坊正在利用其基础层来提供强大的数据可用性来代替L1可扩展性,同时保持安全性和去中心化。
可扩展性的不可能三角。来源:VitalikButerin?
我们今天习惯使用的以太坊网络上的大部分执行未来将转移到Rollup而不是发生在主网上。虽然L1专注于速度和安全性而不是去中心化有悖于这个行业的精神,但同样的不可能三角问题不适用于Rollup。Rollup继承了主网以太坊的安全性。通过以太坊处理的困难部分,Rollup能够专注于成为可能的最佳执行层。
您现在可能已经听说过Optimism和Arbitrum,它们都属于OptimisticRollup。即将出现的另一种Rollup是ZK-rollup。目前已经有一些ZK-rollup实例,但它们都没有提供通用的计算EVM兼容性或zkEVM。这种情况不会持续太久,因为zkSync2.0、Scroll、StarkNet和其他公司都在处理这种情况并且进展很快。
那么为什么这很重要呢?当以太坊从单一链转变为模块化系统时,它改变了扩容竞争的态势。正如polynya之前所说,L1智能合约区块链不再直接与以太坊竞争;他们正在与Rollup竞争。我相信与EVM兼容的通用ZK-rollup的出现不仅会导致OptimisticRollup被淘汰,还会导致所有其他L1智能合约区块链被淘汰。
现实情况是,随着竞争的实现和专注于执行效率的自由,Rollup将以极快的速度迭代到自己的最佳版本。由于它们都可能经历快速变化,因此在本文中,我不会尝试支持某一特定的ZKRollup。相反,我将在合并后、分片后的以太坊世界中强调ZK-rollup的功能和可能性。
安全
Rollup的丰富安全保证实现了一些有趣的动态。
escapeHatch()
如果您将资金放在PolygonPoS或Solana上,并且网络离线了数小时,那么在停机期间您将对自己深陷其中的资金无能为力。与使用“侧链”或替代智能合约链不同,主网Rollup合约包含“逃生舱口”——escapeHatch(),这是不可更改的函数,即使Rollup网络离线,用户也可以将Rollup资金退出回主网。您始终可以根据需要手动向主网以太坊Rollup合约提交交易,包括使用您的资金退出Rollup。
报告:Q1 DeFi总锁仓量达833亿美元,环比涨幅达37.44%:4月3日消息,根据DappRadar报告,2023年第一季DeFi总锁仓量达到833亿美元,较上一季度增长37.44%,Arbitrum、Fantom和Optimism等二层解决方案贡献较大。其中,Arbitrum锁仓量达到32亿美元,增长118.40%;Optimism锁仓量触及10亿美元,较上一季度上涨85%。
在区块链方面,一季度以太坊链上DeFi锁仓量为558亿美元排名第一,占比66.95%,BNB Chain其次,同期链上DeFi锁仓量为72亿美元;波场位列第三,链上DeFi锁仓量为52亿美元。[2023/4/3 13:41:58]
理想情况下,退出Rollup不会感觉像在飞行途中逃出飞机……这应该是一个相对舒适的过程。
中心化排序器和证明器
我知道在我的介绍中我说过我会涵盖Rollup必须提供的“最好的”部分......在有人在这里吹嘘之前,我会澄清一个显而易见的问题:理想的情况是排序器和证明器的完全去中心化。但是,最初情况并非如此。大多数Rollup将以不同程度的中心化启动,并从那里开始逐步去中心化。也就是说,Rollup中的中心化排序器比L1链中的中心化要安全得多,这一事实值得强调。
当使用中心化排序器或证明器的Rollup时,您会在信任和抗审查方面做出妥协,但不会影响安全性。排序器运营商无法窃取您的资金,您可以随时撤回到主网以太坊。实际上,您主要依赖中央排序器来保持活力。
我们之前都听过关于某某区块链是“数据中心链”的笑话。使用ZK-rollups,您实际上可以拥有一个充满超高规格机器的数据中心,专门用于证明,并且这不会对网络构成生存风险。
去中心化排序器和证明器
值得庆幸的是,由于能够在需要时触发逃生舱口并且无法窃取资金,因此Rollup开发人员可以尝试各种方案而不必担心灾难性后果。去中心化排序器和证明器的设计空间相当大。在最终形式中,我希望排序器和证明器对公众普遍开放,并采取各种形式的经济激励措施来确保理性行为。我们可以支持多个,而不是只有一个装满证明者的中央仓库!更重要的是,我们将拥有一个由企业、Rollup开发人员和业余爱好者组成的分布式网络,运行证明器。
数据可用性
数据可用性是指每个以太坊节点需要维护的数据。在需要不可更改性的情况下,链上数据存储很有价值,但是,以太坊上的数据容量是有限的且需要大量资源来维护;存储不便宜!
一旦以太坊转向具有数据分片的模块化系统,Rollup将享受大量的数据容量,并且只会随着时间的推移而增加。完整节点和验证器的绝对数量意味着以太坊将拥有最高容量的数据可用性。
以太坊数据分片
分片是对以太坊的多阶段升级。分片将充当网络数据存储需求的负载平衡器,从而在Rollup执行层获得巨大的可扩展性好处。重要的是,这也避免了对全节点的高要求,从而使网络保持去中心化。
最初,将有64个数据分片或“分片链”。最终,将有1,024个数据分片。数据分片不处理交易或智能合约;相反,它们将为Rollup提供额外的数据容量。
资管公司IDEG推出两只基金,其中包括其首支DeFi主题基金:4月20日消息,数字资产管理公司 IDEG Asset Management Limited (IDEG) 今日宣布推出两只基金。其中一只基金为首支DeFi主题基金。
这两只基金将由 Markus Thielen 进行管理。Thielen 在传统和数字资产市场拥有超过17年的经验。他曾管理过 Millennium Capital Partners 和 JP Morgan 旗下的对冲基金 。(prnewswire)[2022/4/20 14:36:17]
后分片时代的以太坊,图片来源:Hsiao-WeiWang?
Rollup充当交易压缩的一种形式,偶尔会向主网以太坊发布单个状态根更新,其中包含在rollup层发生的许多不同交易的结果。因为他们必须将这些状态根更新发布到主网上,所以Rollupgas费用会受到区块空间需求的波动;通常会转嫁给Rollup用户的成本。一旦分片生效,网络容量将增加近20倍。这将使Rollup操作更便宜、更快。
协同地,作为Rollup的最终链意味着以太坊用户也可以从只有ZK-rollup可以提供的替代数据可用性解决方案中受益。
Volitions
Volitions属于ZK-rollup,包含一个rollup链和一个validium实例。Volitions像ZK-rollups一样将状态根和证明提交给以太坊,但它们的不同之处在于它们允许用户选择他们是否想要或需要通过Volition的rollup来利用链上数据可用性或通过Volition的链下数据可用性有效性。这是一种权衡,仅适用于ZK-rollup;OptimisticRollup中没有Volitions。
意志的一个例子是zkSync2.0:
zkSyncvolition,来自:MatterLabs?
zkSync的validium称为zkPorter。在此方案中,数据可用性由zkPorter验证器保护。MatterLabs声称这可以实现超过20,000tp/s的速度,并将gas成本降低100倍。值得记住的是,ZK-rollup上交易容量的最终上限实际上是一个受其证明者计算和存储能力限制的函数。我敢打,从长远来看,20,000tp/s实际上可能是一个保守的估计。
Adamantium
这里还有像Adamantium这样的提议,一种去信任的链下数据可用性解决方案,或TODA,它们进一步寻求创新数据可用性空间。可以说,他们属于一种volition的范畴。该提案中的一个片段:
“……Adamantium,一种自治数据可用性协议……保留了链下数据可用性的扩展优势,同时消除了对任何愿意用户的所有信任假设。愿意做什么?就选择在线;如果他们不在线,他们的资金不会被盗,也不会被冻结——相反,资金会从L2转移回用户控制下的以太坊地址。”
与volitions一样,此解决方案仅适用于ZK-rollups。
数据:以太坊上DeFi协议总锁仓量突破280亿美元:据欧科云链OKLink数据显示,截至今日15时,以太坊上DeFi协议总锁仓量约合281.06亿美元。其中锁仓量排名前三的协议分别是Maker 38.72亿美元,WBTC 38.69亿美元以及Uniswap V2 29.67亿美元。[2021/1/6 16:33:19]
交易成本和吞吐量
Rollup的交易成本已经相当低,但还不够低。值得庆幸的是,在此过程中还有更多优化,这将大大降低gas成本。此外,还将部署许多技术来提高交易吞吐量。
Rollup军队
鉴于主网上Rollup的轻量级性质,可能会有数百个Rollup并行运行,每个Rollup都能够支持数十万用户,每个用户都有自己巨大的吞吐量,所有这些都由以太坊提供支持和保护。如果一个Rollup已饱和,就会跳到另一个Rollup并开始交易。如果您需要,也可以分叉一个Rollup并自己部署它的副本。
有效性证明摊销
有效性证明摊销是指ZK-rollup上每批交易中的交易数量,因为它与验证的gas总成本有关。
在这种情况下,我将为您提供一种快速内化摊销概念的方法。请记住,为简单起见,这个例子在数学上并不准确。我提供的公式只是为了说明;实际上,Rollup交易成本的细分并不是那么简单。也就是说,在我们想象的场景中:
更新状态根需要累积5,000,000gas就像主网一样,用户在进行Rollup交易时需要支付gas费每笔交易的价格遵循一个公式x=5000000/y,其中x是每笔交易的价格,y是任何给定批次中的交易数量你应该能够推断出:
200批交易的单笔交易成本为25,000gas100,000批交易的单笔交易成本为50gas,基本上可以忽略不计随着越来越多的人提交批次,交易的摊销成本变得更便宜。这与整体区块链完全相反,比如今天的以太坊,随着活跃用户数量的增加,对区块空间的需求也会增加,从而导致gas价格飙升。
摊销的一个例子:StarkEx提供了一种称为SHARP的机制,是“SharedProver”的缩写,它在所有StarkEx部署中摊销成本。
Volition
大多数关于volitions的相关信息都包含在前面的Volitions部分中。尽管如此,它们与Rollup吞吐量的故事相关,因此值得再次提及它们。简要回顾:
volitions使开发人员和用户能够在验证中利用链下数据可用性
这种链下数据可用性虽然不如链上数据可用性安全,但可以极大地降低交易成本
除了降低成本外,链下数据可用性还释放了大量额外的交易吞吐量
隐私
众所周知,隐私不是以太坊固有的。我们不能指望普通人或企业放弃他们的财务隐私。默认情况下,ZK-rollups不是私有的。“ZK-rollup”中的“零知识”是指在链下进行的计算,然后通过零知识证明在主网上被验证为合法,这并不意味着“你的活动不会被窥探”。一切都没有丢失。在ZK-rollups的无许可隐私方面,有很多工作要做。
递归证明
在《一篇不完整的Rollup指南》中,Vitalik写了一些关于OptimisticRollup和ZKRollup之间的一些主要区别的文章。其中之一是两种Rollup如何处理隐私。他特别提到了递归证明。“递归证明”是指在另一个证明中验证一个证明的行为,例如,在另一个SNARK中验证一个SNARK。这是一种方便的压缩技术,可以提高效率并降低隐私成本。
V神再次发推表示看好市场预测类DeFi项目:刚刚,V神发推称,现在不管谁赢了(美国大选),我绝对认为市场预测已经证明了自己比这次的民意调查和模型更准确。在该条推文之前,V神已于早间连发数条推特表示看好市场预测类DeFi项目。而在昨日,V神还发推建议Libra项目负责人关注预测市场类DeFi项目。[2020/11/4 11:37:50]
Aztec正在研究一种所谓的ZK-ZK-rollup或ZK2-rollup,它利用他们创新的PLONK证明和Turbo-PLONK来提供交易隐私。简而言之:
ZK-SNARK代表ZK2-rollup上的每笔交易。这些是“内部”SNARK。另一个ZK-SNARK,即rollupSNARK,处理证明内部SNARK正确性的工作请注意,OptimisticRollup无法实现这一创新,因为它们不能安全地允许内部SNARK验证发生在Rollup之外;数据必须发布在链上。这并不是说OptimisticRollup不能从零知识证明中受益,但它们总是效率较低且成本效益较低。
此时,zkSync和MinaProtocol已经采用了PLONKs。随着时间的推移,我们可以期待递归的进一步创新,为所有ZK-rollup带来更便宜、更强大的隐私形式。
Turbo-PLONK多项式逻辑单元,如图所示。来自:零知识峰会;演示视频在这里?
灵活性
ZK-rollup享有在多个方面进行创新的自由,而没有L1链带来的灾难性故障的风险。以太坊以roll为中心的路线图的一个关键原则是,自由市场正在寻找构建Rollup的所有最佳方法,而不是一小群核心开发人员假设什么应该是最好的。
由于开发和部署Rollup是一项无需许可的工作,因此我们将在争夺新用户的竞赛中看到许多不同的Rollup方法。这包括不同风格的治理、代币经济学和流动性激励、去中心化范围内的不同权衡、意识形态的不同表达,甚至是LLVM、自定义VM等VM环境的不同选择。
不过,并非本节中提到的所有内容都是ZK-rollups独有的。尽管ZK-rollup提供的某些功能还不足,但OptimisticRollup具有许多相同的灵活性。然而,其他L1智能合约区块链无法像Rollup那样快速地迭代其中任何一个。请记住:现在是Rollup对抗L1智能合约平台。
如果L1链试图迭代太快,而没有采取适当的测试和安全措施,那么它的用户就会面临很高的风险。这些网络上的所有资金始终都是赏金。当L1链出现故障时,损失可能是灾难性的。停机时间还会影响L1可能拥有的任何扩展执行环境。优先考虑安全性和去中心化是有好处的。
在最坏的情况下,当rollup中断时,需要手动操作直到修复。我可以想象,类似于在Etherscan上与合约进行交互,Rollup开发人员和应用程序开发人员可能会提供“在紧急情况下”的门户网站,允许用户在需要时快速简便地手动操作Rollup。值得庆幸的是,这些快速迭代很可能会在早期得到解决,我想他们的开发将非常谨慎地完成。
动态 | 当前DeFi生态中锁定的资产总价值为10.64亿美元:DeFi Pulse数据显示,当前DeFi生态中锁定的资产总价值为10.64亿美元,其中MakerDao锁定资产占比57.43%。[2020/2/23]
各种各样的Rollup应用
外包计算支持许多新的链上应用程序,这些应用程序在今天的主网以太坊或任何其他在线智能合约平台上都不可行。这种新范式还允许我们构建任何现有链上产品的高级版本。
特定于应用程序的ZK-Rollup
虽然本文主要关注通用计算ZK-rollup的好处,但关于特定于应用程序的ZK-rollup的影响还有很多要说的。
dYdX交易所
由StarkEx提供支持的dYdX是一个去中心化交易所,支持永续合约、保证金和现货交易,以及借贷。自L2推出以来,dYdX在其ETH/USD交易对上获得了与FTX相媲美的流动性。虽然其中很多可能是雇佣流动性参与了他们的$DYDX代币奖励计划,但我相信dYdX或其他一些ZK-rollup原生DEX有一天会在交易量和流动性方面永远超过所有合约交易所。
dYdX的ETH流动性可与FTX匹敌;2021年9月26日。来源:Hsaka?
在用户体验方面,您只需要一个以太坊钱包和一些ETH即可登录并开始在dYdX上进行交易。与一般的中心化交易所不同,不需要KYC,不需要向第三方存储您的个人信息,当然DEX是非托管的。您确实需要将资金转移到Rollup才能使用DEX,但您可以控制并在需要时将资金提取回主网。dYdX的用户说,它感觉与使用中心化交易所一样灵敏。
某些链引起了HFT人群的关注。假设HFT公司是理性的、受利润驱动的实体,我想随着时间的推移,这项活动将主要存在于ZK-rollup上。
ImmutableX
另一个迅速获得关注的例子是ImmutableX,这是一种Volition,可为NFT提供巨大的扩展优势。最近,TikTok选择ImmutableX作为其TikTokTopMomentsNFT的底层平台。在ImmutableX上,你无需支付100到1000美元的gas成本来铸造NFT,而是让用户以一美元甚至免费的价格铸造它们。以下摘自他们的alpha交易公告:
ImmutableX提供无gas和即时交易:对于任何市场、游戏和去中心化应用程序,ImmutableX提供无gas交易、即时NFT交易可扩展性,而不会影响用户的保管。您是否注意到他们所说的每秒高达9,000多笔交易的部分?
物理和游戏引擎
一位名叫guiltyyoza的推特用户在StarkNet上展示了他的许多实操实验。我预计,随着工具变得更加强大和实验的继续,我们将看到大量以前无法想象的新链上游戏。
简单格子和引力场中的二体问题,运行在StarkNet上。来源:guiltyyoza
其他概念
Volitions将为Web3.0的使命提供新的方法。例如,链原生社交网络之类的东西应该会从链下数据可用性中受益匪浅。杰克·多尔西(JackDorsey)谈到了他将Twitter转变为开源分布式系统的计划,其中Twitter只是“Twitter”协议之上的一个客户端。Volitions可以在这个现实中发挥关键作用。
同样,我可以想象Vine的开源复活,其中经典的短用户提交的视频被铸造为NFT。TikTok和他们的“TopMoments”计划与这个想法类似,但TikTok终究是一个闭源实体。
这场比赛的下一步是什么?
ZK-rollup带来了很多好处,以太坊很快就会让它们发挥最大的潜力。但是竞争链呢?在各种意义上都被超越了,他们会怎样?这是一个很好的问题,不可避免地会有许多复杂的答案。我对他们的命运有一些想法。
以太坊的务实黑洞
在过去的一年里,我们看到了许多“又便宜又快”的EVM链如雨后春笋般涌现。我们还看到链上线,承诺“击败可扩展性不可能三角!”在基础层,对Layer扩容的概念挥之不去。
现在应该很清楚,通用计算ZK-rollup将比任何L1智能合约链所希望的更安全、更快、更分散、更具适应性和灵活性,并且更轻量级。这些事实很重要;每个独立的链都将承担不必要的安全开销和风险,同时是劣质产品。
在我看来,未来务实的解决方案是让这些链放弃其冗余的共识机制和数据可用性,成为ZK-rollup或Volition。他们应该融入以太坊一流的安全性、数据可用性和结算保证。
将共识和安全的工作外包给以太坊将使这些链能够严格专注于执行。在后分片、后Rollup的主导世界中,这是他们保持相关性的机会。否则,他们的安全包袱将太重而无法跟上。随着时间的推移,这将是一个变得更加清晰——非常明显——的现实。
以太坊和所有其他L1执行层,大约在2023年。
图片来源:NASA/CXC/M.WEISS
可以说,像Solana、Avalanche、Fantom和BinanceSmartChain这样的网络在任何潜在的Rollup治理代币上都有优势。这些网络的原生代币:
有时间达到某种程度的分布是“已知实体”有交易所支持具有深厚的流动性也就是说,放弃他们冗余的共识机制和安全代价成为以太坊Rollup并不意味着他们的代币消失了。相反,他们可以重新利用代币来调整证明者和排序者的激励措施或提供链上流动性激励措施。这些链不需要牺牲他们的身份,只需要牺牲他们的危险包袱。这对所有人来说都是积极的。
现实
假设这些链的架构师、风投和用户会如此迅速地接受这一现实,如果他们愿意的话,那将是愚蠢的。模因很强大,不乏自豪感,很多风投都有一个梦想,他们想继续卖给散户投资者。
历史告诉我们,区块链的消亡从来都不是一个快速的过程。今天你可以在以太坊经典之类的平台上观察到数千个空块,这表明在任何地方都明显缺乏采用。以太坊经典并不孤单;还有很多其他人喜欢它。它们仍然站着,站着,直到有一天他们不再存在。如果选择的话,在现实收取应得的费用之前,有足够的时间出现认知失调。
时间
即使这些链选择务实的方法,也需要大量的研究、准备来实现这种规模的更改。任何链都需要很长时间才能执行。也许与直觉相反,我的直觉是Solana将是最早这样做的项目之一。
信息披露
ZK-rollup的未来可能看起来像是世界上所有问题的神奇技术解决方案,但有些事情你最好记住。
这不是一个包罗万象的清单。
根据Rollup,中心化排序器可能具有执行MEV的特权位置。
根据Volition的验证端数据可用性委员会的实施,数据委员会验证者可能会恶意冻结或拒绝更新验证的状态。这不会影响意志中ZK-rollup的状态。
许多Rollup意味着许多流动性的地方,无论是交易代币还是交易NFT。虽然ZK-rollup允许在rollup和主网之间,甚至是rollup-to-rollup之间快速移动,但流动性碎片可能会导致早期动荡。dAMM旨在解决这个确切的问题。
运行证明器在计算上要求很高,我们会很好地找到方法来减少它们的潜在能源消耗,同时提高它们的效率。
请注意,证明不是像工作量证明挖矿那样的消耗游戏;随着时间的推移,它不会变得更难。因此,在PoW时代,证明者的能源使用量不太可能接近以太坊的能源使用量。
也就是说,除了MEV,我预计市场会相对较快地为大多数问题提供解决方案。就MEV而言,这是一个棘手的问题,不幸的是,任何一种神奇的解决方案或协议都无法解决,但MEV最小化和民主化的各种方法将有助于减少其影响。
OptimisticRollup
虽然我不相信OptimisticRollup的长期可行性,但它们仍然是当今以太坊最好的EVM兼容扩展解决方案。通用计算EVM兼容的ZK-rollup还没有上线,我们还需要一段时间才能实现我在本文中介绍的所有好处。
Optimism最近宣布对他们的执行环境进行一项激动人心的改变,这将使用户和开发人员都受益匪浅。Arbitrum将很快完成其Nitro升级,这将增强EVM兼容性并为其用户提供更快的速度。
越来越多的新的和现有的DeFi应用程序都在这些Rollup上部署。两个网络之间有数十亿美元的流动性。这两个网络都非常值得尝试和支持。桥接Optimism和Arbitrum只需几分钟!
您可以通过在此处连接来尝试Optimism:
https://gateway.optimism.io/welcome
您可以通过在此处进行桥接来试用Arbitrum:
https://bridge.arbitrum.io/
我敦促您在与任一网站交互之前验证每个URL的有效性。您可以随时在Optimism的Twitter和Arbitrum的Twitter上仔细检查个人资料链接的网站。
在撰写本文时,Optimism仅适用于智能合约的白名单,但用户可以随意使用任何列入白名单的智能合约。我猜测这个白名单很快就会被取消。Arbitrum没有白名单;用户和开发人员可以自由地交易和部署他们的内心内容。
请记住,两个网络的资金要返还到主网需要7天。有第三方服务跨链桥,您可以在其中从Rollup到主网来回交换,但需要付费。在使用它们中的任何一个之前进行自己的研究,并始终仔细检查您引用的滑点和费率。
结论
我们正处于巨大的范式转变的边缘,这将永远改变加密生态系统。ZK-rollups将扩展以太坊,他们将尽其所能。这种范式转变足够强大,它非常清楚地标志着每个L1智能合约链时代结束的开始——即使是我们今天所知的以太坊。
还有许多不同的扩展提案。数千小时的研究、实施、成功和失败都在努力寻找正确方法——当然,这项工作还远未结束。前方的道路充满曲折,但目的地却从未如此清晰。
我希望这篇文章能帮助你在考虑这个行业的未来时塑造你的心理模型。看到为我们所有人准备的东西,我感到无限兴奋。
郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。