เมนเน็ตอาจยอมรับProofที่ไม่ถูกต้อง ระบบ SP1 ของ Succinct เผยช่องโหว่ระดับความรุนแรงสูง
Odaily รายงานว่า ระบบ zero-knowledge proof 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 กันยายน และได้ปรับใช้บนเมนเน็ตแล้ว เวอร์ชันนี้เพิ่มการตรวจสอบความยาว أثناء deserialization ช่องโหว่ถูกค้นพบโดย Vitalis Salis และรายงานผ่านโครงการImmunefi bug bounty ผู้ใช้ที่รันตัวตรวจสอบ native Rust ด้วยตนเองและยอมรับ proof จากแหล่งที่ไม่น่าเชื่อถือจำเป็นต้องอัปเกรดเป็น 6.8.1
