SP1 ของ Succinct เผยช่องโหว่ร้ายแรง เมนเน็ตอาจยอมรับหลักฐานเท็จ

ระบบพิสูจน์แบบไม่เปิดเผยข้อมูล SP1 ของ Succinct เปิดเผยช่องโหว่ด้านความน่าเชื่อถือระดับสูง ช่องโหว่นี้ถูกเปิดเผยผ่านประกาศ GitHub GHSA-p7v2-jjv3-8p8f ส่งผลกระทบต่อตัวตรวจสอบ native Rust ของ SP1 เวอร์ชัน 6.0 ถึง 6.8.0 ทำให้ Prover Network บนเมนเน็ตอาจยอมรับหลักฐานเท็จได้: ผู้พิสูจน์ที่เป็นอันตรายอาจส่งหลักฐานของการประมวลผลที่ไม่ถูกต้อง ซึ่งตัวตรวจสอบของเครือข่ายยังคงยอมรับสาเหตุของช่องโหว่คือตัวตรวจสอบอ่านเพียงป้ายกำกับของข้อมูล (มิติการประกาศ) โดยไม่ตรวจสอบว่าจำนวนองค์ประกอบที่จัดเก็บจริงเท่ากับผลคูณของมิติหรือไม่ ทำให้ผู้โจมตีสามารถปลอมแปลงป้ายกำกับเพื่อผ่านหลักฐานเท็จได้ การตรวจสอบ Groth16 และ Plonk ที่ใช้หลักฐานห่อหุ้มรูปร่างคงที่ไม่ได้รับผลกระทบ และตัวตรวจสอบ Solidity บนเชนก็ปลอดภัยเช่นกัน Succinct เปิดตัวเวอร์ชันแก้ไข 6.8.1 เมื่อวันที่ 24 กันยายน ซึ่งได้ปรับใช้บนเมนเน็ตแล้ว เวอร์ชันนี้เพิ่มการตรวจสอบความยาวการดีซีเรียลไลซ์ช่องโหว่ถูกค้นพบโดย Vitalis Salis และรายงานผ่านโปรแกรมImmunefi bug bounty ผู้ใช้ที่รันตัวตรวจสอบ native Rust และยอมรับผู้พิสูจน์ที่ไม่น่าเชื่อถือจำเป็นต้องอัปเกรดเป็น 6.8.1