Optimism 挑战期:有效优化用户体验_以太坊:TIM

昨晚Coinbase宣布入场做了一条基于OPStack的L2——@BuildOnBase,一时间"BullishonOptimism"的情绪又再度被点燃。借此契机,这条推文来聊一聊Optimism的挑战期。

众所周知的是,Optimism二层资金提现到以太坊主网,要经历7天的挑战期。

那为什么偏偏是7天呢?3天?5天不行吗?

回答这个问题之前,我们先来了解下为什么要设挑战期。

Rollups通过将执行层从以太坊分离的方式,提高以太坊主网的性能。也即意味着交易是在二层执行的,但为了继承以太坊主网的安全性,二层发生的交易要在主网验证。

MakerDAO创始人:将在Endgame最终阶段于新链NewChain上重构Maker协议:9月1日消息。MakerDAO创始人Rune Christensen发布名为“探索基于NewChain的Solana代码库分叉”文章,Rune表示,将在Endgame最终阶段重构整个Maker协议,并在全新的、独立的链上发布,该链当前代号为NewChain。Rune进一步表示,Endgame的最终阶段是一个重大的长期项目,可能需要至少3年。使用NewChain的最重要原因是它将允许生态系统从最严重的治理攻击或技术故障中快速无感地恢复。[2023/9/2 13:12:47]

简单来讲,以太坊主网要确认定序器提交上来的交易的的确确在二层发生,即交易的有效性。

BitKeep CEO:已冻结黑客的部分金额并正全力追回用户剩余损失,将彻底重构升级技术方案:金色财经报道,BitKeep CEO Kevin 针对攻击事件表示,目前已冻结黑客的部分金额,追回用户剩余损失的工作也在全力推进中。BitKeep 团队目前非常稳定,我和其他核心骨干都会全力以赴为用户追回资产,这是目前最重要的事。此后,我们将彻底重构和升级技术方案,将安全作为整个业务的中心。请丢币的用户亦不用担心,我们一定会给大家一个满意的交待。

Kevin表示,BitKeep APK 7.2.9 安装包被黑客劫持替换,因此部分用户使用到了已被黑客植入代码的应用包以致私钥泄漏。再次呼吁用户,为了资产安全考虑,如果通过 Android APK 下载和更新 7.2.9 版本,都有一定的概率已经泄露私钥。请尽快把资产转移至新生成的钱包地址。[2022/12/28 22:11:28]

Rollup因验证交易有效性方式的不同分为zk-Rollup和OptimisticRollup.

声音 | 中国银行原行长:超主权数字货币有可能从根本上重构全球的货币体系:中国银行原行长、中国互联网金融协会区块链工作组组长李礼辉在中国人民银行主办的《中国金融》杂志上发表文章表示,关于法定数字货币的基本架构,目前意见并不一致,例如,是基于通证Token还是基于账户Account,是为零售服务还是为批发服务,是锚定的还是非锚定的,有待进一步论证和抉择。他认为,Libra对现有货币体系构成了前所未有的挑战:超越国家主权,僭越中央银行,跨越商业银行。超主权数字货币有可能从根本上重构全球的货币体系。一是可能冲击主权货币地位,二是可能重塑货币霸权地位,三是可能形成跨越商业银行的金融体系,四是可能影响人民币国际化的进程。李礼辉最后表示应该积极应对数字货币发展带来的挑战。一是掌握数字技术、数字经济的主导权,二是加快数字金融制度建设,三是加强国际协调。[2019/9/3]

验证方式主要分类两大类:零知识证明和欺诈证明。在零知识证明机制下,交易具有接近即时的最终性。

分析 | Bitmex:EOS需要重构其基础设施:据news.bitcoin.消息,Whiteblock Labs协助Bitmex研究,出了一份长达1.7万字的报告。报告显示,EOS的实际吞吐量并不比以太坊更好,而且其共识算法无法正常运行,在设计上,EOS更像是一个传统的服务器集群(如Amazon Web Services),而不是一个分散的区块链。“想要成为一个成功的基层协议,EOS需要重构其基础设施。”[2018/11/20]

而基于欺诈证明的ORUs,交易的最终性取决于挑战期的长短,这也就解释了为什么Optimism资金从二层提现到主网需要7天。

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(分时级别)。

责编:Lynn

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

金宝趣谈

[0:0ms0-6:753ms