Виталик Бутерин считает, что передовые технологии ИИ улучшат кибербезопасность благодаря формальной верификации.
Ethereum использует ИИ-агентов для выявления уязвимостей в программном обеспечении.
Anthropic отмечает рост возможностей ИИ в наступательных кибернетических тактиках.
Виталик Бутерин опроверг все обвинения относительно способности хакеров с ИИ сделать кибербезопасность незащитной из‑за достижений в области технологий искусственного интеллекта. Бутерин заявил, что ИИ может помочь улучшить систему кибербезопасности посредством формальной верификации. Она подразумевает использование математических доказательств для оценки свойств безопасности программного обеспечения. Однако Бутерин признал, что верификация не может защитить систему от багов, которые разработчики оставили без внимания в своих спецификациях. Похожим образом Ethereum подчеркнул необходимость исчерпывающих спецификаций безопасности. Кроме того, Бутерин указал, что примерно 90 процентов его чистого состояния находится в криптовалютах.
Становится все более распространенным мнение, что взлом с помощью ИИ означает, что кибербезопасность обречена. Я с этим не согласен. Я думаю, что кибербезопасность по своей природе благоприятствует защите, если люди приведут дела в порядок. И любой, кто продолжает держать криптовалюту (включая меня, ~90% моих активов), неявно…
— vitalik.eth (@VitalikButerin) 16 сентября 2026
Сочетание ИИ с исследованиями безопасности стало рутиной для Ethereum
Уже сейчас ИИ-агенты используются учеными Ethereum для анализа кода протокола и самостоятельного воспроизведения уязвимостей. Фонд объявил, что скоординированные ИИ-агенты помогли выявить реальные уязвимости в ходе проведения исследований по безопасности. В одном случае это был удаленно эксплуатируемый сбой сетевого протокола Gossipsub библиотеки Rust libp2p.
Об этом стало известно как о CVE-2026-34219 после того, как исследователи независимо воспроизвели проблему. Тем временем ученые Ethereum продолжают разрабатывать формальную верификацию в нескольких проектах по разработке протоколов. Проект better.codes Фонда также использует ИИ-агенты вместе с доказательствами, проверяемыми машиной, в Lean. В более общем смысле, дорожная карта Ethereum включает формальную верификацию вместе с системами конфиденциальности, схемами с нулевым разглашением (zero-knowledge) и исследованиями постквантовой безопасности.
ИИ усиливает и наступательные кибероперации
Согласно сентябрьскому отчету Anthropic об угрозах, злоумышленники использовали ИИ на разных этапах своих операций. Эти этапы включали исследование уязвимостей, эксплуатацию и анализ данных. Кроме того, компания сообщила об автоматизированных техниках, применявшихся в атаках на государственные учреждения, технологические компании и другую инфраструктуру.
Сказано, что Anthropic считает: ИИ способен выполнять сложные задачи, которые иначе требовали бы специализированных человеческих команд. В то же время Anthropic использовала модели ИИ, чтобы находить уязвимости в проектах с открытым исходным кодом. Таким образом, применение ИИ продемонстрировало расширяющиеся возможности как в наступательных, так и в оборонительных операциях. Бутерин строит аргумент на том, может ли верификация на основе ИИ обеспечить более сильную защиту от продвинутых атак. Исследования Ethereum дают практическую площадку для проверки подобных подходов. Вопрос остается в том, насколько далеко ИИ-верификация компонентов может быть расширена до верификации целых цифровых систем.
Акцентированные новости криптовалют:
Хакеры Revolut требуют $3 млн в Monero и угрожают продать 680 файлов клиентов