ROLL:Rollup解决方案的权衡研究

随着以太坊生态的发展拉动人们对区块空间的需求增长，以太坊基础层上的交易变得极其昂贵。然而，区块空间供应量仍保持不变。与 DeFi 应用交互需要支付价值数百美元的 gas 费，让许多终端用户望而却步。Rollup 旨在用户的交易转移到成本较低的 Layer 2 上执行，然后再将这些 L2 交易的证明批量打包到一个 L1 交易中并提交到 Layer 1 上进行结算，从而大幅减少对区块空间的占用，缓解对 Layer 1 的需求压力。

Rollup 分为多种类型，在吞吐量、延迟、安全性、通用性和运行成本上有着不同的权衡关系。本文围绕这些权衡关系制定了一个 Rollup 分析框架，并分析了这个框架为何适用于不同的 Rollup 实现。我们希望这个框架能为项目方按需选择 Rollup 方案提供基本参考。

自以太坊诞生以来，其吞吐量限制就已是众所周知的问题。采用权益证明和分片机制的 ETH 2.0 一直被视为可扩展性问题的解决方案。虽然 ETH 2.0 在 2020 年 12 月就启动 Phase 0 并上线信标链，但是在 Phase 2 启动之前还无法有效缓解可扩展性和吞吐量问题。

与此同时，Rollup 实际上已经成为缓解可扩展性问题的短期解决方案。在最近的一篇文章中，Vitalik 提出了一个基于 Rollup 的以太坊路线图，称 “以太坊生态有可能在短期和中期完全依赖 Rollup 方案（以及一些 plasma 和状态通道）来实现可扩展性”，很多团队已经开始努力实现该路线图。点击此处，阅读 Vitalik 对 Rollup 的全面解析。

Cardano创始人：rollups部署正在迅速推进，Midnight将成为首个采用项目:7月23日消息，Cardano创始人Charles Hoskinson提供了关于该网络rollups部署的更新。一位推特用户指出，Hoskinson今年在YouTube视频中两次谈到了rollups，并进一步询问他具体指的是哪个项目。对此，Hoskinson谈到了需要rollups的侧链项目。他补充说，团队正在执行一个非常积极的时间表，Midnight将成为第一个用户。

去年，Cardano开发公司Input Output Global推出了隐私区块链Midnight，它将作为Cardano区块链的侧链运行。Midnight将利用零知识证明以及私有和公共计算的结合，提供一个无需信任的生态系统，在合规的同时保护敏感的个人和商业数据。用例可能包括财务工作流、医疗保健数据和供应链操作等。

据悉，在4月份的一次AMA活动上，Hoskinson暗示将在Cardano上发布ZK-rollups，并补充说一个“美好的计划”正在准备中。[2023/7/24 15:54:00]

Rollup 在 2020 年取得了巨大发展：Fuel Labs 和 Optimistic 在主网发布了第一版 Optimistic Rollup；Loopring 的 ZK-Rollup 的总锁仓量已超过 1 亿美元；Starkware 推出了 Cairo 工具链，方便开发者使用零知识证明技术。我们看到 rollup 技术有了很多突破，包括 Aztec 和 ZkSync 通过改进 PLONK 引入递归计算能力。在 2021 年，我们还将看到更多进展。

在以太坊的基础上构建一个单独的层非常复杂，而且分析现有的 Rollup 实现并非易事。Rollup 团队都在大力宣传其解决方案在理论上的最佳性能和功能，但是其风险和权衡的相关信息却鲜为人知。让我们来深入研究如何分析 Rollup 的权衡关系和风险，以及现有实现与这些风险模型的相符程度。

彭博社：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]

我们定义并解释了 Rollup 的主要考量因素——安全性、通用性、成本、延迟、吞吐量、资本要求和用户体验——并在此基础上构建了权衡关系的分析模型。我们可以用这些特征来评价现有实现，这样不仅可以从微观上了解每个 Rollup 的风险和权衡关系，还能从宏观上把握 Rollup 的总体情况。

Vitalik Buterin提出“L3愿景”：不能通过在Rollups上堆叠Rollups来扩展网络:金色财经报道，以太坊联合创始人 Vitalik Buterin 发文《什么样的Layer 3有意义？》（What kind of layer 3s make sense?），文章指出不能通过在Rollups上堆叠Rollups来扩展网络，比如SNARK几乎可以无限扩展，可以继续制作“许多SNARK的 SNARK”， 以将更多计算缩减为单个证明。但数据不一样，数据可以压缩一次，但不能再次压缩，因此“在Rollups上再Rollups” ”实际上并不能在可扩展性方面提供巨大效益。因此，Vitalik Buterin提出了“L3愿景”，主要包括：

1、L2 用于扩展，L3 用于定制功能，例如隐私。

2、L2 用于通用扩展，L3 用于自定义扩展。

3、L2 用于无信任扩展（Rollups），L3 用于弱信任扩展（验证）。[2022/9/17 7:03:27]

Rollup 的安全性（即，用户和运营者存放在 Rollup 中的资产的完整性和安全性）依托于底层 Layer 1 区块链（本文特指以太坊）。但是，一些 Rollup 方案的某些假设及其构建方式也关系到安全性。

1.诚实暸望塔假设

该假设认为至少有一个诚实的 “暸望塔” 可以在挑战期内成功将欺诈证明提交给 Layer 1 智能合约。这种假设引入了安全性和延迟之间的权衡，因为挑战期越长，诚实的暸望塔提交欺诈证明的可能性就越高；反之，挑战期越短，这一可能性就越低。

2.批量退出假设

该假设认为所有 Layer 2 用户都能在批量退出期内成功执行退出事务。该假设引入了资本效率的权衡，因为运营者的资金在批量退出期内处于锁定状态。

CFTC将对加密计划Control-Finance创始人进行缺席判决:7月6日，美国CFTC向纽约南部地区法院提交信函，计划推动对加密计划Control-Finance负责人Benjamin Reynolds的缺席判决动议。经法院批准，CFTC打算在提交本函后45天内，即2020年8月20日或之前提交动议。

据此前报道，2019年6月，CFTC指控Benjamin Reynolds通过名为Control-Finance“联盟计划”的庞氏局，从1000多名客户手中盗用至少22858.822枚比特币，至少价值1.47亿美元。（Finance Feeds）[2020/7/7]

3.起步设置（Setup）

每个 ZK-Rollup 方案都使用零知识证明协议来创建有效性证明。零知识证明系统将一个证明需要检查的逻辑和关系封装成一个能满足所有约束条件的电路。零知识证明协议要求在证明器（Layer 2 运营者）和验证器（智能合约）之间进行名为 “起步设置” 的预定义配置。

Zk-Rollup 主要有三类设置：可信设置（Trusted Setup）、可更新设置（Updatable Setup，CRS）和透明设置（Transparent Setup）。

可信设置：在该设置下（如 Groth16），gas 成本较低，最大吞吐量较高。但是，每个电路只支持某些固定功能。另外，每次电路升级时，都需要完成可信设置流程。

可更新设置：在该设置下（如递归的 Plonk），gas 成本较高，最大吞吐量较低。但是，该设置最主要的优点是，无需修改电路即可引入自定义智能合约，这都得益于递归性。

2014年诺贝尔经济学奖得主Jeae TIROLE：比特币没有为政府带来收益:5月20日上午，在大湾区经济与发展论坛上，2014年诺贝尔经济学奖得主Jeae TIROLE教授表示，比特币和区块链是不同的，区块链是一个创新型的科技，应用面非常广泛，比如智能合同、记录和转移资产、公司投票等；而比特币是没有价值的，同时伴之而来的泡沫还会带来很大风险。他认为，比特币的社会价值不同于自认价值，当央行发行货币的时候，不管日元、欧元还是人民币，都会获得一些制币收益，这对公共财政来说是有好处的。因此，从政府的角度出发，之所以会限制比特币的发展与应用，不仅因为它被用来、避税和一些非法的活动，更因为它没有给政府带来收益，而这些收益全部到了私人手中。[2018/5/20]

透明设置：在该设置下（如 Stark），当 Layer 2 区块被填满时，gas 成本很低，但是在类似空块这种非理想情况下，gas 成本会变得异常高。

1.完全兼容 EVM

完全兼容 EVM 指的是 Layer 2 系统完全兼容以太坊主网上已有的智能合约。

2.自定义智能合约

Layer 2 客户端可以自定义并引入有限的智能合约。Layer 2 用户和合作伙伴可以通过各种工具以 zk-SNARK 电路（代表智能合约的逻辑）的形式引入其智能合约，不过电路会带来局限性（电路可能不支持无限迭代的循环）。

3.固定功能

可以加入一些 dApp 或智能合约，但是必须通过系统升级来实现。

1.gas 成本

最优 gas 成本：取决于call data成本和固定成本。

次优 gas 成本：取决于最优 gas 成本、固定成本和实现最优 gas 成本的概率。

固定成本：包括 Layer 2 区块头、Layer 2 区块根的存储量和零知识证明的成本。当需求较低时（在次优情况下），固定成本将占交易成本的绝大部分。

2.计算成本

证明器时间：在 Zk-rollup 中，证明器需要大量时间来生成证明。证明过程中需要进行大量计算，来验证证明中的数百万个限制条件。一般而言，零知识证明的证明器时间取决于电路大小和证明过程中使用的硬件的容量。如果是 Plonk，证明器时间可能是 2 至 14 分钟；如果是 Loopring v3.0，证明器时间可能是 7 至 10 分钟；如果是 Stark，证明器时间可能是 3 至 5 分钟。这是 Zk-rollup 的硬终局性延迟的主要决定因素。

证明器成本：证明器生成证明所消耗的资源，取决于证明器时间和实证吞吐量。

硬终局性：敲定 Layer 2 区块所花费的时间。对 Optimistic Rollup 来说，这个时间就是挑战期的时长；对 Zk-rollup 来说则是证明器时间。

软终局性：将 Layer 2 区块提交到 Layer 1 上所花费的时间。

取款时间：一些快速交易方案需要先提交 Layer 2 区块，再作进一步处理。

理论最大吞吐量：基于链上操作的 gas 成本和以太坊上每个区块的最大 gas。

Zk-rollup 的实证吞吐量：

1）实证吞吐量取决于证明器时间。

2）证明成本、实证吞吐量和资本要求之间存在权衡关系。更高的吞吐量需要更高的证明成本和资本要求。

使用体验是否与使用以太坊相仿。

资本要求：运营者存储在智能合约内用来保障系统安全性的资金。

资本效率：流动性提供者/运营者在 x 时间内锁定在智能合约里的资金。

（1）所有使用欺诈证明的 Rollup 必须接受活性假设。该假设引入了安全性和延迟的权衡（体现在挑战期的长短上）。Arbitrum 的测试网案例将挑战期设为 30 分钟，非常短而且实际上并不安全。这意味着，恶意运营者可以对以太坊发起 30 分钟的网络拥堵攻击，然后窃取 Layer 1 上的 Rollup 智能合约中的所有资金。

（2）每当 Loopring 改变其功能或数据结构时都需要新的设置。（最新版本的 Loopring 使用内部的临时起步仪式。）

（3）就每 30 万笔交易生成一个证明的电路而言，Stark 的验证者需要 500 万 gas。但是，deversiFi 使用的Stark 电路是每 150 笔交易生成一个证明，需要超过 200 万 gas。（相比之下，Plonk 是每 300 笔交易生成一个证明，需要 50 万 gas；递归 Plonk 是每 3000 + 笔交易生成一个证明，需要 90 万 gas；Groth16 是每 2000 笔交易生成一个证明，需要 30 万 gas）。

（4）常规 Plonk 的证明器时间是 2 至 14 分钟（取决于区块中的交易数量）。如果是递归 Plonk，证明器时间会翻一番，但是生成一个证明需要 5 至 10 倍数量的证明器。如果是 Loopring 中使用的 Groth16，证明器时间约为 7 分钟。

（5）最优 gas 成本还取决于 Rollup 的功能（转账、交易或多用途），因此它并不一定能正确反映 Rollup 的费用。

（6）在 1.0 版本中，Loopring 需要更多时间来收集足够多的交易打包成一个区块，因为存款、取款和结算都是相互独立的。

（7）StarkWare 的一个解决方案不提供链上数据，而是引入数据可得性委员会。数据可得性委员会的确认会上链。

（8）为了解决证明器成本问题，Zksync 开发了新的硬件（FPGA）。为了提高最大吞吐量，Zksync 和 Aztec 改进了 Plonk 中的递归电路。

（9）StarkWare 专门为证明器打造了硬件，同时也致力于开发基于 Stark 的解决方案。

（10）Plonk 的 tps 为 300，递归 Plonk 的 tps 为 800 至 3000。

（11）Zk-rollup 的实证吞吐量取决于证明器时间。例如，假设有 50 个证明器：在 Plonk（Zksync）中，证明器时间约为 720 秒（每 300 笔交易生成一个证明），因此实证吞吐量不可能超过50 x 300 / 720 ~20 tps。在 Loopring 中，证明器时间为 420 秒（每 2048 笔交易生成一个证明），因此实证吞吐量为 50 x 2048/ 420=244 tps。

（12）在 Optimism 的首个 Rollup 主网版本中，每笔 Layer 2 交易需要消耗 2.1 万 gas。但是， 该团队承诺会提供一个优化版本，将 gas 成本降至 5000。

（13）Aztec 提供的隐私交易需要更多调用数据。

用户采用率：对于像 Rollup 这样未经过测试和验证的新技术，用户通常持有谨慎态度。不明确的权衡关系和复杂性限制了主流采用。

安全性：零知识证明协议的选择和挑战期等因素都对 Rollup 方案的安全性有着极大影响。分析和理解这些选择并非易事。虽然没有嵌入零知识证明电路所带来的复杂性，但是对常规的智能合约进行审计本身就很有挑战性。对 Zk-rollup 方案进行审计是很艰巨的任务，只有非常优秀的安全专家才能胜任。

资金要求：在早期阶段，Rollup 的成本很高，采用率却一直很低。为一小部分用户创建并定期运行 Rollup 需要投入大量资金。在某些情况下，资金要求直接影响 Layer 2 系统的安全性。因此，为了保障 Rollup 的健康运行，建立一个经济系统是必不可少的。

Rollup 技术是以太坊可扩展性问题的可行解决方案之一。目前有多种实现并部署 Rollup 的方法。鉴于该技术的复杂性和多种权衡关系，我们需要了解相关风险。对于那些部署 Rollup 的团队和在 Rollup 上部署 dApp 的团队来说，安全性、可用性、成本和吞吐量都是在设计解决方案时需要考虑的因素。

在这个大背景下，Kyber Network 认识到为用户提供经济快捷的交易方式的重要性。因此，我们投入了大量资源来研究并构建 Rollup 解决方案，以便更好地服务于我们的未来计划。我们将适时公布更加详细的信息，希望本文能助你理解并评估 Rollup 技术。

（完）

（文内有许多超链接，可点击左下 ”阅读原文“ 从 EthFans 网站上获取）

原文链接:

https://blog.kyber.network/research-trade-offs-in-rollup-solutions-a1084d2b444

作者:?Trong Nguyen & Loi Luu

翻译&校对:?闵敏 & 阿剑

科普 | Rollup 为何能成为当下最火的 Layer2 方案

标签：ROLROLLLAYERGASroll币是什么Roller InuPlayerMintOntology Gas

火星币热门资讯