Автор: CryptoSlate
Компиляция: Deep Tide TechFlow
Введение от Deep Tide: Залог в виде альткоина стоимостью в несколько долларов, через уязвимость нулевой подписи оракула-валидатора, позволил получить кредит на 9.05 миллиона долларов. Этот инцидент выявил упущенную математическую слепую зону в инфраструктуре DeFi: когда валидатор принимает математическое тождество за доказательство авторизации, правила коэффициента кредитования, заложенные в дизайн протокола, вместо этого становятся сообщниками.
Кредитный протокол Bonzo Lend на основе Hedera заблокировал функцию вывода средств после того, как оракул-валидатор принял доказательство, содержащее нулевую подпись и открытый ключ, что позволило кошельку взять в кредит 9.05 миллиона долларов под залог 250 токенов SAUCE.
По состоянию на 13 июля, Bonzo Lend и Bonzo Points всё ещё приостановлены. Официальная страница статуса протокола показывает, что Bonzo Lend и все затронутые рынки активов находятся в режиме обслуживания.
Пока Bonzo Finance Labs и Bonzo Finance Foundation определяют путь восстановления и условия для повторного открытия, поставщики ликвидности всё ещё не могут выводить средства.
Кошелёк А сначала внес 250 SAUCE, стоимостью всего в несколько долларов. В 00:51 по UTC он отправил обновление цены SAUCE/wHBAR, искусственно завысив стоимость токена примерно на 12 порядков, несмотря на то, что рыночная цена оставалась на уровне около 0.2 HBAR.
Через 8 секунд после того, как манипулируемая цена попала в онлайн-хранилище оракула, этот кошелёк взял в кредит 6.63 миллиона USDC.
Затем он занял ещё 34.5 миллиона wrapped HBAR, в результате чего основная сумма, выведенная кошельком А, согласно справочной цене Bonzo, составила около 9.05 миллионов долларов.
Как нулевые значения прошли через валидатор
Отправленное обновление не содержало действительной подписи оракула. Его поле подписи было [0,0], и на который ссылается комитетный открытый ключ также был нулевой точкой, что в криптографии называется точкой на бесконечности.
Валидатор Supra отправил эти входные данные в предварительно скомпилированный контракт спаривания Hedera. Поскольку обе точки представляли собой математическое тождество, уравнение спаривания, как и задумано, возвращало true.
Затем валидатор интерпретировал этот результат как доказательство подписи комитета, поскольку он не отверг нулевые значения, тождества и входные данные, не принадлежащие подгруппе, в первую очередь.
Проще говоря, сеть правильно ответила на полученное уравнение, а валидатор ошибочно принял этот ответ за авторизацию.
Bonzo сообщает, что их кредитный контракт затем, в соответствии с запрограммированными правилами коэффициента кредитования, использовал уже сохранённую оракулом цену.
Другой кошелёк, B, занял около 1 миллиона долларов, пока аномальная цена всё ещё была активна. Владелец этого кошелька связался с Bonzo, представившись участником белой шляпы (белым хакером), и заявил о намерении вернуть средства.
По подсчётам Bonzo, около 1 миллиона долларов удалось вернуть, хотя средства ещё не переданы, и окончательная сумма всё ещё не определена.
Bonzo сообщает, что Supra исправила валидатор, но кредитные пулы по-прежнему закрыты.
Среди оставшихся вопросов: подтверждают ли регрессионные тесты, что валидатор отклоняет входные данные, являющиеся тождествами; добавит ли Bonzo проверки на отклонение цены или ужесточит параметры залога; а также как будут обрабатываться доступные активы при восстановлении вывода средств.
По состоянию на 13 июля, официальная страница статуса Bonzo продолжает отмечать этот инцидент как нерешённый. Их последнее официальное обновление от 11 июля гласит, что протокол всё ещё приостановлен.
Bonzo ещё не объявила о компенсациях, дате повторного открытия или условиях вывода средств для пользователей, оставив поставщиков ликвидности в зависимости от последующего плана восстановления.
