ua

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

Клієнт:
Random Walk — Web3-розробник, який створює авторські дизайнерські проєкти
Галузь:
Blockchain, Betting, NFT
Фокус:
Перевірка безпеки смартконтрактів перед запуском у 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
    Перегляньте приклади інших проєктів
    Аудит Azure для державної бізнес-платформи
    Аудит Azure для державної бізнес-платформи
    • Забезпечено відповідність ISO/IEC 27001 та GDPR
    • Інфраструктуру підготовлено до запуску оновленого сайту
    Послуги:
    Аудит безпеки Azure (White-box)
    Бер. 5, 2026
    Аудит безпеки AWS для рекрутингової платформи
    Аудит безпеки AWS для рекрутингової платформи
    • Час виявлення загроз скорочено до 20 хвилин.
    • Забезпечено повну відповідність вимогам GDPR.
    Послуги:
    Оцінка безпеки хмарного середовища AWS (White-Box)
    Бер. 3, 2026
    Аутстаф-аудит безпеки мобільного додатку
    Аутстаф-аудит безпеки мобільного додатку
    • Знайдено небезпечні конфігурації та витоки даних
    • Підсилено безпеку перед запуском продукту
    Послуги:
    Лист. 20, 2025
    Security image
    Готові оцінити безпеку вашого проєкту?
    Звертайтеся в Datami — ми допоможемо вам визначити ризики, посилити вашу кібербезпеку та впевнено пройти сертифікацію.
    Cтатті Datami
    Топ-3 галузей з найбільшою кількістю критичних вразливостей у кібербезпеці (з практики Datami) Олександр Філіпов
    Олександр Філіпов
    Топ-3 галузей з найбільшою кількістю критичних вразливостей у кібербезпеці (з практики Datami)

    А ви знаєте, в якій галузі найбільше критичних ризиків у кібербезпеці? Ми проаналізували результати проєктів Datami і визначили три індустрії, де в середньому на один проєкт виявили найбільше критичних вразливостей.

    Бер. 31, 2026 15 хв.
    Топ-4 найвразливіших галузей за версією Datami Олександр Філіпов
    Олександр Філіпов
    Топ-4 найвразливіших галузей за версією Datami

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

    Бер. 27, 2026 10 хв.
    Типи вразливостей кібербезпеки: найпоширеніші й найкритичніші з практики Datami Олександр Філіпов
    Олександр Філіпов
    Типи вразливостей кібербезпеки: найпоширеніші й найкритичніші з практики Datami

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

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