Optimism 基础去中心化进展解析

  • optimism
  • 发布于 2024-06-02 19:54
  • 阅读 3

Optimism Collective 正在推进技术去中心化,通过实施无需许可的输出提议(PoPs)和改进桥接,使用户无需依赖中心化基础设施即可从 L2 提款。安全委员会保留在紧急情况下否决争议结果的权限。这些改进已在 OP Sepolia 测试网上线,并等待治理批准后部署到 OP Mainnet。

OP Labs 的工程师以及整个 Optimism Collective 的核心开发者们,正在继续沿着一条安全且务实的技术去中心化之路前进。在“魔多之钥”峰会期间,团队确定了几项协议升级,以帮助 OP Stack 沿着去中心化光谱前进。这些升级被称为 “基线去中心化”,团队在过去一年中一直为此努力。我们已经取得了显著进展,并且渴望分享这些更新,它们将我们带向一个更加去中心化的未来。

基线去中心化一览

基线去中心化是一个主要由两个关键组件组成的项目。第一个是无许可输出提案的实施,允许用户在不依赖 sequencer 或任何其他中心化基础设施的情况下进行提款。第二个涉及对桥的更改,特别是协议升级,这些升级去中心化了桥升级密钥的保管,并启用了无许可输出提案。

无许可输出提案

无许可输出提案 (PoPs) 允许用户在不依赖 sequencer 或任何其他中心化基础设施的情况下,以无许可的方式将资产从 L2 提取到 L1。但是,安全委员会仍然具有否决功能,以便处理错误,包括在最坏的情况下恢复到许可输出提案的能力。

在 PoPs 之前,输出提案由 L2OutputOracle 合约提供,该合约仅限于授权实体,并且只能由专用地址发布。使用 PoPs,任何人都可以通过与 DisputeGameFactory 合约交互来创建输出提案。提出输出意味着创建和参与争议游戏。输出提案声明了 L2 的状态。一旦最终确定,此声明即可用于促进提款。有了 PoPs,任何人都可以提出多个输出提案,每个提案都对应于不同的争议游戏。争议游戏决定了输出提案的有效性。为了阻止无效的输出提案,必须对输出进行绑定,以便只有在提案被认为是有效的情况下,提案人才可以获得退款。任何人都可以通过参与其相关的争议游戏来挑战输出提案的有效性,如果成功,则可以将提案的绑定作为奖励。

PoPs 将向前兼容未来的争议协议,包括可能基于零知识证明的协议。DisputeGameFactory 可以与多种类型的游戏一起使用,仅需要游戏公开一个简单的接口([IDisputeGame](https://github.com/ethereum-optimism/optimism/blob/154f976db27ab9c384ff1e3c6656e3ab6a416b9b/packages/contracts-bedrock/src/dispute/interfaces/IDisputeGame.sol?ref=blog.oplabs.co) ))来传达游戏状态、元数据和结果。当前的实现(FaultDisputeGame)使用交互式故障证明机制,但将来可以使用基于 ZK 的实现。

桥的改进

桥的现有架构包括 两步提款、消息可重放性、域之间的 1:1 映射、单存储证明、L1 和 L2 上相似的代码路径以及与 ETH、ERC20 和 ERC721 代币的兼容性。

OptimismPortal 桥合约已升级为利用争议游戏。用户仍然需要通过 proveWithdrawalTransaction 函数确认提款包含在输出根中。但是,用户现在需要根据存储在 DisputeGameFactory 中的提案而不是 L2OutputOracle 合约来证明他们的提款。

 function proveWithdrawalTransaction(
     Types.WithdrawalTransaction memory _tx,
-    uint256 _l2OutputIndex,
+    uint256 _disputeGameIndex,
     Types.OutputRootProof calldata _outputRootProof,
     bytes[] calldata _withdrawalProof
 )

在升级后的 OptimismPortal 中最终确定提款的过程与当前的桥接过程类似。首先,通过证明提款包含在关于 L2 状态的提案中(因此也将其与争议游戏相关联),从而向 OptimismPortal 合约证明提款。只要提款等待了一定的时间,并且相关的争议游戏的结果支持输出提案,提款就会最终确定。

下图总结了提款最终确定的延迟。

从用户的角度来看,这些更改使他们能够向 L1 提交声明,表明他们可以提款,并且模块化证明系统可以争议或验证该声明。如果通过错误证明窗口没有争议,或者将来 OP Stack 具有有效性证明时,可以立即验证该声明,则该声明有效。提交声明的过程需要绑定,这意味着这些提案是被质押的。在最终确定期限过后,用户可以取回此绑定,前提是该声明被确定为有效。换句话说,该声明尚未受到质疑或已被证明证明。

安全委员会的否决权

引入的更改为桥带来了一些改进。但是,它并非完全去中心化的,因为安全委员会能够执行某些特权操作。

当争议系统中存在严重问题时,例如无效的游戏结果,安全委员会可以采取行动。即,能够将争议游戏列入黑名单,并将输出提案恢复为需要许可的争议游戏,在这种情况下,只有一组获得许可的行为者才能参与争议游戏。

作为安全委员会去中心化的一部分,引入了一个新的副守护者角色,供基金会快速响应事件。但是,由安全委员会担任的守护者可以根据需要删除此角色,因此最终权力现在掌握在更加去中心化的安全委员会手中。

继续技术去中心化之旅

桥的改进和无许可输出提案已经在 OP Sepolia 测试网上上线,并且正在等待治理部门的批准,以便与故障证明的升级一起运送到 OP Mainnet。在此基线去中心化流程中引入的更改反映了我们的战略方法以及为实现我们的长期技术去中心化路线图而做出的持续努力。

请继续关注我们走向更加去中心化的未来的旅程的更多更新!

  • 原文链接: optimism.io/blog/unpacki...
  • 登链社区 AI 助手,为大家转译优秀英文文章,如有翻译不通的地方,还请包涵~
点赞 0
收藏 0
分享
本文参与登链社区写作激励计划 ,好文好收益,欢迎正在阅读的你也加入。

0 条评论

请先 登录 后评论
optimism
optimism
江湖只有他的大名,没有他的介绍。