Добро пожаловать в наш сервис аудита смарт-контрактов Solidity
Этот документ предоставляет обзор нашего сервиса аудита смарт-контрактов Solidity, эксклюзивно предлагаемого Alef Invest. Мы обязаны обеспечивать безопасность и надежность ваших смарт-контрактов.
Детали сервиса:
Стоимость аудита вашего смарт-контракта Solidity по нашей методологии составляет 1500 долларов за до 200 строк кода, правильно отформатированных с использованием Prettier. Минимальный размер контракта, подходящего для аудита, - 100 строк. Мы рассчитываем стоимость в долларах по курсу 40 гривен за доллар. Наш сервис включает до трех итераций анализа, обратной связи и повторного анализа. Конечным результатом является комплексный отчет об аудите.
Обязанности клиента:
Прежде чем подавать ваш смарт-контракт на аудит, убедитесь, что выполнены следующие условия:
- Подготовьте документацию для вашего смарт-контракта, включая техническое задание, описывающее цель контракта, и техническое описание, объясняющее функциональность каждой функции и роли пользователей (например, владельца, администратора, обычных пользователей).
- Создайте юнит-тесты для вашего смарт-контракта с использованием Hardhat и предоставьте нам файлы тестов.
- Убедитесь, что код вашего контракта покрыт тестами на 100%.
Наш процесс аудита:
Наш процесс аудита включает несколько этапов:
- Первичный анализ кода и проверка на очевидные проблемы. На этом этапе ваш контракт может быть возвращен для внесения правок с краткими комментариями.
- Выполнение юнит-тестов для подтверждения соответствия техническому описанию вашего контракта, а также подготовка предварительного отчета. Если выявляются проблемы, ваш контракт может быть возвращен разработчикам вместе с предварительным отчетом.
- Автоматическое сканирование кода с использованием инструментов, таких как Slither, Mythril, Solgraph и Echidna.
- Ручной анализ кода на соответствие требованиям безопасности, включая Спецификацию безопасности Ethereum.
- Подготовка окончательного отчета с подробным описанием выявленных уязвимостей, включая те, которые перечислены в SWC-100, а также дополнительные категории, оцененные по уровню серьезности.
Начать:
Если наша методология аудита смарт-контрактов Solidity покажется вам привлекательной, мы будем рады сотрудничеству с вами! Пожалуйста, предоставьте нам данные вашего банковского счета, чтобы мы могли приступить к подписанию соглашения. Кроме того, мы хотели бы узнать больше о вашем смарт-контракте. Не могли бы вы предоставить нам некоторые подробности?
Если вы готовы начать использовать наш сервис аудита смарт-контрактов Solidity, пожалуйста, заполните следующую форму: