Ласкаво просимо до нашого сервісу аудиту смарт-контрактів Solidity
Цей документ надає огляд нашого сервісу аудиту смарт-контрактів Solidity. Ми беремо на себе обов'язання забезпечити безпеку та надійність ваших смарт-контрактів.
Деталі сервісу:
Вартість аудиту вашого смарт-контракту Solidity за нашою методологією становить 1500 доларів за до 200 рядків коду, правильно відформатованих з використанням Prettier. Мінімальний розмір контракту, придатного для аудиту, - 100 рядків. Ми розраховуємо вартість у доларах за курсом 40 гривень за долар. Наш сервіс включає до трьох ітерацій аналізу, зворотного зв'язку та повторного аналізу. Кінцевим результатом є комплексний звіт про аудит.
Обов'язки клієнта:
Перш ніж подавати ваш смарт-контракт на аудит, будь ласка, переконайтесь в наступному:
- Підготуйте документацію для вашого смарт-контракту, включаючи технічне завдання, що описує мету контракту, та технічний опис, що пояснює функціональність кожної функції та ролі користувачів (наприклад, власник, адміністратор, звичайні користувачі).
- Створіть юніт-тести для вашого смарт-контракту, використовуючи Hardhat, та надайте нам файли тестів.
- Перевірте, що код вашого контракту покритий тестами на 100%.
Наш процес аудиту:
Наш процес аудиту складається з кількох етапів:
- Початковий аналіз коду та перевірка на очевидні проблеми. На цьому етапі ваш контракт може бути повернутий для виправлень з короткими коментарями.
- Виконання юніт-тестів для підтвердження відповідності технічному опису вашого контракту, а також підготовка попереднього звіту. Якщо виявлені проблеми, ваш контракт може бути повернутий розробникам разом із попереднім звітом.
- Автоматизоване сканування коду за допомогою інструментів, таких як Slither, Mythril, Solgraph та Echidna.
- Ручний аналіз коду на відповідність вимогам безпеки, включаючи Специфікацію безпеки Ethereum.
- Підготовка остаточного звіту, що містить детальний опис виявлених уразливостей, включаючи ті, що перераховані у SWC-100, та додаткові категорії, розглянуті за рівнями серйозності.
Почніть:
Якщо ви знайдете нашу методологію аудиту надійних смарт-контрактів привабливою, ми будемо раді співпрацювати з вами! Будь ласка, надайте нам реквізити свого банківського рахунку, щоб ми могли приступити до підписання договору. Крім того, ми хотіли б дізнатися більше про ваш смарт-контракт. Не могли б ви надати нам деякі подробиці?
Якщо ви готові розпочати наш сервіс аудиту смарт-контрактів Solidity, заповніть наступну форму: