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

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

เนื้อหานี้จัดทำขึ้นเพื่อวัตถุประสงค์ด้านการให้ข้อมูลทั่วไปเท่านั้น และไม่ถือเป็นคำแนะนำด้านการเงิน การลงทุน กฎหมาย หรือภาษี อีเวนต์ รีวอร์ด โปรโมชันออนไลน์ หรือข้อมูลที่เกี่ยวข้องใดๆ ที่กล่าวถึงในที่นี้ ไม่ควรถือเป็นคำแนะนำ การชักชวน หรือคำเชิญชวนให้ซื้อ ขาย เทรด หรือดำเนินการอื่นใดเกี่ยวกับสินทรัพย์คริปโต สินทรัพย์คริปโตมีความผันผวนสูงและอาจส่งผลให้เกิดการขาดทุน ความพร้อมให้บริการของบริการ ผลิตภัณฑ์ และอีเวนต์ที่เกี่ยวข้องของ WEEX อาจแตกต่างกันไปตามภูมิภาค คุณมีหน้าที่ตรวจสอบให้แน่ใจว่าการเข้าร่วมของคุณเป็นไปตามกฎหมายและข้อบังคับท้องถิ่นที่ใช้บังคับ