Основатель Ethereum Виталик Бутерин (Vitalik Buterin) 16 сентября 2026 года в соцсети X заявил: он не согласен с распространённым мнением о том, что развитие ИИ сделает взлом систем настолько лёгким для хакеров, что защититься от них станет практически невозможно. По его словам, при должной подготовке у защиты всегда есть преимущество. Тот, кто продолжает держать криптовалюту — включая самого Бутерина, у которого в криптоактивах остаётся около 90% состояния, — тем самым делает ставку именно на такой исход.
Главная идея: безопасность можно доказать, как теорему
Бутерин сравнил проверку программ с математикой. Современный ИИ уже умеет доказывать сложные математические теоремы — например, уравнения Навье — Стокса или Великую теорему Ферма. Значит, считает он, ИИ сможет доказать и утверждение «эта программа работает безопасно» — точно так же, как доказывают теорему, даже если сама программа очень сложная.
Речь не о том, кто быстрее — хакеры или защитники — найдёт уязвимость. Идея в другом: изначально писать код так, чтобы его безопасность можно было строго и математически подтвердить, а не искать дыры в готовой системе методом проб и ошибок.
Что вообще значит «безопасно»
Отдельно Бутерин объяснил, что само слово «безопасность» скрывает за собой множество условий. На примере мессенджера Signal он показал, что корректное определение безопасности должно учитывать сразу несколько вещей:
- сообщение нельзя прочитать без ключа получателя
- сообщение нельзя подделать или перехватить при активной атаке
- сервер не может вмешаться в переписку, а взлом устройства не должен ломать всю защиту
- данные не должны утекать через операционную систему, компиляторы или особенности работы оборудования
- скрыты должны быть даже размер сообщения и метаданные — кто, кому и когда его отправил
Даже такое подробное описание может занимать больше тысячи строк кода. Но, по словам Бутерина, само это описание — то есть список требований, — гораздо компактнее и проще для проверки, чем весь код программы целиком. Проверить, что список требований составлен правильно, проще, чем вручную разбирать всю программу, и с развитием инструментов эта задача становится ещё легче. Плюс требования можно проверять по отдельности и складывать вместе, а вот с кодом так не получится: ошибка в любом его месте способна сломать всю систему.
Почему раньше это не работало
Бутерин отметил, что прежние попытки проверки программ часто оказывались неполными: разработчики проверяли только те части кода, которые сами считали важными для безопасности, а остальное оставляли без внимания. Сейчас, по его мнению, нужно проверять программу целиком — включая базы данных, сетевые механизмы, промежуточное хранение данных и всё остальное. Современный ИИ, считает он, уже способен справляться с такой полной проверкой.
Именно в эту сторону, по словам Бутерина, будет двигаться Ethereum в ближайшие годы: без такой проверяемой безопасности у блокчейнов — особенно тех, что стремятся сочетать масштабируемость и приватность, — нет будущего. В своём сообщении он также сослался на собственную более раннюю статью о проверке программ.
Позиция Бутерина сводится к тому, что развитие ИИ помогает не только атакующим, но и защите: способность моделей доказывать сложные утверждения открывает путь к системам, безопасность которых подтверждена математически, а не выявлена задним числом. Для Ethereum это обозначено как одно из направлений развития на ближайшие годы.
Мнение ИИ
С точки зрения машинного анализа данных, параллель между доказательством теорем и доказательством безопасности кода выглядит красивее в теории, чем на практике: формальная верификация существует десятилетиями, и ее главным ограничением всегда была не сложность самого доказательства, а точность формулировки спецификации — того, что вообще считается «правильным» поведением программы. Тот же OpenAI в августе 2026 года признала, что ее модель Astra приблизилась к критическому порогу киберспособностей и приостановила часть внутренних работ — наступательные возможности ИИ развиваются ничуть не медленнее защитных.
Технический нюанс, который остается за кадром: доказуемая безопасность требует времени. Ранее Бутерин уже предлагал схему, где ИИ-агенты верифицируют каждую транзакцию, и там же указывалась проблема латентности — верификация сложных смарт-контрактов требует ресурсов, трудно совместимых с быстрыми транзакциями. Открытым остается вопрос, готовы ли разработчики блокчейнов платить вычислительную цену за математическую гарантию.
▼
Самые интересные и важные новости на нашем канале в Telegram