Протокол кредитования Bonzo Lend на базе Hedera заблокировал вывод средств после того, как верификатор оракула принял доказательство с нулевой подписью и открытым ключом, что позволило одному кошельку занять 9,05 миллиона долларов под залог 250 SAUCE.
Bonzo Lend и Bonzo Points оставались приостановлены по состоянию на 13 июля, а на официальной странице статуса протокола Bonzo Lend и все затронутые рынки активов были отмечены как находящиеся на обслуживании.
Поставщики ликвидности по-прежнему не могут вывести средства, пока Bonzo Finance Labs и Bonzo Finance Foundation определяют путь восстановления и условия для повторного открытия.
Кошелек A сначала внес 250 SAUCE, стоимостью всего в несколько долларов. В 00:51 UTC он отправил обновление цены SAUCE/wHBAR, которое завысило стоимость токена примерно на 12 порядков, хотя рыночная цена оставалась около 0,2 HBAR.
Через восемь секунд после того, как манипулируемая цена достигла ончейн-хранилища оракула, кошелек занял 6,63 миллиона USDC.
Затем он занял 34,5 миллиона обернутых HBAR, в результате чего общая сумма, извлеченная Кошельком A по справочным ценам Bonzo, составила примерно 9,05 миллиона долларов.
Как нули прошли верификатор
Отправленное обновление не содержало действительной подписи оракула. Его поле подписи было [0,0], а указанный открытый ключ комитета также был нулевой точкой, известной в криптографии как точка на бесконечности.
Верификатор Supra отправил эти входные данные в pairing precompile сети Hedera. Поскольку обе точки представляли математическое тождество, уравнение спаривания вернуло true, как и было предусмотрено.
Затем верификатор интерпретировал этот результат как доказательство подписи комитета, поскольку он предварительно не отклонил нулевые, тождественные и вышедшие из подгруппы входные данные.
Простыми словами, сеть правильно ответила на полученное уравнение, в то время как верификатор ошибочно принял этот ответ за авторизацию.
В Bonzo заявили, что их кредитные контракты затем следовали запрограммированным правилам соотношения кредита к залогу, используя уже сохраненную оракулом цену.
Отдельный Кошелек B занял примерно 1 миллион долларов, пока аномальная цена оставалась активной. Этот кошелек связался с Bonzo, идентифицировал себя как white-hat-респондера и заявил о намерении вернуть средства.
Bonzo оценил возврат примерно в 1 миллион долларов, хотя средства еще не были возвращены, и окончательный подсчет оставался невыясненным.
Bonzo сообщил, что Supra исправила верификатор, но пул кредитования остается закрытым.
Оставшиеся вопросы включают: подтвердят ли регрессионные тесты, что верификатор отклоняет тождественные входные данные; добавит ли Bonzo проверки отклонения цены или ужесточит параметры залога; и как будут обрабатываться доступные активы, когда вывод средств возобновится.
Официальная страница статуса Bonzo по-прежнему классифицировала инцидент как нерешенный на 13 июля. В своем последнем официальном обновлении, опубликованном 11 июля, сообщалось, что протокол остается приостановленным.
Bonzo еще не объявил о компенсации, дате повторного открытия или условиях вывода средств для пользователей, оставляя поставщиков ликвидности в зависимости от плана восстановления, который последует.
Всегда имейте в виду, что редакции могут придерживаться предвзятых взглядов в освещении новостей.
Автор – Liam 'Akiba' Wright
