ua

Аудит смартконтрактів для Blockchain-рішення

Клієнт:
Qube - компанія-розробник Web3 та Blockchain-рішень
Галузь:
FinTech
Фокус:
Перевірка безпеки смартконтрактів перед виходом у mainnet
Основний виклик:
Повний аудит у стислий термін для захисту активів вкладників та запобігання втрати контролю над контрактами
Ринок:
Міжнародний
Надані послуги:
Ключові висновки
  • Усунуто до 99% відомих на момент перевірки загроз
  • Надано аудит-звіт для сертифікації на біржах
  • Перевірено 4 смартконтракти, виявлено 16 некритичних вразливостей
  • Зафіксовано застарілий функціонал і версію компілятора
  • Сформовано рекомендації щодо оптимізації коду контрактів
  • 4
    смартконтракти перевірено
    16
    вразливостей виявлено
    99%
    стійкість до загроз забезпечено
    Аудит смартконтрактів для Blockchain-рішення
    Наскільки важливою у блокчейні є відповідність коду смартконтракту сучасним вимогам безпеки? Без перебільшень — надзвичайно. Навіть одна вразливість може спричинити повний крах проєкту. Комплексний аудит, проведений Datami, виявив 16 проблем з вихідним кодом та забезпечив стійкість контрактів до 99% відомих загроз.

    Компанія Qube працює на міжнародному ринку та розробляє рішення у сфері Web3, Blockchain і смартконтрактів. Основним проєктом є токен ERC20 для інвестицій та транзакцій. 

    У сфері блокчейну безпека має критичне значення, адже навіть одна вразливість може призвести до краху бізнесу. Під загрозою фінансових втрат перебувають не тільки власники системи, а й користувачі.

    Завдання та виклики
    Клієнту потрібно було до релізу проєкту впевнитись у відсутності вразливостей у вихідному коді смартконтрактів, щоб отримати дозвіл на операції на Web3 біржах.
     
    Перед Datami постало завдання: за 2 тижні (стільки часу залишалось до виходу в mainnet) провести аудит усіх процесів 4 блокчейн-контрактів:
     
    • Протестувати написаний код смартконтрактів.
    • Перевірити наявність вразливостей та невідповідностей стандартам.
    • Надати рекомендації щодо усунення виявлених проблем.
    icon
    White-Box аудит коду
    Динамічний та статичний аналіз за допомогою автоматизованих і ручних інструментів
    icon
    Перевірка документації
    Огляд специфікацій, компіляція (збірка) контрактів і деплой у тестових середовищах
    icon
    Звіт і рекомендації
    Детальний звіт з результатами та порадами щодо модернізації та оптимізації коду

    Наш підхід

    У цьому кейсі ми застосували White-Box підхід до аудиту смартконтрактів, який складався з динамічного ончейн-аналізу та статичного рев’ю коду. Також була проведена ручна line-by-line перевірка коду на патерни вразливостей. 

    Для виявлення помилок і вразливості у коді та перевірки дотримання стандартів написання фахівці Datami використали аудит-інструменти Slither, Cloc, Oyente, SolHint. Тестування проводили у середовищах Remix, Ropsten testnet, MythX, Manticore.

    White-box

    White-Box

    Стратегія аудиту з повним доступом до вихідного коду, яка дозволяє детально перевірити логіку і виявити приховані ризики.
     
    Ключові етапи робіт та рішення

    Робота над проєктом проходила у продуманій послідовності. На стартовому мітингу із замовником було узгоджено всі деталі проєкту, після чого команда Datami зосередилась на детальному аудиті смартконтрактів.

    Після повної перевірки всіх процесів клієнт отримав детальний звіт із результатами, поясненнями та рекомендаціями.

    • Підготовка
      Вивчення документації та специфікацій, аналіз потенційних загроз і вразливостей, погодження з клієнтом методів аудиту.
    • Комплексний аудит
      Проведення динамічного аналізу транзакцій у тестовому середовищі on-chain, статичної перевірки та ручної пострічкової ревізії коду.
    • Фінальний звіт
      Підсумок результатів та надання рекомендацій щодо оптимізації та модернізації смартконтрактів для відповідності вимогам кібербезпеки.
    Як ми можемо вам допомогти?

    Кожне прикладне дослідження кібербезпеки, яке ми розв’язуємо, передбачає глибокий аналіз, індивідуальні рішення та результати, які можна вимірювати.
    Datami вже допомогла понад 600 компаніям посилити їхній цифровий захист — і ми можемо зробити те саме для вашого бізнесу.
    Готові діяти?

    Почнемо з безкоштовної консультації!
    Результати та рекомендації

    Результати та рекомендації

    Datami перевірила якість і безпеку коду смартконтрактів перед виходом у mainnet: протестували 4 контракти, провели динамічний та статичний аналіз, ручну пострічкову перевірку коду.

    Ми виявили низку незначних помилок та переконалися у відсутності критичних, які могли призвести до краху системи одразу після запуску через втрату активів вкладників і контролю над самими контрактами. 

    За підсумками роботи підготували детальний звіт із результатами – клієнт отримав рекомендації та відповіді на усі ключові питання. 

    У процесі аудиту команда Datami:

    • виявила 16 некритичних вразливостей;

    • зафіксувала застарілий функціонал і версію компілятора;

    • надала рекомендації для швидкого усунення проблем;

    • знизила рівень загроз до малоймовірного;

    • забезпечила стійкість контрактів до 99% відомих уразливостей.

    Усі поставлені завдання були виконані. Клієнт виконав наші рекомендації та залишився повністю задоволений результатом.

    Наші сертифікати

    Datami – компанія з кібербезпеки, кваліфікація якої підтверджена 26 сертифікаціями та міжнародними стандартами. Це дозволяє нам виконувати завдання різної складності, дотримуючись вимог до безпеки, конфіденційності та етичних практик.
    Ключові результати проєкту

    У блокчейн-сфері немає напівзахисту: або система працює бездоганно й атака не відбувається, або одна вразливість призводить до повних втрат. Саме тому аудит перед запуском має критичне значення.

    Як свідчить цей кейс, завдяки комплексному аудиту смартконтрактів вдалося усунути ймовірні загрози для блокчейн-рішення. Клієнт отримав підтвердження безпеки коду та готовність системи до виходу в mainnet. Усунення зазначених проблем стало важливим етапом для отримання сертифіката та релізу проєкту.

    Напрям
    До проєкту
    Після впровадження
    Рівень безпеки
    Низький
    Високий, захист від 99% відомих загроз
    Рівень загроз
    Середній
    Низький, загрози малоймовірні
    Ризики
    Втрата активів та контролю над смартконтрактом
    Мінімізовані
    Вразливості
    Невідомі
    Знайдено 16 некритичних проблем
    Відповідність стандартам бірж
    Ні
    Так
    Більше історій успіху з Datami
    Перегляньте приклади інших проєктів
    Cloudflare Zero Trust і SIEM для SaaS-платформи
    Cloudflare Zero Trust і SIEM для SaaS-платформи
    • MTTD скоротився до 1–2 годин
    • False positives зменшились на 50–65%
    Послуги:
    Впровадження Cloudflare Zero Trust і Wazuh SIEM
    Серп. 4, 2026
    Відновлення WordPress-сайту після зламу
    Відновлення WordPress-сайту після зламу
    • Систему повністю очищено від backdoor-інфекції та webshell
    • Видалено 9 несанкціонованих admin-акаунтів
    Послуги:
    Аудит безпеки WordPress (White-box)
    Серп. 4, 2026
    Впровадження SIEM Wazuh для фінансової компанії
    Впровадження SIEM Wazuh для фінансової компанії
    • Забезпечено готовність до аудиту PCI DSS та ISO 27001
    • Кількість хибних спрацювань знижено на 60–70%
    Послуги:
    Впровадження SIEM (Wazuh)
    Лип. 1, 2026
    Security image
    Готові оцінити безпеку вашого проєкту?
    Звертайтеся в Datami — ми допоможемо вам визначити ризики, посилити вашу кібербезпеку та впевнено пройти сертифікацію.
    Cтатті Datami
    Чому AI-токени створюють новий клас ризиків для смартконтрактів Олександр Філіпов
    Олександр Філіпов
    Чому AI-токени створюють новий клас ризиків для смартконтрактів

    Смартконтракт може пройти Solidity-аудит без зауважень і все одно лишитися вразливим - якщо частину рішень приймає ШІ. Розбираємо на реальному аудиті з 40

    4 хв. Серп. 4, 2026
    Коли AI зустрічається зі смартконтрактами: як prompt injection створює нову поверхню атаки у Web3 Олександр Філіпов
    Олександр Філіпов
    Коли AI зустрічається зі смартконтрактами: як prompt injection створює нову поверхню атаки у Web3

    Смартконтракт може пройти найретельніший аудит - а продукт усе одно виявиться вразливим. Достатньо, щоб AI прочитав ончейн-текст як команду, а не як дані. Розбираємо новий клас ризиків на знахідці Datami.

    3 хв. Серп. 3, 2026
    Самостійне оцінювання кіберризиків: 6 прогалин, які фінтех помічає останніми Олександр Філіпов
    Олександр Філіпов
    Самостійне оцінювання кіберризиків: 6 прогалин, які фінтех помічає останніми

    Більшість компаній дізнаються про свої слабкі місця не від власної команди, а від партнера на due diligence або від зловмисника. Розбираємо, які прогалини у фінтеху залишаються непоміченими найдовше й чому.

    4 хв. Лип. 27, 2026
    Замовте консультацію
    Ми цінуємо вашу конфіденційність
    Ми використовуємо файли cookie для забезпечення максимально зручного використання наших послуг, підготовки персональної реклами чи контенту, а також для аналізу нашого трафіку. Натискаючи "Прийняти все", ви погоджуєтесь на використання файлів cookie. Політика використання файлів cookie