DeFi-протокол Bonzo Lend потерял $9,05 млн из-за уязвимости ZeroSignature

Кредитный протокол Bonzo Lend в сети Hedera приостановил вывод средств после того, как валидатор оракула принял "доказательство" с нулевыми подписями и публичными ключами. Это позволило одному кошельку занять $9,05 млн, предоставив в залог всего 250 SAUCE стоимостью в несколько долларов. По данным Bonzo, инцидент выявил критическую слепую зону в проверке математических доказательств в DeFi-инфраструктуре: когда проверяющий трактует математические тождества как подтверждение авторизации, правила loantovalue (LTV) фактически начинают работать против протокола. Схема атаки выглядела так: кошелек A внес 250 SAUCE, после чего в 00:51 UTC отправил обновление цены SAUCE/wHBAR, завысив стоимость токена примерно на 12 порядков при том, что рыночная цена оставалась около 0,2 HBAR. Через восемь секунд после записи подмененной цены в ончейн-хранилище оракула кошелек занял 6,63 млн USDC. Затем он выдал в заем 34,5 млн wrapped HBAR. По референсной цене Bonzo общая сумма, выведенная кошельком A, оценивается примерно в $9,05 млн. Причина — в том, как валидатор обработал нулевые значения. Отправленное обновление не содержало корректной подписи оракула: поле подписи было [0, 0], а публичный ключ комитета также был нулевым (в криптографии это "точка на бесконечности"). Валидаторы Supra передали эти данные в парный precompiled-контракт Hedera. Поскольку оба значения являются математическими идентичностями, уравнение паринга по определению возвращает true. Валидатор интерпретировал это как подтверждение подписи комитета, не отсекая нулевые значения, идентичности или входы вне подгруппы. Иными словами, сеть корректно посчитала переданное ей уравнение, но валидатор ошибочно принял результат за авторизацию. Bonzo отметила, что кредитный контракт использует цены, сохраненные оракулом, и исполняет операции согласно заданным правилам LTV. Пока аномальная цена сохранялась, кошелек B также занял около $1 млн. Этот кошелек связался с Bonzo, назвал себя whitehat-участником и заявил о намерении вернуть средства. Bonzo оценивает потенциально восстановленную сумму примерно в $1 млн, но деньги еще не возвращены, итоговая цифра остается неопределенной. На 13 июля Bonzo Lend и Bonzo Points остаются остановленными; на официальной странице статуса указано, что Bonzo Lend и затронутые рынки активов находятся на техническом обслуживании. Пока Bonzo Finance Labs и Bonzo Finance Foundation определяют план восстановления и условия перезапуска, поставщики ликвидности не могут вывести средства. Bonzo сообщила, что Supra исправила валидатор, но пул кредитования остается закрытым. Среди открытых вопросов — подтверждает ли регрессионное тестирование, что валидаторы отклоняют входы-идентичности, добавит ли Bonzo проверки отклонений цены или ужесточит параметры залога, а также как будут обрабатываться доступные активы при восстановлении вывода. Инцидент по-прежнему значится как нерешенный на статусной странице. Последнее официальное обновление от 11 июля указывает, что протокол остается приостановленным. Bonzo не объявила ни компенсацию, ни дату открытия, ни условия вывода для пользователей; дальнейшие действия зависят от предстоящего плана восстановления.