Arbitrum One 已经在主网开放，我们计划推出一系列的文章，讲解 Arbitrum 的内部构件。本文摘自?Inside Arbitrum，该原文深入讲解了 Arbitrum 的工作原理。??
围绕?optimistic rollups，最主要的设计抉择是，如何解决争议。假设 Alice 断言 Rollup 会的运行会产生某个结果，而 Bob 不同意，那协议该如何定夺，选择谁提交的结果呢？
处理的方法基本可分两类：交互式证明，或者重执行交易。Arbitrum 选择了交互式证明，我们认为这种办法效率更高，也更灵活。Arbitrum 的其它设计也基本上遵循这个原则。
从 2014 年以来，我们一直在开发交互式欺诈证明（和 Arbitrum）。基本的机制我们写在了?2018 年出版的论文里，虽然现在我们又做了大量的升级。
Arbitrum：Arbitrum One网络新增验证者节点:11月17日消息，据官方消息，Arbitrum One网络新增验证者节点，目前验证者节点包括 ConsenSys、以太坊基金会、L2BEAT、Mycelium、Offchain Labs、P2P、Quicknode、Distributed Ledgers Research Centre (DLRC) at Institute for the Future (IFF) 以及 Unit 410 共九个项目或组织。[2022/11/17 13:16:26]
交互式证明的思路是让 Alice 和 Bob 参与一个由 L1 合约引导的回合制协议，使用任何 L1 合约所需的最小开销来解决他们之间的分歧。
DeFi衍生品项目Tracer DAO将过渡至Mycelium，并将在Arbitrum上推出永续掉期产品:8月11日消息，去中心化衍生品项目Tracer DAO表示，从Tracer DAO过渡到Mycelium的关键提案已由DAO达成一致，本月将在Arbitrum上推出首个产品，即永续掉期产品Mycelium Perpetual Swaps。另外，所有现有的TCR持有者都有权以1:1的比例将其代币更改为新的MYC代币。
Tracer DAO表示，Mycelium Perpetual Swaps将与原油的Perpetual Pools（永续资金池）共存。自2019年以来，Mycelium一直通过Mycelium Node提供数据，并在区块链上构建衍生品基础设施。2021年2月10日，Tracer DAO接受了Mycelium要成为DAO的核心服务提供者和贡献者的提议。[2022/8/11 12:19:04]
Arbitrum 的方法基于对争议的剖析。如果 Alice 的断言涉及了 N 个执行步骤，那就让她曝光出两个各涉及 N/2 个步骤的断言，然后让 Bob 选择一个来挑战。这样一来，争议的规模就缩小了一半。这个过程持续进行，每一回合都将争议的规模缩小一半，直到争议的范围变成一个执行步骤。注意，直到此时为止，L1 引导合约都不必考虑实际上执行了什么。仅当争议被缩小到单个执行步骤时，L1 引导合约才需要理解这一步要执行什么指令，以及 Alice 对该步的断言是否为真，以此解决争议。
Arbitrum One主网将于8月31日迁移到Nitro ，将降低交易成本:8月5日消息，以太坊扩容解决方案Arbitrum开发商Offchain Labs今日宣布，ArbitrumOne主网将于8月31日迁移到Nitro，该时间系ArbitrumOne首次在公共测试版中打开的一周年纪念日。
Offchain Labs表示，在主网迁移前一周，即8月24日，计划进行一次影子分叉迁移，作为主网迁移前的最后一次彩排。影子分叉允许运行一条平行链，该链复制另一条链的状态，并仍然接收来自主链的传入交易。
金色财经此前消息，以太坊Layer2网络Arbitrum开发者于7月25日称，即将把ArbitrumOne升级至Nitro堆栈，并公布了测试网升级计划，会在测试网迁移成功后的几周内升级至主网。[2022/8/5 12:03:30]
交互式证明背后的关键原理是，如果 Alice 和 Bob 有所争议，Alice 和 Bob 应尽可能做链下的工作来解决争议，而不是让 L1 合约承担负担。
以太坊开发平台Tenderly宣布集成L2扩容解决方案Arbitrum:12月11日消息，以太坊开发平台Tenderly宣布已集成L2扩容解决方案Arbitrum，一系列功能将分三阶段推出，具体如下：
- 第1阶段：现在已经完成并可以使用，包括标准EVM实现，无Arbitrum预编译和自定义gas表，它支持以下（对于不接触任何自定义预编译的交易）：交易调试、模拟器、分叉；
- 第2阶段：将部署Arbitrum预编译器，它将扩展可用的功能集：单个合约和项目的交易列表、警示、分析；
- 第3阶段：将模拟Arbitrum gas使用，这将确保交易再执行并启用Gas Profiler。[2021/12/11 7:32:27]
另一个方案是，让一个 Rollup 区块在区块内每一笔交易后附带一个状态哈希值断言。然后，在争议情形中，L1 引导合约将模拟一整笔交易的执行，看结果是否与 Alice 的断言一致。
我们坚决认为，交互式证明是个更好的方法，理由如下。
在乐观情形下，交互式证明效率更高。因为交互式证明可以解决大于一笔交易的争议，因此，一个 rollup 区块可以仅包含一个断言，断言整条链在这一个区块的所有内容执行完之后的结果状态。相反，重执行方法需要区块内的每个交易后面都附带一个状态断言。如果一个 rollup 区块里面有成百上千笔交易，这两种方法在对 L1 区块的空间占用上将出现显著的区别——而这种占用正是 rollup 成本的主要部分。
在悲观情形下，交互式证明的效率也更高：如果出现了争议，L1 引导合约只需检查 Alice 和 Bob 的操作「在往正确的方向走」，比如 Alice 确实把 N 步骤的断言拆成了两个针对一半步骤的断言。（引导合约无需去计算 Alice 断言的正确性，Bob 会做，在链下做。）只需要重新执行一个指令。相反，在重执行交易模式下，L1 引导合约需要模拟一整笔交易的执行。
更高的交易级 gas limit：交互式证明可以摆脱以太坊对单笔交易 Gas Limit 的限制；即使一笔交易 gas 消耗量太大、无法放进以太坊区块内，也仍有可能可以放进 Arbitrum 的区块内。Rollup 的 Gas Limit 当然也不可能是无限的，但仍可以做到比以太坊主链所容许的大得多。
就以太坊而言，大 gas 容量的 Arbitrum 交易的唯一缺点是它可能需要运行更多的交互步骤（这个也仅仅是在有所争议的情况下）。相反，重执行模式下的 rollup 交易，gas limit 必须小于以太坊的区块 Gas Limit，否则就没法在一笔以太坊交易内模拟执行完这笔交易了（而且模拟执行比起在以太坊中直接执行，gas 消耗量还要更大）。
合约大小没有限制：交互式证明无需为每一个 L2 合约创建一个以太坊合约，所以也不要求合约符合以太坊合约的限制。对于 Arbitrum 的争议合约来说，在 L2 上部署一个合约的操作也是一系列计算过程的组合，与别的操作没有区别。相反，重执行模式下，L2 合约的大小比以太坊主链上所能容许的还要小，因为要模拟一个合约的执行需要能够仿制（instrument）这个合约，而仿制的代码必须能够放进一个以太坊合约内。
更大的实现弹性。交互式证明允许实现上的更大灵活性，举个例子，加入 EVM 中还不存在的指令。必要的功能无非是能在以太坊上验证一个单步执行的证据。而重执行模式就严格受限于 EVM。
Arbitrum 的大部分设计都是由交互式证明方法所开启的机会驱动的。如果你在学习 Arbitrum 的特性时疑惑于为什么这种它们要存在，这里有两个简单的思考方向：「这个特性是用来支持交互式证明的吗？」以及「这个功能是是如何利用交互式证明得以实现的」？大部分关于 Arbitrum 的「为什么」都跟交互式证明有关。
原文来源： Offchain Labs Medium
原文作者： Offchain Labs
原文编译：阿剑，以太坊爱好者
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。