Аудит смарт-контракта — как проверяют код до запуска

23 марта 2022 года мост Ronin потерял около $625 млн — 173 600 ETH и 25,5 млн USDC. Код контрактов комиссия так и не сломала: атакующий получил пять из девяти приватных ключей валидаторов и подписал вывод средств от имени проекта. Никакая проверка логики этого не остановила бы. Аудит смарт-контракта — важный, но узкий инструмент, и стоит понимать, где заканчивается его зона.

Что такое аудит смарт-контракта

Аудит — это независимая проверка кода смарт-контракта сторонними специалистами. Цель одна: найти ошибки и уязвимости до того, как в контракте окажутся деньги пользователей. Заказывают его обычно перед запуском, реже — уже после, когда протокол работает и держит миллионы. Результат — отчёт с перечнем найденного: от «критично, средства под угрозой» до «информационно, стиль кода».

Как проходит проверка

Работают двумя способами сразу. Автоматические сканеры (Slither, Mythril, Echidna) прогоняют код по известным шаблонам: повторный вход, небезопасные внешние вызовы, деление на ноль. Потом аудитор читает контракт вручную и ищет то, что автомат не видит, — логические дыры, ошибки в экономике, манипуляции с оракулом цены.

Каждую находку подтверждают примером эксплуатации и оценивают по шкале: critical, high, medium, low, informational. Простой контракт на несколько сотен строк разбирают за 1–2 недели, протокол из десятков связанных контрактов — за 1–3 месяца.

Сколько это стоит

Цена растёт вместе с объёмом и сложностью. Проверка одного небольшого контракта — от нескольких тысяч долларов. Аудит крупного DeFi-протокола у топовой фирмы — сотни тысяч долларов и очередь на месяцы вперёд. Дорого, но дешевле одного взлома: средний ущерб от успешной атаки на протокол измеряется миллионами.

Почему аудит не гарантирует безопасность

Отчёт — не страховка, а всего лишь снижение рисков. Четыре причины:

• Проверяют код, а не всё остальное. Приватные ключи, серверы, веб-интерфейс, фишинг на сотрудников — вне аудита. Пример Ronin в начале текста именно об этом.
• Аудит устаревает. После правок, обновлений или добавления новых контрактов старый отчёт теряет силу.
• Человеческий фактор. Аудиторы тоже пропускают баги. Известны случаи, когда проверенный протокол терял деньги из-за уязвимости, которую просто не заметили.
• Добросовестность не гарантирована. Дешёвая «бумажка» от безвестной фирмы стоит ровно столько, сколько за неё заплатили.

Отдельно стоит смотреть на защиту от реентрансабельности и на права администратора контракта: даже идеально вычитанный код с «тумблером» для владельца — это риск, о котором аудит лишь упомянет в примечании.

Коротко

• Аудит — независимая проверка кода на уязвимости, чаще всего до запуска.
• Ищут две категории: технические баги и логические ошибки экономики протокола.
• Срок: от 1–2 недель за простой контракт до нескольких месяцев за крупный протокол.
• Цена: от тысяч долларов до сотен тысяч — зависит от объёма и сложности.
• Проверка снижает риск, но не закрывает ключи, серверы и человеческие ошибки.
• Читайте отчёт целиком, а не только строку «аудирован».