Kod pożyczek XRP Ledger czeka na formalną weryfikację przed głosowaniem na Mainnet

TLDR:

• RippleX testuje kod pożyczkowy XRPL, zanim walidatorzy rozważą aktywację w sieci głównej (Mainnet).
• Formalna weryfikacja może ujawnić błędy księgowe i błędy stanu, które umykają zwykłym testom.
• XLS-66 wprowadzi pożyczki terminowe finansowane z płynności Single Asset Vault.
• XRP jest notowany w okolicach 1,17 USD, podczas gdy XRPL przygotowuje aktualizacje techniczne i dotyczące zarządzania.

Deweloperzy RippleX stosują formalną weryfikację do kodu pożyczkowego XRP Ledger zanim funkcja będzie mogła przejść do aktywacji w sieci głównej (Mainnet). Prace obejmują planowany Protokół Pożyczkowy XLS-66 oraz Single Asset Vaults XLS-65, które dodałyby natywne funkcje pożyczkowe do XRPL.

Przegląd jest przeprowadzany we współpracy z Common Prefix, firmą zajmującą się badaniami protokołów. Celem jest sprawdzenie, czy projekt systemu pożyczkowego może wejść w niebezpieczne stany, zanim walidatorzy zdecydują o aktywacji.

Proces ten ma znaczenie, ponieważ XRPL planuje umieścić pożyczki bezpośrednio w swoim protokole bazowym. Różni się to od wielu systemów DeFi, gdzie pożyczki są obsługiwane przez oddzielne inteligentne kontrakty.

Przegląd systemu pożyczkowego XRP Ledger skupia się na bezpieczeństwie Warstwy 1

Formalna weryfikacja wykorzystuje modele matematyczne do testowania zdefiniowanych reguł bezpieczeństwa. Nie sprawdza wyłącznie oczekiwanych przypadków. Bada, czy system może zachowywać się poza zamierzonym projektem.

Inżynier Ripple, Vito Tumas, powiedział, że tradycyjne testy mają ograniczenia, gdy DeFi działa bezpośrednio na Warstwie 1. Standardowe testy zależą od scenariuszy, które deweloperzy już sobie wyobrażają. Formalne modele mogą przeszukiwać szersze przestrzenie stanów.

RippleX poinformował, że prace skupiają się teraz na Single Asset Vaults i Protokole Pożyczkowym. Funkcje te wprowadzają logikę finansową powiązaną z udziałami w skarbcach, warunkami pożyczek, odsetkami, niewywiązaniem się ze zobowiązań, zamrożeniami i clawbackami.

Ta złożoność sprawia, że precyzja księgowa jest ważna. Małe błędy zaokrągleń lub sald mogą narastać, gdy transakcje są powtarzane przez wielu użytkowników. W systemie warstwy bazowej błędy te mogą wpływać na każdą aplikację korzystającą z tej funkcji.

Proces Common Prefix tworzy abstrakcyjny model oczekiwanego zachowania. Deweloperzy porównują następnie wyniki z implementacją xrpld. Każda rozbieżność może ujawnić potencjalną wadę lub problem projektowy.

RippleX poinformował, że wczesne modelowanie ujawniło już przypadki brzegowe pominięte przez normalne testy. Nie dowodzi to, że oprogramowanie jest wolne od błędów. Formalna weryfikacja zależy od wybranego modelu i właściwości.

Walidatorzy wciąż muszą zatwierdzić poprawki dotyczące pożyczek XRPL

XLS-66 umożliwiałby terminowe, niezabezpieczone pożyczki finansowane przez Single Asset Vaults. Brokerzy pożyczkowi ustalaliby warunki i zarządzali ryzykiem. Weryfikacja zdolności kredytowej pożyczkobiorców odbywałaby się poza łańcuchem (off-chain), zanim środki trafią na łańcuch (on-chain).

Projekt obsługuje również opcjonalny kapitał pierwszej straty. Kapitał ten może wchłonąć część niewywiązania się ze zobowiązań, zanim deponenci skarbca poniosą straty. Model ma na celu oddzielenie decyzji ubezpieczeniowych od rozliczenia on-chain.

Single Asset Vaults łączą jeden zasób do wykorzystania przez rynki pożyczkowe. Ta struktura unika puli mieszanych aktywów i może ograniczyć ryzyko księgowe między aktywami. Obsługuje również XRP i emitowane aktywa, w zależności od reguł protokołu.

Kontrole zgodności mogą być stosowane do kwalifikujących się emitowanych tokenów. Obejmują one funkcje zamrażania i clawback, gdzie reguły tokenów na to pozwalają. Ten projekt może sprawić, że system będzie bardziej odpowiedni dla regulowanych aktywów.

XRPL w wersji 3.1.0 dodał wsparcie dla poprawek pożyczkowych i skarbcowych w styczniu. Wydanie wprowadziło funkcje SingleAssetVault i LendingProtocol, ale aktywacja nadal zależy od procesu poprawek. 

Sieć wyraziła już ostrożność wobec proponowanych podstawowych funkcji. Wersja 3.1.1 wyłączyła obsługę Batch po tym, jak badacze odkryli wadę w proponowanej poprawce. Przypadek ten zwiększył uwagę na testowanie przed aktywacją.

XRPL w wersji 3.1.3 dodał następnie poprawki związane z NFT, Permissioned Domains, Vaults, Protokołem Pożyczkowym i Multi-Purpose Tokens. XRPL w wersji 3.2.0 jest teraz oczekiwany około 15 czerwca i zmieni nazwę głównego oprogramowania serwera z rippled na xrpld. 

Wpis XRP Ledger Lending Code Faces Formal Review Before Mainnet Vote pojawił się najpierw na Blockonomi.