Обзор атак на управление X100 и Arkadiko: почему заморозка и длительный период голосования не сработали?

Управление криптопроектами требует буферного механизма.

Автор: Лиам Акиба Райт

Перевод: Чоппер, Foresight News

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

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

Эти два события выявили одну и ту же проблему: между заморозкой средств, получением права голоса и выполнением предложений существует проектный пробел. Токены X100 имеют годичный срок заморозки, что увеличивает стоимость злоупотребления, но не задерживает время вступления в силу прав голоса; у Arkadiko длительный период голосования, что дает время для наблюдения за рынком, но не предотвращает резкий приток средств в конце голосования. Оба проекта не оставили буферный период после одобрения предложений для того, чтобы сообщество могло отреагировать на риски.

Токены X100 находятся в состоянии заморозки, но немедленно получают права управления

Контракт Freezer X100 управляет замороженными токенами X, доля стейка определяет рейтинг кандидатов в управлении, а срок заморозки делится на 1 год, 3 года и 5 лет, но контракт не требует минимального времени владения стейком. В атаке 24 октября два вспомогательных контракта заморозили по 19000.000001 токенов X, выбрав годичный срок заморозки. Они зарегистрировали свои идентичности, вошли в рейтинг управления и отдали ключевые два голоса, что позволило выполнить предложение номер 7. Вся операция была завершена в одной транзакции.

Этот механизм управления не имеет обязательного периода ожидания: в открытой фазе предложения большинство мест в управлении может непосредственно уполномочить выполнение. Нападающие контролировали 2 из 3 мест и уже имели немедленные полномочия на выполнение. После одобрения предложения 400000 токенов X были переведены в новый пул средств, созданный нападающими, а контракт Freezer получил лишь 35.675313 USDT. Затем нападающие вывели токены из пула, продали X для получения средств, чтобы погасить займ.

Токены, находящиеся в стейке, оставались замороженными, нападающим не нужно было разблокировать свои доли, им нужно было только украсть активы из казны и использовать средства, полученные от продажи токенов, для погашения. После завершения атаки, когда основной долг + проценты были погашены, около 4.75 миллиона USDT поступили на конечный адрес получения. Участник ChainBounty Филиппарк отслеживал эти средства, эта сумма еще не учитывает непроданные токены X и их колеблющуюся стоимость, а только отслеживаемые переводы.

Сам контракт Freezer имеет одно ограничение: после завершения выполнения транзакции баланс X в контракте должен покрывать все замороженные средства пользователей. Это правило защищает только замороженные средства пользователей и не может защитить ликвидность внешнего пула средств, а также не может поддерживать цену токенов на вторичном рынке.

Arkadiko: средства, входящие в голосование в конце периода, могут участвовать в голосовании

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

Правила требуют, чтобы инициатор предложения владел 0.25% от соответствующего объема DIKO (управляющего токена Arkadiko), а процент участия в голосовании должен составлять 5%, чтобы считаться кворумом; голоса «за» должны превышать голоса «против», чтобы пройти. Расчет обращения исключает DIKO из первоначального распределительного контракта. Правила контракта не требуют, чтобы голосующие держали токены до подачи предложения. Кошелек нападающих приобрел токены в 15:03 UTC 22 октября и завершил голосование в 15:06, вложив около 457.3 миллиона DIKO.

Цепочка Bitquery показывает, что 77% STX, полученных голосующим кошельком нападающих, поступили из ранее украденных средств StackSwap. (Примечание: StackSwap — это DEX экосистемы Stacks, подвергшийся атаке на управление 20 октября.)

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

Активный контракт управления казной Arkadiko имеет уязвимость: функции вывода и выпуска USDA не проверяют права вызывающего. Предложение номер 12 зарегистрировало этот злонамеренный контракт как контракт управления казной, предоставив права на выпуск. Через несколько минут после вступления предложения в силу, то есть в 16:06 UTC, нападающие вывели sBTC; в 16:09 вывели stSTX. Bitquery оценивает убытки Arkadiko в 1.09 миллиона долларов: из них 780000 долларов stSTX, 135000 долларов sBTC, а также 173000 долларов, полученных от продажи выпущенных без обеспечения USDT.

Arkadiko в ответном сообщении 22 октября заявило, что отключило злонамеренный контракт и приостановило управление, выкуп казны и ликвидацию. Компания сообщила, что затронутые казны stSTX и sBTC нельзя изменить, поскольку их залог недоступен. 27 октября предложение 14 «AIP 32.2 — Восстановление операций казны» было исполнено, установив операции казны как законный контракт Arkadiko.

Выводы: управление требует буферного механизма

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

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

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

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

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

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