还可以做许多优化来低落操纵协议所需的链上记账数据量，低落链上的 gas 耗损，让进攻者延迟进攻激发的喂养怒潮更容易上演。我不会再这里详述这些优化 —— 这篇文章已经足够长了。
延迟进攻因为这个系统是无需信任的，暴徒无法强行制造错误的功效。他们能做的只能是延缓系统。这样做需要他们支付押金，假如押金数额庞大，则价钱奋发。
无需信任的终局性让 Alice 可以当即拿到钱。假如 Bob 有余钱，可以当即付给 Alice，以互换 Alice 尚未被确定的收款（加上付出给 Bob 一点小费）。Bob 只有在他能确定 Alice 的这笔收款必然会产生，才会想和 Alice 生意业务。Bob 可以通过押注厚道的功效来确保这一点——这样他对这笔付出最终必然会产生抱有无需信任的信心。不只仅是 Bob 可以这样做。任何有点钱的人，都可以用这样的方法乞贷给 Alice 可能有她这样需求的人，这些人通过提供更低的用度彼此竞争，使 Alice 当即拿到钱的本钱大大低落。
一棵更尺度的状态树 —— 由陆续串的有效断言构成
一般环境下，参加者城市厚道守矩，谁也不想因为押注错误而损失押金。只有有效的争议断言会被（其他参加者）断言，组成一条链，没有人会在任何争议断言的无效分支上押注。在这种环境下，所有的争议断言城市在押注期限一事后当即被确认。
要害是，这种市场机制的可行性取决于无需信任的终局性。假如 “每小我私家” 都知道这件事最终会被确认，那么链上确认的延迟就不会带来那么多的未便。
无需信任的终局性（Finality）的长处为什么说无需信任的终局性有代价？经典的例子来自于之前对其他 rollup 协议的接头。假设一个虚拟秘密向 Alice 举办付出。付出事件产生在厚道的路径上，可是包括这笔付出的方框还需要期待一些时间被链上确认。
来历链接：mp.weixin.qq.com
Ethereum
进攻者能做的只是在错误的分支上押注，以延迟厚道路径的链上确认。他们每次的押注城市发生一起和厚道参加者的纠纷，而厚道的参加者会从纠纷中拿走进攻者的一大部门押金。比及进攻者的全部押金被拿走了，链上确认还会继承向前推进。
以太坊
纠纷假如 Alice 和 Bob 押注差异的方框，那么以下两件事件中，必有一件为真。要么个中一个押注可以向右移动到另一个 —— 意味着他们的断言是一致的 —— 要么找不到这样的路径。假如没有一条向右移动的路径可以毗连 Alice 和 Bob 的方框，则他们一定有分歧。他们之间必然可以找到一个独一的分叉点 —— 一个独一的争议断言，某小我私家押注这个断言是有效的，而另一个押注其无效。
何故无需信任（Trustless）Arbitrum Rollup 的一个重要性质就是无需信任 —— 只要有一个厚道参加者就可以确保虚拟机状态正确向前推进。为什么呢，想象一下 Alice 老是在正确的分支上押注，假如没有争议断言，她就本身断言。
Alice 和 Bob 之间存在争议
首先要留意的是，暴徒无法阻止大好人继承构筑厚道的分支。并且他们也无法阻止大好人得到对 “厚道的分支终将被确认” 的无需信任的信心。
Offchain Labs
ERC20
在这一点上，你大概会担忧，平行将来之树会变得很是大，并且枝繁叶茂。这在现实中是不行能产生的，因为这需要多方押注纷歧致的功效。只要他们中有一个是厚道的，其他所有人城市损失他们的押金。更有大概的是，这棵树实际上是一个由有效 DA 串成的链，一个接一个，所有的押注都在同一条分支上。
平行将来之树
所以，到底怎么做到呢？那就要讲得再深一点了……
纵然你没有押注某条路径，假如你看到有好几小我私家对它押注，只要你相信个中至少有一个厚道的人，你就可以必定这条路径最终必然会被确认——对你来说，这条路径就跟被敲定了一样。
以太坊 2.0
多个纠纷可以同时办理，可是每个押注者一次最多只能参加一个纠纷。因为输家的押注将被删除，每办理一个纠纷城市淘汰整个系统的分歧数量。损失押金的参加者可以继承押注，可是新的押注无法影响押注期限已过的争议断言。这样做的结果是，一个争议断言的押注窗口竣事后，一切有关如那里理惩罚该断言的分歧都将被消除。
ERC-20
押注期限我们需要系统在尽大概短的时间内对每个争议断言做出抉择。所以当一个争议断言被添加上链、发生一个分叉点的时候，会有一个期限与之关联。这个期限足够长，任何人假如愿意，都有足够的时间查抄这个争议断言是否有效，以及发生一笔押注生意业务上链。任何要押注的人都必需在期限竣事之前完成操纵（逾期的押注仍然可以上链，但它们不能抉择谁人争议断言的有效性）。一旦期满，所有可以抉择争议断言的押注都将可知。
因为 Alice 老是在正确的分支上押注，所以她会赢下每一次纠纷。假如有任何人差异意 Alice，他们要么 (a) 与一个无关的第三方发生纠纷并损失押金，可能 (b) 最终和 Alice 发生纠纷并输给 Alice 押金。无论哪种环境，所有与 Alice 纷歧致的人都将失去押金。只有同意 Alice 的押注才气存活下去，所以 Alice 在树上的路径最终会成为独一一个有实时押注的分支 —— 而且 Alice 的路径会被确认。
提出争议断言的参加者要在 “承认其断言有效” 的继任方框上押注。凡是他们可以向右移动已存在的押注到满意条件的方框上。（在少少数环境下（译者注：好比他们的断言是无效的，被乐成挑战）他们不能这样做，他们可以特别再押一注到需要的方框上。可是留意，他们将在相斗嘴的两条路径上押注，因此最终他们会损失至少一笔押金——凡是自相抵牾不是明智的移动选择）。
ERC 20
纠纷办理协议的功效是一个参加者将被发明是错误的。这个参加者的押金会被罚没。押注会从地址的方框上删除。部门押金会给到纠纷的另一方，剩下的被烧掉。
Arbitrum
争议断言会使协议发生一个决定点
ETH
如上图所示，提出一个争议断言就会发生一个协议最终必需要办理的逻辑决定点。假如争议断言是有效的，则系统将进入图中右上角的新状态，包罗由争议断言生成的新状态哈希值，以及其他附带结果（发生相应的付出和日志）。若争议断言是无效的，则进入右下角的分支，争议断言被系统拒绝，本来的状态不会产生变革。
offchain labs
前进的阶梯我们 Offchain 尝试室正在开拓这个协议。估量这个 Arbitrum Rollup 协议很快就会被推送到我们的开源代码库中。我们很乐意答复你的任何问题。哦，顺便说一句，假如你想辅佐我们一起构建这样的对象，我们正在雇用。
Rollup 基本常识先从基本常识说起。我们利用默克尔树（Merkle Tree）来组织虚拟机的状态，因而可以算出虚拟机状态的暗码学哈希值。我们把这个哈希值存储在链上，因此在协议的任何一个时间点，城市有一些虚拟机的状态（通过链上共鸣）被完全确认和最终敲定。这些已经得到终局性的状态的哈希值，就存在链上。
不只对付付出，虚拟性能做的其他工作也是如此。假如虚拟秘密生成一个日志事件记录产生了什么工作，无需信任的终局性意味着任何人都可以必定地采纳动作，因为这个日志事件最终必然会被链上认可。
https://medium.com/offchainlabs/how-arbitrum-rollup-works-39788e1ed73f
想象一下，假如有人甘愿支付押金也要动员延迟进攻，他们能造成的最坏的环境是奈何的？
ERC721
郑重声明：本文版权归原作者所有，转载文章仅为传播更多信息之目的，如作者信息标记有误，请第一时间联系我们修改或删除，多谢。
