據 Foresight News 報道，Polygon Labs 的核心開發人員宣佈，區塊鏈聚合層 AggLayer 將使用 SP1（一種支持標準 Rust 的通用 zkVM，並使用 Plonky3 作爲其證明系統）來生成 AggLayer 的一個關鍵組件，稱爲悲觀證明，這是一種用於確保 AggLayer 安全的零知識證明（ZKP）方法。
SP1 由 Succinct Labs 構建，將使鏈連接到 AggLayer 變得更加容易，而 Plonky3 在底層提供性能和健全性。由於悲觀證明的邏輯是用 Rust 編寫的，SP1 使其他鏈能夠更輕鬆、更快速地連接到 AggLayer。悲觀證明的代碼是在 MIT/Apache 下開源許可的，任何人都可以使用。
