Команда Monad обнаружила уязвимости безопасности, пропущенные Claude Opus и Codex, с помощью формальной верификации.

2026-06-26 13:02:37

MON-0,15%

По данным Foresight News, команда Category Labs из Monad недавно поделилась результатами формальной верификации блокчейна Monad, выявившей множественные уязвимости безопасности, которые продвинутые модели ИИ, включая Claude Opus 4.8 и Codex, не смогли обнаружить при проверке кода.

Обнаруженные ошибки связаны с дизайном резервного баланса (Reserve Balance) в механизме асинхронного выполнения Monad и проблемами неопределённого поведения C++ при оптимизации хранения MIP-8. Команда продемонстрировала, что формальная верификация успешно выявила эти недостатки, подчеркнув, что формулирование точных утверждений корректности перед запросом к ИИ на поиск контрпримеров более эффективно для обнаружения скрытых уязвимостей, чем прямые запросы на проверку кода.

Посмотреть источник

Дисклеймер: Информация на этой странице может быть получена из источников третьих сторон и предоставляется только для ознакомления. Она не отражает взгляды или мнения Gate и не является финансовой, инвестиционной или юридической рекомендацией. Торговля виртуальными активами связана с высоким риском. Пожалуйста, не основывайте свои решения исключительно на данных этой страницы. Подробнее смотрите в Дисклеймере.

Связанные новости

5ч назад

Cursor обнаруживает, что ведущие модели кода повторно используют 63% общедоступных исправлений, производительность падает с 87,1% до 73% в офлайн-режиме

6ч назад

На июнь 2026 года Codex составляет 99,8% внутреннего объёма токенов OpenAI.

10ч назад

Злоумышленники используют ИИ для атаки на старые смарт-контракты; Aztec, TOP — эксплойтированы в июне, потери превысили 5,7 миллиона долларов

12ч назад

Monad интегрирует инфраструктуру конфиденциальности Unlink для обеспечения конфиденциальных ончейн-операций

06-25 06:54

Критическая уязвимость CI/CD Cordyceps обнаружена в репозиториях с открытым исходным кодом Microsoft, Google и Apache сегодня

Детальный анализ