作者：ChinaDeFi
Rollups的根底
让咱们从根底开始。VM的状况组织为默克尔树，因而能够核算VM状况的加密哈希。在协议的任何一点上，VM的某些状况都是被彻底承认。它的哈希存储在链上。
协议的参加者能够做出一个有争议的断语(DA)，该断语宣称以某种状况哈希开始，在一些技术前提下，VM能够执行指定数量的核算过程，然后产生指定的新状况哈希，而且VM在该核算期间进行指定的付款并宣布指定的日志事件。DA或许是有用的(即实在的)或无效的。拟定 DA 的一方将被要求为 DA 的有用性押金。
一个有争议的断语为协议创立一个决议计划点
如左侧所示，有争议的断语创立了协议终究必须解析的逻辑决议计划点。假如DA有用，体系将在右上角输入一个新的状况，带有一个新的状况哈希，以及DA中指定的副作用(支付和日志)。或者在另一个分支中，DA是无效的;它被拒绝了，状况坚持不变。
之前的Arbitrum协议
原来的Arbitrum协议一次处理一个争议断语。DA将会被某些人声明，然后一个应战期就会过去，在此期间任何人都能够应战DA 。假如没有贰言，DA将得到承认;否则将运转争议协议并取消 DA。
这很简单，但有两个缺陷。首先，由于一次只能有一个DA是处于活动状况的，所以VM的进程速度将受到限制。从本质上讲，进程必须在每个应战期间中止。第二，歹意行为者能够经过成心应战该VM创立的一切DA来冻住VM。这将使进犯者支付一系列价值，但假如他们乐意支付这种费用，至少在某些状况下，他们能够在很长一段时刻内推迟发展。
新的，现已改进的Arbitrum协议
新Arbitrum Rollup协议处理了这两个缺陷。多个DA能够被“流水线化”，这样VM就能够像验证节点模拟VM的核算相同快速地进行。第二，正如咱们将在下面看到的，一个“歹意行为者不能减缓发展，他们只能暂时推延链上对成果的识别，对于诚笃行为者来说，这些成果现已是“去信赖的成果”。
这是怎么做到的呢?
每个状况最多能够有一个DA跟从它。假如一个DA没有跟从状况，那么任何人都能够创立一个跟从它的DA，然后创立一个新的分支点。其成果或许将会是一棵或许的未来树。
或许的未来树
质押
协议的另一个重要部分是质押。任何人都能够在树上的一个方盒子上质押。经过对一个方格进行质押，用户能够断语这个方格终究会被协议承认。用户断语在从当时状况到自己所放置的方格的途径上的每个 DA 处都采用了正确的分支。假如错了，用户或许会失掉你的质押确保金。
质押操作不能被吊销。用户能够把自己的确保金移到右边——在每个分支点挑选上或下——但是不能移到左边，由于那将等于吊销自己之前做出的质押承诺。
提出争议建议的一方必须在该 DA 的“DA 有用”继任者上进行质押。一般，他们能够经过将现有的移到右边，以将其放到所需的后继方块上来满意这一要求。(在极少数状况下，他们无法做到这一点，他们能够在所需的方格上押下额定确保金。但请注意，他们将被押在两条不共同的途径上，因而他们终究将不得不失掉至少两个质押中的一个——自相矛盾并非明智之举。)
关于质押的另一个细节是:假如用户所质押的方块被承认并成为被承受的历史记录，用户能够挑选回收自己的质押确保金。这意味着，假如用户是正确的，就能够坚持自己的本金，并等待体系“追上”自己，然后用户就能够回收自己的本金。
一个更典型的状况树-一系列实在的断语
此时，用户或许会忧虑或许性树或许变得十分大和其分支。这种状况在实践中不太或许产生，由于它需求多方在彼此不共同的成果上进行质押。只要一个或许是正确的，其他一切人都会失掉他们的质押确保金。更有或许的是，“树”实际上是一个有用的DA链，一个接一个，一切的质押都在相同的成果上。
质押的截止日期
咱们需求体系在时刻过长之前对每个争议断语做出决议。因而，当一个DA被添加到链中，创立一个分支点时，一个截止日期就与这个DA相关联。在未来，当截止日期满足长时，每个人都有时刻查看DA是否有用，假如他们挑选这样做，就能够在DA的成果上取得链上交易。假如任何人想要承担支持或反对该DA有用性，他们必须在截止日期之前这样做。(截止日期后仍然能够引入质押确保金，但他们不参加决议是否支持该DA。)一旦截止日期到了，一切与决议DA有关的质押确保金都将被知晓。
争议
假如Alice和Bob被押在不同的方格上，那么两件事之一将是真的。要么会有一条向右移动的途径，从它们中的一个到另一个——这意味着它们的建议彼此共同——要么就没有这样一条途径。假如没有一条向右移动的途径连接Alice和Bob的方格，那么它们一定在某些方面存在不合。它们之间总会有一个共同的争议点——一个共同的DA，其中一个被质押在此DA是有用的，而另一个被质押在它上是无效的。
Alice和Bob正准备争议
当双方产生争议时，体系能够在双方之间发动一个交互式的争议处理协议。
争议处理协议的成果是，将发现一方是不正确的。该方将失掉他们的质押确保金。质押确保金将从它地点的方格上被清除。一部分将交给争议的另一方，其他的将被焚毁。
多个争议能够同时进行，但每个要质押的人一次最多只能卷进一个争议。由于输家的质押确保金将被抹去，每一次争议都会削减体系中不合数量。失掉质押确保金的当事人假如乐意，能够重新质押，但新的质押确保金将无法影响现已过了质押期限的 DA。这样做的成果是，在DA的质押期限过去后，争议将逐步消除关于怎么对待DA的任何不合。
承认成果
一旦一个DA的质押截止日期现已过去，而且一切剩下的及时(在定质押截止日期之前)的质押都坐落该DA的同一分支上，体系就能够承认该DA的成果。DA要么被承受，要么被拒绝，当时状况移动到DA右侧的恰当方块。假如DA被承认为有用，其副作用（例如付款）将在链上完成，这便是VM的状况怎么前进。
一般状况下，各方都会诚笃行事，由于他们不想由于质押于虚伪声明而失掉自己的利益。在单个链中，只要有用的DA将被断语，没有人将在任何DA的无效分支上质押。在这种状况下，每个DA都能够在其质押期限到期时立即被承认。
为什么它是去信赖的
Arbitrum Rollup的一个重要特点是它是去信赖的——诚笃的一方能够迫使VM正确运转并取得发展。为什么呢?幻想一下，Alice总是在每个DA的实在分支上进行质押，假如树是空的，她就断语DA。
由于Alice被质押在了真正的分支上，她会赢得她参加的每一场争议。假如其他人不同意Alice，他们(a)要么在与第三方不相关的纠纷中失掉他们的质押确保金，(b)要么终究与Alice产生争议，并将他们的确保金输给她。不论怎样，一切不同意Alice的人终究都将失掉他们的质押确保金。只要认同Alice的才干存活下来，因而 Alice 穿过树的途径终究将是仅有一个及时对其进行质押的人——Alice的途径也将得到承认。
假如Alice是诚笃的，不论其他人怎么做，绿色方块终究都会被承认
由于体系在这种状况下是去信赖的，假如Alice质押在一个正方形上而且她知道到达那个正方形的途径是实在的，Alice能够确定她地点的那个正方形终究会被承认。对Alice来说，这条途径与终究途径相同好。
即使用户没有在一条途径上质押，但假如看到有几个人质押在这条途径上，而且用户本人相信这些人中至少有一个是诚笃的——这条途径与终究途径相同好。
去信赖成果的好处
为什么去信赖的成果是有价值的?这个经典的比如来自以前关于其他rollup协议的讨论。假定一个VM要向Alice支付一笔钱。支付事件是在诚笃的途径上进行的，但在支付产生的方格上进行链上承认还需求一段时刻。
去信赖的成果给了Alice能够立即拿到自己的钱。假如Bob有一笔没有质押的钱，他能够立即把它给Alice，作为交流，Alice将未来尚未承认的金钱分配给Bob(加上交给Bob一笔最低费用)。Bob能够经过质押诚笃的成果来确保这一点——然后他就会信心十足的等待付款终究会被承认。不只是Bob能这么做。任何有确保金的人都能够以同样的方法借给Alice和其他像她相同的人。这些人能够经过提供更低的费用来彼此竞争，下降Alice取得确保金的本钱。
关键在于，这种市场机制的可行性依赖于去信赖的终究成果。假如“每个人”都现已知道某件事终究会被承认，那么链上承认的推迟就不那么麻烦了。
这不只适用于支付，也适用于VM所做的其他工作。假如VM将宣布一个日志项，宣布产生了一些工作，那么去信赖的成果意味着任何人都能够确信该日志项将在链上被识别。
推迟进犯
由于这个体系是去信赖的，歹意行为者不能强迫产生一个不正确的成果。他们所能做的便是减缓进程。这样做需求他们献身质押确保金，假如质押确保金很大的话，这将支付贵重的价值。
假定有人想要建议推迟进犯，他们乐意献身质押确保金。它们能形成的最严重伤害是什么?
首先要注意的是，歹意行为者不能阻挠诚笃行为者持续树立树的诚笃分支。他们也不能阻挠诚笃信赖者在终究承认诚笃的分支时取得去信赖的信赖。
进犯者所能做的便是在虚伪分支上质押，以推迟对诚笃途径的链上承认。他们放置的每一质押都会对诚笃行为者形成更多的争议，诚笃行为者会拿走进犯者的一大部分质押确保金。一旦进犯者的一切质押确保金都被拿走，链上进程将持续。
假如进犯者在错误的成果上设置多个危险怎么办?那么这些质押确保金将在争议中一个接一个地被拿走。假如有多个人参加到诚笃的成果中，那么这些人都能够与进犯者打开争议，并行地拿走进犯者的质押确保金。请注意，每个人都将清楚地看到正在产生的工作，许多人将想要参加到举动中，把质押确保金放在实在的成果上，这样他们就能够参加到人们利用争议来争夺进犯者的质押确保金的疯狂之中。假如有K个人在诚笃的一方质押，进犯者将花费K个质押确保金来购买一段争议推迟。假如进犯者下了更多的质押确保金，这或许会吸引更多诚笃的质押者。这对进犯者来说是一个糟糕的动态。
优化
各种优化都有或许削减操作协议所需的链上记账量，下降链上gas本钱。
视野开拓
“联邦宗教协会（Fedeal Coucil of Chuches）”-《大西洋的跨越》
