本文就从一个比喻开始吧。
想象一下我们回到了中学的数学课上。我们的老师，和其他中学数学老师一样残忍，给我们列出了一百道长除法问题，每道题的数字都很大。我们的任务是解决尽可能多的问题。但是要注意，我们必须将最终答案和每个计算步骤都写在一张纸上。几分钟内，我们可能就会眉头一皱，意识到问题并不简单。一张纸所能容纳的，除了所有完全解出的答案之外，不可能再包含计算步骤。
这个卡夫卡式的故事与 Rollups 有什么关联呢？
在这个比喻中，这张纸就是一个以太坊区块，数学问题是智能合约事务。目前的以太坊非常拥挤。每个区块中需要包含的交易太多了。雪上加霜的是，这些交易中的大多数都需要大量计算，例如闪电贷或经过聚合器路由的交易。前 DeFi 时代的简单转账和支付模式已经是过去时了。
这就是问题的关键。正如比喻中的数学老师一样，要求我们把长除法的每一行都塞在一张纸的空间里，以太坊也必须处理和记录每笔交易的每一步计算。
直到 Rollups 的出现。
Rollups 将计算移到了链下进行，同时只在链上存储最少的交易数据。从这个基本意义来说，Rollups 是以太坊的草稿纸，负责处理所有杂乱的数据，允许在单个以太坊区块内“汇总”几何倍数的智能合约交易。
IMF今日发布的加密货币科普视频实为两年前旧闻，且存在诸多疏漏:国际货币基金组织IMF今日在推特上发布了一条关于加密货币的科普视频，这段时长两分钟的视频最初发布于2018年6月。该视频称加密货币是“货币进化的下一步”，但没有特别提到DLT、区块链，甚至是代币名称等术语。BTC、XRP和ETH只出现在说明加密交易的图形中。尽管这段视频到目前为止已经获得了超过13.7万的点击量和2900个赞，但来自加密社区的许多反应都是批评的，他们指出了信息中的漏洞和似乎具有误导性的措辞。
Reddit用户nanooverbtc称：“他们犯了很多错误，比如把私钥称为密码。”该视频也没有讨论挖矿或加密货币供应。Kraken策略师Pierre Rochard等知名人士表示：“可证明的稀缺性是比特币有趣的原因，你忘了提这一点。”（Cointelegraph）[2020/8/24]
这个比喻有助于厘清 Rollups 旨在解决的问题 (“由于计算过载导致的网络拥堵”)。它甚至提供了 Rollups 解决方案必备条件的大致概念 (“计算移至链下”)。但至于 Rollups 实际的工作方式，它们是什么模样，以及为什么能让像我这样的人感到如此兴奋——我们还需要深入探讨。
声音 | 上海股交所总经理：区块链想要大规模发展要做好社会科普工作:金色财经报道，上海股交所总经理张云峰表示，区块链当前还处于一个“概念”的阶段，距离成熟应用，影响到百姓的日常生活还有很长的路要走。对于“区块链”和其会带来的社会和经济效果，沈阳应当持审慎的态度。区块链想要大规模发展，一方面要做好这项复杂技术的社会科普工作，加快社会大众对区块链的了解。另一方面，要充分发挥市场的作用，让企业用实实在在的技术创新，赋能实体经济的发展。[2019/11/17]
Rollup 本质上是一条独立的区块链，但进行了修改。与以太坊一样，Rollup 协议具有执行智能合约代码的“虚拟机”。Rollup 的虚拟机独立于以太坊的虚拟机 (即“EVM”) 运行，但由以太坊智能合约管理。这种连接使得 Rollups 能够和以太坊进行通信。Rollup 执行交易并处理数据，以太坊接收并存储结果。
从技术层面来说，Rollup 链和其他传统区块链的关键区别在于新区块的生产方式。
通常来说，区块链是由分布式网络中的不同参与者来进行维护 (“矿工”或“验证者”)。这些参与方通过共识机制来共同生产区块。简单来说，参与方投票决定如何处理一组交易，或者说如何构建下一个区块。获得大多数支持的区块就会被永久写进区块链。
动态 | 币安科普MimbleWimble算法:币安官方推特今日发布隐私算法Mimblewimble的科普贴，在下方留言区大量网友留言猜测是否是基于 Mimblewimble算法的隐私币Grin或者Beam即将登陆币安交易所，其中猜测Grin的呼声更高。[2019/9/2]
相比之下，Rollup 链不遵循“大多数”规则运行。相反，监控 Rollup 状态的一方可以将所谓的“断言” (assertion) 发送回以太坊，说明交易应该如何处理。重要的是，以太坊将接受或拒绝此断言，无论其他 Rollup 参与方的大多数是否支持此断言。在实践中，这通常意味着 Rollup 中的单个参与方被指定了处理交易和生成区块的任务。
Rollup 区块生产的中心化特性是其能够如此高效处理交易的原因之一。但这也引发了一个显而易见且令人担忧的问题：如果没有大多数共识，Rollup 如何确保区块生产的正确性？如果区块生产者碰巧是恶意的，又会发生什么？
这种中心化不免使习惯了基于共识的区块链用户感到困惑。事实上，如果故事到此结束，我们可能会 (错误地) 得出结论：Rollups 只是“由单个参与方再造的数据库”，正如 Avalanche 的联合创始人 Kevin Seqniqi 最近在推特上所说。
声音 | ETC Labs主管：科普教育是未来几年公链面临的巨大挑战:ETCLabs主管Darin Kotalik认为，科普教育是未来几年公链面临的巨大挑战，人们必须要对区块链有基本的认识，分清楚公链和私链的区别。[2019/8/25]
实际上，正如我们将看到的，与其说对中心化的指控是错误的，不如说是逻辑上的误导。通常情况下，共识机制不够强大的中心化区块链很容易遭受贿赂和恶意攻击的影响。然而，在 Rollups 的特例中，不够去中心化实际上并不会破坏其安全性和完整性。 要理解其中的原因，我们需要再进一步。
回想一下我们开头的数学作业。用来计算的草稿纸是我们的救命稻草，因为它使我们可以在答题纸上只写问题及其答案。将 Rollups 与草稿纸进行比较，我们则称其“将智能合约计算移到链下，同时仅在链上存储最少的交易数据。”
事实上，链上交易数据的存储对于 Rollups 的运作至关重要。在 Rollups 中，只有计算、数据处理在链下，处理的每笔交易仍将其输入数据 (即“calldata”) 存储在以太坊区块链上。
声音 | 火星人朋友圈科普RAM:火星人在朋友圈发文称，“什么是RAM？简单来说就是EOS这个国家的土地，所有的经济行为都离不开土地。只要EOS的BP们能投票形成一个稳定的供给预期，并且不改变目前的Bancor算法，那么RAM后续的价格有可能会像北上广深的房价走势。房价下跌不行，房价过快上涨也不行，EOS的生态越来越像某国了，真有意思。”[2018/7/6]
为什么将交易数据保存在链上这么重要？在数学作业的比喻中，我们交给老师的最后一张纸包括长除法问题及其答案。以便老师事后检查我们的作业，即使我们没有记录单独的计算步骤。同样，链上数据持续的可用性意味着以太坊基础层可以重复 Rollups 上的任何计算。
简而言之，Rollups 的链上数据可用性允许内置的审验过程。以太坊可以对 Rollups 链上处理的交易的正确性进行双重检查，然后再将其永久写入账本，类似美国最高法院的司法审查权。
因此，Rollups 的关键特性在于其局限。Rollups 只是将交易推到基础层，无法强制区块链接受，因为以太坊可以在有需要时推翻任何 Rollups 交易。因为它们受制于这个审验过程，所以 Rollup 上的交易被认为缺乏真正的最终确定性。
考虑到 Rollups 的局限性，我们可以再回到其中心化控诉。Rollup 的单个区块生产者可能会尝试恶意处理交易。但如果是这样，以太坊将在审验过程完成后拒绝该批量交易，并且区块生产者将受到惩罚。
现在，“审验过程”究竟如何运作取决于 Rollups 是基于 Optimistic 还是零知识 (点击此处可了解更多)。但对于两者而言，审验过程仍然比没有 Rollup 的以太坊处理交易的效率要高出几何级。
总之，Rollup 系统基于“制衡” (checks and balances)，确保以太坊仍然是主权链；以太坊主链的共识是事实的最终仲裁者。但重要的是，侧链却不是这种情况。由于缺乏相同的审验流程，侧链通过其完全独立的共识机制处理交易。侧链交易是“最终确定的”，而 Rollup 中交易则不是 (直到在以太坊上得到确认)。因此，侧链需要更强大的信任假设，因为它们不能共享以太坊的去中心化安全性。事实上，我认为侧链更类似于兼容 EVM 的 Layer 1，而不是 Rollups。
概括来说：Rollups 将计算移至链下以释放更多链上空间。链上数据可用性至关重要，因为它允许以太坊对 Rollup 交易的正确性进行审验。反过来，此审验过程可作为对 Rollup 区块生产的“检查”，从而无需共识机制。
Rollups 最终让以太坊获得了它得蛋糕和好处：它们在不破坏网络去中心化安全性的情况下成倍地释放了更多的链上容量。至少在我看来，这是我们所能期望的最优雅的扩容解决方案。
注意：我最近在 Deribit Insights 上开启了 Rollups 系列文章，其中第一期探讨了零知识 Rollups 和 Optimisitic Rollups 之间的一些差异。许多读者问我是否有非技术性的 Rollup 介绍文章推荐，因为我的文章假设读者具备了这个主题的基础知识。事实上，有许多有用的概述 (参阅此处、此处和此处)。但是我还没找到针对初学者的绕开了技术术语 (至少在可能范围内) 的全面介绍。以下介绍旨在填补这一空白。
顺便说一句，这种连接是通过称为“状态根”的东西在链上维护的，它跟踪 Rollups 的内部状态——账户余额、交易、代码等。请参阅 Vitalik 的介绍了解更多细节。
事实上，在 Optimistic Rollup 中，即使所有其他网络参与者不同意，一方也可以 (正确！) 处理交易。这是 Optimistic Rollup 的“1 of N”诚实参与者假设，我在这篇 Deribit 文章“Security Considerations”部分中进行了更深入的探讨。
区块生产者角色在 Optimistic 和零知识 Rollup 中有不同的要求。有关这方面的更多信息，请参阅 Deribit 文章的同一部分（“Security Considerations”）。
Haseeb Qureshi 关于去中心化的文章发人深省。Qureshi 的论点是，去中心化本质上并没有价值，相反，中心化本质上也不是坏事。虽然 Qureshi 在文章中没有讨论 Rollups，但他的论点仍然非常相关。
在马布里诉麦迪逊案 (1803) 中，马歇尔法院裁定最高法院有权推翻其认为违宪的国会立法，有效地赋予司法部门对所有立法事项的最终决定权。
事实上，ZK Rollups 中的区块生产者以密码学形式禁止欺诈，因为交易的零知识证明本身可能是无效的。
来源 | Mechanism Capital
作者 | Benjamin Simon
日期 | 2021 年 6 月 1 日
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。