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

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