链资讯 链资讯
Ctrl+D收藏链资讯

FIL:Optimistic Rollups和以太坊的二层解决方案:Arbitrum的安全机制_RBI

作者:

时间:

二层扩展解决方案是当前以太坊上讨论最热门的话题,也是整个区块链技术社区中最热门的话题。Arbitrum是基于OptimisticRollups的二层扩展解决方案,率先部署了其主网的测试版,并获得了Uniswap和Compound等核心DeFi项目的支持,成为目前最引人注目的二层解决方案。

从以太坊主网迁移到二层解决方案的安全机制,是用户最关心的问题之一。在这篇文章中,我们将对Arbitrum的安全机制进行深入探讨,包括Arbitrum如何扎根于以太坊安全性中,为什么挑战期是7天,以及如何防御审查攻击。

扎根于以太坊安全性中

与其他扩容方案相比,Layer2最大的优势是它完全依赖的以太坊安全性,大多数人可能知道这一点,但不知道为什么。Arbitrum是如何扎根于以太坊安全性中的?

我们先来回顾一下OptimisticRollup方案的主要特点:

1.在Rollup解决方案中,交易被写在L1,但合约的计算和存储是在L2上完成的,实现扩容。

Optimism Grants公布第十四期名单:总计拨款157.17万枚OP:8月20日消息,Optimism Grants公布第十四期名单,本次共计分配157.17万枚OP,较上一期减少8.7万枚;总计97份申请,最终28个项目获批,获赠款最多的几个项目分别是:Clearpool、Idle、Liquity 1以及Wombat Exchange,均获得15万枚OP。

此外,第十五期申请已经开放,最终截止日期为8月31日。[2023/8/20 18:11:35]

2.验证者在L1上发布一个断言,可以理解为将所有交易打包成一个Rollup块并发送到L1交易上。

3.当断言被发布时,系统默认这一断言是正确的。但是会一个时间窗口,在这期间任何人都可以挑战该断言。如果挑战成功,该断言中包含的所有交易将被撤销,断言者将失去他们的保证金。如果挑战期过后没有挑战成功,则断言被接受并成为最终结果。

在了解了具体的解决方案后,让我们从几个角度考虑Arbitrum是如何扎根于以太坊安全性中的。?

Optimism社区正在准备主网Bedrock升级提案的新版本:3月6日消息,据社区成员lavande的透露,关于以太坊二层解决方案Optimism主网Bedrock升级提案的新版本(即V2版本)将在第11周期的审核期间发布,第11周期的评审期为3月2日-3月22日,投票期为3月23日-4月5日。据悉,Bedrock是由OP Labs开发的新一代去中心化Rollup基础架构,旨在为Layer2网络提供模块化、简单性和以太坊等效性。

此前金色财经报道,Optimism社区关于主网Bedrock升级的投票推迟至3月2日开始。[2023/3/6 12:44:26]

数据可用性

所有在L2上执行的交易都会先提交给运行在L1上的Inbox智能合约,并作为calldata写入L1上。任何人都可以使用这些数据来检索L2上的所有交易,并将L2恢复到其原始状态。这个数据的可用性是通过L1保证的,用户不必担心L2故障会给他们在L2上的资产带来损失。

AnyTrust

以太坊L2网络Optimism锁仓量超10亿美元:金色财经报道,L2BEAT数据显示,截至6月4日,以太坊Layer2上总锁仓量为51.7亿美元。其中锁仓量最高的为扩容方案Arbitrum,约25.1亿美元,占比48.73%。其次是Optimism,锁仓量10.1亿美元,占比19.68%。dYdX排名第三,锁仓量9.62亿美元,占比18.60%。[2022/6/4 4:01:26]

AnyTrust是Rollup协议的一个关键安全特性。这个功能意味着任何诚实的验证者都可以确保L2上交易的正确执行。无论有多少恶意的人试图阻止交易,你或你雇佣的人都可以确保交易正确执行,而不需要相信任何第三方。

紧急退出机制

Arbitrum目前没有专门的紧急退出机制,但是有一系列的安全机制来保证用户可以紧急退出。

首先,数据的可用性保证了用户在L2上的资产和数据可以随时从L1上恢复,并且永不丢失。

其次,任何用户都可以向L1上的Inbox合约发送交易请求,强制退出。

Velodrome 将于 5 月 31 日在 Optimism 上线:5月27日消息,由 Solidly 生态项目 veDAO 推出的以 Solidly 为模板的 DEX Velodrome 宣布将于 5 月 31 日在 Optimism 上线,用户可前往 velodrome.finance 查看可获取空投的情况(当前暂不支持查看)。目前确认与 Velodrome 合作的项目包括 Hundred Finance、Alchemix、MakerDAO、Frax Finance、TreasureDAO、Thales、Perpetual Protocol。[2022/5/27 3:44:51]

最后,AnyTrust机制确保用户可以强制L2正确处理退出交易。

对于以上三点,用户不需要信任任何第三方,这充分说明了Arbitrum植根于以太坊安全性中。

为什么挑战期是7天

Arbitrum是一个多轮互动的Rollup解决方案。该解决方案首先会乐观地认为验证者所做的断言是正确的,直到它在挑战期内被其他验证者质疑或反驳。在大多数情况下,没有挑战,整个系统可以更快地取得进展,而且成本较低。

Nansen:9大主流网络近7日总活跃地址约802万,Optimism增长明显:3月15日,多链数据分析平台Nansen发布最新一周网络7日活跃地址统计,据统计数据显示,截止3月14日,7日活跃地址最多的网络为BNB Chain(原 BSC),约344万活跃地址,环比减少14.21%;7日活跃地址最少的网络为Optimism,约1.24万活跃地址,环比增加27.57%。完整排名如下:

BNB Chain:344 万,环比减少 14.21%

Ethereum:229 万,环比增加 4.57%

Polygon:97.7 万,环比减少 3.27%

Ronin:78.4 万,环比减少 37.78%

Avalanche:25.4 万,环比减少 7.3%

Fantom :18.4 万,环比减少 9.36%

Arbitrum:4.64 万,环比减少 23.18%

Celo:3.25 万,环比增加 2.85%

Optimism:1.24 万,环比增加 27.57%[2022/3/15 13:57:22]

显然,挑战期越长,整个系统就越安全,但同时用户体验也会变差。那么我们如何找到最佳的挑战期呢?

Arbitrum团队提出了这样一个模型来计算最佳挑战期:

1.假设一个挑战期是C块的长度,攻击者在L2上能得到的最大值是V。那么攻击者得到的预期值是Vexp(-AC)。

注意:exp是指数函数"e",A是某个常数A,AC前面的"-"号意味着C与预期回报成反比。

2.断言者需要认捐远大于攻击价值的资产来应对攻击。我们假设是10倍,断言者的成本是10Vexp(-AC)I。I是资本利率。

3.我们假设锁定在挑战期的提款用户的提款资产为CWV,用户的资产成本为CWVI。

4.最佳挑战期的长度是在断言者和退出用户的总资产成本最低的时候。也就是说,当取C的值时,10Vexp(-AC)ICWVI处于最小。V和I发生在两个条款中,它不会影响最低点,可以忽略。我们只需要取C的导数,将所得导数设为0,得到C=ln(10A/W)/A。

现在我们把一些合理的数字插入上述方程,得到一个粗略的最佳挑战期。

假设一个区块时间的连续审查的成功率高达99.99%,相当于A=-ln(0.99)=0.01。

进一步假设每天有总价值的1%被提取,按15秒一个区块计算,每个区块的提取比例约为W=0.000002。

将这些插入公式,我们得到一个最佳挑战延迟C=62146个区块,即10.79天,这与Arbitrrum团队最终选择的7天最佳挑战期非常接近。

如何抵御审查制度的攻击

在本节中,我们将讨论Arbitrum如何防御四种主要类型的审查攻击:分叉攻击、回避攻击、干扰攻击和速度恶魔攻击。

分叉攻击:矿工合谋丢弃包含正常挑战的区块,以便接受一个不包含挑战的替代链。

首先,由于挑战者的存在,一旦发生分叉攻击,将不可避免地被某个挑战者发现。而当大家发现区块链中的挖矿垄断者为了利益不受约束地破坏规则时,区块链本身就已经被破坏了。此时,无论Arbitrum是否采用挑战期的设计模式,这一点都没有意义。

回避攻击:矿工合谋,在他们制作的区块中省略正常的挑战。

我们假设垄断者控制了90%的挖矿算力,期限是50个区块。垄断者需要连续打包50个区块来完成攻击。概率是0.9的50次方,也就是只有0.5%。而实际的挑战期远远超过50个区块,所以攻击成功的概率是非常小的。在Arbitrum的设计中,当攻击失败时,攻击者将支付巨额罚款,垄断者发起回避攻击是相当不划算的。

干扰攻击:攻击者发起'老式的拒绝服务攻击',阻止其他方发布任何交易。

由于只要有一个诚实的挑战者,攻击就会失败,攻击者必须干扰所有可能的挑战者。如果有很多这样的挑战者,攻击就已经很难完成了。更糟糕的是,任何利益相关方可能已经雇用了一个沉默的观察者作为备份。他们只在主要参与者太晚或难以发布挑战时才会介入。攻击者不会知道是否有沉默的观察者,或者如果他们存在,他们是谁,所以在他们行动之前,没有实际的方法来发起DoS攻击。

速度恶魔攻击:攻击者产生链上断言的速度非常快,以至于其他各方没有时间在最后期限前检查和挑战所有断言。

Arbitrum防御速度恶魔攻击的方法是限制断言的创建速度,以确保在任何时候,检查待定断言并在挑战一个断言所需的总工作能在协议的最后期限内顺利完成。具体来说,是对Rollup链中的智能合约的进展施加一个速度限制,因此,即使有人能够快速制造出大量的断言,它最终也不得不放慢速度。

综上所述,我们不需要太担心分叉攻击。在发生恶意挖矿垄断的情况下,这种区块链已经从根本上失去了吸引力。Arbitrum可以通过适当的设计或实践来抵御其他三种审查攻击。

Sequencer模式的优势和风险

Sequencer模式是Arbitrum的一个可选的功能,OffchainLabs在主网启动时操作唯一的Sequencer节点。

Sequencer被赋予有限的权力来控制Inbox中每笔交易的排序,以保证用户交易的结果立即生效,而不需要在以太坊上等待5分钟来确认区块,甚至不需要像在以太坊一样等待15秒的出块时间。

同时,一个行为良好的sequencer可以有效地抵御Front-Running攻击。

因此,由OffchainLabs运营的集中式、行为良好的Sequencer节点对项目的早期发展非常有利,可以减少很多麻烦,但安全风险也很明显。OffchainLabs承诺,一旦技术成熟,将改用去中心化的多Sequencer节点方案。

此外Inbox将一分为二,一个接受Sequencer提交的交易,另一个接受常规聚合器或用户提交的交易,这也为不信任中心化Sequencer的用户提供了另一种选择。

原文:hackernoon

编译:比巴卜呀

标签:FILRUMRBICOINfil币多少钱一枚Rumble GamingARBINU2G Carbon Coin

比特币最新价格热门资讯
比特币:参与Kava Swap测试网激励活动,10万美元奖励等你来赢_LAMA价格

KavaSwap测试网的收尾工作正在进行中,感谢Kava社区用户的关注与等待。KavaSwap是一个跨链自主做市协议,利用Kava平台的DeFi基础设施、跨链桥和安全性,使用户能够在Kava网络.

XBX:XBX重磅上线 海量空投奖励随心领_AUSDT

尊敬的用户, XBX即将重磅上线,WBF携手XBX推出“XBX重磅上线海量空投奖励随心领”特别活动.

FIL:为什么说FIL币后期上涨是必然的!_Filecoin

如果FIL币价在80美元以上,新矿工硬件投入和质押投入比为1:1,即矿工投入100万购买硬件设备之后,还需投入100万资金作为质押,如此高额币价,对于大多数矿工来说,并没有这个勇气和资金实力.

KEX:BKEX Global 关于永续合约升级的公告_Balancer

尊敬的用户: 为提升服务质量,进一步优化交易体验,BKEX永续合约功能将于2021年7月16日22:00进行升级,本次升级持续时间大约2-4个小时,若有其他原因导致延期以后续公告为准.

BAL:关于 防范假冒WBF官方工作人员进行网络/电话的风险提示_数字资产什么意思

尊敬的用户: 近期,数字资产在全球范围受到更多关注,同时我们接到用户反馈,有不法分子冒用WBF名义开展行为.

TPS:关于GST暂停充提币的公告_FIC

公告编号2021071201各位关心ZBG.kim的投资者们和项目方:GST因钱包维护暂停充提币,具体开放时间以公告为准,给您带来不便深感抱歉,敬请谅解.