Menurut Foresight News, pengembang inti di Polygon Labs telah mengumumkan bahwa lapisan agregasi blockchain, AggLayer, akan menggunakan SP1, zkVM umum yang mendukung Rust standar dan menggunakan Plonky3 sebagai sistem pembuktiannya, untuk menghasilkan komponen kunci AggLayer yang dikenal sebagai bukti pesimis . Ini adalah metode zero-knowledge proof (ZKP) yang digunakan untuk memastikan keamanan AggLayer.

SP1, yang dibuat oleh Succinct Labs, akan mempermudah menghubungkan rantai ke AggLayer, sementara Plonky3 memberikan kinerja dan ketahanan di tingkat dasar. Karena logika bukti pesimistis ditulis dalam Rust, SP1 memungkinkan rantai lain terhubung ke AggLayer dengan lebih mudah dan cepat. Kode untuk bukti pesimistis adalah kode sumber terbuka yang dilisensikan di bawah MIT/Apache, sehingga dapat diakses oleh siapa saja untuk menggunakannya.