Axion перешел на Полигональная сеть! Узнайте, как купить AXN через нажав здесь.

Должен Axion V3 будет проходить аудит?

Axion Команда разработчиков
24 июля 2021
axion DAO voting user community vote

Целью этого голосования DAO является определение того, Axion должен инициировать аудит кода v3 перед запуском, и как он должен за него платить. В Axion код v3 - это полная переработка всего Axion экосистема, и это действительно технологическое достижение, которое делает Axionсмарт-контракты значительно опережают любой другой токен для ставок на рынке. Axion v3 приведет к значительному снижению комиссии за газ (а значит, к более дешевым транзакциям) для всех Axionосновные функции, такие как размещение ставок, снятие, обновление, снятие ставок V1 / V2 и ставки на аукционе, а также функции разблокировки, такие как создание ставок NFT и возможность обновления токенов в будущем. Axion v3 - это фундамент, на котором Axionбудущее остается.

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

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

 Голосование завершено

Ключевые факты:

Провайдер аудита: Halborn

Сроки проведения аудита: начало с 6 сентября до завершения в середине октября.

Стоимость аудита: минимум 75,000 XNUMX долларов США.

Сроки запуска с аудитом: конец третьего квартала - начало четвертого квартала.

Срок запуска без аудита: в течение 3 недель с момента одобрения голосования DAO. 

Сломать:

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

Axion выполняет два вида аудита: внутренний и внешний. 

Внутренний аудит проводятся с тщательным анализом самого кода и включают значительное тестирование:

  1. Повторные атаки
  2. Особенности чеканки
  3. Вывод средств V1 и V2
  4. Обратная совместимость
  5. Оценка эксплойтов и угроз
  6. Математическая согласованность
  7. Тестирование покрытия кода
  8. Построчное оценивание
  9. Оценка стоимости газа
  10. И многое другое

Эти тесты проводятся всем Axion команда разработчиков, состоящая из 7 человек. Каждый член команды несет ответственность за написание, реализацию и оценку самого кода. Они проводят тщательное и регулярное тестирование на регулярной основе на протяжении всего цикла разработки.

Прямо сейчас, Axion v3 имеет 95% покрытие кода для всего кода и 100% покрытие любых функций минтинга. 

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

Анализ цен:

Причина минимальной стоимости 75,000 XNUMX долларов США обусловлена ​​двумя факторами. Первый заключается в том, что Axion v3 содержит как новый код, так и код, поддерживающий V2 и V1. Все это необходимо будет проверить, чтобы обеспечить полное покрытие кода. Во-вторых, Halborn - это аудиторская компания высшего уровня, сроки которой соответствуют идеальному окну запуска для команды. Можно было бы проводить более дешевый аудит, но он не включал бы тот уровень полезного, тщательного и аналитического покрытия кода, который Axion потребуется для его аудита. Предыдущие партнеры по аудиту либо отсутствуют, либо обладают недостаточным качеством.

Аудиторские платежи и сроки:

Чтобы позволить себе этот аудит, сообщество проголосует за следующие варианты, если будет получено голосование ДА:

  1. Axion Foundation может продать AXN на 75,000 5 долларов из фонда разработки. Это приведет к немедленному снижению цены, поскольку сумма конвертируется в стабильную монету. По нашим оценкам, при текущих объемах цена этой продажи снизится на 7-XNUMX%. Сроки для Axion Запуск V3 будет в конце третьего квартала - в начале четвертого квартала.

  2. Axion могли платить из пула ликвидности. Но поскольку токены LP, предоставленные сообществом, заблокированы до конца сентября, Axion Фонд не может оплатить аудит до тех пор, пока эти токены не будут выпущены, что отодвигает сроки аудита и запуск версии v3 до 4 кв.2021 / 1 кв.2022 г. Прямого влияния на цену не будет; однако будущие покупки и продажи будут иметь более сильное влияние на цену.

  3. Axion могли платить за счет доходов от аукционов. Сообщество проголосовало за то, чтобы выделить текущую выручку от аукциона в ETH в маркетинговый бюджет на оставшуюся часть третьего квартала, чтобы привлечь новых инвесторов, поэтому сбор средств необходимо будет начать в четвертом квартале. Если бюджет аукциона будет перераспределен на оплату аудита, потребуется примерно 3-4 месяца при текущей цене / объеме, чтобы накопить на аудит только за счет выручки от аукциона. Таким образом, v2 может быть запущен во втором квартале 3 года.

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

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

  6. Или какая-то комбинация в нем, например, разделение на несколько источников между источниками финансирования для смягчения истощения / использования любого из них. 

Обратите внимание, что Axion Команда не хочет просить сообщество собрать 75 тысяч долларов для оплаты аудита. Команда считает, что это должны быть расходы, которые Axion Фундамент должен прикрыть.

Основные моменты против аудита:

  1. Аудит стоит дорого, В данный момент, Axion У Фонда нет удобного метода оплаты минимум 75 тысяч долларов за аудит. Каждый вариант (описанный выше) требует некоторой жертвы времени, цены или того и другого. Эти 75 тысяч долларов можно было бы потратить на маркетинг, зарплаты, общественные мероприятия, новые пары токенов и т. Д.

  2. Аудит не всегда эффективен. Понимать код сложно, но понять чужой код еще сложнее. С учетом всех V1, V2 и v3 вероятность того, что аудиторская компания что-то упустит, высока. Например, аудиторская фирма, с которой был заключен контракт на аудит кода VCA, пропустила важную часть операций VCA, которая могла позволить числам стать отрицательными, просто потому, что они не понимали функций. Так что, хотя они провели всесторонний аудит, все равно было упущено. В приведенном выше примере код для VCA был быстро исправлен командой разработчиков после запуска, несмотря на то, что код был полностью проверен. Обновляемые контракты позволяют быстро развертывать исправления в случае ошибки, поэтому даже если v3 не проверяется, любые исправления могут появиться быстро.

  3. Аудит не может быть выполнен быстро. Шесть недель назад Axion начал поиск следующего партнера по аудиту для решения v3. Команда обратилась к ведущим доступным аудиторским компаниям, но из-за огромного количества запросов на аудит и невыполненных работ, сроки проведения аудита Axion v3 находится в месячном временном окне. Ни один уважаемый партнер по аудиту не может провести проверку Axion v3, которая позволит нам запустить в ближайшие 30 дней.

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

Основные моменты в пользу аудита:

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

  2. Аудит дает прочную основу для будущего развития. Любые обновления контракта в будущем, за которые будет проголосовать DAO, будут выполняться на базе кода, которая доказала свою надежность и безопасность. Это придаст сообществу больше уверенности в будущем полезности, разработанной для Axion командой разработчиков.

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

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

  5. Аудит создает сильный прецедент в сообществе. Голосование за подтверждение аудита, несмотря на цену, доказывает, что все сообщество вместе проявило должную осмотрительность, чтобы продемонстрировать будущим инвесторам, что Axionсобственное сообщество ценит контроль и правильное поведение, даже если это неудобно.

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

Комментарии от команды:

Axion команда выступает за аудит, даже с опозданием с запуском v3.

Голосование:

Сообщество должно проголосовать за проведение аудита и за его оплату. Первое голосование определит, следует ли проводить аудит. Если сообщество проголосует за проведение аудита, будет проведено еще одно голосование, чтобы определить, как он должен быть оплачен. 

Есть два варианта голосования:

  1. НЕТ АУДИТА
    Вы бы хотели Axion v3 для запуска без аудита, когда команда будет уверена в его развертывании. Срок запуска - около 3 недель.

  2. ДА АУДИТ
    Вы бы хотели отложить запуск версии 3 до проведения аудита. Вы будете готовы принять участие в последующем голосовании DAO, чтобы определить, как следует оплачивать аудит. Срок запуска - с четвертого квартала 4 года по второй квартал 2021 года в зависимости от метода финансирования.

 

Разместите свои голоса здесь:

 Голосование завершено