PANews 5月29日消息，根據官方博客，Polygon Labs 核心開發人員宣布，區塊鏈聚合層AggLayer將使用SP1（一種支持標準Rust的通用zkVM，並使用Plonky3作為其證明系統）來生成AggLayer的一個關鍵組件，稱為悲觀證明（pessimistic proof），這是一種用於確保AggLayer安全的零知識證明（ZKP）方法。
SP1由Succinct Labs構建，將使鏈連接到AggLayer變得更加容易，而Plonky3在底層提供效能和健全性。由於悲觀證明的邏輯是用Rust編寫的，SP1使其他鏈更輕鬆、更快速地連接到AggLayer。悲觀證明的程式碼是在MIT/Apache下開源授權的，任何人都可以使用。
