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

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

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

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

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

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

Источник