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