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