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

2026-06-26 13:02:37

MON-1,19%

За даними Foresight News, команда Category Labs із Monad нещодавно поділилася результатами формальної верифікації блокчейну Monad, виявивши численні вразливості безпеки, які передові моделі ШІ, зокрема Claude Opus 4.8 та Codex, не змогли ідентифікувати під час перевірки коду.

Виявлені помилки стосуються дизайну резервного балансу в механізмі асинхронного виконання Monad та проблем невизначеної поведінки C++ в оптимізації зберігання MIP-8. Команда продемонструвала, що формальна верифікація успішно виявила ці недоліки, підкресливши, як визначення точних пропозицій щодо коректності перед запитом до ШІ знайти контрприклади є більш ефективним для виявлення прихованих вразливостей, ніж прямі запити на перевірку коду.

Переглянути джерело

Застереження: інформація на цій сторінці може походити зі сторонніх джерел і надається виключно для ознайомлення. Вона не відображає позицію чи думку Gate і не є фінансовою, інвестиційною чи юридичною консультацією. Торгівля віртуальними активами пов’язана з високим ризиком. Будь ласка, не покладайтеся лише на інформацію з цієї сторінки під час прийняття рішень. Детальніше дивіться у Застереженні.

Пов’язані новини

3год тому

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

3год тому

Codex становить 99,8% внутрішнього випуску токенів OpenAI станом на червень 2026 року.

8год тому

Зловмисники використовують ШІ для націлювання на старі смартконтракти; Aztec, TOP експлуатовані у червні, втрати понад 5,7 мільйона доларів

10год тому

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

06-25 06:54

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

Поглиблений аналіз