原作者:yyy

比特币基地昨晚宣布入场，做了一个基于OP Stack-@ buildonbase的L2，“看好Optimi”的情绪再次被点燃。借此机会，这条推文就来说说Optimi的挑战期。

众所周知，Optimi从二楼提取资金到以太坊主网需要7天时间。

那为什么是七天？三天？不能是五天吗？

在回答这个问题之前，我们先了解一下为什么要设置挑战期。

Rollups通过将执行层从以太网中分离出来，提高了以太网主网络的性能。那意味着交易在二层执行，但是为了继承以太坊主网的安全性，二层的交易要在主网上验证。

简单来说，以太坊主网要确认定序器提交的交易确实发生在二楼，也就是交易的有效性。

由于验证事务有效性的方式不同，Rollup分为zk-Rollup和Optimal Rollup。

验证方法主要有两种:零知识证明和欺诈证明。在零知识证明机制下，交易接近即时终结。

在基于欺诈证明的ORUs中，交易的最终性取决于挑战期的长度，这解释了为什么Optimi资金从二楼提取到主网络需要7天时间。

在ORUs机制下，乐观的是由定序器提交的所有汇总事务都是有效的。然后，在质询期间，如果验证者发现无效交易，他可以启动欺诈证明。

如果挑战期过后无人挑战，则交易默认有效，此时交易为最终交易。

但是挑战期真的需要七天吗？我们先简化一下整个挑战过程:验证者通过重构状态根发现无效交易，然后颁发欺诈证书。这一系列动作需要时间，也就是说挑战期不能为0。

我们假设上述挑战过程非常快，完成10个街区(2分钟左右)。

当然不可能有这么快的反应。然后我们再把时间放慢10倍，100块(20分钟左右)，这个时间会比50400块(7天)少很多。

以上讨论是基于理想情况，那么如果有人在网络中作恶呢？查出恶行需要多长时间？

或者换个说法，至少需要延长挑战期多久才能杜绝恶行？这里所指的恶行，是通过公布大量的交易，让gas暴涨一段时间，从而阻止造假证书被验证者接受。

这里再做一个假设，假设Optimi上有20亿美元的风险敞口，肇事者愿意在每个区块拿出100万美元的燃气优先费来“冲”包含欺诈证书的交易。

那么，“劫持”网络的最大时间是2000块(6.67小时)。当然，前面的例子是基于一些非常简单和粗糙的假设。

好像不管什么关卡，挑战期都没有7天那么长。很难理解挑战期的长度和安全性之间的非线性关系。

也许7对于Optimi的创始人来说是一个很有意义的数字，就像大家在比特币的四年减半周期中猜测中本聪是个足球迷一样。

那么，能否在不降低安全性的情况下，将ORUs的挑战期缩短至3-5天？有，但是对用户体验优化的不多。

把挑战期缩短到1-2天怎么样？似乎可以有效优化用户体验。

@ 0xmantle，一个比特岛孵化的ORU，可以把挑战期缩短到1-2天。挑战期的优化逻辑基于MPC方案。

简单来说，定序器不是直接向以太坊提交交易批次，而是先提交给MPC网络，由MPC节点联合签名，确认交易有效后再提交给以太坊。

因此，核心区别是:

Optimi将包含状态根的批处理作为执行结果提交给以太坊；

而Mantle则将包含MPC节点联合签名的状态根的批处理提交给以太坊作为执行结果。

目的是降低累计执行结果的信任风险。

但归根结底，MPC验证还是一个链下的验证方案，聊胜于无，对用户来说是一种额外的心理安慰。

打个不恰当的比方，MPC验证方案就像集中式的zk方案，前者基于经济假设，后者基于密码验证。

以上是关于ORUs挑战期的一些思考和讨论，不太符合逻辑，应该作为一个起点。顺便说一句，我们仍然期待在未来看到挑战周期大大缩短的oru(分时等级)。

温馨提示：注：内容来源均采集于互联网，不要轻信任何，后果自负，本站不承担任何责任。若本站收录的信息无意侵犯了贵司版权，请给我们来信，我们会及时处理和回复。