ROO:解析 Arbitrum 设计的重大更新:使用 BOLD 进行无许可验证

作者:@francescoweb3;翻译:火火/白话区块链

Arbitrum正在变得更加去中心化:使用BOLD进行无需许可的验证。尽管这可能不是一个适合取名类似于BALD的周,但这是Arbitrum设计的重大更新。

BOLD代表有限流动性延迟,正如其名所示,它是一种“争议协议”,为Arbitrum提供了无需许可的验证功能。

1、为什么需要BOLD呢?

简单来说,所乐观 Rollup 都在以太坊上结算它们的状态。他们如何确保交易是有效的?通过所谓的欺诈证明系统。

在实际操作中,这是通过一组名为验证者的实体进行的。这些验证者发布关于L2状态的声明,并通过智能合约确认这些声明是真实的。

然后,会有一个为期7天的挑战期(或冷却期),在这期间其他验证者可以实际上对这些声明提出质疑,如果存在差异,就会启动解决争议的过程。

ETH总销毁量突破300万枚:金色财经报道,Ultrasound.money数据显示,自去年8月实施EIP-1559以来,ETH总销毁量突破300万枚,目前暂报3031551.91枚。[2023/3/28 13:31:16]

如果一项声明得到确认,L2状态就被视为正确,并在以太坊上结算完成。

正是通过欺诈证明的验证过程导致在 Arbitrum 和以太坊之间本地桥接需要大约7天的延迟。

争议协议涉及各方向以太坊提交欺诈证明,以确定 L2 交易的有效结果。

问题在于什么呢?目前,通过欺诈证明的验证在Arbitrum One和Nova上都是需要权限的。

Deribit上的ETH期货未平仓合约达到一个月高点:金色财经报道,据Glassnode数据显示,Deribit上的ETH期货未平仓合约刚刚在达到435,442,137美元的一个月高点。[2023/1/27 11:31:27]

这样做的原因是为了保护争议协议免受拒绝服务攻击。如果一个恶意的验证者不断地花费资金来阻止声明被确认,那么L2到以太坊的提现就会被阻滞,而他们拥有足够的资金,这个过程几乎可以持续很长时间。

这被称为延迟攻击,它试图通过“试图阻止或延迟确认任何结果”来阻止 Rollup 协议的进展。这种攻击旨在阻碍验证者提交欺诈证明,从而使L2状态无法被确认和结算到以太坊。

ZBG上线BWPool-ETH云算力(2年期):ZBG官网消息,ZBG于2020年12月24日0:00-2021年1月6日24:00(HKT)上线第一期“BWPool-ETH云算力“并推出限时超值购活动。

首期ETH云算力活动限量4,000M,单价为19.6USDT(约125QC)/M。每购买满一份(10M)的用户,可享受ZBG理财加息券一张;每购买10份(100M)的用户,可享受50USDT现金补贴,。

据悉,本次上线的ETH云算力产品BWPool矿池设计出品,合约周期为两年期(730天)。

更多详情访问ZBG官网了解详情。[2020/12/24 16:21:50]

实际上,转向无需许可的验证需要一个能够抵御延迟攻击的协议,就像BOLD一样。

BOLD是一种新的无需许可的L2验证方法。

3月初以来中心化交易所ETH余额增加 BTC余额有所下降:数据显示,自2020年3月初以来,中心化交易所持有的ETH余额增加超过10%。与此同时,中心化交易所持有的BTC有所余额下降,同期下降9.6%。[2020/8/29]

它使Arbitrum能够:

保证链的安全性和活跃性

将状态结算的延迟降到最低

防止不诚实的参与方增加诚实参与方的成本。

事实上,BOLD能够提供“固定的、上限为7天的额外延迟确认”,并且不会受到延迟攻击的影响,从而有助于实现对Arbitrum链的去中心化。

它通过支持高效的“全对全争议”实现这一目标,即即使只有一个诚实的验证者,也可以在与任意数量的恶意声明的争议中获胜。

因此,BOLD可以在一个过程中高效地解决多方之间的争议,而不需要依赖之前的一对一挑战。

BOLD要求所有支持特定声明的各方“作为一个团队”共同对抗。

因此,BOLD中的任何争议都与L2状态的“确定性”执行相关,而不是与特定的质押者或实体相关。

这意味着任何同意某个状态的人都可以在找到单一不一致点之前为其辩护。

因此,由于BOLD中的争议是作为整个团队的一部分而进行的,任何代表团队采取的协议行动都得到每个诚实团队成员的支持。

正确的L2状态的确定性特性意味着如果诚实的参与方参与其中,他们将始终获胜,因为恶意方无法伪造交易执行的证明这种设计更高效,因为每个参与方都可以“悄无声息地依赖其他人代表其立场,而不必担心该方会故意失败挑战”。

对BOLD的深入了解

与其被视为不同参与方之间的挑战协议,BOLD协议应被理解为“边缘”之间的竞争,参与者的目标是选择正确的边缘作为获胜者。

在后台,这个过程是如何工作的呢?

"边缘"是挑战协议中的主要数据结构。

边缘具有“起始历史承诺”和“终止历史承诺”。

如果边缘的起始和结束都是正确的,则边缘是可证明的;如果只有起始是正确的,则边缘是偏离的;如果两者都是错误的,则边缘是无关的。

为了证明该协议是正确的:8.1 安全性定理:不能确认任何偏离的边缘。8.2 完成时间定理:诚实的边缘可以在某个截止日期之前被确认。

BOLD 基础架构

BOLD在确认结果方面实现了最佳的延迟边界,并且还在对抗方没收的利益上线性限制了诚实方所需的工作。

白话区块链

媒体专栏

阅读更多

金色财经

Web3活动

Techub Info

区块律动BlockBeats

金色财经 善欧巴

金色早8点

比推 Bitpush News

TaxDAO

SeeDAO见道

WJB

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

链链资讯

[0:31ms0-2:619ms