ИИ обнаружил ошибку, которая могла привести к созданию 18 триллионов XRP. Вознаграждение составило 250 000 долларов.

Агент Veria Labs обнаружил переполнение в реестре XRP, возникшее десять лет назад. На устранение проблемы ушло три дня. Споры вызвал размер вознаграждения.

Одна транзакция. Около 18,45 триллиона XRP — в 184 раза больше всего объёма токенов (100 миллиардов) — создана из ниоткуда и доступна для расходования сразу после закрытия реестра. Именно это обнаружил агент искусственного интеллекта из Veria Labs в платежном движке реестра XRP, в коде, который работал с 2015 года.

Никто не воспользовался этой уязвимостью. В собственном отчете XRPL о раскрытии информации говорится, что «нет доказательств того, что эта уязвимость была использована в какой-либо публичной сети». RippleX устранила уязвимость в течение трех дней после публикации отчета, а Veria получила 250 000 долларов — максимальную сумму, предусмотренную программой вознаграждений за обнаружение ошибок. Исследователь блокчейна ZachXBT назвал эту выплату «скудной», и споры по этому поводу не утихают до сих пор.

Два переполнения, одна крайне опасная транзакция

Когда платеж «прожигает» целую кучу предложений в книге заказов по одной и той же цене, механизм суммирует сумму, которую должен покупатель. Для этой суммы использовалось 64-битное целое число со знаком без проверки на переполнение. Если подать достаточное количество огромных заявок, итоговая сумма «обернется» в крошечное число. Каждый владелец заявки по-прежнему получает полную оплату. С покупателя взимается «обернутое» число. Разница представляет собой совершенно новый XRP.

В реестре предусмотрена защита именно от этого — инвариант, отклоняющий любую транзакцию, создающую XRP. Он суммировал изменения баланса таким же образом, в аналогичном счетчике, поэтому переход происходил точно так же, и система воспринимала это лишь как обычное списание комиссии. В статье Верии указано, что код агрегации предложений был написан в ноябре 2015 года, а инвариант — в феврале 2017 года.

Схема была почти оскорбительно проста: 256 предложений, каждое из которых требовало примерно 72 миллиарда XRP, а затем один платеж, чтобы «поглотить» их все. XRPL действительно придерживается ограничения в 100 миллиардов на один аккаунт, поэтому выпущенные монеты пришлось распределить по 256 кошелькам. По данным команды XRPL, реальные затраты злоумышленника составили несколько сотен XRP в виде возвращаемых резервов плюс комиссии. Кроме того, это не могло произойти случайно, поскольку ни одна обычная сделка даже близко не приближается к пределу переполнения.

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

Насколько велика сумма в 18 триллионов?

Зависит от того, кто считает. Veria оценивает сумму похищенных средств примерно в 29 триллионов долларов. В других публикациях указывается цифра около 25 триллионов долларов. Обе цифры являются чисто теоретическими, поскольку никто не продаст 18 триллионов токенов на рынке, который сначала обвалился бы до нуля. Сама Veria даёт трезвую оценку: под угрозой оказалась вся рыночная капитализация XRP в размере 94 миллиардов долларов — это более чем в 60 раз превышает 1,5 миллиарда долларов Bybit, что является крупнейшим взломом в истории.

Три дня — и никакого голосования

Представитель Veria обнаружил ошибку в понедельник, 21 сентября. О ней сообщили и подтвердили 22-го, исправление было внедрено 23-го, а версия xrpld 3.4.1 была выпущена 25 сентября; более 80% валидаторов UNL по умолчанию уже работают на ней.

Обычно в XRPL правила транзакций изменяются посредством поправки. Валидаторы голосуют, после чего более 80% голосов «за» должны сохраняться в течение двух недель. Согласно отчету, в случае с этим исправлением все эти этапы были пропущены — впервые за более чем десятилетие. Обоснование: xrpld является проектом с открытым исходным кодом, поэтому внесение поправки привело бы к тому, что об ошибке стало бы известно на протяжении нескольких недель, пока она оставалась уязвимой для злоупотребления. В отчете признаются связанные с этим риски. В период обновления серверы, работающие на разных версиях, могли бы не прийти к согласию по поводу транзакции, использующей уязвимость, и в худшем случае сеть могла бы остановиться. Команда сочла, что остановка сети лучше, чем публичное создание монет в режиме реального времени.

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

В том же релизе была исправлена отдельная ошибка в Batch — функции, которая ещё не была запущена в эксплуатацию. Это исправление и сама функция Batch вступили в силу в пятницу, 9 октября, и серверы на старых версиях больше не могут оставаться синхронизированными.

Борьба за 250 000 долларов

На следующий день после публикации отчета XRP Ledger Foundation разместила ветку с разъяснениями. В ней говорилось, что XRP не было создано, а его предложение остаётся фиксированным. Фонд также пообещал провести формальную верификацию, тестирование на устойчивость к атакам с использованием ИИ и усилить программу вознаграждений, не указав при этом конкретной суммы в долларах.

Затем в дискуссию вмешался ZachXBT. Почему казна, располагающая миллиардами, платит «белой шапке» 250 000 долларов за ошибку, связанную с бесконечным предложением? Его ответ: в следующий раз злоумышленник может потребовать «девятизначную сумму вместо того, чтобы добросовестно сообщить об этом». BlockTempo сообщает, что через несколько минут он добавил, что эта находка заслуживает как минимум семизначной суммы, и сослался на Zcash. Держатели токенов Zcash одобрили выплату 1,5 млн долларов Тейлору Хорнби, который в мае обнаружил баг, позволяющий подделывать Orchard, с помощью Claude Opus 4.8: вознаграждение в размере 750 000 долларов плюс грант от сообщества в размере 750 000 долларов, который, согласно crypto.news, все еще ожидает проверки на соответствие требованиям.

Защитники XRP смотрят на это иначе. 250 000 долларов — это опубликованный верхний предел программы, и Veria подала заявку, получила максимальную сумму и поблагодарила команду XRPL в своём собственном посте. Veria даже называет это самой крупной выплатой, о которой ей известно, за ошибку, обнаруженную исключительно ИИ-агентом. BlockTempo сообщает, что человек под ником Vet, называющий себя участником Фонда, ответил, что согласен со структурой поощрений. Руководитель отдела разработки RippleX Дж. Айо Акиньеле заявил, что команда расширит поиск ошибок с помощью ИИ и формальную верификацию.

Часть, которую никто не может исправить

Veria не сделала ничего плохого, как и сама программа, которая выплатила именно ту сумму, о которой заявляла. Проблема заключается в максимальном пределе. 250 000 долларов — это примерно 0,0003% от рыночной стоимости, которая, по словам Veria, была подвержена риску, а базовая награда Zcash сама по себе была в три раза больше.

Благодаря ИИ поиск старых ошибок становится дешевле для всех. Veria указывает на летний инцидент с Coldcard, когда было похищено 1 367 BTC из-за пятилетней ошибки в прошивке, которую, как подозревает Coinkite, помог обнаружить ИИ. На этот раз обнаруживший ошибку подал отчет. В следующий раз решение может стоить иначе — в этом и заключается суть аргументации ZachXBT, и с этими расчётами трудно поспорить.

На момент написания статьи о дополнительном финансировании для Veria не было объявлено, как и о новом предельном размере вознаграждения.