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