Anthropic Mythos против безопасности DeFi: стек аудита сломан

На этой неделе экосистема DeFi поглотила очередные убытки на сумму свыше $750 млн в результате серии взломов протоколов, которые на первый взгляд выглядели как обычная история: некорректно настроенные права доступа, уязвимости reentrancy, сбои в логике мостов. Но векторы атак становятся острее, время между обнаружением уязвимости и полным опустошением кошельков сокращается, а инструментарий на стороне атакующих вот-вот получит серьёзное обновление.

Mythos от Anthropic, их внутренняя система ИИ для автоматизированного исследования уязвимостей, не просто находит баги быстрее. Она рассуждает над целыми кодовыми базами, выстраивает цепочки из примитивов эксплойтов и работает на скорости, при которой существующие защиты DeFi не просто медленны, они структурно нерелевантны. Это не маргинальное улучшение существующего инструментария атакующих. Это смена категории.

Неделя убытков в $750 млн не является случайным совпадением по времени. Это предпросмотр того, что происходит, когда асимметрия наступления и обороны в безопасности DeFi расширяется, а не сужается.

Почему стек трений DeFi никогда не был настоящей безопасностью

Доминирующая модель безопасности DeFi является театром трений. Работает это так: сделать эксплойты достаточно раздражающими, чтобы большинство атакующих не стали беспокоиться, и достаточно дорогостоящими, чтобы тех, кто всё же решится, можно было заметить до того, как они всё опустошат.

Реальные механизмы:

• Мультисиг, требует подписи M из N держателей ключей, добавляя накладные расходы на координацию
• Таймлоки, задерживают выполнение обновлений и крупных переводов на 24-72 часа
• Аудиты, периодические проверки кода такими фирмами, как Trail of Bits, Certik, OpenZeppelin

Это работает против оппортунистических атакующих со средним техническим уровнем. Это не работает против системы ИИ, которая может прочитать кодовую базу на 50 000 строк Solidity за секунды, выявить неочевидные взаимодействия состояний между контрактами и сгенерировать рабочую цепочку эксплойта прежде, чем любой человек-аналитик завершит свой первый проход.

Стек трений был разработан с учётом экономики атакующих-людей. Mythos полностью меняет функцию стоимости.

Что Mythos на самом деле делает с поверхностью атаки

Как подробно описано в техническом превью Mythos от Anthropic, система умеет анализировать реализации TLS, выявлять паттерны повторного использования нонсов AES-GCM и отслеживать цепочки зависимостей в сложных программных стеках. Подобный анализ TLS и AES-GCM от Mythos прежде требовал участия старшего криптографа и нескольких недель работы.

Применительно к DeFi это выражается в нескольких конкретных векторах угроз:

1. Цепочки эксплойтов между контрактами. Большинство крупных взломов 2024-2025 годов эксплуатировали взаимодействия между контрактами, а не уязвимости отдельных контрактов. ИИ класса Mythos способен моделировать такие взаимодействия системно. Инцидент с Kelp DAO, который я описывал ранее, где неправильная конфигурация LayerZero DVN обошлась в $292 млн, — это именно тот тип многосистемного взаимодействия, для обнаружения которого создан Mythos.

2. Цепочки уязвимостей нулевого дня на машинной скорости. Уязвимости нулевого дня, связанные с ИИ, в сфере криптовалют не являются теоретической угрозой. Опасность состоит в том, что ИИ-система способна выявить три отдельные проблемы низкой степени критичности и объединить их в критический путь эксплойта, который ни один аудитор-человек не смог бы связать воедино.

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

Всё это не требует злонамеренного применения Mythos. Те же возможности, которые доступны исследователям Anthropic, в том или ином виде станут доступны всем в течение 18-24 месяцев.

Аудит смарт-контрактов DeFi уже устаревает

Индустрия аудита не успевает за темпами развития. Типичный аудит первого уровня стоит $50 000-$300 000, занимает 4-8 недель и охватывает фиксированный снимок кодовой базы. Протоколы постоянно выпускают обновления. Аудит нередко устаревает ещё до того, как успевают просохнуть чернила.

Хуже того, аудиты порождают ложную уверенность. Как свидетельствует анализ Olympix о причинах провала аудитов смарт-контрактов, Euler Finance проходил аудиты. Ronin проходил аудиты. Nomad проходил аудиты. Взлом моста Ronin на $625 млн в 2022 году оказался возможным именно потому, что аудиторы проверяли контракты в изоляции, не затрагивая процесс управления ключами валидаторов, от которого те зависели.

Фраза «мы прошли аудит» в 2026 году будет нести примерно такой же сигнал безопасности, как фраза «мы используем HTTPS» в 2015-м. Это базовая гигиена, а не защитная позиция.

Устаревание аудитов смарт-контрактов DeFi уже наступило для протоколов, работающих в масштабе, и эту закономерность подтверждает исследование Olympix о состоянии безопасности Web3, показывающее, что большинство эксплойтов происходит из уже проверенных контрактов. Вопрос в том, адаптируются ли команды или продолжат покупать тот же дорогой и недостаточный охват.

Project Glasswing и системы управления рисками ИИ, возникающие в ответ

Не все дремлют. Project Glasswing, инициатива по исследованию безопасности ИИ для криптосферы, разрабатывает системы непрерывного мониторинга на основе ИИ, способные работать со скоростью угроз, которые порождает сам ИИ. Ключевая идея верна: если ИИ может находить эксплойты в режиме реального времени, уровень обнаружения и реагирования тоже должен работать в реальном времени.

Это означает переход от периодических аудитов к:

• Мониторингу инвариантов, проверкам на блокчейне, сигнализирующим о нарушении ожидаемых условий состояния контракта
• Формальной верификации, математическим доказательствам корректности основной логики протокола, а не просто неформальной проверке
• Непрерывным конвейерам фаззинга, автоматической генерации тестов, запускаемой при каждом коммите, а не только во время аудита

Некоторые протоколы уже здесь. Архитектура хуков Uniswap v4 разрабатывалась с прицелом на формальную верификацию. MakerDAO серьёзно вложился в моделирование экономической безопасности. Но это исключения. Медианный DeFi-протокол в 2025 году по-прежнему выходит в продакшн с одним аудитом и 48-часовым таймлоком, считая это достаточным.

Математика Таймлоков Больше Не Работает

Вот в чём структурная проблема таймлоков как таковых: они предполагают, что у аналитика-человека есть время изучить ожидающую транзакцию, распознать её как вредоносную и скоординировать ответные действия до её исполнения.

При 48-72 часах это реально. Компетентная команда безопасности способна мобилизоваться, оценить ситуацию и отреагировать.

Теперь представьте атакующего, использующего цепочки AI-эксплойтов в DeFi, чтобы обнаружить уязвимость, создать эксплойт, подготовить governance-предложение, выглядящее легитимным, и раскрыть вредоносную нагрузку лишь через условный путь исполнения, активируемый уже после истечения таймлока. Таймлок не дал сбой -- дала сбой лежащая в его основе посылка о скорости анализа.

Поверхность атаки на уровне governance -- следующий крупный рубеж. Я ожидаю в 2026 году хотя бы один значимый эксплойт на уровне governance, который обнажит именно этот пробел.

Как Должен Выглядеть Реальный Стек Защиты

Безопасность на основе трения должна уступить место безопасности на основе корректности. Практический путь вперёд состоит из трёх уровней:

Уровень 1: формальная верификация в ядре протокола. Не всего подряд, но логики расчётов, инвариантов учёта, паттернов управления доступом. Certora и Halmos готовы к продакшну. У протокола с TVL в $500 млн нет оправдания не использовать их.

Уровень 2: непрерывный мониторинг с поддержкой AI. Такие инструменты, как Forta Network, Hexagate и Hypernative, делают реальную работу. Они выявляют аномальное поведение on-chain до его завершения. Это слой обнаружения, который должен масштабироваться в соответствии с угрозами, действующими на скорости AI.

Уровень 3: реагирование на инциденты, которое может двигаться быстрее голосования DAO. Механизмы приостановки, активирующиеся по автоматическому обнаружению, а не после принятия предложения о governance. Экстренные мультисиги с заранее авторизованными сценариями реагирования. Быстрое реагирование команды Euler в 2023 году, вернувшей $197 млн путём переговоров, отчасти сработало потому, что у них был чёткий ответственный, способный действовать незамедлительно. У большинства протоколов его нет.

Инфраструктура платежей AI-агентов, которую я рассматривал в материале об x402 и автономных платёжных рельсах, также имеет отношение к теме: по мере того как AI-агенты совершают автономные транзакции в сети, поверхность атаки для эксплойтов с применением ИИ масштабируется вместе с объёмом транзакций, а не только с количеством протоколов.

Главный вопрос в том, кто адаптируется первым

Mythos от Anthropic означает публичное признание того, что AI-системы теперь работают на переднем крае исследований уязвимостей. Те же аналитические возможности будут распространяться дальше. Так всегда бывает.

DeFi-протоколы, которые переживут следующие два года, будут теми, кто относится к безопасности как к непрерывной инженерной задаче, а не к галочке в списке соответствия требованиям. Те, кто этого не сделает, станут материалом для разбора ошибок.

Неделя с $750 млн потерь -- это не худший сценарий. Это базовый уровень, вокруг которого мы нормализуем ситуацию ещё до того, как инструментарий подешевеет и станет доступнее. Окно для перестройки оборонного стека открыто, но ненадолго.

I don't see any text to translate in your message -- only source links. Could you share the actual content you'd like translated into Russian?