Monad-Team entdeckt mittels formaler Verifikation Sicherheitsfehler, die von Claude Opus und Codex übersehen wurden.

Laut Foresight News hat das Category Labs-Team von Monad kürzlich Erkenntnisse aus der formalen Verifikation der Monad-Blockchain geteilt, die mehrere Sicherheitslücken offenbaren, die fortschrittliche KI-Modelle wie Claude Opus 4.8 und Codex bei der Code-Überprüfung nicht identifizieren konnten.

Die entdeckten Bugs betreffen das Reserve-Balance-Design im asynchronen Ausführungsmechanismus von Monad sowie undefiniertes C++-Verhalten in der MIP-8-Speicheroptimierung. Das Team demonstrierte, dass die formale Verifikation diese Schwachstellen erfolgreich erfasste, und hob hervor, dass die Definition präziser Korrektheitsaussagen vor der Aufforderung an die KI, Gegenbeispiele zu finden, versteckte Schwachstellen effektiver aufdeckt als direkte Code-Review-Anfragen.