Secondo Foresight News, gli sviluppatori principali di Polygon Labs hanno annunciato che il livello di aggregazione blockchain, AggLayer, utilizzerà SP1, un zkVM generale che supporta lo standard Rust e utilizza Plonky3 come sistema di prova, per generare un componente chiave di AggLayer noto come prova pessimistica . Questo è un metodo ZKP (zero-knowledge proof) utilizzato per garantire la sicurezza di AggLayer.
SP1, realizzato da Succinct Labs, semplificherà il collegamento delle catene ad AggLayer, mentre Plonky3 fornisce prestazioni e robustezza al livello base. Poiché la logica della prova pessimistica è scritta in Rust, SP1 consente ad altre catene di connettersi ad AggLayer più facilmente e rapidamente. Il codice per la prova pessimistica è concesso in licenza open source dal MIT/Apache, rendendolo accessibile a chiunque.