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

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

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

• Вихідний код

  Кожен рядок читають 2 дослідники.

  від 1 000 USD

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

• Розширений

  Для розгорнутих протоколів

  Експлойти, доведені на стані мейннету.

  від 2 000 USD

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

Остаточна ціна залежить від рядків коду, мереж і терміну та надходить не пізніше ніж за 12 годин.

Три кроки

1. 1

   Надішліть репозиторій

   Пошта і посилання.

2. 2

   Отримайте фіксовану ціну

   Менш ніж за 12 годин.

3. 3

   Виправляйте в порталі

   Ми перевіряємо кожне виправлення.

Мережі, які ми перевіряємо