诚实|Arbitrum被热议的原因是什么？

文章插图
免责声明：本文旨在传递更多市场信息，不构成任何投资建议。文章仅代表作者观点，不代表火星财经官方立场。
小编：记得关注哦
来源：去中心化金融社区
作者：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 有效”继任者上进行质押。通常，他们可以通过将现有的移到右边，以将其放到所需的后继方块上来满足这一要求。(在极少数情况下，他们无法做到这一点，他们可以在所需的方格上押下额外保证金。但请注意，他们将被押在两条不一致的路径上，因此他们最终将不得不失去至少两个质押中的一个——自相矛盾并非明智之举。)
关于质押的另一个细节是:如果用户所质押的方块被确认并成为被接受的历史记录，用户可以选择收回自己的质押保证金。这意味着，如果用户是正确的，就可以保持自己的本金，并等待系统“追上”自己，然后用户就能够收回自己的本金。