昨晚Coinbase宣布入场做了一条基于OPStack的L2——@BuildOnBase,一时间"BullishonOptimism"的情绪又再度被点燃。借此契机，这条文章来聊一聊Optimism的挑战期。
众所周知的是，Optimism二层资金提现到以太坊主网，要经历7天的挑战期。
那为什么偏偏是7天呢？3天？5天不行吗？
回答这个问题之前，我们先来了解下为什么要设挑战期。
Rollups通过将执行层从以太坊分离的方式，提高以太坊主网的性能。也即意味着交易是在二层执行的，但为了继承以太坊主网的安全性，二层发生的交易要在主网验证。
Clique在Optimism上推出基于ZK证明的Discord隐私保护功能:金色财经报道，连接Web2和Web3的身份预言机项目Clique在Optimism Attestation Station（Optimism上的信誉合约）上推出用于Discord隐私保护的新功能，该功能使用零知识证明技术，用户可以用ZK技术证明他们在OP的Discord中的角色，而无需透露他们的Discord ID。
金色财经此前报道，去年10月Clique完成300万美元种子轮融资，GGVCapital、Seven X Ventures等参投。[2023/2/16 12:10:34]
简单来讲，以太坊主网要确认定序器提交上来的交易的的确确在二层发生，即交易的有效性。
Optimism：以太坊合并时不会暂停网络，资产仅可提取到PoS链上:金色财经消息，以太坊二层扩容网络Optimism发推表示，以太坊合并将不会对Optimism网络造成影响，不会暂停网络，存取款可照常进行。一旦合并触发，Optimism的运营将完全转移到以太坊PoS链上，Optimism上的资产也将只能提取到PoS链上。[2022/9/8 13:16:30]
Rollup因验证交易有效性方式的不同分为zk-Rollup和OptimisticRollup.
验证方式主要分类两大类：零知识证明和欺诈证明。在零知识证明机制下，交易具有接近即时的最终性。
发现Optimism漏洞的开发人员 Jay Freeman 为兰花协议创始人:2月17日消息，此前以太坊二层扩容方案 Optimism 开发人员表示，一个严重错误已经在本月早些时候完成修复。根据 Optimism 官方博客文章中所述，该团队表示相关漏洞是在该项目以太坊客户端 Geth 分叉中发现的，具体而言，该漏洞可以通过在持有 ETH 余额的合约上反复触发 SELFDESTRUCT 操作码，导致在 Optimism 上创建 ETH 成为可能。Optimism团队表示，根据其分析，除了以太坊数据初创公司 Etherscan 的一名工作人员意外激活外，该漏洞未被利用，在确认漏洞后几个小时候，Optimism 就对该漏洞修复进行了测试并部署到 Optimism 的 Kovan 和 Mainnet 网络（包括所有基础设施提供商）。据悉，发现该漏洞的开发人员 Jay Freeman 已经获得了 2,000,042 美元赏金，而他正是兰花协议 Orchid Protocol 创始人，也是 Apple Dev Team 的一员，所有越狱 iPhone 使用者都肯定熟悉他开发的 Cydia，一款类似苹果软件商店的软件，用户可以购买安装比苹果软件商店更高权限的软件，从而实现输入法、浏览器内嵌插件等程序，甚至可以解开网络锁、软件锁，从而可以免费使用破解的游戏和软件。[2022/2/17 9:57:44]
而基于欺诈证明的ORUs,交易的最终性取决于挑战期的长短，这也就解释了为什么Optimism资金从二层提现到主网需要7天。
Optimism计划向更多项目开放白名单资格:以太坊二层扩容方案Optimism宣布将向更多项目开放白名单资格，任何符合条件的项目可提交申请，可在两周内获得白名单资格，从而可以在Optimism网络进行部署。Optimism团队表示，目前还不具备完全解除白名单的条件，该团队还计划在未来三个月内进行一次重大升级。[2021/8/20 22:26:08]
ORUs机制下，乐观地认为由定序器提交上来的Rollup交易都是有效的。然后在挑战期内，验证者如果发现无效交易，可以发起欺诈证明。
如果挑战期过后都没有人挑战的话，就默认这笔交易是有效的，此时交易具有最终性。
但挑战期真的需要7天这么长时间吗？我们先把整个挑战流程简化：验证者通过重构状态根发现无效交易，于是发出欺诈证明。这一系列动作需要时间，也就意味着挑战期不能是0.
我们假设上述挑战流程很迅速，10个区块完成(大概2分钟)。
当然不可能会有这么快的响应，那我们再把时间放慢10倍，100个区块(大概20分钟)，这个时间也要远远小于50400个区块(7天)。
上述探讨是基于最理想的情况，那如果网络中有人作恶呢？需要多长的时间才能发现作恶行为？
或者换种说法，至少需要延长多久的挑战期才能杜绝作恶行为？这里所指的作恶行为是，通过发布大量的交易在一段时间内使gas飙升，从而阻止欺诈证明被验证者接收。
这里我们再做一个假设，假设Optimism上有20亿美元的风险敞口，作恶者每个区块愿意拿出100万美元的gas小费(priorityfees)来“抢跑”包含欺诈证明的交易。
那么，最多可以“挟持”网络的时间为2000个区块(6.67小时)。当然，前面所举的例子都是基于一些非常简单粗陋的假设。
似乎无论从什么层面上看，挑战期也无需7天这么长的时间。很难能去想明白挑战期的长短跟安全性到底存在着怎样的非线性关系。
或许7对于Optimism创始人来讲是个非常有意义的数字吧，就像比特币4年减半周期大家猜想中本聪是个足球爱好者一样。
所以，能否在不降低安全性的情况下把ORUs的挑战期缩短至3-5天？可以，但对用户体验而言没太大优化。
那挑战期缩短至1-2天呢？能够有效优化用户体验的说法似乎可以makesense.
@0xMantle,BitDAO孵化的一个ORU,可以将挑战期缩短至1-2天。挑战期的优化逻辑基于MPC方案。
简单来讲，就是定序器不直接把交易批次提交到以太坊，而是先提交给MPC网络，由MPC节点共同签署，确认交易有效后再提交给以太坊。
因此，核心不同点是：
Optimism把包含状态根的batch作为执行结果提交到以太坊；
而Mantle把包含由MPC节点联合签署状态根的batch作为执行结果提交到以太坊。
目的是为了降低Rollup执行结果的信任风险。
但MPC验证归根结底还是链下的验证方案，聊胜于无，对用户来讲算多了一个心理安慰。
打个不太恰当的比喻，MPC验证方案就像是偏中心化的zk方案，前者安全性基于经济假设，后者基于密码学验证。
以上就是关于ORUs挑战期的一些思考和探讨，没有太强的逻辑性，权当抛砖引玉。BTW,还是非常期待未来能看到挑战期显著缩短的ORUs(分时级别)。
公众号：Crypto马少
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。