LXDAO 支持丨 OP Labs :故障证明系统已适用于 OP Stack
LXDAO
2024-06-20 19:00
订阅此专栏
收藏此文章

这篇文章概述了故障证明的主要功能和优点,详细介绍了其推出计划,并概述了技术去中心化道路上的下一步发展。

OP Labs 正在帮助 Optimism Collective 迈向技术去中心化,正如我们在长期去中心化战略[1]中详细介绍的那样。我们最近更新了基线去中心化的进展[2],并很高兴地宣布另一个重要里程碑——经过治理批准的、无需许可的故障证明已在 OP 主网上上线。这一进步有助于带来 OP Stack 到第一阶段去中心化[3],并向达到第二阶段迈出实质性一步。


确保提款安全的故障证明系统

功能齐全的故障证明系统增强了桥接 ETH 和 ERC-20 代币的安全性,并为完全去中心化铺平了道路。

改进的信任模型

无需许可的故障证明系统使用户能够从 L2 提取 ETH 和 ERC-20 代币到 L1,而无需涉及任何受信任的第三方,如排序器或任何其他集中式基础设施。

这意味着取款不再依赖于特权提案者角色[4]发布输出根。相反,任何人现在都可以通过故障争议系统发布输出提案。输出提案创建一个对 L2 状态的 claim 请求。一旦最终确定,这个 claim 请求便可用来促进取款,而无需进行任何特权行为,假设安全理事会被撤销。

任何人都可以为安全做出贡献

任何想要参与该协议的用户都可以质疑和删除无效提案。

争议博弈提供了一种确定输出提案有效性的机制。任何人都可以通过参与相关的争议游戏来质疑输出提案的有效性。每项行动都需要放置 ETH 债券,并收取不诚实的债券以支付诚实债券人的 Gas 费用。

安理会作为安全网

正如 Vitalik Buterin 的愿景[5]中所概述的,在 Rollup 去中心化路径中,可以存在临时辅助轮 ( 暂时的、辅助性的安全机制,用于在系统完全独立运行之前提供保护 ),这是一种在紧急情况下可以超越故障证明系统的安全机制。这导致了无需许可的故障证明系统的推出,并以 Optimism Collective 的安理会[6]作为后备。签名阈值为 75%,它可以在故障证明系统或手动升级出现故障时进行干预。

该系统减少了信任假设,为完全去中心化铺平了道路。OP Labs 团队的路线图旨在实现 OP Stack 的第二阶段去中心化,在技术被证明安全时取消辅助轮。

模块化设计多重证明系统

故障证明系统的模块化特性可以集成额外的证明机制,为未来的多重证明系统奠定坚实的基础。由于此次升级中包含了智能合约框架,可以轻松添加额外的证明系统。

这些证据协同工作,将在生产环境中提供增强的安全层。随着 OP Stack 朝着实现第二阶段去中心化的方向发展,这将进一步减少后续升级中的信任假设。

进入第二阶段:交付备用故障证明

OP Stack 的故障证明系统的最终目标是多重证明必杀技 ( 译者:哈哈,中二 ),消除 L2 对辅助轮的依赖。随着更多相互支持的证明系统的建立,OP Stack 可以完全信任其证明,只有在证明之间存在分歧的情况下才需要安理会。

随着第一个故障证明系统投入生产,我们预计很快就会有更多替代版本的故障证明。鉴于 OP Stack 的开源性质,State Channels、RISCZero、O(1) Labs、AltLayer、Sunnyside Labs 等团队以及 Andreas Bigger、Ben Clabby、Proto Lambda 等个人正在同时开发其他几种证明机制(OP Labs),以及 Chainsafe 工程师 Willem Olding 和 Eric Tu。

负责任的推出

OP Stack 的设计理念始终优先考虑基本安全机制。每个组件在添加到 OP 堆栈之前都经过严格的安全检查。这就是为什么我们一直在逐步推出故障证明,包括大量内部部署、公共故障证明 Alpha 版本[7]以及升级 OP Sepolia[8]。此外,OP 实验室还举办了Sherlock 漏洞搜寻竞赛[9],重点关注安全网和撤销 ( 译者:从上下文来看,是指撤销安理会在相关方面的职责 ) — 对于安全性至关重要的故障证明系统组件。

为了维护当前故障证明系统的安全性,我们加入了一些明确的后备机制,在组件发生故障时,安理会可以轻松启动这些机制,特别是安理会能够暂停提款或回滚许可的争议游戏。为了快速响应基金会的事件,引入了新的副监护人角色。然而,如果需要的话,安理会可以主持取消这一角色,因此最终权力现在掌握在权力更加分散的安理会手中。这确保了安全响应协议可以以最小的努力和最大的影响尽快执行,而对监护人功能的最终控制权则由安理会负责。

故障证明系统很复杂,建立对代码正确性的信心需要时间。在生产中使用有限的辅助轮启动是在消除安全措施之前确保代码质量的必要步骤。认识到集体努力在识别和报告潜在问题方面的价值,作为我们积极应对这一挑战的一部分,我们更新了我们的错误赏金计划[10]

提款流程的重大变化

由于为了在 OP 主网上实现无需许可的故障证明,对提款流畅进行了重大更改,因此升级中引入了一些影响桥梁、CEX 和自定义提款解决方案的重大更改。请访问 Optimism 开发人员文档[11]以了解这些更改、如何处理它们以及如何获得其他支持。

现在无需许可的故障证明系统已在 OP 主网上上线,下一步是将故障证明引入 Superchain 主网。Base、Metal、Mode、Zora 和其他 OP Stack 链最终也将升级以包含此功能。敬请期待更多的更新!

·END·


翻译 |Cooper

编辑 &  排版  | yiwen


支持社区

       


Join us

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

Telegram:https://t.me/optimism_cn

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

微信群:公众号后台回复【加群】


参考资料

[1]

去中心化战略: https://blog.oplabs.co/endgame-is-stage-2/

[2]

基线去中心化的进展: https://blog.oplabs.co/unpacking-progress-in-baseline-decentralization/

[3]

带来 OP Stack 到第一阶段去中心化: https://optimism.mirror.xyz/izdAoJ8ooyhDfwFLFoCcUfB1icPLFn8AImBws4oaqw8?ref=blog.oplabs.co

[4]

特权提案者角色: https://docs.optimism.io/builders/chain-operators/architecture?ref=blog.oplabs.co

[5]

Vitalik Buterin 的愿景: https://ethereum-magicians.org/t/proposed-milestones-for-rollups-taking-off-training-wheels/11571?ref=blog.oplabs.co

[6]

安理会: https://optimism.mirror.xyz/f20gj4Mv3DWdqQEduk5J85VVN254SaQtP0zV_v-8IYs?ref=blog.oplabs.co

[7]

公共故障证明 Alpha 版本: https://blog.oplabs.co/op-stack-fault-proof-alpha/

[8]

升级 OP Sepolia: https://blog.oplabs.co/open-source-and-feature-complete-fault-proofs-bring-permissionless-validation-to-the-op-sepolia-testnet/

[9]

Sherlock 漏洞搜寻竞赛: https://blog.oplabs.co/sherlock-audit-roundup/

[10]

更新了我们的错误赏金计划: https://immunefi.com/bug-bounty/optimism/?ref=blog.oplabs.co

[11]

Optimism 开发人员文档: https://docs.optimism.io/builders/notices/fp-changes?ref=blog.oplabs.co

【免责声明】市场有风险,投资需谨慎。本文不构成投资建议,用户应考虑本文中的任何意见、观点或结论是否符合其特定状况。据此投资,责任自负。

LXDAO
数据请求中
查看更多

推荐专栏

数据请求中
在 App 打开