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

22.12.2019 Автор: Денис Кудін

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

  • Невідповідність між специфікацією та реалізацією
  • Дефектний дизайн, логіка та контроль доступу
  • Переповнення при арифметичних операціях (цілочисельне переповнення)
  • Атаки повторного входу, атаки впровадження коду й атаки типу «відмова в обслуговуванні»
  • Перевищення ліміту використання байт-коду та газу
  • Атаки майнерів на мітки часу та порядок, залежність порядку транзакцій (TOD)
  • Умови гонки, а також інші відомі атаки та порушення управління доступом

Інші новини

22/03/2024
Наша успішна співпраця з Work.ua
16/03/2024
Публікація довідника “Рішення кібербезпеки”