Основоположник Zcash Зуко Уилкокс (Zooko Wilcox) сказал, что аудит безопасности, проведённый при помощи ИИ-модели Anthropic Mythos, не обнаружил серьёзных незащищенностей в протоколе направленной на конфиденциальность цифровой валюты — и это по результатам ликвидации найденного до этого бага подделки операций.
Аудит по заказу Shielded Labs
Проверку инициировала Shielded Labs — швейцарский некоммерческий фонд поддержки разработки Zcash. Согласно мнению Уилкокса, ИИ-аудит не нашел «никаких новых серьёзных багов» в протоколе Zcash.
3 июня создатели Zcash временно остановили операции в пуле Orchard после нахождения незащищенности в защищённом пуле. тогда же через критическое обновление функциональность была восстановлена. Предпосылкой стал баг подделки данных четырёхлетней давности в защищённом пуле Orchard — его нашёл исследователь безопасности Тейлор Хорнби (Taylor Hornby) при помощи модели Claude Opus 4.8. Фонд Zcash сообщил, что признаков использования незащищенности выявлено не было, несогласованного сотворения монет не зафиксировано, а конфиденциальнным данным пользователей ничто не грозит.
ИИ-модели: инструмент защиты и угроза сразу
Пока создатели употребляют новые ИИ-модели для поиска незащищенностей, та же разработка порождает новые опасности для промышленности.
Накануне Anthropic выпустила первую публичную версию модели Claude Mythos — Fable 5. Ещё месяцем до этого компания рассказывала, что Mythos обнаружила свыше 10 000 незащищенностей высочайшей и критичной степени серьёзности в «системно важном программном обеспечении». Это повлекло острые споры о том, стоит делать такую модель общедоступной.
Anthropic заверила пользователей, что Fable 5 «приспособлена для широкого внедрения» и вооружена защитными механизмами: запросы по ряду тем, также по информационной безопасности, автоматом перенаправляются к модели Claude Opus 4.8. Но уже спустя несколько суток компания остановила доступ к моделям Fable 5 и Mythos 5 — по просьбе американских регуляторов в рамках экспортного контроля, ссылаясь на суждения государственной безопасности.
«Апокалипсис незащищенностей» в DeFi
Распространение массивных ИИ-моделей меняет расстановку сил в информационной безопасности — и не в пользу защитников. Глава площадки по розыску багов Immunefi Митчелл Амадор (Mitchell Amador) обрисовал происходящее как «апокалипсис незащищенностей»: преступники получают инструменты, которые до этого были доступны только опытным исследователям безопасности, что подстёгивает волну взломов в сфере децентрализованных денег (DeFi).
Статистика удостоверяет тревогу: по данным DefiLlama, в апреле утраты от взломов в криптоиндустрии достигнули $634 млн — больший месячный показатель со времён взлома Bybit, когда в феврале 2025 года было украдено около $1,4 миллиардов.
Результаты аудита Zcash показывают, что ИИ способен отлично выявлять незащищенности перед тем, как ими воспользуются преступники. При этом приостановка доступа к Fable 5 и Mythos 5 по просьбе государственных органов Соединенных Штатов показывает на то, что регуляторы всё внимательнее смотрят за распространением более массивных ИИ-инструментов.
Мнение ИИ
Исходя из убеждений архитектуры протоколов с нулевым обнародованием (zero-knowledge proof) положение с Zcash поднимает вопрос, выходящий за рамки определенного происшествия. Баг просидел в схеме Halo2 4 года — и это не исключение, а быстрее правило: спецы Veridise фиксируют критичные незащищенности в каждом ZK-аудите, который проводят. Трудность системная — математически трудные схемы ограничений плохо поддаются ревью человечьим глазом, и конкретно тут ИИ-модели получают структурное преимущество над классическими аудиторами.
Главный вопрос, который история с Zcash оставляет открытым, касается быстрее ненайденных незащищенностей. Конфиденциальность пула Orchard по собственной природе исключает возможность ретроспективной проверки эмиссии ZEC за четырёхлетний период — конкретно потому Shielded Labs готовит предложение по механизму «турникета» для подтверждения целостности предложения монет. Как ИИ-аудит способен закрыть данный структурный пробел — пока остаётся открытым вопросом.