随着以太坊生态的发展拉动人们对区块空间的需求增长,以太坊基础层上的交易变得极其昂贵。然而,区块空间供应量仍保持不变。与DeFi应用交互需要支付价值数百美元的gas费,让许多终端用户望而却步。Rollup旨在用户的交易转移到成本较低的Layer2上执行,然后再将这些L2交易的证明批量打包到一个L1交易中并提交到Layer1上进行结算,从而大幅减少对区块空间的占用,缓解对Layer1的需求压力。
Rollup分为多种类型,在吞吐量、延迟、安全性、通用性和运行成本上有着不同的权衡关系。本文围绕这些权衡关系制定了一个Rollup分析框架,并分析了这个框架为何适用于不同的Rollup实现。我们希望这个框架能为项目方按需选择Rollup方案提供基本参考。
介绍
自以太坊诞生以来,其吞吐量限制就已是众所周知的问题。采用权益证明和分片机制的ETH2.0一直被视为可扩展性问题的解决方案。虽然ETH2.0在2020年12月就启动Phase0并上线信标链,但是在Phase2启动之前还无法有效缓解可扩展性和吞吐量问题。
与此同时,Rollup实际上已经成为缓解可扩展性问题的短期解决方案。在最近的一篇文章中,Vitalik提出了一个基于Rollup的以太坊路线图,称“以太坊生态有可能在短期和中期完全依赖Rollup方案来实现可扩展性”,很多团队已经开始努力实现该路线图。
Rollup在2020年取得了巨大发展:FuelLabs和Optimistic在主网发布了第一版OptimisticRollup;Loopring?的ZK-Rollup的总锁仓量已超过1亿美元;Starkware推出了Cairo工具链,方便开发者使用零知识证明技术。我们看到rollup技术有了很多突破,包括Aztec和ZkSync通过改进PLONK引入递归计算能力。在2021年,我们还将看到更多进展。
新加坡金管局公布最新国际技术咨询委员会成员,CertiK联创受邀加盟:金色财经报道,新加坡金融管理局(MAS)于近日公布了最新国际技术咨询委员会委员。新加坡金融管理局(MAS)成立于1971年,其职能综合了对于货币、银行、证券、保险诸多金融领域及部门的管理和监管。据悉,该委员会成立于2016年,由世界顶级金融机构的首席创新科学家、金融科技企业领导者、风险资本家以及技术和创新领域的领袖组成,旨在为金融科技的国际发展以及新加坡如何利用新技术来加强金融服务提供建议。
本届新任15位成员均为行业领军人物,除了微软、万事达、摩根大通、亚马逊、伦敦证交所组织机构等高管,Web3.0领域内的安全专家——CertiK联合创始人顾荣辉教授也受邀加盟。这也是继香港成立Web3.0发展专责小组后又一引入Web3.0业内领军人物加入咨询小组的政府行为。[2023/7/3 22:14:25]
在以太坊的基础上构建一个单独的层非常复杂,而且分析现有的Rollup实现并非易事。Rollup团队都在大力宣传其解决方案在理论上的最佳性能和功能,但是其风险和权衡的相关信息却鲜为人知。让我们来深入研究如何分析Rollup的权衡关系和风险,以及现有实现与这些风险模型的相符程度。
分析框架
我们定义并解释了Rollup的主要考量因素——安全性、通用性、成本、延迟、吞吐量、资本要求和用户体验——并在此基础上构建了权衡关系的分析模型。我们可以用这些特征来评价现有实现,这样不仅可以从微观上了解每个Rollup的风险和权衡关系,还能从宏观上把握Rollup的总体情况。
Rollup的衡量标准:
安全性
Rollup的安全性依托于底层Layer1区块链。但是,一些Rollup方案的某些假设及其构建方式也关系到安全性。
观点:美联储加息期间再次证明比特币比股票波动性更小:金色财经报道,美联储上周搅动了市场,其中比特币的反应小于股票。标准普尔500指数的波动幅度甚至超过了比特币,美联储新闻稿发布,大约半小时后,标准普尔500指数的涨幅达到0.7%的峰值,但当天收盘下跌2.3%。与此同时,比特币在美联储新闻稿发布后涨幅达到1.3%时达到顶峰,最终下跌1.5%。(CoinDesk)[2022/11/7 12:23:59]
1.诚实暸望塔假设
该假设认为至少有一个诚实的“暸望塔”可以在挑战期内成功将欺诈证明提交给Layer1智能合约。这种假设引入了安全性和延迟之间的权衡,因为挑战期越长,诚实的暸望塔提交欺诈证明的可能性就越高;反之,挑战期越短,这一可能性就越低。
2.批量退出假设
该假设认为所有Layer2用户都能在批量退出期内成功执行退出事务。该假设引入了资本效率的权衡,因为运营者的资金在批量退出期内处于锁定状态。
3.起步设置
每个ZK-Rollup方案都使用零知识证明协议来创建有效性证明。零知识证明系统将一个证明需要检查的逻辑和关系封装成一个能满足所有约束条件的电路。零知识证明协议要求在证明器和验证器之间进行名为“起步设置”的预定义配置。
Zk-Rollup主要有三类设置:可信设置、可更新设置和透明设置。
可信设置:在该设置下,gas成本较低,最大吞吐量较高。但是,每个电路只支持某些固定功能。另外,每次电路升级时,都需要完成可信设置流程。
可更新设置:在该设置下,gas成本较高,最大吞吐量较低。但是,该设置最主要的优点是,无需修改电路即可引入自定义智能合约,这都得益于递归性。
数据:39%合并后的以太坊区块使用Flashbots,未包含与Tornado Cash关联交易:10月3日消息,最大可提取价值(MEV)运营商Flashbots目前被用于创建39%的以太坊区块,比9月15日时的12%有所上升,尽管其继续审查与Tornado Cash相关的交易。
此前消息,Flashbots战略负责人Hasu今年8月曾发推表示,Flashbots将配合美国财政部外国资产控制办公室(OFAC)的执法行动,将与Tornado Cash有关的地址列入黑名单。(The Block)[2022/10/3 18:38:35]
透明设置:在该设置下,当Layer2区块被填满时,gas成本很低,但是在类似空块这种非理想情况下,gas成本会变得异常高。
通用性
1.完全兼容EVM
完全兼容EVM指的是Layer2系统完全兼容以太坊主网上已有的智能合约。
2.自定义智能合约
Layer2客户端可以自定义并引入有限的智能合约。Layer2用户和合作伙伴可以通过各种工具以zk-SNARK?电路的形式引入其智能合约,不过电路会带来局限性。
3.固定功能
可以加入一些dApp或智能合约,但是必须通过系统升级来实现。
运营者的成本
1.gas成本
最优gas成本:取决于calldata成本和固定成本。
次优gas成本:取决于最优gas成本、固定成本和实现最优gas成本的概率。
固定成本:包括Layer2区块头、Layer2区块根的存储量和零知识证明的成本。当需求较低时,固定成本将占交易成本的绝大部分。
8月Avalanche链上NFT销售额不足90万美元,创过去12个月最低记录:金色财经报道,据Cryptoslam数据显示,8 月Avalanche链上销售额仅为875,540.47美元,创下自2021年8月以来最低记录。历史数据显示,Avalanche链上销售额历史最高点发生在2021年1月,当月销售额为150,845,317.49美元。[2022/9/1 13:02:53]
2.计算成本
证明器时间:在Zk-rollup中,证明器需要大量时间来生成证明。证明过程中需要进行大量计算,来验证证明中的数百万个限制条件。一般而言,零知识证明的证明器时间取决于电路大小和证明过程中使用的硬件的容量。如果是Plonk,证明器时间可能是2至14分钟;如果是Loopringv3.0,证明器时间可能是7至10分钟;如果是Stark,证明器时间可能是3至5分钟。这是Zk-rollup的硬终局性延迟的主要决定因素。
证明器成本:证明器生成证明所消耗的资源,取决于证明器时间和实证吞吐量。
终局性延迟
硬终局性:敲定Layer2区块所花费的时间。对OptimisticRollup来说,这个时间就是挑战期的时长;对Zk-rollup来说则是证明器时间。
软终局性:将Layer2区块提交到Layer1上所花费的时间。
取款时间:一些快速交易方案需要先提交Layer2区块,再作进一步处理。
吞吐量
理论最大吞吐量:基于链上操作的gas成本和以太坊上每个区块的最大gas。
Zk-rollup的实证吞吐量:
1)实证吞吐量取决于证明器时间。
知情人士:Celsius现有投资者不太可能为其重组提供更多资金:6月17日消息,加密借贷平台Celsius现有投资者不太可能提供更多融资来救助Celsius。现有投资者包括加拿大大型养老基金CDPQ和总部位于纽约的WestCapGroup等。据另一位知情人士透露,这些投资者愿意做出让步,让另一家公司尝试收购Celsius,或者重组业务。
此前报道,6月16日,Celsius已聘请花旗集团针对财务危机提供可行的解决方案。其中一位知情人士表示,花旗正在就潜在融资的可能性向Celsius提供建议,并帮助其评估来自Nexo等竞争对手的收购要约。(华尔街日报)[2022/6/17 4:35:28]
2)证明成本、实证吞吐量和资本要求之间存在权衡关系。更高的吞吐量需要更高的证明成本和资本要求。
用户体验
使用体验是否与使用以太坊相仿。
资本
资本要求:运营者存储在智能合约内用来保障系统安全性的资金。
资本效率:流动性提供者/运营者在x时间内锁定在智能合约里的资金。
所有使用欺诈证明的Rollup必须接受活性假设。该假设引入了安全性和延迟的权衡。Arbitrum的测试网案例将挑战期设为30分钟,非常短而且实际上并不安全。这意味着,恶意运营者可以对以太坊发起30分钟的网络拥堵攻击,然后窃取Layer1上的Rollup智能合约中的所有资金。
每当Loopring改变其功能或数据结构时都需要新的设置。
就每30万笔交易生成一个证明的电路而言,Stark的验证者需要500万gas。但是,deversiFi使用的Stark电路是每150笔交易生成一个证明,需要超过200万gas。。
常规Plonk的证明器时间是2至14分钟。如果是递归Plonk,证明器时间会翻一番,但是生成一个证明需要5至10倍数量的证明器。如果是Loopring中使用的Groth16,证明器时间约为7分钟。
最优gas成本还取决于Rollup的功能,因此它并不一定能正确反映Rollup的费用。
在1.0版本中,Loopring需要更多时间来收集足够多的交易打包成一个区块,因为存款、取款和结算都是相互独立的。
StarkWare的一个解决方案不提供链上数据,而是引入数据可得性委员会。数据可得性委员会的确认会上链。
为了解决证明器成本问题,Zksync开发了新的硬件。为了提高最大吞吐量,Zksync和Aztec改进了Plonk中的递归电路。
StarkWare专门为证明器打造了硬件,同时也致力于开发基于Stark的解决方案。
Plonk的tps为300,递归Plonk的tps为800至3000。
Zk-rollup的实证吞吐量取决于证明器时间。例如,假设有50个证明器:在Plonk中,证明器时间约为720秒,因此实证吞吐量不可能超过50x300/720~20tps。在Loopring中,证明器时间为420秒,因此实证吞吐量为50x2048/420=244tps。
在Optimism的首个Rollup主网版本中,每笔Layer2交易需要消耗2.1万gas。但是,该团队承诺会提供一个优化版本,将gas成本降至5000。
Aztec提供的隐私交易需要更多调用数据。
各Rollup方案已公开的理论性能
StarkWare
各Rollup解决方案的权衡研究判断标准已公开最优吞吐量3000tps单个证明所能容纳的交易笔数300.000证明器时间3-5分钟未公开固定成本200-500万gas延迟6-12小时备注由于固定成本很高,Stark的Rollup方案需要收集到足够多交易才会对其进行批处理并生成证明。因此,在StarkEx的早期阶段,延迟主要取决于交易收集时间。判断标准已公开最优吞吐量Plonk的tps是300;递归Plonk的tps是800至3000。单个证明所能容纳的交易笔数Plonk是大约每100笔交易生成一个证明;递归Plonk是每315笔交易生成一个证明。未公开固定成本Plonk的gas成本约为50万;递归Plonk的gas成本约为90万。证明器时间Plonk的证明器时间是4至12分钟。证明器成本无法通过链上数据推出。实证吞吐量未公开。Loopring
判断标准已公开最优吞吐量2150tps单个证明所能容纳的交易笔数2048证明器时间7分钟固定成本30万gas未公开实证吞吐量未公开可信设置新版本缺省了一次公开的仪式验证者成本无法通过链上数据推出备注使用zk-SNARK技术就意味着接受可信起步设置假设,即,该设置中的所有参数都应该永久隐藏。如果我们通过流程生成可信起步设置,则只要流程的至少一个参与者完全销毁了其toxicwaste,这个假设就不会被打破。Arbitrum
判断标准已公开最优gas成本~2000gas最优吞吐量390tps挑战期在测试网上是30分钟未公开受保护的资金上限未正式公布备注在OptimisticRollup/Arbitrum方案中,如果Layer2运营者对以太坊发起网络拥堵攻击,就可以盗走资金。因此,该Rollup方案保护的资金上限不能超过该攻击的成本。挑战期越长,攻击成本越高。Optimism
判断标准未公开最优gas成本~5000-21000gas最优吞吐量50-200tps挑战期未公布受保护的资金上限未正式公布备注Optimism没有提供任何关于其Rollup方案的具体分析。Fuel
判断标准已公开最优gas成本~2000gas最优吞吐量500tps挑战期2周未公开受保护的资金上限未正式公布备注主网Rollup浏览器停在第三个Layer2区块上。该版本暂无后续信息。挑战
用户采用率:对于像Rollup这样未经过测试和验证的新技术,用户通常持有谨慎态度。不明确的权衡关系和复杂性限制了主流采用。
安全性:零知识证明协议的选择和挑战期等因素都对Rollup方案的安全性有着极大影响。分析和理解这些选择并非易事。虽然没有嵌入零知识证明电路所带来的复杂性,但是对常规的智能合约进行审计本身就很有挑战性。对Zk-rollup方案进行审计是很艰巨的任务,只有非常优秀的安全专家才能胜任。
资金要求:在早期阶段,Rollup的成本很高,采用率却一直很低。为一小部分用户创建并定期运行Rollup需要投入大量资金。在某些情况下,资金要求直接影响Layer2系统的安全性。因此,为了保障Rollup的健康运行,建立一个经济系统是必不可少的。
总结
Rollup技术是以太坊可扩展性问题的可行解决方案之一。目前有多种实现并部署Rollup的方法。鉴于该技术的复杂性和多种权衡关系,我们需要了解相关风险。对于那些部署Rollup的团队和在Rollup上部署dApp的团队来说,安全性、可用性、成本和吞吐量都是在设计解决方案时需要考虑的因素。
在这个大背景下,KyberNetwork认识到为用户提供经济快捷的交易方式的重要性。因此,我们投入了大量资源来研究并构建Rollup解决方案,以便更好地服务于我们的未来计划。我们将适时公布更加详细的信息,希望本文能助你理解并评估Rollup技术。
原文链接:https://blog.kyber.network/research-trade-offs-in-rollup-solutions-a1084d2b444
作者:TrongNguyen&LoiLuu
翻译&校对:闵敏&阿剑
标签:ROLLROLGASLAYERroll币是什么roll币能出泰沙拉克吗MegaShiboX InuLAYERX价格
TreeSwap(TRS)5月2日19时开启资产兑换TreeSwap(TRS)5月2日20时开启heco头矿据TreeSwap最新消息.
1900/1/1 0:00:00尊敬的XT用户: XT即将上线AMA(MrWeb.finance),详情如下:开放充值:2021年5月9日11:00开放交易:2021年5月10日15:00开放提现:2021年5月11日17:00MrWebFinance是一个简单且值.
1900/1/1 0:00:00尊敬的XT用户: QTUM硬分叉升级已完成,XT现已恢复QTUM的充值与提币业务。给您带来的不便,请您谅解。感谢您对XT.COM的支持与信任.
1900/1/1 0:00:00区块少数派:区块链投资教育与创投孵化社区。区块少数派专注区块链行业投资教育,同时聚焦挖掘全球优质项目,欢迎加入社区,共享财富密码.
1900/1/1 0:00:00尊敬的Orangex用户:2020实“鼠”不易,2021“牛”转乾坤!橙子平台正在发起“集orange字母卡片,瓜分100000USDT豪奖”活动。活动期间,集齐全部6枚orange字母卡片,即可参与瓜分100000USDT活动.
1900/1/1 0:00:00Gate.io将于2021年05月04日02:00上线Orao.Network(ORAO)交易。OraoNetwork是基于波卡的原生预言言机服务,可以自定义数据馈送.
1900/1/1 0:00:00