Недостатки управления X100 привели к убыткам в $6 млн из-за флеш-кредита

Злоумышленник смог получить два места в управлении X100, проекте токенов с казной, управляемой Сенатом, и одобрил транзакцию казны, погасив флеш-кредит в одной блокчейн-транзакции 24 октября.

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

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

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

Заблокированная доля X100 приобрела немедленные полномочия

Контракт Freezer X100 удерживает замороженные токены X и предоставляет долю, используемую для ранжирования кандидатов в Сенат. Условия блокировки действуют на один, три или пять лет, но право на участие в Сенате использует количество, в настоящее время замороженное, без минимального возраста доли.

В первой атаке 24 октября два вспомогательных контракта заморозили по 19,000.000001 X на условиях одного года. Они зарегистрировались, вошли в рейтинг и предоставили два поддерживающих голоса, которые исполнили предложение 7. Они завершили долю, голоса и исполнение в одной транзакции.

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

Одобренный обмен отправил 400,000 казенных X в созданный злоумышленником пул. Freezer получил только 35.675313 USDT, а затем злоумышленник извлек токены из этого пула и продал X, чтобы получить наличные для погашения.

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

Атака заняла около 1.94 миллиона USDT и погасила основную сумму плюс ее премию. После погашения около 4.75 миллиона USDT достигли первого конечного получателя.

Участник ChainBounty Филиппарк согласовал 4.848 миллиона USDT, выплаченных трем выбранным получателям. Эта промежуточная сумма не включает непроданные X и их изменяющуюся стоимость, измеряя выбранные выплаты.

Freezer также сохранил значительное ограничение: после исполнения его баланс X должен был покрывать общую сумму, замороженную пользователями. Защита этого количества заблокированного капитала не защищала ликвидность внешнего пула или рыночную стоимость токена.

Голосование Arkadiko допустило поздние деньги

Предложение 12 Arkadiko было представлено в 20:35 UTC 17 октября и исполнено в 16:04 UTC 22 октября. Его контракт управления предоставил внешнему предложителю интервал голосования в 720 блоков Bitcoin, обычно описываемый как пять дней.

Правила требовали 0.25% от доступного предложения DIKO для предложения, 5% участия для достижения кворума и больше голосов «за», чем «против». Расчет предложения вычитал DIKO, удерживаемые в контракте начального распределения.

Эти пороги и правила голосования не требовали, чтобы владельцы токенов держали токены до предложения. Кошелек, предлагающий, совершил обмен в 15:03:46 UTC 22 октября и голосование в 15:06:47. Он вложил около 4.573 миллиона DIKO. Предложение закрылось с тем же количеством голосов «за» и нулем голосов «против».

Bitquery оценивает покупки токенов для голосования примерно в $51,000. Его отслеживание также показывает, что 77% STX, отправленных на голосующий кошелек, поступили из ранее полученного объема StackSwap.

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

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

Утвержденный злонамеренный контракт не имел авторизации вызова в своих функциях вывода и создания USDA. Предложение 12 зарегистрировало его как контракт операций с хранилищем с разрешением на создание. Успешные вызовы удалили sBTC в 16:06 UTC и stSTX в 16:09, через несколько минут после активации.

Bitquery оценивает убытки Arkadiko примерно в 1,09 миллиона долларов: около 780 000 долларов stSTX, 135 000 долларов sBTC и 173 000 долларов STX, полученных путем продажи необеспеченного USDA. Нападающий X100 действовал в рамках одной транзакции, несмотря на годичную блокировку токенов, в то время как Arkadiko выполнил действия после голосования без отдельной задержки.

В своем ответе 22 октября Arkadiko заявил, что отключил злонамеренный контракт и приостановил управление, выкуп залогов и ликвидации. Он сообщил, что затронутые хранилища stSTX и sBTC не могут быть изменены, поскольку их залог недоступен.

В 07:57 UTC 27 октября было выполнено предложение 14, "AIP 32.2 -- Восстановление операций с хранилищем", установив вход для операций с хранилищем на законный контракт Arkadiko v1-3.

Окно выхода требует выхода

Требование к старой ставке или использование голосовой силы из более раннего снимка могло бы предотвратить немедленное соответствие новоприобретенных токенов, в то время как задержка выполнения отделила бы одобрение от движения активов.

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

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

Документация по управлению OpenZeppelin описывает историческую голосовую силу и временные блокировки выполнения как отдельные механизмы.

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

Замороженный X X100 не мог бы быть разблокирован до истечения срока его блокировки, поэтому задержка выполнения не стерла бы это ограничение на вывод.

Законная функция закрытия хранилища Arkadiko предоставляет условный выход: активный владелец погашает долг, оплачивает сборы за стабильность и выводит залог, когда операции разрешены. Это требует необходимых средств и доступного залога.

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

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