XRP избегна опасен хак благодарение на AI

Уязвимостта се намираше в пресечната точка на две функции на протокола: Частични плащания и специфична логика, наподобяваща ескроу смарт-договори. Нито едната, нито другата функция е представлявала проблем сама по себе си.

При определени условия обаче комбинацията им отваряла вратичка. Атакуващ можел да накара регистъра да отчете транзакция като напълно изпълнена, докато реално са преминали само частични средства.

Основната цел на подобен сценарий биха били автоматизираните маркет-мейкъри и децентрализираните борси, работещи върху протокола. Те разчитат на прецизно уреждане на всяка операция. Транзакция, отчетена като завършена, но доставила само частична стойност, е точно видът несъответствие, което изцежда ликвидността бавно преди счетоводството да алармира.

Пропускът не е бил тривиален. Изисквал е симулиране на гранични взаимодействия, които стандартният човешки одит рядко открива.

Как беше открит и отстранен проблемът

Откритието е дело на AI инструмент за одит, използващ метода на формалната верификация. Методологията се основава на математическо моделиране на поведението на кода в милиарди възможни транзакционни сценарии. Включително такива, до които човешкият ум не би стигнал, защото излизат извън нормалните употреби.

Показателно е, че нещо подобно се случи и с Етериум през 2016 г. Атаката тогава се дължеше именно на такова гранично взаимодействие между функции, което одиторите бяха пропуснали. Разликата е, че тогава пропускът беше открит след щетите.

След откритието Фондацията на XRP и инженерният екип на Ripple са работили конфиденциално с изследователите. Поправката е разработена преди каквото и да е публично оповестяване.

Корекцията е преминала през стандартния процес на изменения на мрежата. Той изисква 80% консенсус от валидаторите в рамките на 14 дни. Изменението е прието, като нито един токен не е бил откраднат.

Поправката е интегрирана в rippled версия 2.3.0 и по-нови.

ПРОЧЕТИ ОЩЕ:

Виталик Бутерин разкри следващите стъпки в развитието на Етериум

Защо отговорът на управлението е важен

Техническата корекция е едната страна на историята. Начинът, по който протоколът я е приел, е другата.

XRP Ledger разреши важен пропуск без хард форк, без промяна на веригата и без прекъсване на работата. Процесът на изменения се справи с реален проблем ефективно и без странични щети за потребителите.

За институционалните участници, използващи платежната инфраструктура на Ripple, това не е маловажна подробност. Способността на голяма блокчейн мрежа да закърпи критичен пропуск на ниво кодова логика преди злоупотреба и чрез организиран консенсус е точният вид оперативна стабилност, която се търси при разговори за мащабно институционално приемане.

По-широкият сигнал

Този случай е един от ранните значими примери за AI одит, открил уязвимост в реална блокчейн инфраструктура преди хората да са успели.

Изводът не е, че човешките одитори са остарели. Той е, че комбинацията от машинна формална верификация в огромен мащаб и човешка експертиза създава качествено по-силна защита от всеки от двата подхода поотделно.

В среда, в която блокчейн протоколите управляват десетки милиарди долара активи, тази разлика не е академична. Тя е реална.