Тестването разкри проблеми, които стандартните методи пропуснаха. Софтуерният инженер на Ripple Вито Тумас разкри, че процесът на формална верификация, приложен към предстоящия протокол за кредитиране на XRP Ledger, вече е открил сложни гранични случаи, които редовното тестване не е уловило.
Свързано четиво: Изненада от 400 милиарда Shiba Inu: Кит портфейл се съживява
Ripple работи с фирмата за блокчейн сигурност Common Prefix по тези усилия. Заедно екипите изграждат абстрактен модел на протокола и непрекъснато го сравняват с имплементацията на C++ на xrpld — сървърния софтуер на XRP Ledger — използвайки рамка за верификация, предназначена да открива грешки и потенциални уязвимости, преди да достигнат до потребителите.
Защо традиционното тестване не е достатъчно
Тумас обясни, че конвенционалното тестване покрива само сценарии, които разработчиците очакват. Формалната верификация, от друга страна, използва математически доказателства, за да потвърди, че кодът се държи правилно в много по-широк диапазон от условия — включително гранични случаи, които човешките тестери може никога да не обмислят. Тази техника се използва в области, където провалът не е опция, като самолетни системи, атомни електроцентрали и военен софтуер.
Предстоящият протокол за кредитиране получава формална верификация 👀!! Технологията, използвана за защита на атомни електроцентрали, самолети, военни системи, се прилага към $XRP Ledger. Наречете го Fortress XRP. Родният DeFi на XRP (без умни договори) среща стандарти за сигурност от най-висок клас… https://t.co/KSAm0UuJC1 pic.twitter.com/D3aSFOUePS — Vet (@Vet_X0) 8 юни 2026 г.
Работата по верификацията обхваща две ключови функции на родния DeFi на XRPL: Протокол за кредитиране и Единични активи трезори. И двете са проектирани да донесат заемане и кредитиране директно към Layer-1 архитектурата на XRPL, напълно заобикаляйки необходимостта от традиционни умни договори. Тъй като DeFi функционалността е вградена на ниво протокол, а не в отделни приложни слоеве, грешка може да засегне цялата мрежа — а не само едно приложение.
AI и формална верификация
Валидаторът на XRPL dUNL Vet, който привлече по-широко внимание към инициативата чрез публикация в X, каза, че изкуственият интелект играе нарастваща роля в правенето на формалната верификация по-практична и мащабируема. Той предположи, че комбинирането на AI с формална верификация може да засили институционалното доверие в екосистемата на XRP Ledger в бъдеще.
Общността на XRPL вече видя какво може да направи AI-асистираният анализ на сигурността. По-рано тази година AI инструмент идентифицира грешка в предложената поправка Batch, която можеше да изложи на риск средствата на потребителите.
Свързано четиво: Месечният RSI на XRP пада до рекордно ниско ниво, докато пазарът очаква потвърждение
Родното кредитиране се приближава към активиране
Протоколът за кредитиране беше въведен чрез поправката XLS-66 и влезе във фазата на гласуване от валидаторите по-рано тази година след пускането на версия 3.1.0 на XRPL. Според Vet, разработчиците все още са във фаза на тестване, докато необходимите предпазни мерки за сигурност бъдат поставени, преди функцията да бъде пусната в експлоатация.
След като протоколът бъде активиран, се очаква както институционалните, така и零售 потребителите да могат да получат достъп до кредит, използвайки активи като XRP и RLUSD.
Изображение от Biotech Healthcare, графика от TradingView
Често задавани въпроси
Ето списък с често задавани въпроси относно етапа на сигурност за протокола за кредитиране на XRP, написан в естествен тон с ясни прости отговори
Въпроси за начинаещи
1 Какво точно представлява прегледът за сигурност от военен клас
Това означава, че протоколът е тестван от експерти по сигурност от най-високо ниво, използвайки същите високи стандарти и строги методи, използвани за защита на класифицирани военни системи. Това е най-високото ниво на одит за сигурност, което можете да получите.
2 Означава ли това, че моят XRP вече е 100% безопасен
Не, сигурността никога не е 100% гарантирана, но преминаването на този преглед означава, че протоколът е бил щателно проверен за критични уязвимости. Това значително намалява риска от хакерски атаки или грешки, което го прави много по-безопасен от непроверена платформа.
3 Защо ми е необходим протокол за кредитиране за XRP
Вместо просто да държите XRP, можете да го давате назаем, за да печелите лихва. Кредитополучателите също могат да използват своя XRP като обезпечение, за да получат заем в друг актив. Този етап прави този процес по-надежден.
4 Кой извърши този преглед на сигурността
Обявата ще посочи конкретна добре позната фирма за сигурност. Това са компании, които специализират в откриването на грешки в блокчейн код.
5 Как това се различава от редовния одит за сигурност
Редовният одит проверява за често срещани грешки. Прегледът от военен клас отива по-дълбоко — симулира напреднали атаки, проверява за логически грешки и тества системата при екстремен стрес, точно както военен изпълнител би тествал ракетна система.
Въпроси за средно напреднали и напреднали
6 Какви конкретни уязвимости търси прегледът в протокол за кредитиране
Той проверява за неща като атаки с флаш заеми, манипулация на оракули, грешки при повторно влизане и грешки в логиката на ликвидация.
7 Означава ли преминаването на този преглед, че протоколът е защитен от всички DeFi рискове като временна загуба или ликвидация
Не. Прегледът проверява само кода и сигурността на умните договори. Той не ви защитава от пазарни рискове като:
Временна загуба
Ликвидация