Optimism资金提现到以太坊主网,为何要经历7天挑战期?_API:DEF

昨晚Coinbase宣布入场做了一条基于OPStack的L2——@BuildOnBase,一时间「BullishonOptimism」的情绪又再度被点燃。借此契机,这条推文来聊一聊Optimism的挑战期。众所周知的是,Optimism二层资金提现到以太坊主网,要经历7天的挑战期。那为什么偏偏是7天呢?3天?5天不行吗?回答这个问题之前,我们先来了解下为什么要设挑战期。Rollups通过将执行层从以太坊分离的方式,提高以太坊主网的性能。也即意味着交易是在二层执行的,但为了继承以太坊主网的安全性,二层发生的交易要在主网验证。简单来讲,以太坊主网要确认定序器提交上来的交易的的确确在二层发生,即交易的有效性。Rollup因验证交易有效性方式的不同分为zk-Rollup和OptimisticRollup.验证方式主要分类两大类:零知识证明和欺诈证明。在零知识证明机制下,交易具有接近即时的最终性。而基于欺诈证明的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节点共同签署,确认交易有效后再提交给以太坊。

数据:过去30日Optimism上稳定币净流入近1.2亿美元:金色财经报道,DefiLlama数据显示,过去30日有27日Optimism上稳定币都是实现了净流入,流入约近1.1926亿美元,占到了Optimism上稳定币总市值的18.3%。[2023/1/31 11:39:16]

因此,核心不同点是:Optimism把包含状态根的batch作为执行结果提交到以太坊;而Mantle把包含由MPC节点联合签署状态根的batch作为执行结果提交到以太坊。目的是为了降低Rollup执行结果的信任风险。但MPC验证归根结底还是链下的验证方案,聊胜于无,对用户来讲算多了一个心理安慰。打个不太恰当的比喻,MPC验证方案就像是偏中心化的zk方案,前者安全性基于经济假设,后者基于密码学验证。以上就是关于ORUs挑战期的一些思考和探讨,没有太强的逻辑性,权当抛砖引玉。BTW,还是非常期待未来能看到挑战期显著缩短的ORUs(分时级别)。原地址

数据:Arbitrum和Optimism上2/3的地址在以太坊主网上也有使用:8月16日消息,Delphi Digital统计数据显示,目前以太坊二层网络Arbitrum和Optimism上2/3的地址在以太坊主网上也有使用,或由于缺乏CEX的集成,用户进入这些L2的唯一方法是从L1上的使用地址进行跨链。[2022/8/16 12:28:03]

衍生品协议Polynomial Protocol在Optimism上线Polynomial Earn:3月31日消息,DeFi衍生品协议Polynomial Protocol宣布在Optimism上线Polynomial Earn,Polynomial Earn是一个允许直接向AMM出售期权并且在链上执行的DeFiOptionsVault(DOV)项目。Polynomial Protocol将在本周五推出sETH Covered Call和CashSecured PutSellingvault。去年10月份,Polynomial完成110万美元融资,Acrylic领投,Genblock Capital、Caballeros Capital等机构与Quant stamp联合创始人DonHo、RichardMa、PaulVeradittakit(Pantera Capital)等个人投资方参投。(medium)[2022/3/31 14:29:58]

发现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]

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

金智博客

[0:15ms0-12:968ms