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