Может ли использование AI изменить индустрию аудита смарт-контрактов

Децентрализованные приложения (DApps), осуществляющие транзакции на блокчейне, сопряжены с критическими рисками для проектов, у которых есть уязвимости в их управляющих смарт-контрактах.

Для предотвращения таких рисков проводится аудит смарт-контрактов.

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

Что проверяет аудит?

Работа аудиторских фирм состоит из выявления уязвимостей в смарт-контрактах клиентов и проверки логики работы проекта. Люди обычно изучают исходный код смарт-контракта для обнаружения уязвимостей, но разные аудиторы имеют разные знания и возможности в этой области, что может привести к ошибкам из-за человеческого фактора.

Будущее аудита на основе искусственного интеллекта

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