Protokół Pożyczkowy XRP Ledger Przechodzi Formalną Weryfikację

Kluczowy kamień milowy jest właśnie osiągany przez XRP Ledger. Vet, walidator w sieci XRPL dUNL, ujawnił, że nadchodzący natywny protokół pożyczkowy przechodzi obecnie formalną weryfikację. To nie jest zwykła kontrola bezpieczeństwa. Deweloperzy Ripple stosują techniki typowo używane w elektrowniach jądrowych, systemach lotniczych i oprogramowaniu wojskowym. Celem jest uczynienie natywnego ekosystemu DeFi na XRPL tak bezpiecznym, jak to tylko możliwe.

Czym jest formalna weryfikacja?

Formalna weryfikacja to metoda, która matematycznie dowodzi, że kod oprogramowania zachowuje się poprawnie we wszystkich możliwych warunkach. Różni się to od zwykłego testowania, w którym deweloperzy mogą sprawdzać jedynie scenariusze, które przewidują. Inżynier oprogramowania Ripple, Vito Tumas, wyjaśnił to bezpośrednio. Wskazał, że samo tradycyjne testowanie nie może w pełni zabezpieczyć złożonych protokołów finansowych warstwy 1. Wady na tym poziomie mogą wpłynąć na całą sieć, a nie tylko na jedną aplikację.

Aby przeprowadzić tę pracę, Ripple współpracuje z Common Prefix. Wspólnie budują abstrakcyjny model protokołu pożyczkowego i porównują go z rzeczywistym kodem C++ xrpld. Jak twierdzi Tumas, proces ten już wykrył złożone przypadki brzegowe, które umknęły standardowym testom.

Rola AI w bezpieczeństwie

Vet podkreślił również, jak AI sprawia, że formalna weryfikacja staje się bardziej praktyczna i skalowalna. Uważa, że to połączenie może przyspieszyć instytucjonalne przyjęcie XRPL. Społeczność XRPL widziała już wcześniej takie korzyści. Na początku tego roku narzędzie AI odkryło lukę w proponowanej poprawce XRPL Batch. Ta luka mogła narazić środki użytkowników na ryzyko. Po tym, jak badacz bezpieczeństwa Pranamya Keshkamat znalazł problem, deweloperzy naprawili go i rozszerzyli audyty AI na inne procesy przeglądu.

Protokół pożyczkowy i kolejne kroki

Ekosystem XRPL pracuje nad wprowadzeniem natywnego pożyczania i zaciągania kredytów bezpośrednio w łańcuchu. Pozwoliłoby to instytucjom i użytkownikom detalicznym uzyskać dostęp do kredytu przy użyciu aktywów takich jak XRP i RLUSD, bez polegania na tradycyjnych inteligentnych kontraktach. Inicjatywa, wprowadzona w ramach poprawki XLS-66, weszła w fazę głosowania walidatorów na początku tego roku po wydaniu wersji XRPL 3.1.0.

Vet wspomniał, że deweloperzy aktualnie testują protokół pożyczkowy. Wdrażają zabezpieczenia, aby zapewnić bezpieczeństwo środków użytkowników przed aktywacją tej funkcji. Wizja, jak opisał to Vet, polega na zbudowaniu „Twierdzy $XRP". Oznacza to prowadzenie natywnej infrastruktury DeFi XRPL według najwyższych standardów bezpieczeństwa i pewności.

The post XRP Ledger Lending Protocol Undergoes Formal Verification appeared first on TheCryptoUpdates.