5月29日，Polygon Labs核心開發(fā)人員宣布，他們將采用支持標(biāo)準(zhǔn)Rust的通用zkVM，并使用Plonky3作為其證明系統(tǒng)的SP1來生成區(qū)塊鏈聚合層AggLayer的一個(gè)關(guān)鍵組件，稱為悲觀證明（pessimistic proof）。這一舉措將確保AggLayer的安全，通過采用零知識證明（ZKP）方法來驗(yàn)證其完整性。該技術(shù)的應(yīng)用將為區(qū)塊鏈的安全性和可靠性帶來更深遠(yuǎn)的影響。