Аудит Web3 и смарт-контрактов
Проверка контрактов (Solidity и EVM-совместимые сети) и DeFi-протоколов до запуска и после апгрейдов: от механики контракта до экономики протокола.
Помогаем запускать Web3-проекты без потери средств: ошибка в смарт-контракте не откатывается — активы либо блокируются, либо выводятся злоумышленником. Аудитуем контракты до запуска и после каждого значимого апгрейда, чтобы листинг и следующий этап развития проекта проходили спокойно.
Проверяем не только классические ловушки, но и то, на чём теряют деньги реальные протоколы: бизнес-логику, привилегированные роли, поведение под нагрузкой, оракулы, мосты и административные функции. Каждая находка в отчёте по аудиту смарт-контрактов — с доказательством эксплуатации, оценкой риска и рекомендацией, а после правок возвращаемся на ретест.
Что входит в аудит смарт-контрактов
- Бизнес-логика протокола: сценарии использования, краевые случаи, сценарии манипуляции экономикой
- Привилегированные роли: owner, pauser, upgrader — можно ли злоупотребить и как это защищено (таймлоки, мультиподпись)
- Инвариантные проверки под нагрузкой: fuzzing и символьное исполнение — поведение контракта при экстремальных входных данных
- Внешние зависимости: оракулы, мосты, интегрированные протоколы, проскальзывание и манипуляция ценой
- Механика апгрейдов: прокси, инициализация, хранения состояния между версиями
- Типовые классы уязвимостей EVM-среды и паттерны их эксплуатации
Как проходит проект
Скоуп и NDA
Фиксируем список контрактов, версию коммита и границы аудита. Согласуем формат отчёта.
Ручной анализ
Разбираем архитектуру и логику каждого контракта, ищем уязвимости и сценарии злоупотребления привилегиями.
Инвариантное тестирование
Пишем fuzzing- и инвариант-тесты: гоняем контракт под нагрузкой, ищем состояния, при которых нарушаются ключевые гарантии протокола.
Отчёт
Находки с уровнем серьёзности, PoC и рекомендациями. Разбор с командой разработки.
Фикс и верификация
Проверяем исправления и публикуем финальное заключение — его можно показать сообществу и аудиториям листинга.
Что вы получите
- Отчёт с классификацией находок по серьёзности (critical / high / medium / low)
- PoC-эксплойты для подтверждённых уязвимостей
- Рекомендации по исправлению и по защите привилегированных ролей
- Инвариант-тесты, которые останутся в вашем репозитории
- Финальное заключение после верификации исправлений
Стоимость зависит от объёма кода и сложности протокола — рассчитываем по скоупу и фиксируем после бесплатного скоуп-звонка. Ориентир: комплексная оценка — от 490 000 ₽.