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

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

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