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

Ручной разбор, анализаторы и тесты. Отчёт с уровнями опасности и исправлениями.

Найдите уязвимость в 12 строках

Три коротких контракта, в каждом одна опасная ошибка. Нажмите на строку.

Контракт 1 из 3: Хранилище монет

Нажмите на строку с уязвимостью

Найдено 0, попыток 0

Ответы
  1. Хранилище монет: повторный вход, строка 8 и 10. Деньги уходят раньше, чем обнуляется баланс. Контракт злоумышленника при получении снова вызывает withdraw и выводит больше, чем положил.
  2. Токен компании: нет проверки прав, строка 4. Выпустить новые токены может кто угодно: у функции mint нет проверки, что её вызывает владелец.
  3. Продажа токенов: переполнение, строка 6 и 7. В блоке unchecked Solidity не проверяет арифметику. Огромный count переполняет умножение, цена становится крошечной, и покупатель получает горы токенов почти даром.

На что опираемся

Проверяем по правилам безопасности самих языков и библиотек: порядок «проверки, изменения, внешние вызовы», проверенная арифметика, явные права доступа к опасным функциям.

Сверено на 15 ноября 2026

Что делаем

  • 01

    Ручной разбор

    Логика, права, экономика токена, сценарии атак.

  • 02

    Анализаторы

    Автоматический поиск типовых ошибок в каждом контракте.

  • 03

    Тесты и фаззинг

    Пишем тесты на найденные сценарии и случайные входные данные.

  • 04

    Источники цен

    Проверяем, можно ли сдвинуть цену, на которую опирается контракт.

  • 05

    Отчёт

    Находка, уровень, место в коде, сценарий атаки, исправление.

  • 06

    Проверка исправлений

    Смотрим ваши правки и выпускаем итоговую версию отчёта.

Как идём

  1. КодРепозиторий или адрес контракта, описание замысла.
  2. РазборАнализаторы и ручная проверка, тесты на находки.
  3. ОтчётНаходки по уровням с исправлениями.
  4. ИсправленияВы правите, мы проверяем правки.
  5. ИтогФинальный отчёт по исправленной версии.

Сколько стоит ваш проект?

Ответим в течение 15 минут.

Кейсы

Каждый проект даёт бизнесу измеримый результат.

Кадры здесь

Платформа найма: вакансии, подбор, документы и переезд

История 1 из 13: Платформа найма «Кадры здесь»

Почему выбирают нас?

Не просто пишем код. Решаем задачи бизнеса.

Частые вопросы

Не нашли ответ? Спросите, ответим за 15 минут.

Задать вопрос
Что проверяют при аудите смарт-контракта?

Права доступа, повторный вход, арифметику, внешние вызовы и источники цен, логику и экономику токена, обновление контракта и расход газа. Анализаторы находят типовые ошибки, логику проверяют руками.

Что я получу после аудита?

Отчёт: каждая находка с уровнем опасности, местом в коде, сценарием атаки и исправлением. После ваших правок проверяем исправления и выпускаем итоговую версию отчёта.

Сколько стоит и сколько длится аудит?

Зависит от объёма и сложности кода. Пришлите репозиторий или адрес контракта: оценку дадим после того, как посмотрим код.

Можно ли проверить уже развёрнутый контракт?

Да, по адресу в сети и исходному коду. Если найдём опасную ошибку, поможем спланировать перенос средств на исправленный контракт.

Проверим ваш контракт

Обсудить проект

Закажите аудит

Пришлите ссылку на репозиторий или адрес контракта. Ответим за 15 минут.