Виталик Бутерин предложил использовать ИИ для повышения безопасности кода

Виталик Бутерин, сооснователь Эфириума, высказал мнение о том, что благодаря искусственному интеллекту (ИИ) разработчики могут создавать программное обеспечение, которое будет математически верифицировано. Его аргументы основаны на формальной верификации, методе, который использует математику для доказательства соответствия программы определённым требованиям безопасности. Бутерин сравнил это с решением сложных математических задач: если ИИ способен доказать теорему Ферма или решить уравнения Навье-Стокса, то он сможет подтвердить и безопасность рассматриваемой программы. Он уверен, что ИИ может значительно уменьшить время и ресурсы, необходимые для выполнения таких сложных математических доказательств.

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

Бутерин настаивает, что для достижения полной безопасности необходимо проверять все компоненты: базу данных, сетевой уровень и все слои кэширования. Он уверен, что современный ИИ способен справиться с этой задачей. "Речь не о том, чтобы "хорошие парни" находили уязвимости раньше "плохих

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

— написал Бутерин в соцсети Х.

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