昨晚Coinbase宣布入场做了一条基于OPStack的L2——@BuildOnBase,一时间"BullishonOptimism"的情绪又再度被点燃。借此契机,这条文章来聊一聊Optimism的挑战期。
众所周知的是,Optimism二层资金提现到以太坊主网,要经历7天的挑战期。
那为什么偏偏是7天呢?3天?5天不行吗?
回答这个问题之前,我们先来了解下为什么要设挑战期。
Rollups通过将执行层从以太坊分离的方式,提高以太坊主网的性能。也即意味着交易是在二层执行的,但为了继承以太坊主网的安全性,二层发生的交易要在主网验证。
Optimism将于7月13日升级OP Mainnet上排序器:7月11日消息,Optimism宣布将于7月13日04:00升级OP Mainnet上排序器的op-geth版本,以将平均交易包含延迟(transaction inclusion latency)从2-4秒减少至0-2秒,预期OP Mainnet将停机5分钟。[2023/7/11 10:48:22]
简单来讲,以太坊主网要确认定序器提交上来的交易的的确确在二层发生,即交易的有效性。
Rollup因验证交易有效性方式的不同分为zk-Rollup和OptimisticRollup.
Binance将上线Optimism (OP):6月1日消息,Binance 宣布将于2022年6月1日12:00 时上线 Optimism (OP),并开放 OP/BTC、OP/BUSD、OP/USDT 交易对。公告中称,Binance仅支持Optimism网络上OP的充值,用户不可以在任何其他网络上充值OP Token。[2022/6/1 3:54:34]
验证方式主要分类两大类:零知识证明和欺诈证明。在零知识证明机制下,交易具有接近即时的最终性。
而基于欺诈证明的ORUs,交易的最终性取决于挑战期的长短,这也就解释了为什么Optimism资金从二层提现到主网需要7天。
由OlympusDAO推出的债券化市场Olympus Pro上线Optimism:3 月 9 日,由算法稳定币协议 OlympusDAO 推出的债券化市场 Olympus Pro 宣布上线以太坊 Layer2 扩容解决方案 Optimism。Olympus Pro 现已支持 6 个网络,包括以太坊、Fantom、Polygon、Avalanche、Arbitrum 和 Optimism。[2022/3/9 13:46:20]
ORUs机制下,乐观地认为由定序器提交上来的Rollup交易都是有效的。然后在挑战期内,验证者如果发现无效交易,可以发起欺诈证明。
加密期权交易协议Optyn已集成Chainlink喂价:2021年春季Chainlink线上黑客松亚军Optyn宣布,已成功集成Chainlink喂价,以准确地为基于Polygon的DeFi协议创建、交易和结算的期权合约和合成资产定价。
据悉,Optyn是建立在Polygon上的期权市场和合成资产协议,使用户能够接触合成资产并创建期权合约。[2021/5/26 22:47:14]
如果挑战期过后都没有人挑战的话,就默认这笔交易是有效的,此时交易具有最终性。
但挑战期真的需要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马少
亲爱的用户: 火必将推出TOMI理财活动,用户需完成TOMI现货交易即可获取该项目理财申购额度.
1900/1/1 0:00:00在看涨周期中,加密货币的价格突然上涨,而随着矿工扩大业务和提高哈希率,PoW网络挖矿业务的盈利能力蓬勃发展。新的矿场出现,新的ASIC型号立即售罄。不过,在Cryptoverse中,事情并不总是美好的.
1900/1/1 0:00:00原文作者:CapitalismLab1、@LexerMarkets1月初就定下和Camelot的合作,至今连公募时间都没定.
1900/1/1 0:00:00以太坊再质押协议Eigenlayer主打ETH「共享安全」的重大创新,并允许用户将ETH、lsdETH及LPToken质押在其他公链、预言机、中间件等,作为节点并得到验证奖励,有望延续24年的新叙事.
1900/1/1 0:00:002023年2月27日,GateNFT将上线艺术家Rumuz的作品动物之城,本次作品为FreeMint形式.
1900/1/1 0:00:00自2022年11月FTX崩盘以来,比特币(BTC)与标准普尔500指数(SPX)的相关性首次转为负值。但是,在2022年的大部分时间里,BTC与标准普尔500指数(SPX)呈正相关.
1900/1/1 0:00:00