Succinct SP1 Temukan Kerentanan Tingkat Tinggi, Jaringan Utama Mungkin Menerima Bukti Tidak Valid

Sistem bukti nol pengetahuan SP1 di bawah Succinct mengungkapkan kerentanan keandalan tingkat tinggi. Kerentanan ini diumumkan pada 11 Oktober melalui pengumuman GitHub GHSA-p7v2-jjv3-8p8f, yang mempengaruhi versi 6.0.0 hingga 6.8.0 dari validator asli Rust SP1, yang dapat menyebabkan jaringan utama Prover Network mungkin menerima bukti tidak valid. Penyerang yang jahat dapat mengajukan bukti eksekusi yang tidak valid, sementara validator jaringan tetap akan menerimanya. Penyebab kerentanan adalah bahwa validator hanya membaca label data dan tidak memverifikasi apakah jumlah elemen yang disimpan sebenarnya sama dengan hasil kali dimensi, sehingga penyerang dapat memalsukan label untuk membuat bukti tidak valid diterima. Bukti Groth16 dan Plonk yang menggunakan bentuk tetap tidak terpengaruh, dan pemeriksa Solidity di rantai juga aman. Succinct merilis versi perbaikan 6.8.1 pada 24 September, yang telah diterapkan di jaringan utama; versi ini menambahkan pemeriksaan panjang deserialisasi. Kerentanan ini ditemukan oleh Vitalis Salis dan dilaporkan melalui program hadiah kerentanan Immunefi. Pengguna yang menjalankan validator asli Rust dan menerima penyerang yang tidak tepercaya harus memperbarui ke versi 6.8.1.

Konten ini disediakan hanya untuk tujuan informasi umum dan bukan merupakan nasihat keuangan, investasi, hukum, atau pajak. Setiap acara, reward, promosi online, atau informasi terkait yang disebutkan di sini tidak boleh dianggap sebagai rekomendasi, ajakan, atau undangan untuk membeli, menjual, memperdagangkan, atau melakukan transaksi aset kripto apa pun. Aset kripto sangat fluktuatif dan dapat mengakibatkan kerugian. Ketersediaan layanan, produk, dan acara terkait WEEX dapat berbeda-beda di setiap wilayah. Anda bertanggung jawab untuk memastikan bahwa partisipasi Anda sesuai dengan hukum dan peraturan setempat yang berlaku.