Claude 4.8 разрушает крипто-«веру в математику»: эра AI-аудита безопасности наступила
Claude 4.8 разрушает крипто-«веру в математику»: эра AI-аудита безопасности наступила
Введение: когда AI начинает сомневаться в математике
В начале июня 2026 года, казалось бы, рутинный аудит кода вызвал шок на криптовалютном рынке. Исследователь безопасности Taylor Hornby с помощью модели Claude Opus 4.8 от Anthropic обнаружил критическую уязвимость в схеме защищенного пула Orchard сети Zcash (ZEC) — дефект, существовавший с мая 2022 года, позволяющий генерировать неограниченное количество необнаружимых фальшивых ZEC. В течение 24 часов после раскрытия ZEC рухнул примерно на 30%, с ~$700 до ~$400.
Но это больше, чем кризис одной приватной монеты. Это структурный сдвиг: AI-модели фундаментально меняют ландшафт безопасности криптовалют. А Claude Opus 4.8 даже не сильнейшая модель Anthropic — легендарная модель уровня Mythos, еще не полностью выпущенная, уже продемонстрировала способности, способные потрясти всю криптоиндустрию.
1. Разбор инцидента Zcash: как AI нашел «необнаружимую» уязвимость
Zcash построен на технологии zero-knowledge proof (ZKP). Защищенный пул Orchard использует систему доказывания Halo 2, безопасность которой зависит от корректности ограничений схемы.
Hornby обнаружил «чрезмерно разрешительное» правило схемы: система доказывания некорректно принимала комбинации параметров транзакций, которые не должны были быть разрешены. Атакующий мог генерировать полностью валидный zero-knowledge proof без реальных активов.
Ключевая проблема: уязвимость была скрыта глубоко в сложных криптографических схемах, включающих операции на эллиптических кривых, полиномиальные коммитменты и взаимодействие систем ограничений. Традиционный ручной аудит занял бы недели или месяцы, а AI быстро указал на аномалию.
«Суперсилы» Claude Opus 4.8
- Уровень пропуска дефектов кода снижен до ~1/4 от Opus 4.7
- Способен к автономному многошаговому рассуждению, отслеживанию межфайловых зависимостей
- Оснащен «маркировкой неуверенности» — когда модель не уверена в выводе, она активно сигнализирует об этом
2. Mythos: «Высший аудитор» еще на свободе
Одновременно с Opus 4.8 Anthropic показала модель уровня Mythos. По имеющейся информации:
- Ранее доступна только через Project Glasswing ~50 партнерам
- Обнаружила свыше десяти тысяч критических уязвимостей
- Может автономно находить zero-day уязвимости и писать эксплойты
В тесте Firefox 147 Mythos сгенерировал 181 успешный эксплойт — 90x скачок над Opus 4.6.
Почему Mythos не выпущен публично? Его возможности слишком опасны:
«Mythos Preview может идентифицировать и эксплуатировать zero-day уязвимости… Если станет широко доступен, ускорит кампании кибератак.»
Более 99% обнаруженных Mythos уязвимостей остаются неисправленными.
3. Технологический сдвиг: от «трудоемкого» к «вычислительному» аудиту
| Метод | Время обнаружения | Стоимость | Обнаружение zero-day |
|---|---|---|---|
| Традиционный ручной аудит | 120 дней | $500K | Низкая |
| AI-ассистированный аудит | 14 дней | $80K | Высокая |
| AI-автономный аудит | 3 дня | $20K | Очень высокая |
40-кратное повышение эффективности, 96% снижение стоимости.
4. Оценка угроз по типам активов
| Тип | Краткосрочно | Среднесрочно | Долгосрочно |
|---|---|---|---|
| Приватные монеты | ★★★★★ | ★★★★★ | ★★★★☆ |
| DeFi токены | ★★★★☆ | ★★★★★ | ★★★★☆ |
| L1/L2 токены | ★★★☆☆ | ★★★★☆ | ★★★☆☆ |
| Bitcoin | ★★☆☆☆ | ★★☆☆☆ | ★★☆☆☆ |
5. Рыночное влияние
Обнаружение уязвимости Zcash не должно интерпретироваться упрощенно как «AI угрожает криптовалютам». Более точное описание: AI вынуждает криптоиндустрию перейти от «веры» к «доказательствам».
Краткосрочно — медвежий фактор для конкретных проектов. Долгосрочно — AI-аудит поднимет планку безопасности, отсеет некачественные проекты и очистит рынок.
Когда Mythos-модели будут полностью выпущены, криптоиндустрия пройдет «тотальное обследование». Технология нейтральна — побеждает тот, кто быстрее и полнее внедрит AI-инструменты защиты.