De acordo com o Foresight News, os principais desenvolvedores do Polygon Labs anunciaram que a camada de agregação blockchain, AggLayer, usará SP1, um zkVM geral que suporta Rust padrão e usa Plonky3 como sistema de prova, para gerar um componente-chave do AggLayer conhecido como prova pessimista. . Este é um método de prova de conhecimento zero (ZKP) usado para garantir a segurança do AggLayer.
O SP1, desenvolvido pela Succinct Labs, tornará mais fácil vincular cadeias ao AggLayer, enquanto o Plonky3 fornece desempenho e robustez no nível básico. Como a lógica da prova pessimista é escrita em Rust, o SP1 permite que outras cadeias se conectem ao AggLayer de forma mais fácil e rápida. O código para prova pessimista é de código aberto licenciado pelo MIT/Apache, tornando-o acessível para uso de qualquer pessoa.