فريق موناد يكتشف ثغرات أمنية فاتت كلود أوبوس وكودكس باستخدام التحقق الرسمي

وفقًا لـ Foresight News، شارك فريق Category Labs التابع لـ Monad مؤخرًا نتائج التحقق الرسمي من سلسلة بلوكتشين موناد، مما كشف عن ثغرات أمنية متعددة فشلت نماذج الذكاء الاصطناعي المتقدمة بما في ذلك Claude Opus 4.8 وCodex في تحديدها أثناء مراجعة الكود.

تتعلق الأخطاء المكتشفة بتصميم الاحتياطي الرصيد في آلية التنفيذ غير المتزامن لـ Monad ومشكلات السلوك غير المحدد في لغة C++ ضمن تحسين تخزين MIP-8. أظهر الفريق أن التحقق الرسمي نجح في التقاط هذه العيوب، مسلطًا الضوء على أن تحديد افتراضات الصحة الدقيقة قبل مطالبة الذكاء الاصطناعي بالعثور على أمثلة مضادة أكثر فعالية في كشف الثغرات المخفية من طلبات مراجعة الكود المباشرة.