介绍
本文就从一个比喻开始吧。
想象一下我们回到了中学的数学课上。我们的老师,和其他中学数学老师一样残忍,给我们列出了一百道长除法问题,每道题的数字都很大。我们的任务是解决尽可能多的问题。但是要注意,我们必须将最终答案和每个计算步骤都写在一张纸上。几分钟内,我们可能就会眉头一皱,意识到问题并不简单。一张纸所能容纳的,除了所有完全解出的答案之外,不可能再包含计算步骤。
这个卡夫卡式的故事与Rollups有什么关联呢?
在这个比喻中,这张纸就是一个以太坊区块,数学问题是智能合约事务。目前的以太坊非常拥挤。每个区块中需要包含的交易太多了。雪上加霜的是,这些交易中的大多数都需要大量计算,例如闪电贷或经过聚合器路由的交易。前DeFi时代的简单转账和支付模式已经是过去时了。
这就是问题的关键。正如比喻中的数学老师一样,要求我们把长除法的每一行都塞在一张纸的空间里,以太坊也必须处理和记录每笔交易的每一步计算。
直到Rollups的出现。
欧科云链集团正式启动区块链科普行动“星途计划”:欧科云链集团于4月26日,正式宣布启动了区块链科普行动——“星途计划”,行动包括将在全国范围展开系列沙龙,加大力度推进区块链科普进机关、进国企、进校园等,联合政府部门、行业协会等共同构建起更加完善和有效的区块链科普教育生态,与此同时,直击区块链科普现存痛点,推出简单易懂的“秒懂区块链”公益短视频课。
该计划旨在全维度推动社会建立对产业更清晰的认知,与“鲲鹏计划”一道助力数字经济及区块链产业本身健康发展夯实“人才”和“产业认知”两大基础。[2021/4/26 20:59:37]
Rollups将计算移到了链下进行,同时只在链上存储最少的交易数据。从这个基本意义来说,Rollups是以太坊的草稿纸,负责处理所有杂乱的数据,允许在单个以太坊区块内“汇总”几何倍数的智能合约交易。
这个比喻有助于厘清Rollups旨在解决的问题(“由于计算过载导致的网络拥堵”)。它甚至提供了Rollups解决方案必备条件的大致概念(“计算移至链下”)。但至于Rollups实际的工作方式,它们是什么模样,以及为什么能让像我这样的人感到如此兴奋——我们还需要深入探讨。
人大附中物理老师李永乐科普拜占庭将军问题和区块链:5月14日,人大附中物理老师、科普视频网红李永乐在其公众号发布视频《拜占庭将军问题是什么?区块链如何防范恶意节点?》。李永乐老师在视频中对拜占庭将军问题和区块链进行了讲解,他表示,拜占庭将军问题本质上指的是,在分布式计算机网络中,如果存在故障和恶意节点,是否能够保持正常节点的网络一致性问题。在近40年的时间里,人们提出了许多方案解决这一问题,称为拜占庭容错法。例如兰波特自己提出了口头协议、书面协议法,后来有人提出了实用拜占庭容错PBFT算法,在2008年,中本聪发明比特币后,人们又设想了通过区块链的方法解决这一问题。区块链通过算力证明来保持账本的一致性,也就是必须计算数学题,才能得到记账的权力,其他人对这个记账结果进行验证,如果是对的,就认可你的结果。与拜占庭问题比起来,就增加了叛徒的成本。[2020/5/14]
什么是Rollup?
Rollup本质上是一条独立的区块链,但进行了修改。与以太坊一样,Rollup协议具有执行智能合约代码的“虚拟机”。Rollup的虚拟机独立于以太坊的虚拟机(即“EVM”)运行,但由以太坊智能合约管理。这种连接使得Rollups能够和以太坊进行通信。Rollup执行交易并处理数据,以太坊接收并存储结果。
声音 | 浪潮集团云南分公司总经理:云南区块链产业发展需从“科普”到“专精”不断深化:据昆明日报消息,浪潮集团云南分公司总经理郑昕表示,云南区块链产业发展需从“科普”到“专精”不断深化。下一步,浪潮将继续加大云南农业产业高质量发展体系建设力度,重点以普洱茶等云南优势产业为切入点,打造云南“绿色、有机农产品高地”的品牌形象,并在此基础上,开展基于区块链的供应链金融服务,解决中小企业贷款难、贷款贵问题。[2019/11/11]
从技术层面来说,Rollup链和其他传统区块链的关键区别在于新区块的生产方式。
通常来说,区块链是由分布式网络中的不同参与者来进行维护(“矿工”或“验证者”)。这些参与方通过共识机制来共同生产区块。简单来说,参与方投票决定如何处理一组交易,或者说如何构建下一个区块。获得大多数支持的区块就会被永久写进区块链。
相比之下,Rollup链不遵循“大多数”规则运行。相反,监控Rollup状态的一方可以将所谓的“断言”(assertion)发送回以太坊,说明交易应该如何处理。重要的是,以太坊将接受或拒绝此断言,无论其他Rollup参与方的大多数是否支持此断言。在实践中,这通常意味着Rollup中的单个参与方被指定了处理交易和生成区块的任务。
动态 | 区块链技术入选科普杂志《科学美国人》2019十大突破性技术榜单:据新浪网今日新闻报道,美国科普杂志《科学美国人》公布 2019 十大突破性技术榜单。区块链技术因在保障食品安全中的作用而上榜。 入选榜单具体原因:区块链技术的发展应用将显著改善食品污染源数据追踪的困境。利用区块链云端系统,食品制造商可以依次在计算机储存各类过程的信息。[2019/9/29]
等等……Rollup是中心化的?
Rollup区块生产的中心化特性是其能够如此高效处理交易的原因之一。但这也引发了一个显而易见且令人担忧的问题:如果没有大多数共识,Rollup如何确保区块生产的正确性?如果区块生产者碰巧是恶意的,又会发生什么?
这种中心化不免使习惯了基于共识的区块链用户感到困惑。事实上,如果故事到此结束,我们可能会(错误地)得出结论:Rollups只是“由单个参与方再造的数据库”,正如Avalanche的联合创始人KevinSeqniqi最近在推特上所说。
实际上,正如我们将看到的,与其说对中心化的指控是错误的,不如说是逻辑上的误导。通常情况下,共识机制不够强大的中心化区块链很容易遭受贿赂和恶意攻击的影响。然而,在Rollups的特例中,不够去中心化实际上并不会破坏其安全性和完整性。要理解其中的原因,我们需要再进一步。
声音 | 火星人朋友圈科普RAM:火星人在朋友圈发文称,“什么是RAM?简单来说就是EOS这个国家的土地,所有的经济行为都离不开土地。只要EOS的BP们能投票形成一个稳定的供给预期,并且不改变目前的Bancor算法,那么RAM后续的价格有可能会像北上广深的房价走势。房价下跌不行,房价过快上涨也不行,EOS的生态越来越像某国了,真有意思。”[2018/7/6]
数据可用性的重要性
回想一下我们开头的数学作业。用来计算的草稿纸是我们的救命稻草,因为它使我们可以在答题纸上只写问题及其答案。将Rollups与草稿纸进行比较,我们则称其“将智能合约计算移到链下,同时仅在链上存储最少的交易数据。”
事实上,链上交易数据的存储对于Rollups的运作至关重要。在Rollups中,只有计算、数据处理在链下,处理的每笔交易仍将其输入数据(即“calldata”)存储在以太坊区块链上。
为什么将交易数据保存在链上这么重要?在数学作业的比喻中,我们交给老师的最后一张纸包括长除法问题及其答案。以便老师事后检查我们的作业,即使我们没有记录单独的计算步骤。同样,链上数据持续的可用性意味着以太坊基础层可以重复Rollups上的任何计算。
简而言之,Rollups的链上数据可用性允许内置的审验过程。以太坊可以对Rollups链上处理的交易的正确性进行双重检查,然后再将其永久写入账本,类似美国最高法院的司法审查权。
局限性也是一种优势
因此,Rollups的关键特性在于其局限。Rollups只是将交易推到基础层,无法强制区块链接受,因为以太坊可以在有需要时推翻任何Rollups交易。因为它们受制于这个审验过程,所以Rollup上的交易被认为缺乏真正的最终确定性。
考虑到Rollups的局限性,我们可以再回到其中心化控诉。Rollup的单个区块生产者可能会尝试恶意处理交易。但如果是这样,以太坊将在审验过程完成后拒绝该批量交易,并且区块生产者将受到惩罚。
现在,“审验过程”究竟如何运作取决于Rollups是基于Optimistic还是零知识(点击此处可了解更多)。但对于两者而言,审验过程仍然比没有Rollup的以太坊处理交易的效率要高出几何级。
总之,Rollup系统基于“制衡”(checksandbalances),确保以太坊仍然是主权链;以太坊主链的共识是事实的最终仲裁者。但重要的是,侧链却不是这种情况。由于缺乏相同的审验流程,侧链通过其完全独立的共识机制处理交易。侧链交易是“最终确定的”,而Rollup中交易则不是(直到在以太坊上得到确认)。因此,侧链需要更强大的信任假设,因为它们不能共享以太坊的去中心化安全性。事实上,我认为侧链更类似于兼容EVM的Layer1,而不是Rollups。
结语
概括来说:Rollups将计算移至链下以释放更多链上空间。链上数据可用性至关重要,因为它允许以太坊对Rollup交易的正确性进行审验。反过来,此审验过程可作为对Rollup区块生产的“检查”,从而无需共识机制。
Rollups最终让以太坊获得了它得蛋糕和好处:它们在不破坏网络去中心化安全性的情况下成倍地释放了更多的链上容量。至少在我看来,这是我们所能期望的最优雅的扩容解决方案。
注意:我最近在DeribitInsights上开启了Rollups系列文章,其中第一期探讨了零知识Rollups和OptimisiticRollups之间的一些差异。许多读者问我是否有非技术性的Rollup介绍文章推荐,因为我的文章假设读者具备了这个主题的基础知识。事实上,有许多有用的概述(参阅此处、此处和此处)。但是我还没找到针对初学者的绕开了技术术语(至少在可能范围内)的全面介绍。以下介绍旨在填补这一空白。
顺便说一句,这种连接是通过称为“状态根”的东西在链上维护的,它跟踪Rollups的内部状态——账户余额、交易、代码等。请参阅Vitalik的介绍了解更多细节。
事实上,在OptimisticRollup中,即使所有其他网络参与者不同意,一方也可以(正确!)处理交易。这是OptimisticRollup的“1ofN”诚实参与者假设,我在这篇Deribit文章“SecurityConsiderations”部分中进行了更深入的探讨。
区块生产者角色在Optimistic和零知识Rollup中有不同的要求。有关这方面的更多信息,请参阅Deribit文章的同一部分。
HaseebQureshi关于去中心化的文章发人深省。Qureshi的论点是,去中心化本质上并没有价值,相反,中心化本质上也不是坏事。虽然Qureshi在文章中没有讨论Rollups,但他的论点仍然非常相关。
在马布里诉麦迪逊案(1803)中,马歇尔法院裁定最高法院有权推翻其认为违宪的国会立法,有效地赋予司法部门对所有立法事项的最终决定权。
事实上,ZKRollups中的区块生产者以密码学形式禁止欺诈,因为交易的零知识证明本身可能是无效的。
来源|MechanismCapital
作者|?BenjaminSimon
日期|2021年6月1日
郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。