Monad Team descubre errores de seguridad no detectados por Claude Opus y Codex usando verificación formal

Según Foresight News, el equipo de Category Labs de Monad compartió recientemente hallazgos de la verificación formal de la cadena de bloques Monad, revelando múltiples vulnerabilidades de seguridad que modelos avanzados de IA, incluidos Claude Opus 4.8 y Codex, no lograron identificar durante la revisión de código.

Los errores descubiertos involucran el diseño de Reserve Balance en el mecanismo de ejecución asíncrona de Monad y problemas de comportamiento indefinido de C++ en la optimización de almacenamiento MIP-8. El equipo demostró que la verificación formal capturó con éxito estas fallas, destacando cómo definir proposiciones precisas de corrección antes de solicitar a la IA que encuentre contraejemplos es más efectivo para exponer vulnerabilidades ocultas que las solicitudes directas de revisión de código.