Виталик Бутерин выражает поддержку верификации с помощью искусственного интеллекта в криптосистемах

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

Сооснователь Ethereum Виталик Бутерин считает, что верификация с помощью ИИ может повысить безопасность криптовалютных систем. Отсюда и возможность появиться в отрасли поисков ошибок с помощью ИИ.

Виталик Бутерин поддерживает верификацию с помощью искусственного интеллекта

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

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

Потенциальный критический защитный слой

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

Сегодня разработчики интегрируют такие инструменты, как Lean AI, используя их для подтверждения поведения программ и обеспечения надёжности. Такой процесс помогает компьютерам обнаруживать ошибки в коде, которые могут быть невидимы человеческому глазу. Например, бережливый ИИ сосредоточен на усилении, а не на замене, используя ИИ, чтобы сделать людей лучшими решателями проблем.

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

Окончательная форма разработки программного обеспечения

Важно, что Бутерин процитировал комментарии Ёити Хираи, особенно его описание нового подхода как «окончательной формы разработки программного обеспечения». Он также отметил работу Signal по безопасности наряду с современными системами шифрования, отметив, что исследователи уже используют формальную верификацию для тестирования протоколов, таких как шифрование X3DH и AES.

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

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

Связанно: Соучредитель Ethereum поддерживает ИИ: не пропустите зелёную волну в Big Data Tokens