全面解析 Arbitrum 安全机制：如何继承以太坊安全性？(2)

　　其次，任何用户都可以将交易请求发送到 L1 的 Inbox 合约中，来强制发起提现；

　　最后，AnyTrust 机制确保了用户自己就可以强制 L2 正确的处理这笔提现交易。

　　以上三点，用户都无须信任任何第三方，这充分表明 Arbitrum 完全继承了以太坊的安全性，是 Trustless 的。

为什么挑战期是 7 天

　　Arbitrum 是多轮交互式 Rollup 方案，方案会首先乐观的认为验证者提出的断言是正确的，直到在挑战期内由其他验证者提出挑战或反驳。大多数情况下并不会出现挑战，因此整个系统得以更快速和低成本的推进执行。

　　显而易见，挑战期越长，整个系统会越安全，但同时用户体验则会越差（因为用户提款时需要等待一个挑战期结束），所以如何找出挑战期的最优时长？

　　Arbitrum 团队提出了这样的模型来计算最优挑战期时长：

　　假设一个挑战期为 C 个区块的时长，攻击者可以获得的最大收益为 L2 上的所有资产 V，则攻击者得到的预期收益为：V exp(-AC)，注：exp 指 e 的指数函数，A 为某个常数，AC 前的负号指 C 和预期收益成反比；
　　为了应对攻击，断言者需要质押的资产远远大于攻击可得的收益，我们假设为 10 倍，则断言者的成本为 10V exp(-AC)I，I 为资金利率；
　　我们再假设提现用户被锁定在挑战期内的提现资金为 CWV （W 为小数，WV 即 L2 总资产的一部分，每一个时间点将有 C 个区块未结束挑战），则用户的资金成本为 CWVI；
　　最佳挑战期时长即断言者和提现用户的资金总成本最低，即 C 取何值时，10V exp(-AC)I+CWVI 最小。V 和 I 在前后两项中都存在，因此不影响最小点，可将其约掉，我们只需对 C 求导，再令倒数等于 0，然后解出 C：

　　C = ln(10A/W)

　　现在我们将某个合理数值代入上面的公式，即可得到一个粗略的最优挑战期。

　　假设一个区块的时间内持续审查的成功率高达 99.99%，则 A=-ln(0.9999)=0.0001；

　　再假设每天都有 1% 的资金需要取出，按 15 秒 1 个区块计算，每个区块的取款比例约为 W=0.000002；

　　代入公式得出最优挑战期为 C=62146 个区块，即 10.79 天，这与 Arbitrum 团队最终选择的 7 天最优挑战期已经非常接近。

　　这一节我们讨论 Arbitrum 如何应对主要的 4 种审查攻击：分叉攻击、拒绝服务攻击、阻塞攻击、饱和攻击。

　　分叉攻击：矿工串通（或被贿赂）弃置包含正常挑战的区块，并通过分叉，使另一条没有包含任何挑战的区块链被接受。 (责任编辑：admin)