扩容方式、质押与费用等(2)

Staking (质押) 是无需许可的，任何人都能够在任何提供质押的区块上进行质押。

一旦你对某个区块进行质押，在该区块被确认之前你无法提出自己的质押金。

当你对某个区块进行质押时，你将确认该区块是有效的，并且链中最新确认的区块和你已质押的区块之间的每个区块都是有效的。

如果你所质押的区块无效，或者链中最近确认的区块和你所质押的区块之间存在无效区块，那么你的质押金将被没收

如果你没有对某个区块进行质押，那么可以对最新确认的区块质押。

如果你对某个 rollup 区块进行质押，那么你可以将你的质押金扩展到你所质押的区块的任意后续区块中。

质押所需的金额是动态的。

在 Arbitrum 链中，有指定为参数的基础质押金额，大部分时间都会使用这个参数。
一些攻击者哪怕质押金被罚没也要对网络进行攻击以延迟网络，那么网络的安全措施就是，过了第一个未确定区块的截止日期之后，质押数量将乘以一个因素 (这个因素随着时间呈指数增长)。
这是为了在攻击期间增加此类攻击的成本。
这种质押金额的增加是暂时的，仅在 Arbitrum 链的区块确认进展缓慢时才会发生。

当两个质押者分别对两个不同的区块进行质押时 (其中一个区块不是接在另一个区块后面)，那么将会有一个大家不同意的区块，因而挑战就会产生。
大多数挑战发生在 Arbitrum 链上，并由 L1 合约进行裁决。
挑战包括发生在 L2 上的交互式、多轮分解游戏，以及在 L1 上执行的一站式证明。
提议争议区块的质押者将为他们的主张辩护，反对持有不同意见的质押者。
争议区块的提议者声称，以上一个区块为起点，在虚拟机执行了 N 个指令之后，上一个区块的状态将被推进到他们所提议的区块的状态中。
在这场分解游戏中，争议区块的提议者 (Alice) 首先将 N 指令分解成 N/K 大小的 K 个部分。
- 请注意，子部分的大小与步数的大小不相等，而是与 Arbgas 消耗的数量相等。
- 还要注意，每个部分自然会有一个起始点和端点 (这看起来微不足道，但可以使下一个点更容易理解)。
而 Alice 的对立方 (Bob) 也将把指令集分解成 K 个大小为 N/K 的部分，但是 Bob 其中一个 K 部分的端点与 Alice 相应部分的端点不同。
- 这实际上是 Bob 确定其不同意的部分。
然后，Bob 将执行与 Alice 初始步骤相同的操作，将其中一个部分分解成大小为 N/K 的 K 个子部分，并将该部分连同已确定的子部分返回发送给 Alice。 (责任编辑：admin)