Иллия Полосухин, соучредитель NEAR Protocol, заявил, что искусственный интеллект значительно ускоряет процесс нахождения уязвимостей в программном обеспечении, что ставит под угрозу традиционные методы проверки кода.
По словам Полосухина, искусственный интеллект уже изменил ландшафт кибербезопасности, позволяя хакерам находить уязвимости быстрее, чем традиционные методы могут их исправить. Он отметил, что с октября прошлого года, когда произошел первый инцидент с использованием ИИ для взлома, ситуация только ухудшается.
Полосухин подчеркнул, что традиционные проверки кода, основанные на человеческом анализе, становятся менее эффективными. «Мы надеемся, что никто более умный не найдет то, что мы пропустили», — сказал он, указывая на недостатки существующих подходов.
В качестве решения Полосухин предложил формальную верификацию, которая позволяет математически доказать, что код выполняет заявленные функции. Этот процесс, хотя и был исторически дорогим и трудоемким, теперь может быть ускорен с помощью ИИ.
Примером успешного применения ИИ в верификации кода является проект Tachyon, который использовал ИИ для создания математического доказательства, что защищенный пул Zcash не содержит уязвимостей, аналогичных тем, что были обнаружены в его Orchard пуле.
Полосухин также отметил, что преимущества ИИ в верификации кода могут быть применены не только к смарт-контрактам, но и к критически важному программному обеспечению в интернете и сетях.
В тот же день NEAR представил обновление, которое позволяет пользователям переключаться на квантово-устойчивые ключи аккаунтов. Это обновление также включает автоматическое расширение сети в ответ на рост активности.
Полосухин призвал к необходимости кардинального изменения подхода к разработке программного обеспечения, чтобы обеспечить безопасность не только блокчейна, но и всего интернета.
Источники
Материал носит информационный характер и не является инвестиционной рекомендацией.