Блокчейн-исследователь ZachXBT заявил в понедельник, что $250 000, выплаченные Ripple компании Veria Labs за обнаружение уязвимости, которая могла бы позволить создать триллионы XRP, — слишком мало. Эта выплата вновь разожгла его давнюю критику отношения Ripple к исследователям безопасности.

ZachXBT: исследователям недоплачивают

В посте в X 12 октября ZachXBT раскритиковал выплату $250 000 компании Veria Labs, написав, что за такую находку «должна быть выплата минимум с семью нулями» компании и её сооснователю Кейдену Ляо.

Он назвал эту выплату частью тенденции, при которой «хорошо финансируемые организации» недоплачивают white-hat-исследователям безопасности. Четверть миллиона долларов — слишком мало, по его мнению, когда «казна» платящей организации «насчитывает миллиарды», и он предупредил, что скудные вознаграждения могут склонить следующего человека, обнаружившего подобную уязвимость, эксплуатировать её, а не сообщать о ней.

Ляо выразил иную точку зрения, заявив, что Ripple выплатила Veria максимальные для программы баг-баунти $250 000, и назвав это самой крупной суммой, когда-либо выплаченной за уязвимость, найденную полностью ИИ-агентом.

Баг, который мог бы создать 18,45 триллиона XRP

Veria Labs обнаружила критическое целочисленное переполнение в платёжном движке XRP Ledger — коде, исполняющем сделки через встроенный стакан заявок сети. Когда один платёж исполнял сразу множество заявок, движок суммировал суммы без проверки на переполнение. Достаточно большой итог «заворачивался» в крошечное число: продавцы получали оплату полностью, а с покупателя списывалась лишь ничтожная сумма.

Эта разница означала создание новых XRP, которые можно было тратить как любые. В реестре есть проверка безопасности — «XRPNotCreated», — предназначенная для блокировки любой транзакции, создающей новые монеты, но сама эта проверка содержала похожий баг и не замечала дисбаланс. Таким образом, инцидент затронул как расчёт платежей, так и механизм защиты, предназначенный для предотвращения несанкционированной эмиссии.

По данным Veria, её ИИ-агент объединил две уязвимости — внесённые в ноябре 2015 года и феврале 2017 года соответственно — в работающее доказательство концепции. В одной транзакции он начислил 18,45 триллиона XRP на 256 аккаунтов — примерно в 184 раза больше фиксированного предложения XRP в 100 миллиардов токенов. Veria оценила средства под угрозой почти во всю рыночную стоимость токена — $94 млрд, исходя из цены $1,59.

Разработчики не нашли следов использования бага в реальных условиях. В отчёте о раскрытии уязвимости Ripple поясняется, что для проведения атаки потребовались бы сотни заявок с ценами, которые ни один реальный трейдер не использовал бы.

Veria сообщила об уязвимости 22 сентября через программу баг-баунти XRPL и получила вознаграждение в $250 000.

Прецедент на $1,5 млн в Zcash

Возражая против выплаты Ripple, ZachXBT сослался на $1,5 млн, которые Zcash выплатил исследователю Тейлору Хорнби. Хорнби раскрыл баг подделки монет в защищённом пуле Orchard у Zcash — уязвимость, поставившую под угрозу около $2,3 млрд в ZEC, — и получил вознаграждение в $750 000 плюс такой же бонусный грант в $750 000, одобренный держателями монет в ретроспективном раунде финансирования третьего квартала, распределившем в целом около $8,39 млн.

Исполнительный директор Shielded Labs Джейсон Макги, подавший номинацию на бонус, указал, что первоначальное вознаграждение составило лишь около 0,033% средств под угрозой, тогда как минимальный прецедент — 0,24%. Более высокая выплата, написал он, — «дешёвая страховка» для протокола. Как и находка Veria, открытие Хорнби было сделано с помощью ИИ.

Исправление выпущено вне процесса внесения поправок

RippleX, инженерное подразделение Ripple, подтвердила уязвимость в тот же день, когда Veria о ней сообщила, и, установив, что созданные благодаря багу XRP действительно можно было потратить, оценила её как критическую. Исправление было влито 23 сентября и выпущено в составе xrpld 3.4.1 25 сентября.

При обычных обстоятельствах такое изменение проходило бы через процесс внесения поправок XRP Ledger, требующий поддержки более 80% доверенных валидаторов в течение двух недель подряд. На этот раз, однако, патч вступал в силу по мере обновления каждого сервера. Ко дню выпуска более 80% валидаторов из стандартного Unique Node List уже работали на исправленном коде.

В отчёте Ripple указано, что это первое изменение обработки транзакций более чем за десять лет, обошедшее систему поправок — шаг был предпринят, потому что увимость в противном случае оставалась бы открытой несколько недель до выхода исправления. Таким образом, под пристальным вниманием оказались и внедрение обновлений валидаторами, и сам процесс внесения поправок — не только размер вознаграждения.

Решение отложить публикацию исходного кода тем не менее вызвало критику. Основатель Cyber Capital Джастин Бонс заявил, что XRP «работал на закрытом коде», пока не был опубликован полный код 3.4.1. Инженер RippleX Майукха Вадари ответила на критику, сказав, что старый подход больше не работает: критический патч нельзя включать в обычный публичный релиз, поскольку атакующие сразу заметят его и проведут обратную разработку.