Определение
Аудит смарт-контрактов касается конкретной версии: права, учёт, внешние вызовы, обновления и экономические предпосылки. Он не подтверждает стоимость токена, платёжеспособность или отсутствие всех атак.
Как это работает
Ручной анализ, инструменты, тесты и обсуждение дают отчёт с серьёзностью проблем и рекомендациями. Повторная проверка должна описывать охват. Верификация исходников в обозревателе связывает код с развёртыванием, но не заменяет аудит.
Важные особенности
Проверьте дату, версию, адреса, исключения и открытые замечания. Изменения оракулов, обновлений, интеграций и администраторов влияют на предпосылки. Возможны пропуски; помогают независимые проверки, тесты и мониторинг. Читайте отчёт, не значок, и отделяйте код от операционных и финансовых рисков.