Что доказывает и чего не доказывает аудит смарт-контракта

«Проаудировано» — одно из самых частых утверждений в крипте и одно из наименее проверяемых. Аудит — платная проверка, в которой команда по безопасности читает код, ищет дефекты и публикует находки. Это настоящее и полезное занятие. Но не гарантия, и именно в разрыве между тем, что он устанавливает, и тем, что подразумевает значок, сосредоточен основной вред.

Что такое аудит

Фирму нанимают на определённую область охвата и на определённый срок. Она проверяет конкретные контракты на конкретном коммите, сообщает о проблемах по степени серьёзности и обычно публикует итоговую версию с указанием, что команда исправила, что признала и оставила, а что оспорила. Артефактом является отчёт. Значок — это маркетинг.

Четыре вопроса, на которые значок не отвечает

Что входило в охват. Аудит покрывает контракты, переданные аудитору. Контракты, развёрнутые позже, административные скрипты, фронтенд и любые офчейн-компоненты могут быть полностью вне его.

Какая версия. Код меняется. Аудит одного коммита ничего не говорит о коде, развёрнутом после него, а повторный аудит после существенных изменений — расход, на котором проекты иногда экономят.

Что нашли и не исправили. В отчётах регулярно перечислены признанные проблемы, которые команда решила принять. Это раскрытые риски, и их чтение — самое информативное, что нетехнический читатель может сделать с отчётом.

Какие полномочия остались. Многие контракты сохраняют ключ обновления, функцию паузы или привилегированную роль. Аудит может подтвердить, что они есть и работают как описано, — а это не то же самое, что их безопасность для вас: ключ, способный изменить правила, остаётся допущением о доверии независимо от качества кода.