浅析BOLD验证协议：如何使Arbitrum更去中心化？

作者：@francescoweb3 / 来源：https://twitter.com/francescoweb3/status/1687764742339981312

翻译：火火/白话区块链

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

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

1、为什么需要BOLD呢？

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

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

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

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

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

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

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

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

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

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

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

它使Arbitrum能够：

• 💓 保证链的安全性和活跃性
• 🛰️ 将状态结算的延迟降到最低
• ✋ 防止不诚实的参与方增加诚实参与方的成本。

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

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

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

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

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

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

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

正确的L2状态的确定性特性意味着如果诚实的参与方参与其中，他们将始终获胜，因为恶意方无法伪造交易执行的证明

这种设计更高效，因为每个参与方都可以“悄无声息地依赖其他人代表其立场，而不必担心该方会故意失败挑战”。

对BOLD的深入了解⬇️

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

在后台，这个过程是如何工作的呢？

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

2. BOLD的目标是确认与正确计算相对应的边缘，并防止确认任何不正确的边缘。

3. BOLD跟踪边缘的状态，但不会将边缘与任何特定的参与方联系起来。

4. 边缘根据它们与正确执行的关系进行分类。

5. 协议不知道边缘属于哪个类别，但诚实的参与者可以判断出来。

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

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

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

BOLD 基础架构

2、结论

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