Блокчейн-проекты
Аудит смарт-контракта позволяет оценить уровень его защищенности, выявить уязвимости и ошибки в коде, а также отклонения от заявленной логики.
Наши эксперты проводят ручной и автоматический анализ исходного кода смарт-контракта для обнаружения в нем уязвимостей и недостатков. Все найденные проблемы безопасности описываются и оцениваются по степени угрозы. Кроме того, логика работы смарт-контракта проверяется на соответствие логике, заявленной в документации.
По итогам аудита вы получите подробный отчет с приоритизацией угроз и рекомендациями для повышения уровня безопасности.
Задачи аудита
Выявить наиболее опасные угрозы информационной безопасности
Выявить ошибки логики смарт-контракта
Оценить обнаруженные недостатки и уязвимости на основании модели угроз
Объект исследования
-
Исходный код смарт-контракта -
Интерфейс взаимодействия со смарт-контрактом -
Документация, описание логики работы смарт-контракта
Результат проекта
-
Список обнаруженных уязвимостей и недостатков информационной безопасности -
Отчет об ошибках в логике смарт-контракта -
Рекомендации по устранению уязвимостей и повышению уровня защищенности
