Виталик Бутерин: ИИ не разрушит кибербезопасность — почему он все еще держит 90% своего богатства в криптовалюте

2026/09/21 15:29:00

Виталик Бутерин утверждает, что ИИ может усилить кибербезопасность с помощью формальной верификации

Сооснователь ethereum Виталик Бутерин публично отверг распространяющуюся точку зрения, согласно которой передовые искусственные интеллекты сделают кибербезопасность проигранной. В подробном посте на X от 16 сентября 2026 года он заявил, что кибербезопасность остается в принципе выгодной для защиты при применении строгих методов, а сохранение криптовалюты представляет собой неявную ставку на этот исход. Он отметил, что криптовалюта составляет примерно 90 процентов его собственного чистого состояния. Эти комментарии прозвучали на фоне более широких дискуссий об атаках с использованием ИИ на цифровую инфраструктуру и последовали за предыдущим обменом мнениями, в котором он отверг прогнозы резкого падения цены bitcoin, обусловленного сбоями в безопасности.

Позиция Бутерина основана на потенциале формальной верификации с использованием ИИ для доказательства того, что сложное программное обеспечение соответствует точно определенным свойствам безопасности, смещая акцент с реактивного поиска ошибок на проактивную математическую гарантию. Эта позиция имеет особое значение для ethereum, где масштабируемость и обновления конфиденциальности требуют повышенной уверенности в базовом коде. Заявления Виталика Бутерина за сентябрь 2026 года устанавливают, что ИИ в конечном итоге будет способствовать защитникам за счет формальной верификации свойств безопасности программного обеспечения — убеждение, подкрепленное его постоянным выделением примерно 90 процентов личного чистого богатства на криптовалютные активы.

Прямой опровержение Виталика против утверждений, что хакерские атаки с использованием ИИ обрекают кибербезопасность

В своем посте на X от 16 сентября 2026 года Виталик Бутерин рассмотрел распространенную точку зрения, согласно которой хакерские атаки, управляемые ИИ, обречут кибербезопасность. Он не согласился с этим, утверждая, что кибербезопасность естественным образом благоприятствует обороне, если участники применяют дисциплинированные методы. Он прямо связал эту оценку с владением криптовалютой, написав, что любой, кто продолжает держать криптовалюту, включая его самого, с примерно 90 процентами своего чистого богатства, косвенно делает ставку на жизнеспособность безопасных цифровых систем. Бутерин представил эту проблему не как неизбежное наступательное преимущество для злоумышленников, а как проблему перехода, которую можно решить с помощью строгой инженерии.

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

Формальная верификация как математический путь к доказательству безопасности программ

Основной технический тезис Бутерина основан на формальной верификации — практике использования математических спецификаций и доказательств для демонстрации того, что программное обеспечение ведет себя в соответствии с заранее заданными свойствами во всех соответствующих состояниях, а не просто при тестировании отдельных сценариев. Он утверждал, что если ИИ может доказывать результаты, такие как уравнения Навье-Стокса или Великая теорема Ферма, то та же сила рассуждений может доказать утверждение о том, что данная программа безопасна, даже если сама программа сложна. Формальная верификация давно применяется в областях с высокими требованиями к надежности, таких как аэрокосмическая отрасль и криптография; новизна в взгляде Бутерина заключается в том, что ИИ снижает стоимость и расширяет возможный объем таких доказательств.

После того как доказательство проверено машиной и принято, оно остается постоянным, тогда как обнаружение ранее неизвестной уязвимости злоумышленником — это одноразовое событие. Эта асимметрия лежит в основе утверждения, что кибербезопасность в долгосрочной перспективе выгодна обороне. Метод не устраняет необходимость тщательной разработки спецификаций; он усиливает эффективность хорошо составленных спецификаций. Принимая утверждения о безопасности как математические теоремы, разработчики переходят от вероятностной уверенности, основанной на покрытии тестами, к детерминированной гарантии в рамках выбранной модели. Этот переход особенно актуален для блокчейн-систем, где одна лишь тонкая ошибка может повлиять на крупные объемы стоимости. Таким образом, аргумент переосмысливает ИИ как инструмент двойного назначения, применение которого в оборонительных целях может доминировать, как только отрасль инвестирует в необходимые инструменты и дисциплину.

Определение безопасности на уровне ключей, серверов, операционных систем и полных стеков

Критическим уточнением в рассуждениях Бутерина является то, что само понятие «безопасный» должно быть определено достаточно широко. Определения безопасности могут превышать тысячу строк формальной спецификации, поскольку необходимо учесть управление ключами, компрометацию серверов, целостность операционной системы, базы данных, сетевые уровни, кэши, утечки по побочным каналам и риски цепочки поставок. Математические доказательства подтверждают только те свойства, которые явно включены в модель; риски за пределами модели остаются неучтенными. Поэтому Бутерин подчеркнул, что ИИ может помогать не только в генерации доказательств, но и в анализе спецификаций на предмет неполноты и их укреплении до развертывания.

Практическое следствие заключается в том, что команды не могут ограничивать усилия по верификации изолированными критически важными для безопасности компонентами; им в конечном итоге необходимо охватить взаимодействия между компонентами. Такой подход «от начала до конца» повышает инженерные требования, но одновременно поднимает потолок доверия. Для систем, сочетающих высокую масштабируемость с функциями конфиденциальности, неполные определения оставляют уязвимые поверхности, которыми могут воспользоваться автоматизированные инструменты. Настаивая на всеобъемлющих определениях, Бутерин перенаправляет внимание с громких успехов атак на более тихую работу по качеству спецификаций. В результате получается более реалистичная оценка как возможностей, так и ограничений формальных методов в сложных производственных средах.

Многолетнее направление ethereum к полной верификации с использованием ИИ

Бутерин заявил, что развитие ethereum в ближайшие годы будет продвигаться по пути формальной верификации, который он обозначил. Блокчейн-системы, стремящиеся к масштабируемости и функциям конфиденциальности, особенно нуждаются в этой основе; без более надежных гарантий программной безопасности эти функции рискуют расширять, а не сокращать поверхность атак. Исследования Ethereum Foundation уже рассматривают формальную верификацию как сквозной инструмент для нескольких долгосрочных протокольных направлений. Согласно отчету crypto.news от 17 сентября, команды безопасности начали использовать AI-агентов для проверки кода протокола и самостоятельного воспроизведения уязвимостей. Исследователи работают над архитектурами, в которых валидаторы проверяют краткие доказательства выполнения, а не повторно выполняют каждый блок.

Дополнительные усилия объединяют AI-агенты с машинно-проверяемыми доказательствами для реализаций клиентов, соответствия протоколу и инфраструктуры виртуальной машины с доказательством с нулевым разглашением. Эти инициативы согласуются с более широкой технической дорожной картой, которая ставит формальную верификацию наравне с конфиденциальностью, доказательствами с нулевым разглашением и постквантовой защитой. Направление отражает признание того, что традиционное тестирование и человеческий обзор в одиночку не масштабируются на сложность обновлений протоколов следующего поколения. Встраивая верификацию в исследовательскую повестку дня, ethereum позиционирует себя так, чтобы поглощать возможности ИИ как защитный мультипликатор, а не просто реагировать на наступательные достижения. Многолетний горизонт подчеркивает, что переход, описанный Бутериным, представляет собой инженерную программу, а не мгновенное переключение.

Существующие проекты, демонстрирующие формально верифицированные криптографические компоненты

Конкретные проекты уже иллюстрируют этот подход. Arklib разрабатывает формально верифицированную реализацию STARKs — крупного семейства систем доказательств с нулевым разглашением — внутри теоремного провайдера Lean. Каждый компонент, от полиномиальной арифметики до протокола FRI и меркелевских обязательств, предназначен для предоставления машинно-проверенных доказательств корректности. Связанное усилие, evm-asm, создает абстракцию Ethereum Virtual Machine, предназначенную для формального анализа. Дополнительная работа охватывает конвейеры верификации Rust-to-Lean, которые извлекают производственный криптографический код, генерируют спецификации и замыкают доказательственные обязательства с помощью AI-доказателей, сохраняя проверенную ядерную корректность.

Отчеты за середину 2026 года и обновления за сентябрь подтверждают активную формализацию протоколов суммирования, Spartan, деревьев Меркла, теории кодирования, связанной с FRI, и других примитивов. Эти усилия демонстрируют, что конечная верификация критической криптографической инфраструктуры переходит от исследовательского прототипа к переиспользуемой библиотеке. Существование таких проектов предоставляет эмпирическую основу для утверждения Бутерина о том, что необходимые инструменты появляются. Разработчики могут изучить публичные репозитории и примечания к выпускам, чтобы оценить текущий уровень покрытия и оставшиеся пробелы. Прогресс в этих библиотеках снижает предельные затраты на применение формальных методов к новым компонентам протоколов и предоставляет переиспользуемые проверенные строительные блоки для систем более высокого уровня.

Распределение личного богатства как явная ставка на защитные технологии

Бутерин неоднократно связывал свой технический прогноз с личным распределением капитала. Заявив, что примерно 90 процентов его чистого состояния остаются в криптовалюте, он представил сохранение владения как неявную ставку на то, что можно построить высоко защищенные цифровые системы, несмотря на более мощных автоматизированных злоумышленников. Эта цифра появилась как в сообщении по кибербезопасности от 16 сентября, так и в более раннем ответе от 7 сентября на прогнозы значительного снижения цены Bitcoin. Сопутствующие материалы уточнили, что это заявление не означает чистой позиции по Bitcoin; основная часть известных активов приходится на ether и связанные активы, поэтому экспозицию лучше понимать как широкую приверженность устойчивости децентрализованных систем.

Данные рынка от 17 сентября показали, что bitcoin находился около 76 000 долларов, а ether — около 2 400–2 460 долларов, что иллюстрирует масштаб стоимости, связанной с этими предположениями о безопасности. Раскрытие информации служит высокосигнальной точкой данных, поскольку оно добровольно предоставлено ключевой фигурой, чьи технические суждения исторически влияли на направление протокола. Читатели могут сопоставить заявление о состоянии капитала с отчетами о прозрачности в цепочке и предыдущими комментариями, связанными с фондом, чтобы сформировать независимое представление о согласованности. Связь капитала и убежденности предоставляет практический пример того, как долгосрочный оптимизм в отношении безопасности может выражаться вне чисто научных статей.

Ранее в сентябре биржа о рисках ИИ для основной безопасности bitcoin

7 сентября 2026 года Бутерин ответил на оценку инвестора Лирона Шапиры, который присвоил вероятность 50 процентов падению биткоина более чем на 50 процентов в течение двух лет из-за того, что искусственный интеллект может подорвать предположения о безопасности. Бутерин занял противоположную позицию, заявив, что он сохраняет оптимизм в отношении кибербезопасности в долгосрочной перспективе и считает основной трудностью управление переходом. Он ожидал, что биткоин справится с проблемами, не требующими широкого социального консенсуса, такими как корректировки клиентов или майнинговых пулов, и придал чрезвычайно низкую вероятность фундаментальным сбоям в хэш-функциях или доказательстве работы.

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

Результаты улучшений масштабируемости и конфиденциальности в блокчейн-сетях

Системы, одновременно обеспечивающие высокую пропускную способность и сильные свойства конфиденциальности, расширяют поверхность, которую необходимо защитить. Доказательства с нулевым разглашением, рекурсивные системы доказательств и сложная логика перехода состояний вводят тонкие требования к корректности, которые традиционное тестирование не может исчерпать. Формальная верификация предлагает путь к более высокой степени уверенности именно потому, что требования безопасности могут быть сформулированы математически и проверены механически. Аргумент Бутерина подразумевает, что без прогресса в инструментах верификации амбициозные дорожные карты масштабируемости и конфиденциальности сталкиваются с повышенным остаточным риском. Напротив, успешное применение доказательств с помощью ИИ может открыть эти функции с большей уверенностью.

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

Балансирование ускоренных наступательных возможностей и достижений в области защитных инструментов

Системы Frontier AI могут ускорять обнаружение уязвимостей и разработку атак, что подтверждается несколькими исследовательскими организациями. Anthropic и другие лаборатории сообщили, что модели выявили большое количество недостатков. Бутерин не отрицает этого наступательного прогресса; он утверждает, что аналогичный прогресс в машинных рассуждениях может снизить стоимость построения формальных доказательств и уточнения спецификаций безопасности. Решающим фактором становится институциональная и инженерная дисциплина, а не просто способность модели. Как только доказательства созданы и проверены машиной, они остаются; отдельные эксплойты остаются изолированными событиями.

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

Пространство контекста для методов высокой надежности в коде, критичном к значению

Формальные методы исторически использовались только в областях, где стоимость сбоев чрезвычайно высока. Криптографические библиотеки, код, критически важный для консенсуса, и цепочки нулевого знания теперь относятся к этой категории из-за финансовой и системной ценности, которую они защищают. Появление переиспользуемых верифицированных библиотек, таких как Arklib, и поддерживающих их конвейеров верификации указывает на снижение барьеров для входа. Помощь ИИ дополнительно снижает потребность в специалистах для выполнения многих требований доказательств, сохраняя корректность за счет проверки ядра.

Решение ethereum рассматривать формальную верификацию как сквозной инструмент отражает признание этого сдвига. Другие экосистемы блокчейн и операторы традиционной финансовой инфраструктуры сталкиваются с аналогичными вызовами по мере улучшения автоматизированных инструментов атак. Обсуждение в сентябре 2026 года таким образом вносит вклад в более широкий диалог о соответствующем уровне гарантий для программного обеспечения, лежащего в основе систем цифровых активов. Практики могут отслеживать публичный прогресс в области криптографических формализаций на основе Lean и конвейеров преобразования Rust в Lean, чтобы оценить текущее состояние искусства и оставшиеся инженерные пробелы.

Практические соображения для команд, создающих проверяемые системы

Команды, желающие применить этот подход, должны начать с точных определений безопасности, охватывающих соответствующую модель угроз, а затем выбрать инструменты, способные обеспечить машино-проверяемые доказательства. Существующие проекты демонстрируют, что Lean 4, специализированные криптографические библиотеки и AI-помощники-доказатели уже могут обрабатывать нетривиальные компоненты. Интеграция в конвейеры непрерывной разработки остается активной инженерной задачей, как и верификация взаимодействий по всей стековой цепочке. Документирование предположений и оставшихся рисков за пределами верифицированной модели необходимо для честного взаимодействия с пользователями и аудиторами.

Мониторинг обновлений исследований Ethereum Foundation и усилий по независимой верификации обеспечивает постоянную видимость уровня зрелости инструментов. Путь, описанный Бутериным, является поэтапным и длится несколько лет; раннее использование верифицированных библиотек и участие в работе по уточнению спецификаций могут со временем усиливать преимущества. Организации, которые рассматривают верификацию как первоочередную инженерную задачу, а не как последующую аудиторскую деятельность, лучше подготовлены к управлению как рисками, так и возможностями, создаваемыми развитием возможностей ИИ.

Сигналы экосистемы из-за устойчивого участия основателей в криптовалюте

Публичное подтверждение того, что ключевая фигура протокола сохраняет большую часть личного богатства в виде криптовалютных активов, предоставляет устойчивый сигнал уверенности в перспективах безопасности. В сочетании с активными инвестициями в исследования формальной верификации это раскрытие указывает на то, что ключевые лица, принимающие решения, считают переход к оборонительной модели достижимым в рамках соответствующих временных горизонтов. Рыночные цены на 17 сентября 2026 года отражали текущую оценку этих систем в условиях существующих макроэкономических факторов.

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

🔥 За кулисами новостей: что значит KuCoin 5.0 для вас

Новости рынка развиваются быстро — но то, где вы на них реагируете, имеет не меньшее значение. В этом октябре KuCoin запускает KuCoin 5.0, превращая KuCoin в полностью перестроенную платформу. Вот что реально изменится для вас:

Один аккаунт для всего. Старые платформы разделяли ваши средства между отдельными аккаунтами «спот», «маржа» и «фьючерсы» и ожидали, что вы поймёте почему. Единый аккаунт KuCoin 5.0 полностью устраняет это — сделайте депозит один раз, и всё будет просто доступно.
Акции, индексы и товары. KuCoin 5.0 расширяется за пределы криптовалют на глобальные рынки. Когда криптовалюты движутся боком, а акции растут (или наоборот), вы переключаетесь за минуты, вместо того чтобы открывать брокерский аккаунт и ждать несколько дней для вывода фиата.
Реальные активы (RWA). Токенизированная экспозиция к традиционным активам, таким как сырьевые товары, прямо в вашем криптоаккаунте. Один из самых быстрорастущих сегментов мировой финансов не больше ограничен для институциональных инвесторов — вы получаете к нему доступ с того же баланса, с которым торгуете.
Зарабатывайте, пока учитесь. Еще не готовы торговать? KCUSD позволяет вашим стейблкоинам получать ежедневный автокомпаундный доход. Самый спокойный способ заставить ваши неиспользуемые депозиты работать с доходностью 4%.
Искусственный интеллект на простом языке. Задавайте вопросы, получайте контекст рынка, понимайте, что вы видите — всё встроено в платформу, без жаргона.
Приложение, которое не перегружает. Быстрее, чище и последовательно — интуитивно понятно с первого касания, а не после обучения.
Безопасность, которую можно проверить, а не просто доверять. EU-субъект с лицензией MiCAR, Proof of Reserves, которую вы можете проверить самостоятельно, и международно сертифицированная безопасность (SOC 2 Type II, ISO 27001:2022).

Создайте аккаунт за несколько минут — и начните работать на платформе, созданной для того, куда движется криптовалюта, а не туда, где она была.

ЧаВо

Что именно сказал Виталик Бутерин об ИИ и кибербезопасности в сентябре 2026 года?

Виталик Бутерин заявил в X, что распространённая точка зрения, согласно которой хакерские атаки с использованием ИИ означают крах кибербезопасности, неверна. Он утверждал, что кибербезопасность естественным образом благоприятствует обороне, когда люди применяют строгие методы, и что любой, кто продолжает держать криптовалюту, косвенно делает ставку на именно такой исход. Он подтвердил, что криптовалюта составляет примерно 90 процентов его собственного чистого состояния. Комментарии подчеркнули формальную верификацию как механизм, способный превратить достижения ИИ в оборонительное преимущество путём доказательства свойств безопасности программного обеспечения как математических теорем.

В чем разница между формальной верификацией и традиционным тестированием безопасности?

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

Почему Бутерин подчеркивает всеобъемлющие определения безопасности?

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

Какую роль играет формальная верификация в текущих исследованиях ethereum?

Исследователи ethereum рассматривают формальную верификацию как сквозной инструментарий для долгосрочных протокольных направлений. Команды уже используют ИИ-агенты для проверки кода и воспроизведения уязвимостей. Работа продолжается над компактными доказательствами выполнения, верификацией клиентов по спецификациям, инфраструктурой виртуальной машины с нулевым разглашением и связанными усилиями. Направление поддерживает предстоящие функции масштабируемости и конфиденциальности, требующие повышенной надежности.

Существуют ли конкретные проекты, уже производящие проверенные компоненты?

Да. Arklib разрабатывает формально верифицированную реализацию STARK на языке Lean. Связанные усилия направлены на абстракции EVM, конвейеры экстракции из Rust в Lean и формализации sum-check, деревьев Меркля и других криптографических примитивов. Эти проекты демонстрируют, что машино-проверяемые доказательства компонентов критически важной инфраструктуры развиваются и становятся повторно используемыми.

Ссылается ли цифра в 90 процентов чистой стоимости исключительно на bitcoin?

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

Отказ от ответственности: Этот материал предназначен исключительно для информационных целей и не является инвестиционной рекомендацией. Инвестиции в криптовалюты сопряжены с рисками. Проведите собственное исследование (DYOR).

Отказ от ответственности: Эта страница была переведена для вашего удобства с использованием технологии искусственного интеллекта. Для получения наиболее точной информации обратитесь к оригинальной английской версии.