Polygon提案：用ZK验证器将Polygon PoS连接到AggLayer

Polygon社区正积极讨论一项提案，即使用零知识 (ZK) 验证器将Polygon PoS安全地连接到AggLayer，从而验证网络的共识机制，并建立到AggLayer的**性。此共识证明是对悲观证明的补充，确保连接到AggLayer的所有链的安全。详细信息请参见悲观证明。

共识证明将由Plonky3证明系统通过Succinct Labs的SP1保护，SP1是一种通用zkVM，允许AggLayer验证标准Rust的执行。更多关于Polygon Labs和Succinct Labs合作的信息，请参阅基于Plonky3的SP1。

此次升级将带来两大直接好处：

1. 通过AggLayer聚合流动性、用户和状态，为用户和开发者带来更大的网络效应；
2. 升级的桥梁体验，包括无需许可的**转移。

背景 一年前，社区开始讨论一项提案，使Polygon PoS成为zkEVM Validium，从而将网络升级为由ZK驱动的L2。这仍然是Polygon PoS**状态的长期目标。实现这一目标的挑战在于保持Polygon PoS低费用、以太坊为所有人服务的精神。

用于将Polygon PoS升级到ZK L2的Type 1 zkEVM证明器已经能够以低成本证明现有的以太坊区块。目前的问题是如何大规模地做到这一点。

如果此次讨论有利，并且PIP（Polygon Improvement Proposal）被社区接受，升级将作为成为完整ZK L2的中间步骤。将Polygon PoS连接到AggLayer将提供统一桥的好处，同时仍然依赖验证器集提供的安全保障。

技术细节 未来的PIP将提供详细的技术规范。从高层次来看，此升级至少需要以下内容：

1. 共识证明：将在以太坊上部署新的共识验证合约，验证Polygon PoS是否达成共识，确保**提款符合悲观证明逻辑的标准。
2. 桥梁实施：Unified Bridge合约将部署在Polygon PoS上。
3. PoS门户：现有**将升级为使用Unified Bridge，**多重签名控制。
4. 网络角色：使用共识证明设计结算到AggLayer需要一些实体提交所需的信息。

客户端变更 完成此升级不需要对Bor或Heimdall进行重大客户端更改。虽然升级到Heimdall v2可能会带来未来优化，但这对初始部署而言并非必需。

桥变化 完成此升级不需要更改支持FxPortal或Pla**a Bridge的StateSync机制。此外：

• Unified Bridge将作为独立的新桥部署。
• 使用PoS Portal映射的**将升级为使用Unified Bridge，PoS Portal将被弃用。

时间线 如果讨论结果令人满意，将发布正式的PIP。主要依赖项是完成悲观证明的生产就绪实施，预计在夏季中旬完成。预计在秋季完成正式的PIP，Polygon PoS连接到AggLayer可能会在2024年底之前完成。

实际问题

1. 基于签名的共识证明：该提案概述了使用Polygon Plonky3表示Polygon PoS的共识，SP1 zkVM提供Rust的可维护性和开发速度优势。可以通过修改Heimdall使用不同的签名方法来实现。
2. 与AggLayer通信的网络角色：需要一个新角色向AggLayer提交本地桥接状态和共识证明。研究人员考虑以下之一：
   • 允许列表地址首先执行此角色，目标是无需许可。
   • 角色立即无需许可，网络参与者将执行此功能以换取奖励。

Polygon PoS是全球使用最广泛的区块链之一，拥有4亿多个**地址和超过20亿美元的以太坊桥接资产。用户和开发人员喜欢它因为它强大的社区、网络效应和低费用。Polygon Labs的核心开发人员多年来专注于以太坊扩展技术的研究和开发。此次讨论的结果掌握在社区手中，我们邀请您分析、讨论并希望达成实施该提案的共识。