According to Odaily, the Polygon community has initiated a preliminary discussion on the first phase of the zkPoS proposal. The proposal suggests using Zero Knowledge (ZK) validators to securely connect Polygon PoS to AggLayer, in order to verify the network's consensus mechanism and establish the finality of network settlement to AggLayer. This consensus proof is a supplement to the pessimistic proof, ensuring the security of all chains connected to AggLayer.
The consensus proof will be guaranteed by the Plonky3 proof system through Succinct Labs' SP1, a universal zkVM that allows AggLayer to prove the execution of standard Rust. This upgrade will bring two main direct benefits. Firstly, it will aggregate liquidity, users, and states through AggLayer, bringing greater network effects for users and developers. Secondly, it will enhance the bridging experience, including permissionless token transfers.
Polygon plans to propose a formal PIP in the fall and aims to deploy the connection between Polygon PoS and AggLayer by the end of this year.