5月29日消息，Polygon Labs核心開發人員宣布，區塊鏈聚合層AggLayer將使用SP1（一種支持標準Rust的通用zkVM，并使用Plonky3作為其證明系統）來生成AggLayer的一個關鍵組件，稱為悲觀證明（pessimistic proof），這是一種用于確保AggLayer安全的零知識證明（ZKP）方法。