Сколько времени нужно, чтобы пройти аудит смарт-контрактов | DeFi

Почти половина смарт-контрактов в экосистеме Ethereum не проверена, что приводит к растущему количеству взломов. 

Аудит смарт-контрактов, как правило, является последним шагом на пути создания смарт-контракта или приложения DeFi, и его часто упускают из виду. Учитывая известность смарт-контрактов в мире DeFi или в любом приложении Blockchain, проверка смарт-контрактов является важной частью приложения. 

Будь то финансовая революция, токенизация активов или реализация любого варианта использования поверх платформы Blockchain, смарт-контракты являются обязательными. По сути, смарт-контракты - это всего лишь несколько строк кода, используемых для выполнения условия. Например, если вы берете ссуду из приложения DeFi, такого как Aave и Compound, предоставляя некоторый залог и выплачивая определенный процент по ссуде, все условия определяются через серию смарт-контрактов. 

В этом сценарии есть несколько смарт-контрактов, участвующих в создании цифровой экосистемы финансовых взаимодействий. Здесь необходимо понять, что эти несколько смарт-контрактов взаимозависимы. Одна небольшая ошибка в любой строке кода любого смарт-контракта может привести к серьезным результатам. 

Распространено заблуждение, что аудит смарт-контрактов занимает неоправданно много времени. Это обобщенное представление, хотя на самом деле время, необходимое для аудита смарт-контракта, зависит от сложности варианта использования и различных других факторов. Отсутствие знаний о времени аудита - одна из главных причин, по которым многие смарт-контракты остаются неаудитированными.

Сколько времени занимает аудит смарт-контрактов

Ниже упоминаются несколько возможностей с точки зрения времени, которое может занять аудит смарт-контрактов:

1. Наиболее распространенный фактор, который следует учитывать при аудите, - это размер проекта. Сложность проекта также имеет значение, но размер проекта становится основной характеристикой при определении времени, которое займет аудит.

В общем, простой смарт-контракт, такой как контракт токена для токенов ERC20, может занять пару дней, что означает, что время аудита для таких контрактов может занять от 24 до 48 часов. Это опять же зависит от сложности проекта. В случае использования ERC20 внутри Dapp аудит может занять почти целый месяц. 

Другой тип контракта - это контракт на продажу токена. Их можно определить как расширенные контракты ERC20 с определенной токеномикой и расширенными функциями. Такие функции, как стекинг и свопинг, также могут быть частью таких контрактов. Полный аудит таких контрактов может занять от одной до двух недель по сравнению с парой дней для базового контракта ERC20.

2. Как упоминалось выше, время аудита также зависит от сложности проекта. Например, если вы создаете децентрализованную биржу или децентрализованный денежный рынок, такой как Aave, для аудита требуется экспертный аудитор и обширный график, чтобы убедиться в отсутствии бэкдоров. В таком случае даже оракулы необходимо проверять вместе с автоматизированными маркет-мейкерами и другими частями экосистемы.

В некоторых случаях зависимость протокола или смарт-контрактов от внешних факторов подвергает их огромным уязвимостям, которые могут привести к невообразимым потерям. 

Следовательно, для такого типа заявки требуется аудит, который занимает до 1 месяца. 

Другие проекты, подпадающие под эту категорию, включают, среди прочего, кредитование, заимствование, страхование и производные финансовые инструменты. 

3. Типы аудитов также играют важную роль в определении необходимого времени. Если ваш смарт-контракт был составлен с учетом лучших рекомендаций по разработке, и вы уверены в его целостности, промежуточный аудит должен быть вашим выбором. 

В рамках промежуточного аудита к проекту назначается эксперт, который просматривает структуру и анализирует возможные уязвимости. Промежуточный аудит помогает убедиться, что проект идет в правильном направлении, а возможная уязвимость, которая может изменить всю структуру приложения на более позднем этапе, выявляется как можно раньше. Эта проверка обычно занимает один день. 

Далее следует полный аудит безопасности. Хотя промежуточный аудит может проводиться во время разработки смарт-контракта, полный аудит безопасности вступает в игру после того, как приложение было завершено. Обычно это последний шаг, необходимый перед развертыванием приложения в основной сети. Если приложение развертывается без полного аудита безопасности, высока вероятность ошибок и уязвимостей основной сети. Время для полного аудита безопасности зависит от сложности проекта, как описано в пункте 1. 

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

Автоматический аудит может занять до одного дня для контрактов erc20 / bep20, в то время как ручной аудит обычно занимает от 3 до 5 дней для контрактов erc20 / bep20, в то время как для сложных протоколов время аудита зависит от кода. Чтобы получить индивидуальную проверку того, сколько времени займет аудит вашего протокола и какой тип аудита лучше всего, обратитесь к экспертам QuillAudits, чтобы получить бесплатную консультацию.

Глядя на необходимое время для различных типов смарт-контрактов и приложений DeFi, многие люди выходят на рынок со своими инновационными продуктами, не проходя аудит. Основная причина этого - энтузиазм или готовность кого-то еще представить аналогичный проект на рынке. Другой причиной могут быть дополнительные расходы, которые человек может не захотеть нести. 

Однако важность проведения аудита смарт-контрактов невозможно переоценить. Просто дополнительное время и деньги, потраченные на аудит смарт-контрактов, могут сэкономить миллионы пользователей. 

Чтобы лучше понять необходимость аудита смарт-контрактов, ниже перечислены основные взломы DeFi, которые произошли из-за одной простой ошибки - непроведения аудита.

Лучшие хаки DeFi

• DAO Hack

DAO - это децентрализованная автономная организация, которая становится новым стандартом определения модели управления любым приложением. По сути, DAO принимает решения для приложения через смарт-контракты. Поэтому смарт-контракты играют решающую роль в такой среде. 

В одном из таких случаев, когда DAO отвечало за демократизацию процесса финансирования процесса Ethereum, хакер воспользовался уязвимостью резервной функции в смарт-контракте. Используя атаку повторного входа, он украл из протокола 3.6 миллиона. 

• Атака на паритет

Parity представил концепцию множественных подписей для аутентификации передачи эфиров. Он реализовал этот процесс с помощью ряда смарт-контрактов, которые требовали более одной цифровой подписи для аутентификации передачи эфира. 

Из-за того, что не прошел надлежащий аудит, хакер смог использовать функцию делегированного вызова и резервного копирования смарт-контракта и украсть до 30 миллионов долларов в эфирах.

Заключение

Вышеупомянутые хаки - лишь верхушка айсберга. В экосистеме DeFi было совершено бесчисленное количество взломов. С ростом DeFi эти хаки также растут в геометрической прогрессии. Одной из основных причин этого увеличения являются неаудированные смарт-контракты или плохо прошедшие аудит смарт-контракты. 

Аудит смарт-контракта не гарантирует его безопасности, но важно, чтобы он прошел аудит опытной и признанной в отрасли командой, такой как команда Quillaudits. 

Даже если для этого потребуется время и деньги, проверка ваших смарт-контрактов опытной командой может помочь вам создать устойчивый проект и достичь зенита его успеха.

Обратитесь к QuillHash

Благодаря многолетнему присутствию в отрасли, QuillHash поставляет корпоративные решения по всему миру. QuillHash с командой экспертов является ведущей компанией по разработке блокчейнов, предоставляющей различные отраслевые решения, включая DeFi Enterprise. Если вам нужна помощь в аудите смарт-контрактов, не стесняйтесь обращаться к нашим экспертам. здесь!

Следите за QuillHash, чтобы узнать больше

Twitter | LinkedIn | Facebook

Источник: https://blog.quillhash.com/2021/04/30/how-long-does-it-take-to-get-smart-contracts-audited-defi/