Monad Team ค้นพบข้อบกพร่องด้านความปลอดภัยที่พลาดโดย Claude Opus และ Codex โดยใช้การตรวจสอบเชิงรูปแบบ

ตามรายงานของ Foresight News ทีม Category Labs ของ Monad เพิ่งเปิดเผยผลการตรวจสอบเชิงรูปนัย (formal verification) ของบล็อกเชน Monad ซึ่งเผยให้เห็นช่องโหว่ด้านความปลอดภัยหลายรายการที่โมเดล AI ขั้นสูงรวมถึง Claude Opus 4.8 และ Codex ไม่สามารถระบุได้ในระหว่างการตรวจสอบโค้ด

ข้อบกพร่องที่พบเกี่ยวข้องกับการออกแบบ Reserve Balance ในกลไกการทำงานแบบอะซิงโครนัสของ Monad และปัญหาพฤติกรรมที่ไม่ได้กำหนดของ C++ ในการเพิ่มประสิทธิภาพพื้นที่จัดเก็บ MIP-8 ทีมงานได้สาธิตว่าการตรวจสอบเชิงรูปนัยสามารถจับข้อบกพร่องเหล่านี้ได้สำเร็จ โดยเน้นย้ำว่าการกำหนดข้อเสนอความถูกต้องที่แม่นยำก่อนขอให้ AI ค้นหาตัวอย่างค้านมีประสิทธิภาพมากกว่าการขอตรวจสอบโค้ดโดยตรงในการเปิดเผยช่องโหว่ที่ซ่อนอยู่