科谱：白话文讲解“Rollups”_日内

科谱：白话文讲解“Rollups”

文中就从一个形容现在开始。

想像一下大家返回了初中的数学教学上。我们的老师，和别的初中老师一样残酷，给大家列举了一百道长除法难题，每个题的数据都非常大。大家的每日任务是处理尽量多的难题。可是要留意，大家务必将最后回答和每一个计算流程都写在一张纸上。数分钟内，大家很有可能便会眉头一皱，意识到难题并不容易。一张纸能够容下的，除开全部彻底解出来的回答以外，不太可能再包括计算流程。

这一卡夫卡式的小故事与 Rollups 有哪些关系呢？

在这个形容中，这张纸便是一个以太坊区块，数学题目是智能合约事务管理。现阶段的以太坊十分拥堵。每一个区块中必须包括的交易太多了。始料不及的是，这种交易中的大部分都必须很多计算，比如闪电贷或历经汇聚器路由器的交易。前 DeFi 时期的简易转帐和第三方支付方式早已是过去式了。

这就是难题的重要。如同形容中的老师一样，规定大家把长除法的每一行都塞在一张纸的室内空间里，以太坊也务必解决和纪录每单交易的每一步计算。

直至 Rollups 的发生。

Rollups 将计算移到链下开展，与此同时只在链上储存至少的交易数据信息。从这一基本上实际意义而言，Rollups 是以太坊的草纸，承担解决全部杂乱无章的数据信息，容许在单独以太坊区块内“归纳”几何倍数的智能合约交易。

这一形容有利于理清 Rollups 致力于处理的难题 (“因为计算负载造成 的互联网拥挤”)。它乃至给予了 Rollups 解决方法必要条件的大概定义 (“计算挪到链下”)。但对于 Rollups 具体的工作方式，他们是啥样子，及其为何能让像我这样的人觉得这般激动——大家还必须深入分析。

Rollup 实质上是一条单独的区块链，但开展了改动。与以太坊一样，Rollup 协议书具备实行智能合约编码的“vm虚拟机”。Rollup 的vm虚拟机单独于以太坊的vm虚拟机 (即“EVM”) 运作，但由以太坊智能合约管理方法。这类联接促使 Rollups 可以和以太坊开展通讯。Rollup 实行交易并解决数据信息，以太坊接受并储存結果。

从技术性方面而言，Rollup 链和别的传统式区块链的重要差别取决于新区块的生产过程。

一般而言，区块链是由分布式系统互联网中的不一样参加者来开展维护保养 (“挖矿”或“认证者”)。这种监管方根据共识机制来一同生产制造区块。简易而言，监管方投票表决如何处理一组交易，换句话说怎样搭建下一个区块。得到 大部分适用的区块便会被永久性写进区块链。

比较之下，Rollup 链不遵照“大部分”标准运作。反过来，监管 Rollup 情况的一方能够将说白了的“肯定” (assertion) 推送回以太坊，表明交易应当如何处理。关键的是，以太坊将接纳或回绝此肯定，不管别的 Rollup 监管方的大部分是不是适用此肯定。结合实际，这一般代表着 Rollup 中的单独监管方被特定了解决交易和转化成区块的每日任务。

Rollup 区块生产制造的去中心化特点是其可以这般高效率解决交易的缘故之一。但这也引起了一个不言而喻且令人堪忧的难题：要是没有大部分的共识，Rollup 怎样保证 区块生产制造的准确性？假如区块经营者碰巧是故意的，又会产生哪些？

这类去中心化免不了使习惯根据的共识的区块链客户觉得疑惑。事实上，假如小故事告一段落，大家很有可能会 (不正确地) 下结论：Rollups 仅仅“由单独监管方重塑的数据库查询”，如同 Avalanche 的创始人 Kevin Seqniqi 近期在twiter上常说。

事实上，如同大家将见到的，与其说是对去中心化的控告是不正确的，倒不如说是逻辑性上的欺诈。一般状况下，共识机制不足强劲的去中心化区块链非常容易遭到行贿和故意进攻的危害。殊不知，在 Rollups 的充分必要条件中，不足区块链技术事实上并不会毁坏其安全系数和一致性。 要了解在其中的缘故，大家必须再进一步。

回忆一下大家开始的数学暑假作业。用于计算的草纸是大家的一根稻草，因为它使我们可以在解题紙上只写难题以及回答。将 Rollups 与草纸开展较为，大家则称其“将智能合约计算挪到链下，与此同时仅在链上储存至少的交易数据信息。”

事实上，链上交易数据信息的储存针对 Rollups 的运行尤为重要。在 Rollups 中，仅有计算、数据处理方法在链下，解决的每单交易仍将其键入数据信息 (即“calldata”) 储存在以太坊区块链上。

为何将交易数据信息储存在链上那么关键？在数学暑假作业的形容中，大家交到教师的最终一张纸包含长除法难题以及回答。便于教师过后查验大家的工作，即便大家沒有纪录独立的计算流程。一样，链上数据信息不断的易用性代表着以太坊基本层能够反复 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 日

来源于 | Mechanism Capital

创作者

标签：

区块链热门资讯