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

Два вида аудита

Тот же метод, те же исследователи. Расширенный доказывает баги на реальном состоянии.

• Исходный код

  Каждую строку читают 2 исследователя.

  от 1 000 $

  • 2 старших исследователя
  • ИИ-пентест моделью nonce-sc-1 по каждой строке
  • 404 пункта чек-листа в 10 сетях
  • Статический анализ и фаззинг в песочнице
  • Каждая находка подтверждена 3 проверками
  • Офлайн-доказательство для каждой критической и высокой
  • Проверка исправлений включена
  • PDF, markdown для агентов, портал
  Узнать цену

• Расширенный

  Для развёрнутых протоколов

  Эксплойты, доказанные на состоянии мейннета.

  от 2 000 $

  • Всё из «Исходного кода»
  • 3 старших исследователя
  • nonce-sc-1 пентестит развёрнутые контракты
  • Эксплойты EVM доказаны на форке мейннета
  • Атаки на оракулы и ликвидность смоделированы
  • Фаззинг инвариантов на состоянии мейннета
  • Скрипты деплоя и админ-ключи проверены
  • Развёрнутый код сверяется и перечитывается ежедневно
  Узнать цену

Итоговая цена зависит от строк кода, сетей и срока и приходит не позже чем через 12 часов.

Три шага

1. 1

   Отправьте репозиторий

   Почта и ссылка.

2. 2

   Получите фиксированную цену

   Менее чем за 12 часов.

3. 3

   Исправляйте в портале

   Мы проверяем каждое исправление.

Сети, которые мы проверяем