Аудит безопасности для
контракты ваши протокол работает
Gizmolab проверяет смарт-контракты во всех цепочках EVM и Solana — ручную проверку старшими аудиторами, подкрепленную фаззингом и автоматическим анализом, а также первый проход с самообслуживанием с помощью Audit.new.
Проверяется во всех цепочках, в которых вы развертываете
Что бы вы ни отправляли, мы проверяем это там. Полный охват EVM и глубокая экспертиза Solana с одинаковыми стандартами, применяемыми ко всем объектам.
Нативные программы Rust и Anchor проверены на предмет безопасности учетной записи, риска CPI и корректности PDA — режимы сбоя EVM упускаются аудиторами.
Языки, на которых мы проводим аудит
От высокоуровневого Solidity до встроенного ассемблера и Rust на Solana — мы проверяем код на том языке, на котором он был написан.
Солидность
Основная часть EVM DeFi. Мы построчно проверяем структуру хранилища, внешние вызовы, контроль доступа и пути обновления.
Вайпер
Пифонические контракты со своими собственными пушками. Мы проверяем декораторы, блокировки повторного входа и ловушки версии компилятора.
Юл и встроенная сборка
Низкоуровневая оптимизация, в которой скрываются наиболее тонкие ошибки. Безопасность памяти, обработка данных вызовов и ручное декодирование ABI.
Ржавчина
Родные программы Solana. Проверка учетной записи, проверка подписанта/владельца, безопасность CPI и арифметика на лампортах.
Якорь
Ограничения привязки, деривация PDA, дискриминаторы учетных записей и пробелы, которые Anchor не покрывает за вас.
Каир и переезд
Обзоры Starknet (Каир) и Aptos / Sui (Move) доступны для команд, выпускающих за пределами основного направления EVM и SVM.
Ошибки, которые истощают протоколы
Мы тестируем классы уязвимостей, лежащие в основе реальных эксплойтов, а также инварианты, специфичные для конструкции вашего протокола.
Реентерабельность
Межфункциональная реентерабельность и возможность повторного входа только для чтения для внешних вызовов, обратных вызовов и перехватчиков токенов.
Контроль доступа
Отсутствующая или нарушенная авторизация, неправильное использование привилегированных ролей и пробелы в инициализации/владении.
Оракул и манипулирование ценами
Зависимость от спотовых цен, игры TWAP, манипуляции с помощью флэш-займов и устаревшие каналы.
Арифметика и округление
Переполнение, потеря точности, направление округления и атаки на хранилища с инфляцией акций.
Подпись и повтор
EIP-712 / обработка разрешений, повторное использование nonce, привязка идентификатора цепочки и междоменное воспроизведение.
MEV и опережающее движение
Сэндвичированные потоки, незащищенное проскальзывание и переходы состояний, зависящие от порядка.
Возможность обновления и прокси
Коллизии хранилища, неинициализированные реализации и небезопасные шаблоны вызовов делегатов.
Solana Безопасность аккаунта
Путаница в учетных записях, отсутствие проверок владельца/подписавшего лица, подмена КПК и непроверенные CPI.
Как проходит аудит
Четкое и повторяемое взаимодействие — от модели угроз до опубликованного отчета, которому ваше сообщество может доверять.
Объем и модель угроз
Мы составляем карту вашей архитектуры, границ доверия и инвариантов, которые никогда не должны нарушаться — прежде чем прочитать хотя бы одну строку.
Ручная проверка
Старшие аудиторы читают кодекс построчно. Большинство важных выводов исходят от людей, которые понимают намерения, а не только инструменты.
Автоматизированный анализ
Статический анализ, фаззинг и символическое выполнение подчеркивают инварианты и случаи краев поверхности, которые глаз не замечает.
Выводы по степени серьезности
Каждая проблема имеет четкую степень серьезности, влияние, воспроизводимость и конкретное решение, а не расплывчатый флаг.
Поддержка исправлений
Мы работаем с вашими инженерами над исправлениями, отвечаем на вопросы и повторно проверяем отправляемые вами исправления.
Повторный аудит и отчет
Заключительная проверка исправлений, а затем чистый отчет, который вы можете опубликовать для своего сообщества и партнеров.
С чем ты уходишь
Не просто список ошибок — все, что нужно вашей команде для устранения проблем и доказательства безопасности кода.
Полный аудиторский отчет
Структурированный отчет с выводами, серьезностью, этапами воспроизведения и рекомендациями по устранению.
Рейтинги серьезности
Критический → Высокий → Средний → Низкий → Информационный, оценивается по реальному воздействию и вероятности.
Руководство по исправлению
Конкретные исправления и шаблоны, а также прямая поддержка во время их реализации вашей командой.
Повторный аудит и публичный отчет
Проверка исправлений и дополнительный опубликованный отчет, которым вы можете поделиться для укрепления доверия.
Audit.new — мгновенный первый проход
Audit.new — это инструмент самообслуживания аудита Gizmolab. Заключите контракт или подключите репозиторий и за считанные минуты получите первоначальную проверку с помощью искусственного интеллекта — выявление распространенных классов уязвимостей, рискованных моделей и сортировку того, где искать в первую очередь.
Это быстрый способ проверить код на работоспособность перед полным использованием. Все, что направляется в сеть и имеет реальную ценность, полностью передается на ручной аудит под руководством старшего специалиста.