ua

Web3-проєкт: аудит смартконтрактів

Клієнт:
Random Walk — Web3-розробник, який створює авторські дизайнерські проєкти
Галузь:
Blockchain
Фокус:
Перевірка безпеки смартконтрактів перед запуском у Polygon mainnet
Основний виклик:
Повний аудит 4 смартконтрактів – незалежна перевірка коду за 5 днів
Ринок:
Міжнародний
Надані послуги:
аудит смартконтрактів (White-Box аналіз вихідного коду)
Ключові висновки
  • Забезпечено безпечний запуск у Polygon mainnet за 5 днів
  • Рівень ризику знижено з середнього до мінімального
  • Проєкт захищено від 99% відомих уразливостей
  • Перевірено 4 смартконтракти та виявлено 9 загроз
  • Проведено ретест після усунення вразливостей
  • 4
    Смартконтракти перевірено
    9
    Вразливостей виявлено
    5
    Днів — тривалість аудиту
    Web3-проєкт: аудит смартконтрактів
    До релізу проєкту залишалося 5 днів, але повної впевненості в безпеці коду не було. Тому Random Walk, розробник смартконтрактів, замовив комплексний аудит контрактів у незалежних фахівців. Datami оперативно перевірила код, процеси та транзакції і, як свідчить цей кейс, виявила 9 вразливостей.

    Random Walk – індивідуальний Web3-розробник, який створює смартконтракти для генерації унікальних NFT-зображень з цікавим артстилем для гравців, що роблять ставки в криптовалюті.

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

    Завдання та виклики
    Клієнт звернувся до Datami для проведення незалежного аудиту смартконтрактів: потрібно було у найкоротші терміни, за 5 днів, виявити всі вразливості та провести повну перевірку коду, процесів і транзакцій до запланованої дати запуску проєкту.

    Також замовник очікував отримати звіт із результатами та рекомендаціями, необхідний для виходу в Polygon mainnet.
     
    • Перевірити безпеку 4 смартконтрактів у стислі терміни
    • Знайти та задокументувати всі потенційні вразливі місця
    • Запропонувати рішення для усунення загроз і провести ретест
    icon
    Ручний аудит
    Перевірка документації, коду та логіки контрактів для виявлення помилок і вразливостей.
    icon
    Автоматизований аналіз
    White-Box тестування з використанням спеціалізованих інструментів і симуляцій транзакцій.
    icon
    Звіт і контроль
    Фінальний звіт про знайдені проблеми та поради щодо їх усунення. Ретест після виправлень.

    Наш підхід

    Для аудиту смартконтрактів Random Walk команда Datami застосувала White-box підхід. Ми поєднали динамічний ончейн-перевірку зі статичним аналізом коду у симульованому середовищі, що дозволило завчасно виявити як типові, так і приховані вразливості.

    В процесі роботи над проєктом використали такі інструменти, як MythX, Manticore, Oyente, Slither, SolHint, Cloc, Remix, Ropsten testnet, також ручний построковий перегляд коду, щоб досягти максимальної точності.

    White-box

    White-box

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

    Робота над проєктом Random Walk складалася з кількох ключових етапів. Ми підготували тестове середовище, виконали повну перевірку коду різними методами. Після виправлень провели ретест, щоб перевірити усунення вразливостей і підтвердити безпеку перед запуском у Polygon mainnet.

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

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

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

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

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

    Команда Datami за 5 днів перевірила і підготувала до релізу смартконтракт-генератор NFT, смартконтракт маркетплейсу для торгу токенами, Betting-контракт, смартконтракт токена ERC20. 

    В результаті було знайдено 1 середню, 3 низьких та 5 інформаційних вразливостей. Зокрема, виявили відсутність подвійної перевірки статусу адреси отримувача криптоактиву та можливість виведення винагород в обхід правил смартконтракту. Протягом 3 днів ці проблеми було усунуто. 

    Після внесення рекомендованих змін ретест підтвердив відповідність Web3-рішень стандартам безпеки. Клієнт отримав:

    • звіт про результати виконаної роботи;

    • реальну картину захищеності смартконтрактів;

    • поради для покращення безпеки кодів;

    • зниження ризиків з середнього до мінімального рівня;

    • захист від 99% відомих уразливостей.

     Усі цілі проєкту були досягнуті, розробник Random Walk успішно запустив свої рішення у Polygon Mainnet.

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

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

    Блокчейн не вибачає помилок. Іноді зловмисникам достатньо однієї вразливості, щоб позбавити власника всіх активів і зруйнувати довіру користувачів не лише до нового смартконтракту, а й до інших проєктів розробника.

    Цей кейс показує, наскільки важливий незалежний аудит смартконтрактів перед запуском: завдяки завчасному виявленню 9 вразливостей Random Walk успішно виправив код ще до запуску і позбавив хакерів шансів на успіх.

    Категорія
    До проєкту
    Після впровадження
    Рівень безпеки
    Середній
    Високий, стійкість до 99% відомих загроз
    Рівень загроз
    Середній
    Мінімальний
    Вразливості
    Невідомі
    Знайдено 9 некритичних проблем
    Відповідність стандартам безпеки
    Не підтверджено
    Так
    Більше історій успіху з 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