Kerentanan SP1 diperbaiki setelah muncul risiko bukti tidak valid
Succinct mengungkapkan kerentanan keandalan tingkat tinggi pada sistem bukti zero-knowledge SP1 mereka. Celah ini memengaruhi verifier Rust native versi 6.0.0 hingga 6.8.0 dan berpotensi membuat Prover Network mainnet menerima bukti eksekusi yang tidak valid. Kerentanan SP1 terjadi karena verifier memeriksa label data tanpa memastikan bahwa jumlah elemen yang tersimpan sesuai dengan dimensi yang diklaim. Pemeriksaan Groth16 dan Plonk dengan bentuk tetap, serta verifier Solidity on-chain, tidak terdampak. Pada 24 September, Succinct merilis versi 6.8.1 yang menambahkan pemeriksaan panjang saat deserialisasi, lalu menerapkannya di mainnet. Masalah ini dilaporkan oleh Vitalis Salis melalui Immunefi. Pengguna yang menjalankan verifier Rust native dan menerima bukti dari prover yang tidak tepercaya sebaiknya meningkatkan versi ke 6.8.1.
Neutral
Kerentanan ini menimbulkan risiko keamanan yang berarti: jika dieksploitasi, bukti eksekusi yang tidak valid berpotensi diterima oleh verifier Rust native SP1 yang terdampak, sehingga dapat merusak keamanan aplikasi yang mengandalkannya. Namun, laporan tersebut menyebutkan bahwa Succinct telah merilis dan menerapkan perbaikan, sementara pemeriksaan Groth16 dan Plonk dengan bentuk tetap serta verifier Solidity on-chain tidak terdampak. Hal ini membatasi indikasi adanya ancaman pasar yang sedang berlangsung dan berdampak luas. Dampak langsung yang paling mungkin adalah pekerjaan operasional terarah bagi pengguna yang menjalankan verifier Rust terdampak, bukan tekanan langsung terhadap harga kripto. Reaksi trader dalam jangka pendek dapat mencakup pemantauan lebih ketat terhadap proyek terkait SP1, aktivitas verifikasi, serta pengungkapan apa pun mengenai eksploitasi atau kerugian. Dalam jangka panjang, insiden ini dapat memperkuat pengawasan terhadap implementasi sistem pembuktian dan meningkatkan permintaan untuk audit, peningkatan versi, serta pemeriksaan pertahanan berlapis. Kerentanan infrastruktur serupa dapat memicu pergerakan harga tajam ketika dana hilang atau layanan di seluruh jaringan terganggu; tanpa bukti eksploitasi atau gangguan berkepanjangan dalam kasus ini, penilaian pasar yang netral lebih tepat.