เมนเน็ตอาจรับProofที่ไม่ถูกต้อง SP1 ของ Succinct เผยช่องโหว่ระดับสูง

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