OP Labs|基线权力下放

本文是OPLabs最新的一篇博客,介绍了基线权力下放的一系列进展。虽然文章不长,但是涉及了三个不同方面的介绍,让我们看到了OP团队走技术去中心化道路的决心。而且文章包含了对代码的讲解以及关键环节的图解,可以帮助读者进一步理解相关进展,相信本文可以让关注OP的读者对OP团队有更加深入

本文是 OP Labs 最新的一篇博客,介绍了基线权力下放的一系列进展。虽然文章不长,但是涉及了三个不同方面的介绍,让我们看到了 OP 团队走技术去中心化道路的决心。而且文章包含了对代码的讲解以及关键环节的图解,可以帮助读者进一步理解相关进展,相信本文可以让关注 OP 的读者对 OP 团队有更加深入的了解。

本文一共有 1800 字,阅读完本文预计需要 5 分钟。

前言

这篇文章详细介绍了最新的基线权力下放的进展——包括无许可的输出提案、桥接功能改进和许可角色更新——这将推动 OP Stack 走向更加去中心化的未来。

OP Labs 的工程师和 Optimism Collective 的核心开发人员正沿着一条安全且务实的技术去中心化之路[2]前进。在 Keys in Mordor [3]峰会期间,团队确定了几项协议升级,以此推进 OP Stack 朝着去中心化的方向发展。这些升级被称为“基线权力下放”,在过去的一年里,团队一直在努力实现这些目标。目前我们已经取得了显著的进展,并且迫不及待地想要分享这些将我们带向更去中心化未来的更新。

基线权力下放概览

基线权力下放是一个主要由两个关键组件组成的项目。第一个组件是实现无许可的输出提案,允许用户在不依赖排序器或任何其他中心化基础设施的情况下提现。第二个组件涉及对桥接的更改,具体来说是通过协议升级使桥接升级密钥的保管去中心化,并启用无许可的输出提案。

无许可的输出提案

无许可输出提案 (PoPs)允许用户无需依赖排序器或任何其他中心化基础设施,即可无许可地从L2提取资产到 L1。然而,安全委员会仍然具有覆盖能力,以处理包括在最坏情况下回到有权限的输出提案的错误。

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

PoPs 将与未来的争议协议(包括可能基于零知识证明的协议)向前兼容。DisputeGameFactory 可以处理多种类型的游戏,只需要游戏暴露一个简单的接口(IDisputeGame)来传达游戏状态、元数据和结果。当前的实现(FaultDisputeGame)使用的是交互式错误证明机制,但将来可以使用基于 ZK 的实现。

桥接改进

现有的桥接架构包括**两步提现[4]**、消息重放、域之间的 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 具有有效性证明时可以即时验证,则申请是有效的。提交申请的过程需要提供保证金,这意味着提案需要抵押。在最终确认期过后,如果申请被确定为有效(即没有被挑战或已经被证明有效),用户可以取回这笔保证金。换句话说,声明未被挑战或已被证明有效。

安全委员会覆盖权限

引入的变更为桥接带来了一定的改进。然而,这还未完全去中心化,因为**安全委员会[5]**能够执行某些特权操作。

在争议系统中出现关键问题时,例如无效的游戏结果,安全委员会可以采取行动。具体来说,他们具有将争议游戏列入黑名单的能力,并且可以将输出提案恢复为需要许可的争议游戏,在这种情况下,只有一组获得许可的参与者才能参与争议游戏。

作为安全委员会权力下放的一部分,引入了一个新的副监护人角色,由基金会负责快速响应突发事件。然而,安全委员会可以在需要时移除这个监护人角色,因此最终的权力现在归属于更加去中心化的安全委员会。

继续技术去中心化之旅

桥接改进和无许可输出提案已经在 OP Sepolia 测试网上线,等待治理批准后,将会与包含错误证明的升级一起部署到 OP 主网。同时,这些在基线权力下放中引入的变更,反映了我们的战略方法以及为实现长期技术去中心化路线而不断做出的努力。

请继续关注我们向更加去中心化未来迈进的更多消息!

翻译来源

Unpacking progress in baseline decentralization

找到我们

OP 中文力量是由 GCC、LXDAO、PlanckerDAO,登链社区和 TraDAO 共同发起的 Optimism 中文开发者社区,是一个传播 Optimism 技术和公共物品理念的组织,旨在成为链接华语社区和 Optimism 生态的桥梁,促进 Optimism 生态和华语社区内的双向交流,促进公共物品的繁荣。

OP 中文力量是 GCC 中文力量计划旗下专注 OP 生态的中文社区,由 GCC 捐助孵化成立。

支持社区

1722817708_AmCcJWHa.jpg

公众号:Optimism中文

Twitterhttps://x.com/Optimismzh

Notion:<https://www.notion.so/lxdao/Optimism-99a78f831195451a9f16724342c0c4ed>

Telegram:<https://t.me/optimism_cn>

Mirror: <https://mirror.xyz/optimismcn.eth>

点赞 0
收藏 0
分享
本文参与登链社区写作激励计划 ,好文好收益,欢迎正在阅读的你也加入。

0 条评论

请先 登录 后评论
OP 中文力量
OP 中文力量
Optimism 中文社区 公众号:Optimism 中文 TG:https://t.me/optimism_cn Twitter:https://x.com/Optimismzh