Команда Monad поделилась опытом формальной верификации, выявив несколько уязвимостей безопасности в блокчейне, которые были пропущены при проверке с помощью AI-моделей.
По сообщению Foresight News, команда разработчиков Monad, Category Labs, опубликовала статью, в которой поделилась опытом использования метода формальной верификации для выявления уязвимостей ключевых модулей блокчейна Monad. В публикации раскрывается, что несколько передовых крупных моделей, таких как Claude Opus 4.8 и Codex, не смогли обнаружить определённые уязвимости при аудите кода, в то время как процесс формального доказательства успешно их выявил. Речь идет о проблемах в механизме асинхронного исполнения Monad, связанных с дизайном «Reserve Balance» (резервный баланс), а также о не определённом поведении C++ при оптимизации хранения в MIP-8. Команда считает, что по сравнению с прямым требованием к модели «аудировать код», подход, при котором сначала формулируется точное утверждение о корректности, а затем модель ищет контрпример, более эффективен для выявления скрытых уязвимостей. На сегодняшний день формальная верификация уже может эффективно выполняться с помощью AI.
Дисклеймер: содержание этой статьи отражает исключительно мнение автора и не представляет платформу в каком-либо качестве. Данная статья не должна являться ориентиром при принятии инвестиционных решений.
Вам также может понравиться
Это произошло только дважды в истории! Индекс S&P 500 с равным взвешиванием, вероятно, зафиксирует седьмую подряд неделю падения.
Индекс S&P 500 Equal Weight, вероятно, будет падать седьмую неделю подряд. Если снижение продолжится до пятницы, это станет всего лишь третьим случаем в истории, когда индекс падает семь недель подряд.
Трамп требует, чтобы Пауэлл ушёл в отставку с поста председателя Федеральной резервной системы, обвиняя его в серьёзной перерасходе на ремонт штаб-квартиры.
Президент США Трамп в среду потребовал, чтобы бывший председатель Федеральной резервной системы Джером Пауэлл ушёл в отставку с поста члена Совета управляющих Федеральной резервной системы, после того как отчёт по инспекции проекта реконструкции штаб-квартиры ФРС выявил ряд проблем в управлении проектом и значительное превышение расходов.
Цены на крипто
Далее
