แก้ไขช่องโหว่ SP1 หลังพบความเสี่ยงจากหลักฐานที่ไม่ถูกต้อง

Succinct เปิดเผยช่องโหว่ด้านความน่าเชื่อถือระดับร้ายแรงในระบบพิสูจน์แบบไม่เปิดเผยความรู้ SP1 ช่องโหว่นี้ส่งผลต่อเครื่องมือตรวจสอบ Rust แบบเนทีฟตั้งแต่เวอร์ชัน 6.0.0 ถึง 6.8.0 และอาจทำให้ Prover Network บนเมนเน็ตยอมรับหลักฐานของการประมวลผลที่ไม่ถูกต้องได้ ช่องโหว่ของ SP1 เกิดจากเครื่องมือตรวจสอบตรวจสอบป้ายกำกับข้อมูล แต่ไม่ได้ยืนยันว่าจำนวนองค์ประกอบที่จัดเก็บตรงกับมิติที่ระบุไว้ การตรวจสอบรูปแบบคงที่ของ Groth16 และ Plonk รวมถึงเครื่องมือตรวจสอบ Solidity บนเชนไม่ได้รับผลกระทบ เมื่อวันที่ 24 กันยายน Succinct ออกเวอร์ชัน 6.8.1 ซึ่งเพิ่มการตรวจสอบความยาวระหว่างการดีซีเรียลไลซ์ และนำไปใช้งานบนเมนเน็ตแล้ว Vitalis Salis เป็นผู้รายงานปัญหาผ่าน Immunefi ผู้ใช้เครื่องมือตรวจสอบ Rust แบบเนทีฟที่ยอมรับหลักฐานจากผู้สร้างหลักฐานที่ไม่น่าเชื่อถือควรอัปเกรดเป็นเวอร์ชัน 6.8.1
Neutral
ช่องโหว่นี้ก่อให้เกิดความเสี่ยงด้านความปลอดภัยอย่างมีนัยสำคัญ: หากถูกโจมตี ตัวตรวจสอบ SP1 แบบเนทีฟที่เขียนด้วย Rust ซึ่งได้รับผลกระทบอาจยอมรับหลักฐานการทำงานที่ไม่ถูกต้อง ซึ่งอาจบั่นทอนความน่าเชื่อถือของแอปพลิเคชันที่พึ่งพาตัวตรวจสอบเหล่านั้น อย่างไรก็ตาม รายงานระบุว่า Succinct ได้ออกและติดตั้งการแก้ไขแล้ว ขณะที่การตรวจสอบ Groth16 และ Plonk แบบรูปแบบคงที่ รวมถึงตัวตรวจสอบ Solidity บนเชน ไม่ได้รับผลกระทบ จึงมีข้อบ่งชี้จำกัดว่าตลาดกำลังเผชิญภัยคุกคามในวงกว้างและต่อเนื่อง ผลกระทบโดยตรงที่มีแนวโน้มมากที่สุดคือผู้ใช้ตัวตรวจสอบ Rust ที่ได้รับผลกระทบต้องดำเนินงานแก้ไขในระดับปฏิบัติการเฉพาะจุด มากกว่าจะเกิดแรงกดดันต่อราคาคริปโทเคอร์เรนซีในทันที ในระยะสั้น เทรดเดอร์อาจติดตามโครงการที่เกี่ยวข้องกับ SP1 กิจกรรมการตรวจสอบ และการเปิดเผยข้อมูลเกี่ยวกับการโจมตีหรือความเสียหายอย่างใกล้ชิดยิ่งขึ้น ในระยะยาว เหตุการณ์นี้อาจทำให้มีการตรวจสอบการนำระบบพิสูจน์ไปใช้อย่างเข้มงวดขึ้น และเพิ่มความต้องการด้านการตรวจสอบความปลอดภัย การอัปเกรดเวอร์ชัน และการตรวจสอบเชิงป้องกันหลายชั้น ช่องโหว่โครงสร้างพื้นฐานลักษณะเดียวกันอาจทำให้เกิดความผันผวนอย่างรุนแรงเมื่อมีการสูญเสียเงินหรือบริการทั่วทั้งเครือข่ายหยุดชะงัก แต่เมื่อยังไม่มีหลักฐานว่ามีการโจมตีหรือการหยุดชะงักที่ยืดเยื้อในกรณีนี้ การประเมินผลต่อตลาดอย่างเป็นกลางจึงเหมาะสมกว่า