Kerentanan SP1 dibaiki selepas risiko bukti tidak sah
Succinct mendedahkan kelemahan kebolehpercayaan berisiko tinggi dalam sistem bukti zero-knowledge SP1 mereka. Kecacatan ini menjejaskan pengesah Rust natif versi 6.0.0 hingga 6.8.0 dan berpotensi membolehkan Prover Network mainnet menerima bukti pelaksanaan yang tidak sah. Kelemahan SP1 ini berpunca daripada pengesah yang menyemak label data tanpa mengesahkan bahawa bilangan elemen yang disimpan sepadan dengan dimensi yang didakwa. Semakan Groth16 dan Plonk berbentuk tetap, serta pengesah Solidity dalam rantaian, tidak terjejas. Pada 24 September, Succinct mengeluarkan versi 6.8.1 yang menambahkan semakan panjang semasa penyahserialan, lalu melaksanakannya di mainnet. Isu ini dilaporkan oleh Vitalis Salis melalui Immunefi. Pengguna yang menjalankan pengesah Rust natif dan menerima bukti daripada prover yang tidak dipercayai disarankan menaik taraf kepada versi 6.8.1.
Neutral
Kerentanan ini menimbulkan risiko keselamatan yang ketara: jika dieksploitasi, bukti pelaksanaan yang tidak sah mungkin diterima oleh pengesah Rust natif SP1 yang terjejas, sekali gus berpotensi menjejaskan aplikasi yang bergantung padanya. Walau bagaimanapun, laporan menyatakan bahawa Succinct telah mengeluarkan dan melaksanakan pembaikan, manakala semakan Groth16 dan Plonk berbentuk tetap serta pengesah Solidity dalam rantaian tidak terjejas. Hal ini mengehadkan petunjuk tentang ancaman pasaran yang masih berterusan dan meluas. Kesan langsung yang paling mungkin ialah kerja operasi yang disasarkan untuk pengguna yang menjalankan pengesah Rust terjejas, bukannya tekanan serta-merta terhadap harga kripto. Reaksi pedagang dalam jangka pendek mungkin merangkumi pemantauan lebih rapi terhadap projek berkaitan SP1, aktiviti pengesahan dan sebarang pendedahan tentang eksploitasi atau kerugian. Dalam jangka panjang, insiden ini mungkin meningkatkan penelitian terhadap pelaksanaan sistem bukti serta permintaan untuk audit, naik taraf versi dan pemeriksaan pertahanan berlapis. Kerentanan infrastruktur yang serupa boleh mencetuskan pergerakan harga yang mendadak apabila dana hilang atau perkhidmatan seluruh rangkaian terganggu; tanpa bukti eksploitasi atau gangguan berpanjangan dalam kes ini, penilaian pasaran yang neutral adalah lebih sesuai.