让我们从一个比喻开始。
想象一下我们回到了中学的数学课上。正如中学数学老师往往冷酷的那样,我们的老师递给我们一张表单,上面列着一百道长除法题,每一道都有非常大的数字。我们被告知,我们的任务是要计算出尽可能多的题目。但棘手的是,我们必须使用同一张纸来写出答案和进行每一个计算步骤。仅仅几分钟后,我们就不得不正视这项任务的荒谬之处:要将这么多完整的解题方案挤进这一张纸上简直是不可能的。
这个噩梦般的故事和 Rollups 什么关系?
在这个比喻中,这张纸就好比一个以太坊区块,而这些数学问题就是智能合约交易。以太坊目前极度拥挤。有太多的交易需要被打包进每个区块中。更糟糕的是,这些交易中的大多数都是计算密集型的 (也即需要进行大量计算),比如闪电贷 (flash loans) 或通过聚合器进行的交易。过去 (DeFi 之前的) 那种简单的转账和支付的时代已经一去不复返。
这就是问题的关键。就像该比喻中的数学老师要求我们把每一行辛苦的长除法都填到一张纸上一样,以太坊也必须处理和记录每一笔交易的每一行计算。
OP Labs:EIP-4844将大幅降低Rollup费用,使以太坊能够在保持去中心化的情况下扩容:7月30日消息,OP Labs推特发文称,EIP-4844将大幅降低Rollup费用,使以太坊能够在不牺牲去中心化的情况下扩容。近期来自OP Labs、Coinbase和ConsenSys的研究人员和开发人员参与了社区第二次会议,讨论了公共开发网络、收费市场设计和同步架构等话题。今年3月,以太坊创始人V神(Vitalik Buterin)在推特上分享了关于其和几位开发者共同提出的EIP-4844提案,该提案建议用proto-danksharding代替扩容解决方案Danksharding。该提案致力于在尚未实际实施任何分片的情况下,部署构成完整Danksharding规范的大部分逻辑和交易格式及验证规则。Proto-danksharding引入的主要特性是新的交易类型,称之为携带blob的交易。携带blob的交易引入一种新的交易格式,其中包含大量数据,EVM执行无法访问,但其提交可以访问。提案提议每30天自动删除blob数据,以防止网络对数据和内存存储的要求过大。Proto-danksharding部署后,所有验证者和用户仍须直接验证完整数据的可用性。[2022/7/31 2:49:01]
直到 Rollups 的到来。
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]
Rollups 将计算转移至链下,而在链上只存储最少的交易数据。从这个基本意义上讲,Rollups 就像是以太坊计算的「草稿纸」。Rollups 处理所有凌乱的数据处理,通过对交易进行批量处理 ("卷起") 的方式来实现单个以太坊区块内包含的智能合约交易量呈指数增加。
V神:Rollups预计在短期和中长期成为以太坊扩容的基石:以太坊创始人V神发布《不完全的Rollups指南》一文,其中介绍了Rollups技术、原理及其发展。他在最后说道:Rollups是强大的二层扩容范例,预计在短期和中期(也可能是长期)将成为以太坊扩容的基石。
Rollups已经看到了以太坊社区的巨大热情,因为与之前的二层扩容尝试不同,Rollups可以支持通用EVM代码,允许现有的应用程序轻松迁移。为了做到这一点,Rollups做出了一个关键的妥协:不尝试完全脱离链,而是把每个交易的少量数据留在链上。有很多类型的Rollup,在设计空间中也有很多选择。
他指出Rollups仍处于发展早期,开发仍在快速进行中,但确实有效,其中一些(特别是Loopring、ZKSync和DeversiFi)已经运行了几个月。在未来的几年里,Rollup领域将会出现更多令人兴奋的工作。[2021/1/5 16:27:16]
这个比喻有助于描述 Rollups 要解决的问题 (也即"由于计算超负荷造成的网络拥塞"),甚至为我们提供了一个关于 Rollup 解决方案的模糊概念 (也即"将计算转移至链下")。但至于 Rollups 是如何工作的,它们是什么样子的,以及为什么它们让我们人如此兴奋,我们还需要深入研究一下。
以太坊扩容方案Arbitrum Rollup推出钱包应用可于测试网转移ETH:11月20日,以太坊扩容方案Arbitrum Rollup的开发团队Offchain Labs发推宣布推出Arbitrum Burner钱包,利用该钱包可以更简单地在Arbitrum Rollup测试网上进行ETH或代币转移。[2020/11/20 21:26:47]
本质上来说,每个 Rollup 都是一条单独的区块链,但进行了一些修改。与以太坊一样,每个 Rollup 协议也有一个执行智能合约代码的“虚拟机”。Rollup 的虚拟机独立于以太坊自己的虚拟机 EVM 而运行,但它是由某个以太坊智能合约管理。这种连接性使得 Rollups 能够与以太坊进行通信。Rollup 执行交易并处理数据,以太坊接收并存储结果。
在技术层面上,Rollup 链和其他更传统的区块链之间的关键区别在于产生新区块的方式。
通常,区块链是一个由多方 (即"矿工" 或 "验证者",取决于区块链的共识类型) 组成的分布式网络维护。这些各方通过共识来共同生产区块。简单地说,各方投票决定如何处理一组交易,或者换句话说,如何构建下一个区块。获得多数支持的区块将被永久写入区块链中。
观点:Validium适用于传统高频交易 zkRollup适合去中心化加密支付:近日,针对以太坊Layer 2扩容方案,即DeversiFi最近采用的Validium解决方案,Matter Labs创始人Alex Gluchowski撰文称,Validium的机制与zkRollup非常相似,唯一的区别是zkRollup中的数据可用性是在链上的,而Validium则将其保持在链外。这允许Validium获得更高的吞吐量,但这也导致该解决方案存在两大问题:1、可冻结用户资金;2、可没收用户资金。
Alex Gluchowski指出,zkRollup的数据可用性可保护用户的资金免遭扣押和审查。但数据可用性的链上存储,导致了吞吐量的限制。因此,Alex Gluchowski认为Validium方案可能会适用于传统的高频交易或具有较低信任假设的游戏,相比之下,完全无需信任的zkRollup方案则非常适合扩展去中心化的加密支付。(Medium)[2020/6/8]
相比之下,Rollup 链并不通过多数决定规则来运行。相反,监控 Rollup 状态的某个单一方可以向以太坊 (L1基础层) 发送所谓的“断言”,说明某个批次的交易应该如何被处理。重要的是,以太坊将独立地接受或拒绝这一断言,不管该 Rollup 的大多数其他方是否支持这一断言。在实践中,这通常意味着 Rollup 链的某个单一方会被指定处理交易和生产区块的任务。
等等...Rollups 是中心化的?
Rollup 区块生产的这一中心化属性正是 Rollups 能够如此高效地处理交易的部分原因。但这也提出了一个明显且令人担忧的问题:没有多数人的共识,Rollups 如何确保区块生产是正确的?如果区块生产者碰巧是恶意的,会发生什么?
这种中心化让习惯于基于共识的区块链的加密用户感到困惑。事实上,如果故事到此结束,我们可能会 (错误地) 得出这样的结论:Rollups 只是“由单一方复制的数据库”,正如 Avalanche 联合创始人 Kevin Seqniqi 最近在推文中 (误解的) 那样。
实际上,这个关于 Rollup 中心化的指控与其说是错误的,不如说是逻辑上的误解。通常情况下,没有健全共识机制的中心化区块链确实容易受到腐败和敌意接管的影响;然而,在 Rollups 的独特情况下,这种缺乏去中心化实际上对于它们的安全性或者可靠性并不是一个问题。为了理解为什么会出现这种情况,我们需要更深入地了解。
回顾一下我们一开始的那个不幸的数学作业。用于计算的「草稿纸」允许我们在主要表单上仅需写下题目和答案即可;Rollups 就好比是「草稿纸」,它们“将智能合约计算转移至链下,而在链上只存储了最少的交易数据。”
实际上,这最后一部分,也即 "在链上存储交易数据",对于 Rollups 的运作方式至关重要。在一个 Rollup 链中,只有计算 (数据处理) 在链下进行,而 Rollup 处理的每一笔交易仍会将其输入数据 (也即"calldata") 存储在以太坊上。
在链上保存交易数据的重要性是什么?在数学作业的比喻中,我们最终交给老师的那张纸包括了长除法题目和它们的答案,这使得老师可以检查我们的作业,即使我们没有在上面写出单独的计算步骤。类似地,链上数据的持久可用性意味着,Rollup上面的任何计算都可以被以太坊基础层重复计算。
简而言之,Rollup 的链上数据可用性允许一个内置的审查过程。在将交易永久记入账本之前,以太坊可以对 Rollup 链上处理的交易的完整性进行“再次检查”(double check) ——几乎就像美国最高法院的司法审查权力一样。
因此,Rollups 的关键特性是它们的局限性。Rollups 仅将交易推送到 (以太坊) 基础层;它们不能强制基础层接受,因为如果有必要,以太坊可以推翻任何 Rollup 交易。由于它们受到这个审查过程的制约,因此 Rollup 交易被认为是缺乏真正的确定性(finality)。
考虑到 Rollups 的这种局限性,我们可以回到上文未解决的有关 Rollups 中心化的指控。Rollup 的某个单一区块生产者可能会试图恶意地处理交易,但如果这样做,以太坊 (基础层) 将在审查过程完成后直接拒绝该批次的交易,且该区块生产者将受到惩罚。
当前,“审查过程”的运作方式取决于 Rollup 是 Optimistic Rollup 还是 ZK Rollup。但对于这两者来说,审查过程的效率都要比以太坊自己处理交易的效率高得多。
总而言之,Rollup 系统基于“制衡”,这确保了以太坊始终保持作为主权链:以太坊自己的共识是真理的最终仲裁者。
然而侧链就不一样了。由于缺乏相同的审查过程,侧链通过自己的、完全独立的共识机制来处理交易。侧链交易在某种程度上是“最终的”(finality),而 Rollup 交易不是 (直到它们在以太坊上得到确认)。因此,侧链需要更大的信任假设,因为它们不能从以太坊自己的去中心化安全性中获益。事实上,我认为侧链更类似于 EVM 兼容的 Layer 1,而不是 Rollup。
概括一下:Rollups 将计算移出链下,以释放更多的链上空间。链上的数据可用性是至关重要的,因为这允许以太坊对 Rollups 交易的可靠性进行再次检查。这种审查过程反过来又充当了对 Rollup 区块块生产的“检查”,从而消除了对共识机制的需要。
Rollups 最终让以太坊既能得到蛋糕又能吃掉它:它们在不破坏网络去中心化安全性的情况下释放出更多的链上容量。至少在我看来,这是我们所希望的最优雅的扩容性解决方案。
感谢 t11s 和 Hasu 的评论和建议。
来源:Benjamin Simon
编辑:南风
尼克·萨博(Nick Szabo)的父母原本是匈牙利人,为躲避一战后建立的匈牙利苏式政权,逃往美国定居。因此,萨博将 20 世纪 90 年代的加利福尼亚湾地区称作自己的家.
1900/1/1 0:00:002021年5月,加密资产市场颇为动荡,BTC从5万美元上方最低跌至29000美元,几近腰斩,大多数加密资产最大跌幅超过50%。二级市场巨震之下,链上生态也不太平.
1900/1/1 0:00:00Envolve Group?之前Metaverse不是很火的时候我们写了一篇三万字长文,来找我们聊Metaverse的人很多。没啥可说的,带着钱来的我们都收了,没带钱来的我们都轰出去了.
1900/1/1 0:00:00对ETH中心化的争论,长期以来一直被Preston Pysh和Lyn Alden等消息灵通的比特币投资者用作反对采用ETH的论据.
1900/1/1 0:00:00萨尔瓦多共和国正在寻求立法,使其成为世界上第一个将比特币和美元一起作为法定货币的主权国家。在一段提供给比特币?2021?大会的视频广播中,总统?Nayib Bukele?宣布萨尔瓦多与数字钱包公.
1900/1/1 0:00:00以太坊是近期加密市场最关注的话题,EIP 1559 和 ETH 2.0使得以太坊的叙事即将迎来根本性转折.
1900/1/1 0:00:00