Основатель Ethereum Виталик Бутерин опроверг мнение о том, что ИИ делает безопасность криптоиндустрии уязвимой. Он утверждает, что современные технологии могут помочь разработчикам проверять программное обеспечение на безопасность.
В своем посте на платформе X Бутерин отметил, что распространенное мнение о том, что ИИ делает кибербезопасность обреченной, является ошибочным. Он считает, что ИИ может улучшить защиту криптопрограмм, если разработчики смогут правильно определить, что такое ‘безопасность’.
Бутерин подчеркнул, что ИИ способен сделать формальную верификацию, то есть использование математических доказательств для подтверждения безопасности программного обеспечения, практичной даже для сложных систем. Он привел в пример решение известных математических задач, утверждая, что ИИ может также доказать, что программа безопасна.
Разработчики в криптоиндустрии уже начали использовать ИИ для защиты. Например, в мае исследователь безопасности Тейлор Хорнби использовал ИИ для обнаружения уязвимости в приватном пуле Zcash, которая могла бы привести к неограниченному подделыванию ZEC. Хотя уязвимость была устранена, разработчики не нашли доказательств ее эксплуатации.
В июле исследователи Ethereum Foundation сообщили, что ИИ помог выявить уязвимости в критической инфраструктуре сети. В том же месяце злоумышленники начали использовать старую уязвимость в прошивке Coldcard, что привело к краже около 130 миллионов долларов в Биткоинах.
К августу угроза распространилась на экосистему Bitcoin. Сервис Boltz приостановил свою работу, так как подозреваемые злоумышленники находили уязвимости быстрее, чем разработчики могли их исправить. Команда Core Lightning подтвердила, что несколько уязвимостей, выявленных в отчетах, действительно существовали.
В ответ на эти угрозы волонтерская команда Bitcoin Red Team использовала ИИ для аудита и выявила 4,962 потенциальные уязвимости в 390 проектах. Бутерин отметил, что ИИ теперь может проверять целые программы, а не только отдельные компоненты.
Он добавил, что Ethereum планирует продолжать развивать эту технологию в течение следующих нескольких лет, подчеркивая, что без обеспечения безопасности блокчейны, особенно с функциями масштабируемости и конфиденциальности, не смогут существовать.
Источники
Материал носит информационный характер и не является инвестиционной рекомендацией.