本文就从一个比喻开始吧。
想象一下我们回到了中学的数学课上。我们的老师,和其他中学数学老师一样残忍,给我们列出了一百道长除法问题,每道题的数字都很大。我们的任务是解决尽可能多的问题。但是要注意,我们必须将最终答案和每个计算步骤都写在一张纸上。几分钟内,我们可能就会眉头一皱,意识到问题并不简单。一张纸所能容纳的,除了所有完全解出的答案之外,不可能再包含计算步骤。
这个卡夫卡式的故事与 Rollups 有什么关联呢?
在这个比喻中,这张纸就是一个以太坊区块,数学问题是智能合约事务。目前的以太坊非常拥挤。每个区块中需要包含的交易太多了。雪上加霜的是,这些交易中的大多数都需要大量计算,例如闪电贷或经过聚合器路由的交易。前 DeFi 时代的简单转账和支付模式已经是过去时了。
这就是问题的关键。正如比喻中的数学老师一样,要求我们把长除法的每一行都塞在一张纸的空间里,以太坊也必须处理和记录每笔交易的每一步计算。
直到 Rollups 的出现。
Rollups 将计算移到了链下进行,同时只在链上存储最少的交易数据。从这个基本意义来说,Rollups 是以太坊的草稿纸,负责处理所有杂乱的数据,允许在单个以太坊区块内“汇总”几何倍数的智能合约交易。
欧科云链集团正式启动区块链科普行动“星途计划”:欧科云链集团于4月26日,正式宣布启动了区块链科普行动——“星途计划”,行动包括将在全国范围展开系列沙龙,加大力度推进区块链科普进机关、进国企、进校园等,联合政府部门、行业协会等共同构建起更加完善和有效的区块链科普教育生态,与此同时,直击区块链科普现存痛点,推出简单易懂的“秒懂区块链”公益短视频课。
该计划旨在全维度推动社会建立对产业更清晰的认知,与“鲲鹏计划”一道助力数字经济及区块链产业本身健康发展夯实“人才”和“产业认知”两大基础。[2021/4/26 20:59:37]
这个比喻有助于厘清 Rollups 旨在解决的问题 (“由于计算过载导致的网络拥堵”)。它甚至提供了 Rollups 解决方案必备条件的大致概念 (“计算移至链下”)。但至于 Rollups 实际的工作方式,它们是什么模样,以及为什么能让像我这样的人感到如此兴奋——我们还需要深入探讨。
Rollup 本质上是一条独立的区块链,但进行了修改。与以太坊一样,Rollup 协议具有执行智能合约代码的“虚拟机”。Rollup 的虚拟机独立于以太坊的虚拟机 (即“EVM”) 运行,但由以太坊智能合约管理。这种连接使得 Rollups 能够和以太坊进行通信。Rollup 执行交易并处理数据,以太坊接收并存储结果。
声音 | CNBC主持人:加密货币最大的缺点之一就是难以向外行快速科普:CNBC主持人Ran NeuNer近期发推称,加密货币最大的缺点之一就是很难向外行快速解释。当人们要求我向他们解释比特币时,我知道他们至少需要一个小时才能真正理解。[2019/9/10]
从技术层面来说,Rollup 链和其他传统区块链的关键区别在于新区块的生产方式。
通常来说,区块链是由分布式网络中的不同参与者来进行维护 (“矿工”或“验证者”)。这些参与方通过共识机制来共同生产区块。简单来说,参与方投票决定如何处理一组交易,或者说如何构建下一个区块。获得大多数支持的区块就会被永久写进区块链。
相比之下,Rollup 链不遵循“大多数”规则运行。相反,监控 Rollup 状态的一方可以将所谓的“断言” (assertion) 发送回以太坊,说明交易应该如何处理。重要的是,以太坊将接受或拒绝此断言,无论其他 Rollup 参与方的大多数是否支持此断言。在实践中,这通常意味着 Rollup 中的单个参与方被指定了处理交易和生成区块的任务。
动态 | 美国演说家Anthony Robbins开始科普什么是比特币:美国演说家安东尼·罗宾(Anthony Robbins)在自己的网站上发布了一篇比特币的科普文章,并在推特上向自己的粉丝介绍什么是比特币,目前他的推特账户共有粉丝304万人。[2019/1/1]
Rollup 区块生产的中心化特性是其能够如此高效处理交易的原因之一。但这也引发了一个显而易见且令人担忧的问题:如果没有大多数共识,Rollup 如何确保区块生产的正确性?如果区块生产者碰巧是恶意的,又会发生什么?
这种中心化不免使习惯了基于共识的区块链用户感到困惑。事实上,如果故事到此结束,我们可能会 (错误地) 得出结论:Rollups 只是“由单个参与方再造的数据库”,正如 Avalanche 的联合创始人 Kevin Seqniqi 最近在推特上所说。
实际上,正如我们将看到的,与其说对中心化的指控是错误的,不如说是逻辑上的误导。通常情况下,共识机制不够强大的中心化区块链很容易遭受贿赂和恶意攻击的影响。然而,在 Rollups 的特例中,不够去中心化实际上并不会破坏其安全性和完整性。 要理解其中的原因,我们需要再进一步。
中科院自动化研究所将面向大中小学生开展区块链等主题的科普讲座:5月21日,新华网讯,今年,中国科学院自动化研究所将举办第十四届“自动化之光”公众科学开放日活动。届时,自动化所将面向大中小学生分别开展《脑与智能》、《区块链技术与平行智能》、《大数据时代的视觉智能》、《动画真奇妙》等4个主题报告,用实例和生动的演示深入浅出地为大家揭示智能技术的原理和奥妙。[2018/5/21]
回想一下我们开头的数学作业。用来计算的草稿纸是我们的救命稻草,因为它使我们可以在答题纸上只写问题及其答案。将 Rollups 与草稿纸进行比较,我们则称其“将智能合约计算移到链下,同时仅在链上存储最少的交易数据。”
事实上,链上交易数据的存储对于 Rollups 的运作至关重要。在 Rollups 中,只有计算、数据处理在链下,处理的每笔交易仍将其输入数据 (即“calldata”) 存储在以太坊区块链上。
为什么将交易数据保存在链上这么重要?在数学作业的比喻中,我们交给老师的最后一张纸包括长除法问题及其答案。以便老师事后检查我们的作业,即使我们没有记录单独的计算步骤。同样,链上数据持续的可用性意味着以太坊基础层可以重复 Rollups 上的任何计算。
科普时报:区块链与云计算长期发展目标不谋而合:据《科普时报》今日报道,区块链与云计算两项技术的结合,从宏观上来说,一方面,利用云计算已有的基础服务设施或根据实际需求做相应改变,实现开发应用流程加速,满足未来区块链生态系统中初创企业、学术机构、开源机构、联盟和金融等机构对区块链应用的需求。另一方面,对于云计算来说,“可信、可靠、可控制”被认为是云计算发展必须要翻越的“三座山”,而区块链技术以去中心化、匿名性,以及数据不可篡改为主要特征,与云计算长期发展目标不谋而合。[2018/5/4]
简而言之,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 日
郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。