介绍
在本文中,我将谈谈以太坊上的L2,当前扩容生态系统的状态;以及为什么我认为长期来看在以太坊上运行L2为最经济和最技术可持续的扩容解决方案。
免责声明:本文汇总了我的想法、其他人的资源和各种技术信息。这篇文章并不是对扩容生态系统的简单总结,而是对以太坊L2可扩展性的当前状态和未来可行性更详细的概述。
为了更深入地研究,我们需要先了解一些定义和概念。
摘要
为了总结这篇冗长的指南,我将列出与该技术及其未来前景有关的重要几点:
用户将不再需要与以太坊主网交互,因为它将仅作为L2的数据可用性层
Web3应用程序的UX将把所有的复杂性都以简明的形式呈现出来
模块化的区块链是经济和技术最可行的长期可扩展性设计方案
目前,以太坊在模块化区块链中占主导位置,因为它拥有很强的安全性,并随着转向PoS安全性也会进一步提高
长期来看,有效性证明比欺诈证明更佳
VolitionL2基础设施(Validium+zk-rollup)正成为基于zkVM的L2的黄金标准
以太坊作为L1层同时也利用数据分片、维克尔树(verkletrees)、无状态和其他改变提高可扩展性
L2领域正在加速构建一个共享的跨L2通信框架,这将使不同的L2项目之间共享流动性和具有智能合约可组合性
L2使用ETH作为gas费,但之后会利用激励机制创建DAO治理代币以实现去中心化运营
应用程序设计空间正不断扩大,因为构建者可用的带宽将更多且面临的执行层障碍将更少
Layer2是什么?
L2(二层)是一种扩容解决方案,它具有一个单独的执行层(代码运行的地方,如EVM这样的环境)并运行在L1(在我们的讨论中L1即为以太坊)之上。而这个执行层继承了L1网络的安全保证和去中心化特性。这意味着,如果L2由于漏洞、基础设施故障而宕机,L1也会在智能合约桥接内安全地保护用户的资产。
根据提交到主网上的最新状态快照可以取回资产。真正的L2桥接是完全无需许可和去中心化的,因此一旦用户存入资金,用户总能访问自己的资产。目前几种扩容解决方案使用的是不同的加密证明机制,其中都具有不同的安全和可扩展性权衡。在下文中我们将深入讨论它们之间的差异。
基于Layer2 ZK Rollup的NFT市场Mint Square新增支持zkSync2.0测试网:金色财经消息,基于以太坊Layer 2 ZK Rollup的NFT市场Mint Square宣布现已支持zkSync2.0测试网,允许用户在zkSync2.0测试网上铸造、购买和出售NFT。Mint Square此前已支持Stark Net Goerli测试网。[2022/4/7 14:10:35]
L2的主要类型
有两种参数可以用来对L2扩容解决方案进行分类。其一是根据使用的加密证明分类,其二是看它们的数据可用性(DA)存储在链上还是链下。
两种主要的证明类型:
有效性证明-这是一种利用零知识(ZK,zero-knowledge)密码学以确保交易有效性的数学证明
欺诈证明-这种证明引入了一种所谓的争议时间延迟(DisputeTimeDelay,DTD),一旦证明提交至L2,验证者留有一定的时间以标记出无效的证明;无效证明可能包含着不正确的状态转换,因而会对涉及的验证者施加惩罚;随后状态回滚至最近的有效快照状态处
数据可用性存储在链上或链下是什么意思呢?
链上:状态数据连同所有交易的所有执行的calldata(智能合约函数调用、原生代币转移、签名)一起放入交易捆/rollup的加密证明中,这使得可以在链上访问和验证所有数据。
链下:执行的calldata和状态由L2处理并存储在链下。这使得这个方案不够安全和去中心化。然而,链下存储数据方案更容易将更多交易打包进一个rollup中,也因此比链上调用数据证明方案的速度快许多。
扩容解决方案分类
这些是帮助区分不同类型L2的主要相关属性。但是,既然我们可以直接通过L1实现扩容,为什么要使用L2呢?为什么不使用更便宜的链,如Solana、Fantom、Avalanche或BSC?我们将在下一节回答这个问题。
以太坊Layer 2总锁仓量重回60亿美元:3月18日消息,据L2BEAT数据显示,当前以太坊Layer2总锁仓量重回60亿美元,7日涨幅达4.13%。其中,锁仓量前三分别为Arbitrum(30.2亿美元)、dYdX(9.63亿美元)和MetisAndromeda(7.41亿美元)。[2022/3/18 14:04:24]
模块化vs.单一型基础结构
在区块链中,有一个著名的概念叫做三难困境——即试图优化三个主要的因素:安全性、去中心化和可扩展性。在同一个系统中实现三种优化十分困难。通常来说,区块链对三点中的某一点做出权衡并实现其他两点的优化。而在以太坊这个用例中,我们首先优化安全性和去中心化水平,同时将提高可扩展性作为次要优先的工作。需要明确的是,可扩展性并非以太坊核心开发者的主要优先考虑事项。
整个2021年,由于DeFi和NFT的增长,以太坊主网变得越来越拥挤。因而以太坊对区块空间的需求前所未有地高。但是,我们不能简单地通过改变区块gaslimit的大小来增加区块可以包含的交易数量,因为这将极大提高运行一个节点的硬件要求,这意味着运行节点将变得更加困难(降低去中心化)。再者,如果区块变得太大,这会破坏共识(降低安全性)。
单一型区块链
其他链采用了不同的方法,它们优先考虑可扩展性,其次是安全性,最后才是去中心化。让我们以Solana主网beta版本为例。该网络有一个主要的客户端开发团队(SolanaLabs)、大约1000个验证者(来源:SolanaBeach),以及另一种称为ProofofHistory(PoH)的共识机制。
Solana采取了独特的扩容方案,这是一种单一型区块链。随着计算能力的增加,他们计划无限扩展运行网络的验证节点。这种方法使网络去中心化程度降低,因为节点验证者被迫不断购买性能更好的硬件以不断跟上网络。由于量子隧道效应,当我们达到芯片内部所能容纳的极限时,人们担心计算能力的增长速度会放缓。某种程度上,我们需要一种新的计算范式出现或技术上的重大突破,以使这种方法可持续。因此,我的结论是区块链扩容有更好的长期替代方案。
模块化区块链
模块化区块链的方案本质上由一个主要网络组成,该网络优先考虑安全性和去中心化,以便它可以充当L2的数据可用性层。如果这个主要网络出现故障,所有L2都会出现故障。但是,如果某个L2出现故障,所有资金都是安全的(由L1提供安全性保障)。这是以太坊采用的方法,因为L2将为我们提供最大的扩容空间。当然,还有其他一些扩容L1的方案,如数据分片、状态休眠机制(stateexpiry)和维克尔树(verkletrees)以及其他各种方法。然而,需要更多时间实现这些方案,因为以太坊优先提高安全性和去中心化。
Google Play上出现假Trezor应用程序:加密货币钱包供应商Trezor发推表示:“Google Play上出现名为Mobile Manager Wallet的假Trezor应用程序,该应用程序与Trezor或SatoshiLabs没有关系。请大家不要安装它。请记住,切勿与任何人分享您的种子,除非Trezor设备要求您这样做。”[2021/1/19 16:30:45]
模块化区块链的一个关键方面是它们可以无限扩展,而无需快速升级硬件。它们之所以能做到这一点,是因为与单一型区块链的架构相比,它们在技术和经济上都是可持续的。至于为什么模块化架构比单一型架构更可持续,更详细的论证可以在这篇文章,作者:推特号@epolynya(u/Liberosist-Reddit)。
从本质上讲,区块链的可持续性从两个维度来分析:
技术可持续性
节点需要保持同步
在合理的时间内完成从区块链的创世区块开始的同步
避免状态过度膨胀而导致失控
经济可持续性
理想情况下,L1产生的收入高于运营网络的成本
不能人为地提高吞吐量,因为最终所有中心化的L1将不得不增加它们的费用
Rollup和数据分片(rads)成为满足这些需求的唯一解决方案,这就是为什么模块化架构是唯一长期可行的扩容解决方案。
更完整的解释请阅读下文中“拓展阅读”板块里?@epolynya'sarticles的文章。
L2的当前状态以及用户如何从中受益
我们正实现扩容,过去几年一直研究的解决方案已经上线了——至少提供了有限的可扩展容量。而且在不久的将来会有更多解决方案在主网上发布其L2的改进版本和Alpha版本。在上文的“L2的主要类型”板块中描述了扩容方案的不同属性,根据这些属性可以将扩容方案分成不同的类别。
L2解决方案的不完整列表
Optimisticrollups
?Arbitrum
Arbitrum由OffchainLabs团队构建。该网络本身叫做ArbitrumOne,它利用optimisticrollup的技术方案来扩容以太坊。ArbitrumOne使用欺诈证明(fraudproofs),并具有链上调用数据可用性,这意味着每笔交易的所有数据都被完全排序、捆绑并提交到主网上。由于Arbitrum使用了欺诈证明,它会有周期大概为七天的争议时间延迟(disputetimedelay,DTD)。一旦DTD通过了,就可以认为网络上的状态更改是有效的,用户可以通过本地桥接提出他们的可用余额。我们稍后会讨论其他中心化的桥接,这些桥接允许你通过跨L2的流动性池绕过欺诈证明的周期,实现即时提款。
比原链打造的Layer 2价值交换协议“MOV”正式上线:据官方消息,3月30日,比原链团队打造的去中心跨链Layer 2价值交换协议——MOV正式上线。
MOV推出转账即交易的概念,用户交易资产就是在钱包上发起一笔链上转账。同时MOV基于的侧链Vapor,TPS峰值达1.6万。 MOV本次上线实现了BTM、USDT、ETH的资产跨链和兑换功能,通过磁力合约和闪兑功能在链上进行交易,从而实现价值流通。[2020/3/30]
ArbitrumOne是目前锁仓量最高的L2网络。一个很棒的网站?L2Beat向我们统计了这些数据。
已经有许多协议和应用程序支持Arbitrum了,包括支持无缝切换至ArbitrumL2的基础设施。目前使用L2的唯一问题是它需要累积更多的流动性,并且像跨L2AMM架构(比如由Starkware和Loopring发明的dAMM)这样的创新方案以及Connext和Hop这样的流动性协议需要足够多的流动性和足够去中心化,以便所有扩容解决方案能够共享同样的基础设施,而不会导致生态系统碎片化。
关于Arbitrum应用程序的生态系统概述,请浏览ArbitrumPortal网页。
主要工具:
区块浏览器-Arbiscan
桥接-Arbitrum原生桥接(提款大约需要等待7天的DTD时间)
网络RPC配置-Chainlist(搜索ArbitrumOne并添加至MetaMask)/在桥接你的资产之前请检查你的移动钱包是否支持Arbitrum(这可能会导致你的财产永久丢失)—个人建议:Rainbowwallet(免责声明:尚未支持Arbitrum)
AMM聚合器-1inch
如果读者使用Arbitrum桥接时感到困惑,请查看Arbitrum桥接教程。如果想要从以太坊以外的其他网络进行桥接,请查看下文的L2桥接板块(注意,这些桥接都有不同程度的中心化)。
ArbitrumNitro
ArbitrumNitro是ArbitrumOneL2的升级版,它使用WebAssembly(WASM)目标取代了自定义的AVM(ArbitrumVM)以负责欺诈证明。这个升级也会使得整个系统与EVM更加兼容。另一个变化是,EVM模拟器(EVM-emulator)会被Geth取代(Geth是目前运行最多的以太坊客户端)。ArbOS组件也被修改,以提供跨链通信;还会发布一个新的、改进的交易批处理和压缩系统,以最小化L1成本。
动态 | 比特币核心开发者提出新BIP协议Erlay:比特币核心开发者Pieter Wuille提出了一种名为Erlay的新BIP协议,该协议将帮助网络进一步发展并保护其免受众多攻击。Wuille发布的论文重点介绍了该BIP协议旨在解决的比特币网络的两个主要问题,即比特币网络中当前连接性太低,无法实现最佳安全性;增加的连接性会大大增加交易分发协议所使用的带宽,从而使操作比特币节点的成本过高。Erlay协议有望通过基于当前连接将节点的带宽消耗降低40%来解决此问题。还将改善节点之间的连接性,从而使带宽消耗保持恒定。(ambcrypto)[2019/9/27]
这次升级将会无缝推出,所以用户无须做任何事情。升级后,执行速度预计会提高20-50倍并极大地降低交易成本。更多内容请阅读OffchainLab团队发布的公告。
Arbitrum的未来方向
像OffchainLabs团队宣称的那样,Arbitrum不仅仅是一个optimisticrollup方案,他们会推出其他基于零知识证明(zeroknowledgeproofs)的扩容解决方案,同时还将继续改良ArbitrumOneoptimisticrollupL2方案。这是零知识化趋势的一个很好的例子,许多项目正在转向零知识方向。因为一旦zkL2的技术实现得到了更好的研究并能够实现通用的EVM计算,执行环境就会更加灵活,或者说可扩展性更强。
Optimism
Optimism是一家公益公司?(PBC),它在以太坊上构建了一个optimisticrollupL2解决方案OptimisticEthereum(OE)。我将通过解释Arbitrum和OE在基础架构上的异同来描述OE。详细的比较可以阅读KrisKaczor发布的推文介绍。
Optimism和Arbitrum的相同之处:
都属于rollup并且所有交易数据都存储在L1上
都属于“optimistic”机制,因为都使用欺诈证明
都利用定序者(sequencer)来实现即时“最终确定性”
都具备通用的跨链通信功能,可以用来构建高级代币桥
都支持与EVM相关的工具,但是需要专门的插件
Optimism和Arbitrum的不同之处:
具有不同的欺诈证明验证机制
OptimismOVM2.0目前是EVM等同的(EVMequivalence),而ArbitrumOne(即便Nitro升级之后)只是EVM兼容的
Optimism采用单轮欺诈证明,而Arbitrum采用多轮欺诈证明
在Optimism上部署app依然需要通过许可(为之前的申请者开放私有白名单网络),而Arbitrum发布了公开主网版本(无需许可)
主要工具:
区块浏览器-OptimisticEtherscan
原生桥接-OptimismGateway
用户指南
现有的应用程序门户
网络RPC设置-Chainlist(搜索OptimisticEthereum)
OVM2.0
OVM是OptimisticVirtualMachine(Optimistic虚拟机)的缩写,它是执行OEL2中所有交易的虚拟机。OVM2.0于11月11日完成了主网升级。
Optimism通过OVM2.0升级实现EVM等同性这一目标,这将使得OE成为完全等同于EVM的编译目标。像Dapptools(智能合约代码库和命令行工具—形式化验证、符号执行、项目管理等等)、Hardhat、Solidity、Vyper等等这样的开发者工具将可以直接在OVM2.0本地运行,这些工具的开发者不必担心如何支持碎片化的代码库。这就是以太坊社区中每个人都提到的强大的“网络效应”。值得注意的是,EVM的任何竞争者都必须从头开始重建所有这些开发者工具。
阅读Optimism的博客文章以了解他们如何实现EVM等同性。
追溯性公共物品募资
我认为Optimism团队最重要的公告之一就是他们承诺将其所有利润用于推动公共物品发展(总计超过100万美元),并追溯性地使用二次方投票。团队还承诺将L2定序者的利润100%捐赠出去以推动公共事业发展。这笔利润是由产生的交易费收入减去向以太坊主网提交欺诈证明所需支付的成本而剩下的金额。这位以太坊社区中其他L2项目树立了一个利他主义的榜样。
OE的未来方向
OptimisticEthereum未来的计划雄心勃勃,其路线图可在Optimism规范中查看。
摘自其规范:
该路线图和抽象的设计是为了使每个组件能够独立发展。这4个主要组件是:
optimistic主网部署
欺诈证明基础设施
无状态客户端
分片
每个组件都会发布独立且增量式的版本,每一次更新都会让OptimisticEthereum更加统一、更加强大。
BobaNetwork
Boba是一个以太坊L2扩容解决方案,由OMG基金会核心贡献者Enya团队构建。Boba是OptimisticRollup解决方案,可以降低gas费,提高交易吞吐量,并扩展智能合约的性能。Boba通过社区驱动的流动性池为用户提供了快速退出功能(类似于Connext或Hop协议等其他解决方案),将OptimisticRollup的退出周期从7天缩短到只有几分钟,同时让流动性提供者能够进行流动性挖矿并从中获益。
Boba最初通过分叉Optimism而形成,他们团队是OVM(optimistic虚拟机)的关键贡献者之一。一个有趣的事实是,Boba部署OVM2.0的时间比optimismrollup早,后者于11月11日在OptimisticEthereum上发布。尽管Boba是分叉而来的,但它们确实有一个模块化的结构,使其能够向主网提交证明,这允许在未来实现可升级性或零知识化。团队计划为即将发布的v3完全重写代码库,v3将在未来几个月在主网上发布。Boba的设计还能够实现智能合约可扩展性,并允许开发者构建dapp,调用在web规模的基础设施(如AWSLambda)上执行的代码,这使得无法在链上执行或成本过于昂贵的算法得以使用。
BOBA空投-治理代币
资源:
区块浏览器
Boba网络门户网站(桥接)
开发者门户
Metis
Metis是以太坊上的L2扩容解决方案,它使用并行或分片式的optimisticrollup架构。在Metis虚拟机(或MVM)中,有着所谓的去中心化自治组织,即DAC(DataAvailabilityCommittee),它们拥有独立的计算和存储层,可以根据L2应用(如DAO、dapp、协议等等)的需求定制。这些DAC是optimisticrollup的并行执行层。由于DAC具有跨层通信协议,各个DAC之间是完全可互操作的,并且流动性可以无缝地在它们之间转移。根据Metis的技术白皮书,他们设计的扩容解决方案可以对以太坊进行横向扩容,而无需在基础设施上投入大量资金。
在Liscon期间,我偶然遇到了MetisDAO团队,我对其基础构架的理解是,它是一个具有不同执行层的网络,不同的执行层专门为特定的应用者服务以达到扩容目的(DAO、dapp等等),同时通过向主网提交欺诈证明来保证其具有以太坊L1级别的安全性。可能也会有一些公共DAC,比如一些用来做swap的AMM流动性协议。由于其具有跨DAC的原生互操作性,其他DAC的用户也可以在需要时使用这种公共DAC。这是一种新颖的设计和有趣的实验。
来源|?mirror.xyz/dcbuilder.eth
作者|??DCBuilder
郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。