Главные вкладки

Аудит смарт-контрактов Solidity

Автор: superadmin, 16 сентября, 2023
Изображение
Audit of Solidity Smart Contracts by Alef Invest

Добро пожаловать в наш сервис аудита смарт-контрактов Solidity

Этот документ предоставляет обзор нашего сервиса аудита смарт-контрактов Solidity, эксклюзивно предлагаемого Alef Invest. Мы обязаны обеспечивать безопасность и надежность ваших смарт-контрактов.

Детали сервиса:

Стоимость аудита вашего смарт-контракта Solidity по нашей методологии составляет 1500 долларов за до 200 строк кода, правильно отформатированных с использованием Prettier. Минимальный размер контракта, подходящего для аудита, - 100 строк. Мы рассчитываем стоимость в долларах по курсу 40 гривен за доллар. Наш сервис включает до трех итераций анализа, обратной связи и повторного анализа. Конечным результатом является комплексный отчет об аудите.

Обязанности клиента:

Прежде чем подавать ваш смарт-контракт на аудит, убедитесь, что выполнены следующие условия:

  1. Подготовьте документацию для вашего смарт-контракта, включая техническое задание, описывающее цель контракта, и техническое описание, объясняющее функциональность каждой функции и роли пользователей (например, владельца, администратора, обычных пользователей).
  2. Создайте юнит-тесты для вашего смарт-контракта с использованием Hardhat и предоставьте нам файлы тестов.
  3. Убедитесь, что код вашего контракта покрыт тестами на 100%.

Наш процесс аудита:

Наш процесс аудита включает несколько этапов:

  1. Первичный анализ кода и проверка на очевидные проблемы. На этом этапе ваш контракт может быть возвращен для внесения правок с краткими комментариями.
  2. Выполнение юнит-тестов для подтверждения соответствия техническому описанию вашего контракта, а также подготовка предварительного отчета. Если выявляются проблемы, ваш контракт может быть возвращен разработчикам вместе с предварительным отчетом.
  3. Автоматическое сканирование кода с использованием инструментов, таких как Slither, Mythril, Solgraph и Echidna.
  4. Ручной анализ кода на соответствие требованиям безопасности, включая Спецификацию безопасности Ethereum.
  5. Подготовка окончательного отчета с подробным описанием выявленных уязвимостей, включая те, которые перечислены в SWC-100, а также дополнительные категории, оцененные по уровню серьезности.

Начать:

Если наша методология аудита смарт-контрактов Solidity покажется вам привлекательной, мы будем рады сотрудничеству с вами! Пожалуйста, предоставьте нам данные вашего банковского счета, чтобы мы могли приступить к подписанию соглашения. Кроме того, мы хотели бы узнать больше о вашем смарт-контракте. Не могли бы вы предоставить нам некоторые подробности?

Если вы готовы начать использовать наш сервис аудита смарт-контрактов Solidity, пожалуйста, заполните следующую форму:

Отправляя эту форму, я согласился со следующим