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

22.12.2019

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

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

Інші новини

14/05/2022
Наша робота – ваш успіх у Web3
10/04/2022
Критична вразливість Spring4Shell