撰文：AlexBeckett
编译：Amber
自2019年初概念诞生以来，Rollup已经取得了长足的进步。现如今市场上出现了两个主要的竞争者，并基于此衍生出了一众颇具想象力的设计理论以及混合演变。本文将盘点截止2022年中Rollup生态的发展现状。
OptimisticRollup
由于通用的OptimisticRollup占据了先发优势，因此争取到了大多数的Rollup应用，其中的Arbitrum和Optimism也堪称「Rollup标杆」。
按TVL排序，目前Rollup应用中Arbitrum排名第一，锁仓金额达到了24亿美元。尽管已经在主网上运行了一年之久，但系统上仍有许多尚待测试的环节。目前开发Arbitrum的主体OffchainLabs运营着一个唯一的中央排序器，虽然交互式欺诈证明是灵活的，但中央排序器是唯一可以提交争议以产生欺诈证明的白名单实体。从用户的角度来看，尽管整个系统逐步去中心化的趋势是可预期的，但他们仍然需要给予系统大量的信任。
协议的新一代升级Nitro已经在Devnet上线，Nitro将彻底改变现有的架构，用WASM-Geth组合取代定制的Arbitrum虚拟机。Arbitrum的交互式欺诈证明将在WASM上运行，节点将有一个与Geth相当的代码库，再加上一些特定的Rollup优化。总而言之，Nitro将带来重大的优化，在提高性能的同时提供更好的EVM兼容性。
Optimism是第二大OptimisticRollup，在所有Rollup中按TVL排名第三，坐拥4.69亿美元锁仓资金。OptimismPBC运行的情况与Arbitrum类似，都是单一的中心化排序器。然而，OptimismPBC已经找到了一种方法，通过使用排序器的利润来为网络提供回报，以此激励生态发展。第一轮共有100万美元的资金捐赠给了58个公共产品。虽然中心化的设计在区块链这个「去中心化本源」的世界中很难产生积极影响，但是Optimism做出的尝试看似已经最大程度上缓解了这一问题。
zkRollup项目Intmax完成约488万美元种子轮融资:4月13日消息，zkRollup二层网络项目Intmax开发公司Ryodan Systems AG宣布完成约6.5亿日元（约合488万美元）种子轮融资，HashKey Capital、Scroll、Yusaku Maezawa旗下MZ Web3 Fund和Alchemy Venture，以及以太坊密码学家Justin Drake和前Coinbase首席技术官Balaji Srinivasan等天使投资人参投。
该公司表示，将利用zkRollup建立基于以太坊加密技术的基础设施，从而实现近乎零的gas成本和数据主权，此外Intmax预计将在2023年第二季度（4-6月）在以太坊主网上开始试运行，第四季度（10-12月）进行主网上线。[2023/4/13 14:01:19]
目前Optimism的设计中缺乏欺诈证明，尽管逐步去中心化和必要的安全升级是可以预期的。然而，几乎所有的Rollup都有即时或延迟的可升级性，所以Rollup的安全性最终取决于多签设计的升级。即将到来的Bedrock升级将把Optimism的架构转变为与Arbitrium类似的架构。目前的Optimism虚拟机将被替换为MIPS-Geth组合，其中节点等效于普通的以太坊Geth节点。新增功能还包含交互式欺诈证明，这是对其原有非交互式欺诈证明的升级。Bedrock将是Optimism的又一个里程碑，将为系统增添很多功能和改进。
此外，Optimism还实现了一个飞跃，即进行了非精英治理的实验。决策被分成两部分，分别是代币治理和用户治理。其中代币治理即以代币为投票凭证，而用户治理则是一人一票制。在这样一个系统中，最困难的点在于投票身份分配，需要最大限度地减少虚假攻击。如果一个用户可以获得一个以上的投票人身份，他就可以对「政府」造成比普通用户更多的影响。乐观派指出，他们将使用不可转让的NFT来代表公民身份，但是个人交换私钥以获得更多投票权的威胁仍然存在。
以太坊账户抽象提案EIP-4337新增签名聚合，可为rollups降低数据成本:10月3日消息，据以太坊创始人V神（Vitalik Buterin）近日发布的推文，其于2021年9月联合发起的以太坊账户抽象提案EIP-4337近期发布了新版本，添加了包括BLS签名算法的签名聚合。签名聚合功能能够让构建者和批次提交者也能聚合签名（例如BLS、SNARKs），大大减少了链上的数据。
V神表示，ERC-4337为账户抽象提供了真正有价值和必要的东西，可为使用智能合约钱包的用户操作提供“去中心化费用市场”。我们正在慢慢精准实现账户抽象的实际路径，本次发布新增的签名聚合功能可以为rollups降低数据成本，这也将成为采纳ERC-4337的动力之一。
据悉，账户抽象（Account Abstraction）是通过省略以太坊账户体系中不必要细节，来减少复杂性并提高有效性有效地（消除了对EOA的需求和对智能合约钱包的特殊处理）。[2022/10/3 18:38:21]
Fuel是OptimismRollup领域的另一个值得关注的竞争者，它采取了与Arbitrum和Optimism截然不同的方法。FuelLabs正在为FuelV2建立一个定制的虚拟机，使用基于Rust的编程语言。虽然与EVM兼容的Rollup对于Ethereum开发生态系统的Rollup特别有用，但定制的VM更容易实现性能最大化，因为它们不必遵守许多既定的标准。
笔者最喜欢FuelV2的部分是并行交易处理能力，一旦数据量达到了相当的量级后，实施并行处理的Rollup将比那些没有实施并行处理的Rollup更有优势。值得注意的是，FuelV1主网以太坊上的第一个OptimisticRollup，并且仍然是唯一一个拥有无权限排序器和欺诈证明的Rollup。
滚石与 Coinbase 合作，推出独家Rolling Stone Live?NFT 系列:金色财经报道，滚石与Coinbase合作，推出独家Rolling Stone Live?NFT 系列，其中包括区块链领域的 12 位数字艺术家。据《滚石》杂志报道，艺术家们的任务是创建展示滚石标志的 NFT。艺术家包括 Deadfellaz、Elise Swopes、Boss Beauties、Kideight、Mikegrillmadeit、Markthehabibi、Domino、Giant Swan、Alida Sun、Jeff Manning、Mister Goldie 和 Emonee LaRussa。[2022/2/7 9:36:08]
对于Fuel来说，OptimisticRollup是远远优于zk-Rollups的。一是OptimisticRollup具备完全的、不受限制的可组合性：zk-Rollups在通过zkcircuits组合智能合约方面存在先天劣势。唯一具有普遍可组合性的zk-Rollup是StarkNet，不过其目前有许可的智能合约部署和桥梁可以支持的TVL数量的上限。所有其他zk-Rollups都是特定的应用，或者只做代币转移。
另一点是因为EVM兼容性：zkcircuits与EVM中标准的某些类型的密码学有固有的兼容性问题，这使得zkEVM成为一项极具挑战性的任务。OptimisticRollups已经在主网上运行了一段时间的EVM兼容性，升级后有望进一步实现等效性。
zk-Rollup
过去一段时间以来，以太坊社区已经达成共识，即zk-Rollups是可扩展的Rollups的最终状态。因此，与OptimisticRollup相比，似乎有更多的zk-Rollup在积极开发中，其中许多计划在未来两年内推出。
StarkWare推出ZK Rollup扩容方案StarkNet Alpha2版本:金色财经报道，据官方消息，StarkWare推出ZK Rollup扩容方案StarkNet Alpha2版本。StarkWare发布了一个测试框架，开发人员现在可以在本地有效地测试他们的合约。新功能包括可组合性，支持智能合约之间的交互；本地测试框架，将允许开发人员通过在本地测试其StarkNet合约部署和交互来加快dApp开发，此版本仅包L2交互，下一版本将扩展功能和易用性；性能提升，改进了StarkNet的设计，支持更高的吞吐量和更短的验证生成时间，允许创建更大的区块，从而降低每个交易的成本。添加了一个内置函数来支持StarkNet合约中更高效的按位运算（文档）；以及StarkNet正在从Ropsten迁移到Goerli。[2021/9/1 22:53:12]
StarkNet是目前主网上唯一一个通用的、可组合的zk-Rollup。然而，该系统仍处于早期的阿尔法阶段，有多种限制。StarkNet和Ethereum之间的桥存在限制，上限未来会逐渐增加。StarkNet上的智能合约部署也是白名单模式。我认为这主要是为了减少智能合约错误发生的风险，因为很可能没有足够的审计人员来审计开发者想要部署的所有合约——StarkWare暂时承担这个角色是合理的。可审计性是新的自定义语言的普遍缺点之一，而zk系统的复杂性只会使其更加复杂。
zkSync是另一个主要的「zk-Rollup」竞争者，最近的测试网上线标志着zkEVM在实时测试网中的第一个实例的推出。然而，随着zkPorter的加入，zkSync2.0不再仅仅是一个升级版。它将使用户能够在zkPorter和Ethereum之间选择发布其交易数据。虽然以太坊正在通过danksharding升级数据吞吐量，但volition是一个伟大的中间地带，为用户提供了更好的选择。
V神：ZK Rollup和Optimistic Rollup均取得巨大进展:以太坊创始人V神刚刚发推表示，Rollups(包括ZK Rollup和Optimistic Rollup)已经存在并继续取得巨大进展。虽然分片（sharding）仍在快速发展，但我们并不依赖于分片来实现1000+的链上TPS。在eth2中，分片和Rollups的缩放增益将成倍增加。[2020/5/21]
虽然大多数zk-Rollups都优先考虑可扩展性，但隐私是zk-Rollups可以实现的另一个重要方面。Aztec目前正通过他们的隐私代币转移zk-Rollup在隐私领域处于领先地位，他们也是笔者所知的唯一以隐私为重点的以太坊Rollup。Aztec预计将很快推出其下一个迭代，Aztecconnect，它使用户能够隐私访问EthereumDeFi。这与使用Tornado.cash之类的应用相比是一个很大的进步，因为Tornado.cash的隐私只能通过混币来实现，而不能直接「隐藏」交易。
zk-Rollups已经非常复杂了，再加上隐私问题就更复杂了。zk-Rollups有可能永远不会达到隐私可组合智能合约的状态。正因为如此，隐私可能会通过特定的应用链出现，无论是通过zk-Rollups还是zk-Rollup之上的Validiums。
其他各种各样的zk-Rollups也已经在逐渐显露头角，包括Scroll和Polygon的各种项目。zk-Rollups之间的一个很大的区别是使用自定义虚拟机或zkEVM执行环境的区别。它的优点和缺点与OptimisticRollup类似。然而，zk-Rollups在实现zkEVM方面有更多内在的复杂性。正因为如此，有一个非常有力的案例可以证明采用自定义虚拟机和语言的路线，如StarkNet和Cairo。
SovereignRollup
Rollup类别中的最后两个目前还仅仅存在于理论之中。SovereignRollup与常见的Rollup的区别在于它有一个分叉选择规则，允许它独立于其基础层进行分叉。相反，一个普通的Rollup会将其分叉选择权委托给它的结算层，因为它需要确保Rollup的正确性。
SovereignRollup在像Celestia这样的DA层上最为突出，在那里，Rollup交易的正确性不由DA层来保证。正因为如此，像Celestia这样的Rollup交易是默认的Sovereign交易，因为他们必须通过欺诈/有效性证明和分叉选择来确保自己的交易正确性。这不应该被误认为是共识，Celestia提供的共识是关于交易排序的协议。
对于乐观的SovereignRollup，交易被认为是正确的，所以Rollup节点只需要从Celestia下载块数据。zk-SovereignRollup通过有效性证明来确保正确性，这些证明将通过p2p网络在Rollup节点之间分发。
SovereignRollup的重要性正体现在他们的分叉能力上，这使得Rollup能够真正独立于其基础层。
结算Rollup
结算层是一种专门为结算而建立的SovereignRollup体。重要的是，结算层是任何与Rollup具备双向信任最小化桥梁的区块链。该桥梁使代币可以在Rollup层和结算层之间双向转移。信任最小化是桥梁的一个属性，其中通信只依赖于通过验证数据可用性和欺诈/有效性证明的诚实少数人假设。
和任何结算层一样，结算Rollup的目的是为「Rollup」提供一个环境，以验证证明、解决争端和桥接代币。虽然，从技术上讲，在结算之上的「Rollup」是混合型的，因为它们通过结算Rollup所处的数据可用性层使用链外DA，这使它们成为一个验证层或一个乐观的验证层。
混合型
Validium
Validium是一种混合型的zk-Rollup，交易数据在链外发布，这意味着除了用于验证有效性证明的结算层之外，还依赖外部环境。StarkEx是唯一已经上线的验证体的实例。StarkEx是一个特定应用的验证器，目前支持三个应用：ImmutableX、Sorare和DeversiFi。StarkEx还支持zk-Rollup模式，该模式被当下TVL第二大的Rollup应用DyDx使用。
StarkEx使用了一个数据可用性委员会，该委员会由一组受信任的各方组成，为StarkEx的验证体提供数据可用性。虽然将数据可用性委托给一个许可委员会降低了安全性，但它使StarkEx的验证人能够提供比zk-Rollups更便宜的交易。成本降低是可能的，因为向以太坊发布数据是很昂贵的，而这也是造成Rollup交易费用的主要可变成本。
附带DAC的Validium的一些安全问题可以通过使用外部数据可用性层来减少。安全性的主要增加来自于区块链提供的加密经济安全，节点可以因为不诚实的活动而被监禁和砍掉。这种实施的有效性是对「Rollup」的成本-安全权衡的一个有趣实验。
?图片来源：Celestia
OptimisticValidium
与Validium一样，OptimisticValidium也是一种混合的OptimisticRollup，其中交易数据被发布到链外。对于这种特定的混合体应该被称为什么，还没有达成普遍共识。
Metis是目前唯一的OptimisticValidium实例。需要注意的是，OptimisticValidium的安全度相比其对应的Validium更弱一些，因为数据的可用性是生成欺诈证明和成功解决争端所必需的。如果发生了纠纷，而有关状态转换的数据不可用，那么欺诈证明就不能证明欺诈。正因为如此，如果链外数据可用性提供者未能提供数据，资金就会从OptimisticValidium中被盗。
Volition
通过zk-Rollup和Validium的结合，还有一种混合型Rollup，即Volition。Volition让用户可以选择链上或链下的数据可用性。这种选择是在个人交易层面上做出的，链外数据代表更便宜的费用和更低的安全性，而链上数据则导致更高的费用和更高的安全性。这给了用户由个别系统提供的选择自由，而不是明确地寻找适合用户的成本-安全偏好的链路。
目前，zkSync2.0是唯一公开宣布的开发中的Volition。在zkSync2.0中，链上数据由以太坊提供，而链下数据则由他们自己的专用PoS链提供，称为zkPorter。不过由于目前缺乏细节信息的披露，因此只能猜测未来StarkWare将为StarkEx或StarkNet提供一个用户自定义的选项。
Adamantium
Adamantium是一种每个人都要亲自向网络提供自己数据的Validium。个人的交易数据由个人存储，并且他们必须保持在线以证明每个区块的数据可用性。如果用户不在线，或者未能证明，那么他们的资金就会自动撤回到链上的结算层。虽然StarkWare提出了Adamantium的设计，但目前还没有任何团队在这方面取得了更多进展。而未来这种假设如若能够顺利落地，那么对于那些希望对自己的安全进行更多个人控制的用户或实体来说，可能会非常有吸引力。
EnshrinedRollup
EnshrinedRollup是一个由现有区块链一部分组成的Rollup。简单地说，它是一个执行分片。在以太坊2.0提案和其他类似的分片区块链中看到的EnshrinedRollup和执行分片之间的区别是，执行分片被提议为单片。全局验证器组将被分割成委员会，并分配给一个特定的分片，作为验证器组。执行分片将作为一个独立的区块链，有自己的执行、共识和数据可用性，但它将检查点返回到「信标链」，类似于侧链检查点回到他们选择的链。理论上，一个以太坊的Rollup将只做执行，并使用信标链来验证数据可用性和欺诈/有效性证明。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。