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

22.12.2019

Мы продолжаем развивать наше направление аудита смарт-контрактов и завершаем год, выполнив несколько успешных проектов в этой области. Мы успешно находим следующие проблемы в смарт-контрактах:

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

Другие новости

11/11/2022
Нас рекомендует крупнейший банк
04/10/2022
Онлайн-анализатор безопасности смарт-контрактов