BOLD：Arbitrum 链的无需许可验证

作者：

Ed Felten

和 Raul Jordan — 2023年8月3日

要点：我们正在宣布 BOLD (Bounded Liquidity Delay)：这是我们在 Offchain Labs 发明的一种争议协议，可以为 Arbitrum 链实现无需许可的验证。代码和规范现在可以在 Github 上找到 这里！

BOLD 允许 Arbitrum 技术的链：

1. 保证 其链的安全性和活跃性
2. 最小化 状态结算的延迟
3. 防止 不诚实方提高诚实方的成本

如今，支持欺诈证明的 Optimistic Rollup 链，例如 Arbitrum One 和 Nova，将其状态结算到以太坊。一组被称为验证者的实体，将他们已验证为真实的 L2 状态的相关声明发布到智能合约。在 7 天的时间内，其他验证者可以挑战这些声明，并进行争议解决流程。一旦声明被确认，该 L2 状态就被认为在以太坊上是正确的。这种验证过程是资产可以在 Arbitrum 链和以太坊 L1 之间进行桥接时存在 7 天延迟的原因。挑战协议涉及各方提交欺诈证明到以太坊，以确定 L2 执行的正确结果。

然而，今天通过欺诈证明对 Arbitrum One 和 Nova 进行的验证是需要许可的，因为它们的争议协议容易受到 拒绝服务攻击。恶意验证者可以重复花费资金以阻止断言被确认，因此只要他们愿意，就可以延迟从 L2 到 L1 的提款。我们团队的 Ed Felten 之前曾写过关于 Rollup 协议上的延迟攻击及其严重性的文章，请参见此处。

我们发明了一种新的验证方法，它在确认时给我们一个固定的、上限为 7 天的额外延迟，而不会遭受延迟攻击。我们的协议称为 BOLD，可以安全地使 Arbitrum 链的验证无需许可，从而在去中心化阶梯上向上移动许多步。该方法允许单个诚实验证者在以太坊上赢得针对任何数量对手的争议。

代码和研究规范现在可以在 Github 上找到 这里。我们还将代码贡献给 Arbitrum Nitro 代码库，以进行开发和测试。很快，我们将宣布社区可以尝试的本地开发网络和协议的公共测试网络！

介绍 BOLD

每个 layer 2 系统都必须应对将其状态结算到以太坊时出现的延迟问题。 BOLD 是 Arbitrum 争议系统的演变，最终形成了一种更加强大的方法。据我们所知，BOLD 是第一个实用的挑战协议，支持高效的全体对抗全体的争议。它：

(a) 保证了 Optimistic Rollups 结算的确认时间的固定上限，…并且

(b) 确保世界上一个诚实的一方可以赢得针对任何数量恶意声明的胜利

BOLD 中的争议与 L2 状态的确定性执行相关，而不是与特定的 stake 人或实体相关。这意味着任何同意某个状态的人都可以捍卫它，直到找到单个分歧点。由于诚实的 L2 状态是确定性的，如果参与，诚实方将始终获胜，因为邪恶方无法伪造执行证明。

有关 BOLD 如何工作以及使其与众不同的详细信息，请查看我们位于 Github 上的研究规范 这里。

代码现已可用

今天，我们公开了我们对 BOLD 的实现，并发布了我们的研究规范，该规范解释了协议的内部结构，网址为 github.com/offchainlabs/bold。该代码库包括一个完整的挑战管理器实现，该管理器不仅发布有关 L2 状态的断言，而且可以参与针对任何数量恶意对手的挑战，并确认正确 的状态。

我们的实现是模块化的，可以集成到 Arbitrum Orbit 链或 Arbitrum One/Nova 中，如果 DAO 决定采用它。当集成到 L2 验证器节点中时，BOLD 封装了参与挑战、将有关 L2 状态的断言发布到以太坊上的 Rollup 合约以及确认此类断言所需的所有逻辑。

BOLD 也已通过 Trail of Bits 的审计，我们的审计报告包含在存储库中 这里。该代码库目前也遵循与 Arbitrum Nitro 相同的许可，因为我们计划将该代码集成为 Arbitrum 技术链可以轻松使用的依赖项——包括电池。

我们认为额外的工具对于理解像这样的复杂系统至关重要。因此，我们还在构建一个挑战可视化工具和 API，目前正在开发中！先睹为快，由以下人员构建

Preston Van Loon

：

路线图

在 BOLD 准备好投入生产之前，还需要完成几个步骤。接下来，我们计划：

1. 在接下来的几周内分享有关运行启用了 BOLD 挑战的 Arbitrum Nitro devnet 的说明
2. 发布我们用 Isabelle 编程语言编写的 BOLD 的形式证明代码以及我们完整的学术风格论文
3. 一个公共测试网环境（将为 BOLD 调配一个新的环境），供社区参与挑战游戏
4. …如果社区有积极的反馈，我们计划准备一个 AIP，以便 DAO 可以决定是否在 Arbitrum One 和 Nova 中采用这个新的挑战协议

立即试用！

BOLD 存储库 README 包括有关通过端到端测试在本地运行完整争议示例的说明，允许任何人查看如何使用原生以太坊 anvil 后端解决争议：

lvl=info msg="向协议提交单步证明" service=edge-tracker startCommit=0x2f0e761b endHeight=4 endCommit=0xfb7311a8 validatorName=bob challengeType=small_step_challenge_edge id=0xbdb60918 startHeight=3
lvl=info msg="成功单步证明边缘并确认其为获胜者" service=edge-tracker id=0x4be715c1 startHeight=2 startCommit=0xbcb71b66 endHeight=3 endCommit=0x2f0e761b validatorName=bob challengeType=small_step_challenge_edge
lvl=info msg="边缘跟踪器收到确认通知，正在退出" service=edge-tracker endCommit=0xfb7311a8 validatorName=bob challengeType=small_step_challenge_edge id=0xbdb60918 startHeight=3 startCommit=0x2f0e761b endHeight=4

• 原文链接： medium.com/offchainlabs/...
• 登链社区 AI 助手，为大家转译优秀英文文章，如有翻译不通的地方，还请包涵～