作者:100y
编译:0x11,ForesightNews?
以太坊Rollup网络的采用在2022年激增,但仍存在一些有待改进之处。
排序器负责对用户提交的交易进行排序。目前,几乎所有的Rollup都依赖于一个单独的排序器。鉴于Rollup通过欺诈或有效性证明受益于以太坊的安全性,中心化排序不会造成重大问题。尽管如此,去中心化排序最终还是更优解,因为中心化排序器可能在MEV提取或审查方面存在风险。
本文将介绍各种去中心化排序器项目,包括:EspressoSequencer、SUAVE、PolygonPoE、EigenLayer和CosmosICS。
简介
以太坊之外的7大网络的TVL主导地位趋势,来源:Messari
2022年可谓是Rollup备受瞩目的一年,一些Rollup网络在加密货币市场整体的下跌趋势中反而取得了巨大成功。在2020年和2021年,L1大放异彩,许多人都在谈论通过投资SOLUNAVAX和FOAN而收获匪浅。另一方面,在2022年,由于宏观经济影响、频繁的黑客攻击、Terra崩溃,L1的采用率迅速下降,这反过来又引起了公众对Rollup网络的关注。
以太坊Rollup在以太坊网络上存储状态和交易数据的摘要,在主链外执行交易时依赖以太坊的安全性,从而实现可扩展性。那么,是否可以完全信任并使用Optimism或Arbitrum这样的Rollup网络?不幸的是,这项技术存还处于早期,当前Rollup网络仍然存在一些风险因素。
Rollup网络的风险分析,来源:l2beat
上表是l2beat网站上的风险分析,可以看到当前Rollup存在相当多的风险因素。虽然上表中提到的风险不是本文的重点,但还是值得花一点时间简要回顾它们的含义:
Scroll联合创始人Sandy Peng:Scroll将在未来三到四个月上线主网:4月10日消息,在《华人之光|世界瞩目的华人Web3项目》圆桌论坛中,基于ZK Rollup的以太坊扩容网络Scroll联合创始人Sandy Peng表示,Scroll正在以二层网络的方式解决以太坊网络相对拥堵的需求,为开发者提供EVM等效性,在提供以太坊安全的同时确保低成本、高效率和去中心化。
Scroll在发展的过程中把开发者和社区的诉求放至第一位,近期可能会推出激励生态发展的合作伙伴计划,未来三到四个月将上线主网。(foresightnews)[2023/4/10 13:54:21]
状态验证:状态验证即如何证明L2执行的有效性。对于使用零知识证明的网络,使用zk-SNARKs被标记为ZK证明,而zk-STARKs被标记为ZK证明。许多OptimisticRollups似乎在状态验证方面存在风险:一些项目如Optimism、MetisAndromeda和BobaNetwork正在开发欺诈证明机制,而其他项目如ArbitrumOne或ArbitrumNova确实有欺诈证明方案,但它们只允许白名单参与者提交欺诈证明。
数据可用性:这是关于L2网络的交易数据存储在哪里。重要的是,交易数据保持完整,以便用户证明有效性或从L2网络中提取代币。只有在以太坊上存储交易数据时,网络才能被视为Rollup;否则,不能归为此类。
可升级性:以太坊L1网络上的Rollup智能合约是否可升级。如果在上表中标记为「是」,则中心化参与者可以在任何时候对其进行升级,如果标记为「N天延迟」,则此类网络将强制延迟升级时间。
排序器故障:这与L2网络中负责排序交易的排序器离线或交易审查有关。「使用L1进行交易」和「强制退出到L1」是两种安全的方式,前者允许用户直接通过L1提交交易,后者允许用户强制退出到L1。
验证者故障:这与L2网络的区块生产者下线或决定审查时有关。「ProposeBlocks」和「Escapehatch(MP)」是安全的,前者允许任何人在一段时间后成为验证者,而后者允许用户通过提交状态根来安全提取抵押品。
Scroll成为ETH Beijing黑客松的协办方及赞助方:据官方消息,以太坊 zk-rollup 扩容项目 Scroll 成为 ETH Beijing 黑客松的协办方及赞助方,用户可以从官方链接报名参与 ETH Beijing 黑客松。[2023/3/10 12:53:48]
目前为止,我们已经回顾了以太坊L2网络中的各种风险因素。然而,还有一个风险没有得到解决,那就是中心化排序。排序器负责接收和排序L2用户提交的交易,目前,中心化排序是几乎所有L2网络的规范。甚至两个最大的Rollup网络Optimism和Arbitrum也运行单个排序器来决定所有交易的顺序。中心化排序器是否会带来重大风险?与上面列出的风险因素相比时,回答是否定的。
事实上,表中列出的风险会直接损害用户的资金,但中心化排序不会。无论排序是集中在单个实体还是分散在多个实体,L2网络交易的有效性在L1网络上都通过欺诈证明或有效性证明来证明。尽管如此,如果单个排序器行为不当,L2网络的用户可能会遭受间接损失。能够单独决定交易顺序可能会助长恶性的MEV提取,如三明治攻击对用户造成财务损失,甚至审查交易(这因项目而异,但由于存在强制交易通过L1包含到L2区块中的机制,恶意排序器很难审查并完全阻止添加交易。然而,如果恶意排序器在需要及时执行的紧急情况下审查交易,例如,借贷协议的清算,可能会导致延L2中交易延迟)。
尽管大多数L2项目最终都计划将排序器去中心化,但这需要引入一种新的交易排序共识机制。为多个排序器纳入共识机制不可避免地会损害可扩展性,这违背了Rollup的初衷。但是,基于区块链精神去中心化排序确有优势,必然是追求的最终方向。本文探讨了最近为去中心化排序器所做的尝试和努力。
去中心化排序器的尝试
EspressoSystems的EspressoSequencer
EspressoSystems是一家区块链可扩展性和隐私解决方案服务商,在2022年5月从ElectricCapital和SequoiaCapital等筹集了3200万美元资金。EspressoSystems还在开发其他的解决方案:HyperPlonk,一种zkEVM证明系统;jellyfish,一个开源密码学库;CAPE,一个智能合约应用程序,可以为现有EVM链中的资产提供选择性隐私;以及VERI-ZEXE,一个为智能合约提供隐私的系统。这篇文章将着眼于EspressoSystems开发的去中心化排序器EspressoSequencer。
彭博社:Gary Wang对于SBF来说是比Caroline Ellison更危险的证人:12月26日消息,彭博社近日刊文分析称,与Alameda Research前首席执行官Caroline Ellison相比,FTX联合创始人Gary Wang对FTX的重要性要大得多,这使他成为SBF更危险的证人。此前SBF将FTX的倒闭归咎于Caroline Ellison,但这一辩护被Gary Wang的认罪协议削弱了。纽约前联邦检察官Sarah Paul表示:“我预计SBF将更难声称他不知道Gary Wang的所作所为。让这两名合作证人在审判中指证他,这将是非常有力的。”
Gary Wang和SBF的关系非常密切。Gary Wang和SBF第一次见面是在高中的数学夏令营,他们在麻省理工学院是室友。他们在加州伯克利合租一所房子时开始开发FTX,Gary Wang为于2019年推出的交易所编写代码。两人一起生活在香港,最近在巴哈马群岛。SBF拥有Alameda公司90%的股份,而Gary Wang只拥有10%的股份。Gary Wang一直担任Alameda的首席执行官,直到去年年底任命Caroline Ellison为首席执行官。
根据CFTC的指控,Gary Wang帮助创建了基础代码,使Alameda能够在FTX “保持无限的信用额度”,Wang还帮助创建了其他途径,使Alameda在平台上进行交易时具有不公平的优势,包括更快的执行时间。法律专家表示,转移到Alameda的钱很难解释为管理不善,而不是欺诈,他前同事的证词可能对SBF造成毁灭性打击。在其他案件中,面对这样的证人,被告试图扭转局面,把合作者描绘成真正的坏人,现在撒谎是为了保全自己。
此前12月22日消息,Alameda前CEO和FTX联创已分别对美检察官提出的刑事指控和美CFTC提出的欺诈指控认罪;美SEC指控Caroline Ellison和Gary Wang欺诈FTX投资者,两人已经同意两项和解协议。[2022/12/26 22:07:56]
EspressoSequencer是一种解决方案,可帮助改善当前使用中心化排序器的zk和OptimisticRollups。作为针对Rollup的去中心化排序和数据可用性的层,它可以充当L1和L2之间的中间件层。交易由L2处理,但它们的最终性最终取决于以太坊的L1,因为网络的共识算法优先考虑活性而不是安全性。EspressoSequencer通过引入基于HotStuffBFT的HotShot共识算法解决了Rollup排序和最终性需要依赖于L1的问题。基于该算法,多个排序器在乐观条件下快速处理L2事务。
Lens Protocol已部署至Scroll的pre-alpha测试网:10月28日消息,Web3社交协议Lens Protocol已部署至以太坊扩容项目Scroll的pre-alpha测试网,支持开发人员构建可扩展的Web3社交应用程序。
此前报道,Scroll推出pre-alpha测试网升级版本,新版本已支持开发者使用Hardhat和Foundry等工具部署智能合约。[2022/10/28 11:53:43]
最近,HotShot发布了一个名为Americano的测试网,在100个具有4GB内存和2个CPU内核配置的节点网络中,实现了1-2万次ERC-20交易的吞吐量。高性能归功于HotShot算法在乐观情况下利用了中心化网络结构。当网络出现问题时,该算法会切换到另一种机制,在悲观条件下优先考虑稳定性而不是性能。
EspressoSequencer路线图|来源:EspressoSystems
目前,Americano测试网只采用了乐观响应的交易处理方式,未来计划在Doppio测试网中引入悲观处理方式。
Flashbots的SUAVE
来源:Flashbots
Flashbots是一家致力于以太坊网络MEV高效提取和去中心化分配的研发机构。它曾经为PoW以太坊提供FlashbotAuction,现在正在为PoS以太坊贡献了MEV-Boost,一个实现MEV去中心化的中间件。然而,MEV-Boost也有其自身的局限性:区块构建者中心化。
虽然验证者或提议者的中心化对网络安全构成了严重威胁,但区块构建者的中心化并没有带来同样程度的风险。尽管如此,中心化的构建者不是理想情况,因为EOF可能会导致网络偏离高效提取和分配MEV的目标。Flashbots于2022年11月23日推出了名为SUAVE的解决方案。
ZigZag 开始搭建基于 Mimblewimble 的 ZK rollup 支付系统:3月16日消息,ZigZag 开始搭建基于 Mimblewimble 的 ZK rollup 支付系统 ZigZag InvisibL3。该项目由 0xonurinanc 带领,旨在突破零识技术的极限,包括将现有的隐私技术扩展到更广泛的应用程序并构建 L3, 使现有的 ZK 支持系统更强大。
据悉,官方团队表示,ZigZag InvisibL3 的最终目标是成为最好的隐私 DEX。[2022/3/16 13:59:25]
来源:Flashbots
SUAVE是一个兼容EVM的区块链网络,但其目的是处理交易排序和区块构建,而不是支持部署各种dApp。简单来说,SUAVE既是用于交易排序的区块构建者网络,也是用于存储第1层网络的预确认交易的内存池。此外,SUAVE兼容各种EVM系网络,这意味着它不仅可以用于以太坊,还可以用于L2网络,如Optimism、Polygon和Arbitrum。
来源:Flashbots
SUAVE最初的目的是,在所有人可访问的开放环境中,1)使用加密的内存池加密用户的交易以确保隐私,并使用最佳执行市场缓解EOF情况,从而防止区块构建者的中心化,以及2)通过处理多个网络的排序将跨链MEV提取去中心化,从而防止某些区块构建者权力过大。然而,使用SUAVE还可以带来额外的好处。
通过作为多个网络的排序层,SUAVE能够为选择使用它的L2网络去中心化排序器。此外,这将提高MEV提取过程的效率,从而形成更具可持续性的网络,这是一个额外的好处。但是,将中心化实体的角色委托给像SUAVE这样的去中心化层有一个潜在的缺点,这可能会导致延迟等方面的性能下降。由于SUAVE尚未发布,实际表现如何还有待观察。
Polygon的PoE
PolygonzkEVM由PolygonHermez更名,计划通过将名为效率证明(PoE)的共识算法引入Rollup网络来实现排序器去中心化。PoE的工作方式如下所述,并将现有排序器角色拆分为排序器和聚合器。排序器将用户的交易聚合成批次,并将它们提交给以太坊L1上的智能合约,聚合器验证排序器发布的交易批次。关于PoE及其前身捐赠证明(PoD)的详细解释,请参阅《Polygon,模块化区块链未来的领跑者》一文的第5部分。
PoE的工作原理,来源:Polygon
EigenLayer
EigenLayer是第一个引入再质押概念的协议,质押者将已经质押的ETH附加额外的削减条件(参见EigenLayer:通过ETH重新质押扩展信任网络)。这种方法的好处是其他协议可以利用以太坊以其巨大的市值建立起来的强大安全性。此外,通过再添加一个削减条件,EigenLayer可以更好地实现去中心化目的。EigenLayer可用于将当前Rollup排序器去中心化,想要成为去中心化排序器的机构可以通过EigenLayer重新质押ETH来作为一个实体,并且可以因恶意行为而被罚没。虽然可以使用Rollup网络的原生代币通过PoS方法构建去中心化排序器,但EigenLayer通过使用相对更安全的ETH代币提供更好的保护。这里引入Eigenlayer无非是在Rollup排序器的PoS过程中加入ETH代币和罚没条件。所以,在采用EigenLayer之前,需要考虑如何去中心化排序器。该协议尚未启动,计划在2023年发布。上述Rollup排序器去中心化的方案还在讨论中,EigenLayer在发布后的实际使用情况如何,还需拭目以待。
CosmosInterchainSecurity
来源:Celestia
模块化区块链的代表项目之一Celestia的首席运营官NickWhite最近在Celestia论坛上分享了一个关于Rollup排序器去中心化的有趣提案。他建议使用来自Cosmos生态系统的InterchainSecurity。InterchainSecurity(ICS)使用CosmosHub的验证器为消费者链提供共享安全性。换句话说,这个想法是通过ICS利用Cosmos的现有验证器作为Rollup排序器,因为Rollups推出新代币和为PoS构建去中心化排序器集具有挑战性。这与利用EigenLayer进行去中心化排序的思路基本相同。
引入这种方法将为Celestia网络提供一个强大的工具来实现「原子跨Rollup可组合性」。Celestia网络充当托管多个Rollup网络的数据可用性层,这可能导致流动性碎片化和可组合性下降。如果多个Rollup网络使用通过ICS设置的相同排序器进行运作,这将允许原子事务,因为相同的参与者会生成批量的Rollup。不同Rollup上的dApp能够无缝交互,解决Celestia网络上流动性分散和可组合性恶化的问题。
假设您打算通过提供ARollup的X代币作为抵押来借用BRollup的Y代币。在这种情况下,需要花费相当长的时间来验证ARollup的X代币是否已被适当地锁定为抵押品以及BRollup的Y代币是否已被正确借出。然而,如果RollupA和RollupB共享相同的去中心化排序器集,它们的区块将由相同的实体生成,这将大大简化贷款的验证过程。这也意味着网络可以几乎像在同一个网络中一样相互交互,从而显着增强跨Rollup交互的用户体验。
与EigenLayer一样,Celestia和Cosmos也计划在2023年推出ICS。因此,到目前为止讨论的提案应被视为去中心化排序的潜在解决方案。
总结
本文考察了Rollup去中心化的不同思路:Polygon的PoE共识算法直接在Rollup网络层面实现去中心化排序,EspressoSystems的EspressoSequencer和Flashbots的SUAVE绕道另一层解决问题,EigenLayer和Cosmos的ICS利用已经构建了强大安全性的网络验证器集。由于排序器的去中心化至关重要,来自Celestia的AlexBeckett在2022年6月就此主题发表了文章。我想通过简要概述Alex的解决方案来结束本文。
第一个是「带领导者选举的无许可PoS」。在这种方法下,任何人都可以作为Rollup排序器参与网络,通过抵押代币并通过领导者选举过程来决定网络的区块生产顺序。如上所述,EspressoSequencer、EigenLayer和CosmosICS都采用了这种方法。
第二个是「通过MEV拍卖的无许可PoS」。不是像上面那样使用领导者选举过程来确定哪个定排序器将创建下一个区块,而是在拍卖过程中出价最高的排序器负责生成区块。Flashbots的SUAVE或前面讨论的PolygonzkEVM的PoE共识算法采用了类似的方法。
最后,「执行公平排序的许可排序器集」。由于上面讨论的两种解决方案都是无需许可的,任何人只要满足一定的条件就可以参与到排序过程中。另一方面,涉及许可排序器的解决方案是指与受信任的实体以私有方式创建一组排序器。您可以将其视为排序器,收集交易并根据先到先得的方式公平公正地决定订单。然而,这种方法需要信任,不能被视为真正的Rollup排序器去中心化解决方案。
尽管Rollup网络在2022年获得了极大关注,但仍存在相关的重大风险,而去中心化排序器通常被认为是低优先级的风险。尽管如此,实现去中心化排序对于解决审查问题和提高MEV提取效率至关重要。随着2022年Rollup网络的广泛采用,他们处理着越来越庞大的资金,这增加了对提高网络安全性和公平性的需求。希望未来排序器去中心化会有所改进,让用户可以使用更安全、更公平的Rollup网络。
参考资料
https://www.espressosys.com/blog/decentralizing-Rollups-announcing-the-espresso-sequencer
https://www.espressosys.com/blog/espresso-hotshot-consensus-designed-for-Rollups
https://www.espressosys.com/blog/releasing-espresso-testnet-1-americano
https://writings.flashbots.net/the-future-of-mev-is-suave/
https://www.alexbeckett.xyz/decentralized-sequencers-where-do-we-go-next/
https://forum.celestia.org/t/decentralized-Rollup-sequencing-as-a-service-via-interchain-security/423
郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。