ผู้เขียนต้นฉบับ: Haotian

ล่าสุด @Optimism ถูกชุมชนในต่างประเทศตั้งคำถาม เนื่องจากปัญหาการตรวจสอบความปลอดภัยในระบบ Fault Proof เดิมทีเป็นกลไกป้องกันการฉ้อโกงที่ไม่ได้รับอนุญาต หลังจากค้นพบปัญหาด้านความปลอดภัยที่สำคัญ OP Foundation ได้เสนอการฮาร์ดฟอร์กเพื่อแก้ไขปัญหาและแปลงเป็นกลไกการพิสูจน์ที่ได้รับอนุญาตจริง ๆ หรือไม่ เกิดอะไรขึ้นกันแน่?

1) พูดง่ายๆ ก็คือ Fault Proof System เป็นกลไกในการตรวจสอบความถูกต้องของสถานะเครือข่ายเลเยอร์ 2 ใครๆ ก็สามารถส่งสถานะ L2 ไปยังเครื่องเสมือนที่ถูกโต้แย้งบน L1 ได้โดยไม่ได้รับอนุญาตและยอมรับการท้าทายจากผู้อื่น หากการท้าทายสำเร็จ กลไกการให้รางวัลและการลงโทษจะเกิดขึ้น

นี่คือกลไกป้องกันการฉ้อโกงที่ต้องมีสำหรับกลไก OP-Rollup เพื่อรับรองความปลอดภัย การเปิดตัว Fault Proof System ในเดือนมิถุนายน ชดเชยการวิพากษ์วิจารณ์ของตลาดเกี่ยวกับการขาดกลไกการท้าทายที่มีประสิทธิภาพของ OP Stack

2) อย่างไรก็ตาม การตรวจสอบที่ขับเคลื่อนโดยชุมชนเมื่อเร็วๆ นี้ ค้นพบช่องโหว่หลายประการในระบบป้องกันการฉ้อโกง และการตอบสนองของ Optimism Foundation ก็น่าประหลาดใจ:

1. ถือว่าช่องโหว่ระดับ opcode ของ VM ที่ป้องกันการฉ้อโกงเป็นช่องโหว่ด้านความปลอดภัยเล็กน้อย

2. ไม่รวมระบบป้องกันการฉ้อโกงออกจากขอบเขตการตรวจสอบภายนอก

3. ปรับกลไกการพิสูจน์การฉ้อโกงโดยไม่ได้รับอนุญาตชั่วคราวให้เป็นกลไกที่ได้รับอนุญาต และเสนอแผนฮาร์ดฟอร์กที่เรียกว่า Granite เพื่อแก้ไขปัญหาด้านความปลอดภัย

ด้วยวิธีนี้ ผู้คนต้องสงสัยในความหมายและประสิทธิภาพของสิ่งที่เรียกว่า Fault Proof System

3) คุณคิดอย่างไรกับเรื่องนี้? ในความเห็นของฉัน:

1. การมองโลกในแง่ดีเปิดตัว Fault Proof System ทั้งหมดเพื่อขยายกลไกการท้าทายด้านความปลอดภัยที่จำเป็นซึ่งดำเนินการโดยค่าย OP Stack ตลาดกลายเป็น "การมองโลกในแง่ดี" ว่าการมองโลกในแง่ดีนั้นมีกลไกที่ท้าทายเช่นนี้หรือไม่

2. Fault Proof System มีโครงสร้างที่ซับซ้อนมาก สถานะส่วนใหญ่สามารถตรวจสอบได้ในเครื่องใน L2 และมีเพียงบางส่วนเท่านั้นที่ถูกส่งไปยังเครื่องเสมือนที่ผิดพลาดใน L1 เพื่อการตัดสินใจ ใช่ เครื่องเสมือนที่มีรหัสปฏิบัติการเฉพาะ ได้รับการพัฒนาด้วยวิธีนี้จึงสามารถรับประกันต้นทุนการตรวจสอบ L1 ที่ต่ำในขณะที่มั่นใจในความปลอดภัย

3. ระบบป้องกันข้อผิดพลาดถูกเปลี่ยนจากการไม่ได้รับอนุญาตเป็นการอนุญาตและถูกปิดการใช้งานอย่างเร่งด่วน ซึ่งยังเปิดเผยสิทธิ์ที่มากเกินไปของ OP Foundation และคณะกรรมการรักษาความปลอดภัยที่มีลายเซ็นหลายลายเซ็น การฉ้อโกงพิสูจน์ให้เห็นว่าแม้จะไม่ได้รับอนุญาต แต่ก็ยังอยู่ภายใต้การควบคุม ของคณะกรรมการรักษาความปลอดภัย

4. การมองโลกในแง่ดีบรรลุเป้าหมายด้านความปลอดภัยและการกระจายอำนาจของระยะที่ 1 อย่างน้อยก็ตามหลัง Arbitrum ในค่ายเดียวกัน และความเป็นผู้นำด้านเทคนิคของ ZK-Rollup จะได้รับคุณค่าเพิ่มเติม