Polygon社区正积极讨论一项提案,即使用零知识 (ZK) 验证器将Polygon PoS安全地连接到AggLayer,从而验证网络的共识机制,并建立到AggLayer的最终性。此共识证明是对悲观证明的补充,确保连接到AggLayer的所有链的安全。详细信息请参见悲观证明。
共识证明将由Plonky3证明系统通过Succinct Labs的SP1保护,SP1是一种通用zkVM,允许AggLayer验证标准Rust的执行。更多关于Polygon Labs和Succinct Labs合作的信息,请参阅基于Plonky3的SP1。
此次升级将带来两大直接好处:
背景 一年前,社区开始讨论一项提案,使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将提供详细的技术规范。从高层次来看,此升级至少需要以下内容:
客户端变更 完成此升级不需要对Bor或Heimdall进行重大客户端更改。虽然升级到Heimdall v2可能会带来未来优化,但这对初始部署而言并非必需。
桥变化 完成此升级不需要更改支持FxPortal或Plasma Bridge的StateSync机制。此外:
时间线 如果讨论结果令人满意,将发布正式的PIP。主要依赖项是完成悲观证明的生产就绪实施,预计在夏季中旬完成。预计在秋季完成正式的PIP,Polygon PoS连接到AggLayer可能会在2024年底之前完成。
实际问题
Polygon PoS是全球使用最广泛的区块链之一,拥有4亿多个唯一地址和超过20亿美元的以太坊桥接资产。用户和开发人员喜欢它因为它强大的社区、网络效应和低费用。Polygon Labs的核心开发人员多年来专注于以太坊扩展技术的研究和开发。此次讨论的结果掌握在社区手中,我们邀请您分析、讨论并希望达成实施该提案的共识。