火星链 火星链
Ctrl+D收藏火星链

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

作者:

时间:1900/1/1 0:00:00

原文作者:yyy

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

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

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

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

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

Nansen:Optimism网络在完成Bedrock升级后日交易量上涨67%:6月26日消息,据Nansen数据显示,Optimism网络在完成Bedrock升级后日交易量上涨67%,当前约为50万笔;Gas费减少约5万美元,降低50%。[2023/6/26 22:01:00]

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

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

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

adoptwombat Discord服务器已被入侵:金色财经消息,据CertiK监测,adoptwombat Discord服务器已被入侵,在公告中发布了一个钓鱼网站,请不要点击或与之互动。[2023/6/16 21:41:13]

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

ORUs机制下,乐观地认为由定序器提交上来的Rollup交易都是有效的。然后在挑战期内,验证者如果发现无效交易,可以发起欺诈证明。

如果挑战期过后都没有人挑战的话,就默认这笔交易是有效的,此时交易具有最终性。

币安将支持Optimism网络升级及硬分叉,届时将暂停OP代币充提业务:5月31日消息,据官方公告,币安将支持Optimism(OP)网络升级及硬分叉,具体安排如下:币安预计将于6月6日23:30暂停OP代币的充值、提现业务,以支持Optimism(OP)将于6月7日00:00进行的网络升级及硬分叉。网络升级及硬分叉期间,OP交易不受影响。

此前5月16日消息,Optimism主网Bedrock升级将于6月7日进行,届时需停机2至4小时。[2023/5/31 11:49:56]

但挑战期真的需要7天这么长时间吗?我们先把整个挑战流程简化:验证者通过重构状态根发现无效交易,于是发出欺诈证明。这一系列动作需要时间,也就意味着挑战期不能是0.

BitKeep Swap跨链新增支持Optimism:3月3日消息,多链钱包BitKeep宣布,BitKeep Swap已增加对二层网络Optimism的支持,提供Optimism上所有token在单链、多链间的直接兑换功能,无需使用ETH作为Gas费。目前,BitKeep Swap已支持16条链跨链交互,用户可以在Optimism与其它15条链之间进行自由询价、兑换,获取任意币对间最有效的交易路径和最优价格。[2023/3/3 12:40:40]

我们假设上述挑战流程很迅速,?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.

@0x?Mantle,BitDAO孵化的一个ORU,可以将挑战期缩短至1-2天。挑战期的优化逻辑基于MPC方案。

简单来讲,就是定序器不直接把交易批次提交到以太坊,而是先提交给MPC网络,由MPC节点共同签署,确认交易有效后再提交给以太坊。

因此,核心不同点是:

Optimism把包含状态根的batch作为执行结果提交到以太坊;

而Mantle把包含由MPC节点联合签署状态根的batch作为执行结果提交到以太坊。

目的是为了降低Rollup执行结果的信任风险。

但MPC验证归根结底还是链下的验证方案,聊胜于无,对用户来讲算多了一个心理安慰。

打个不太恰当的比喻,MPC验证方案就像是偏中心化的zk方案,前者安全性基于经济假设,后者基于密码学验证。

以上就是关于ORUs挑战期的一些思考和探讨,没有太强的逻辑性,权当抛砖引玉。BTW,还是非常期待未来能看到挑战期显著缩短的ORUs(分时级别)。

标签:OPTMISOPTIPTIOPTI币MISSORCatgirl OptimusOptimus Inu

比特币价格实时行情热门资讯
NER:美参议院的「加密崩溃」听证会传递了什么监管信号?

原文来源:福布斯原文编译:比推MaryLiu美国参议院银行委员会周二举办了名为「加密崩溃:为什么数字资产需要金融系统保障措施」的听证会,本次听证会涵盖了本周的热门话题.

1900/1/1 0:00:00
SEC:流浪汉需要屋檐Web3需要耶路撒冷

不变与变我不掩饰自己的悲观,有读者留言“最近的正能量不多”。原因也很简单,在时间和空间被拉长和放大的行业里,非常密集的发生着许多坍塌事件,系统性风险里无人幸免.

1900/1/1 0:00:00
NFT:Web3 游戏能否跨越鸿沟 实现外部性收入?

Web3游戏跨越鸿沟,本质是要实现外部性的收入,而且这个收入能够支撑起整个游戏的内部经济运转。它不再是通过后来进入用户的投入来支撑更早进入用户的收益.

1900/1/1 0:00:00
COIN:金色午报 | 2月23日午间重要动态一览

7:00-12:00关键词:Coinbase、Chainlink、Voyager1.加拿大金融公司Evolve已任命Coinbase为数字资产子托管人;2.

1900/1/1 0:00:00
TOK:对话Blur创始人Pacman:我们就是要提高NFT市场流动性

主持人:David,Bankless嘉宾:Blur?创始人?Paceman编译:Kxp,BlockBeats自去年年底,Blur三季空投一直是加密市场追逐的焦点.

1900/1/1 0:00:00
BUSD:金色观察 | Bankless:监管机构会对所有稳定币宣战吗?

文/JackInabinet,bankless作者;译/金色财经xiaozou对稳定币宣战?最近,一些列的监管执法和打击活动主导了又一轮加密新闻主题。下一个有可能的目标会是谁?稳定币.

1900/1/1 0:00:00