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

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

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

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

1、为什么需要BOLD呢?

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

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

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

安全团队:Reaper Farm项目遭到攻击事件解析,项目方损失约170万美元:据成都链安“链必应-区块链安全态势感知平台”安全舆情监控数据显示,Reaper Farm项目遭到黑客攻击,成都链安安全团队发现由于_withdraw中owner地址可控且未作任何访问控制,导致调用withdraw或redeem函数可提取任意用户资产。攻击者(0x5636e55e4a72299a0f194c001841e2ce75bb527a)利用攻击合约(0x8162a5e187128565ace634e76fdd083cb04d0145)通过漏洞合约(0xcda5dea176f2df95082f4dadb96255bdb2bc7c7d)提取用户资金,累计获利62ETH,160万 DAI,约价值170万美元,目前攻击者(0x2c177d20B1b1d68Cc85D3215904A7BB6629Ca954)已通过跨链将所有获利资金转入Tornado.Cash,成都链安链必追平台将对被盗资金进行实时监控和追踪。[2022/8/2 2:54:19]

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

声音 | 鲁春丛:推动区块链的创新技术在标识解析中深度应用:据中国信通院官网,8月15日,在中国工业互联网标识大会上,工业和信息化部信息通信管理局副局长鲁春丛演讲表示,大力推进标识解析技术,标准研制,搭建规模性基础技术创新以实验的环境,联合产学研用各方面力量,促进新型标识体系的研制,推动区块链的创新技术在标识解析中深度应用。据介绍,标识解析体系是工业互联网的核心基础设施,是新一代互联网的“中枢神经”。[2019/8/18]

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

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

动态 | EOS疑似将推出基于EOS的HandShake DNS解析服务:EOS疑似将推出基于EOS 的 HandShake DNS解析服务,一位开发者的Github显示正在开发EOS-handshake服务。Cosmos社区总监Chjango Unchained4月30日发推表示发现EOS开发者正在复用 Handshake 的开源代码。EOS或许会加入域名解析服务,生态会进一步扩大。(IMEOS)[2019/4/30]

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

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

动态 | 日本Catabira推出基于区块链的数据解析平台:据Prtimes消息,日本信息服务商Catabira宣布推出基于区块链的商业服务级数据解析平台Catabira Insights For Blockchain,将利用区块链技术不可篡改的特性保证调查数据的真实性。[2018/11/8]

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

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

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

它使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:15ms0-7:913ms