XRP Ledger Kreditcode steht vor formaler Prüfung vor der Mainnet-Abstimmung

TLDR:

• RippleX testet den XRPL-Lending-Code, bevor Validatoren die Mainnet-Aktivierung in Betracht ziehen.
• Formale Verifizierung kann Buchhaltungs- und Zustandsfehler aufdecken, die normale Tests übersehen.
• XLS-66 würde Festlaufzeit-Kredite hinzufügen, die durch Single Asset Vault-Liquidität finanziert werden.
• XRP wird nahe 1,17 $ gehandelt, während XRPL technische und Governance-Updates vorbereitet.

RippleX-Entwickler wenden formale Verifizierung auf den XRP Ledger Lending-Code an, bevor das Feature in Richtung Mainnet-Aktivierung voranschreiten kann. Die Arbeit umfasst das geplante XLS-66 Lending Protocol und XLS-65 Single Asset Vaults, die native Lending-Funktionen zu XRPL hinzufügen würden.

Die Überprüfung wird gemeinsam mit Common Prefix, einem Protokoll-Forschungsunternehmen, durchgeführt. Das Ziel ist es zu testen, ob das Lending-Design in unsichere Zustände gelangen kann, bevor Validatoren über die Aktivierung entscheiden.

Der Prozess ist wichtig, weil XRPL plant, Lending direkt in sein Basisprotokoll zu integrieren. Das unterscheidet sich von vielen DeFi-Systemen, bei denen Lending durch separate Smart Contracts abgewickelt wird.

XRP Ledger Lending-Überprüfung konzentriert sich auf Layer-1-Sicherheit

Formale Verifizierung verwendet mathematische Modelle, um definierte Sicherheitsregeln zu testen. Sie prüft nicht nur erwartete Fälle, sondern fragt auch, ob das System außerhalb seines beabsichtigten Designs agieren kann.

Ripple-Ingenieur Vito Tumas sagte, dass traditionelle Tests Grenzen haben, wenn DeFi direkt auf Layer 1 läuft. Standardtests basieren auf Szenarien, die Entwickler sich bereits vorstellen. Formale Modelle können breitere Zustandsräume durchsuchen.

RippleX erklärte, dass sich die Arbeit nun auf Single Asset Vaults und das Lending Protocol konzentriert. Diese Features führen Finanzlogik ein, die mit Vault-Anteilen, Kreditbedingungen, Zinsen, Ausfällen, Einfrierungen und Clawbacks verknüpft ist.

Diese Komplexität macht Buchhaltungsgenauigkeit wichtig. Kleine Rundungs- oder Bilanzfehler können sich potenzieren, wenn Transaktionen für viele Nutzer wiederholt werden. In einem Base-Layer-System können diese Fehler jede Anwendung betreffen, die das Feature nutzt.

Der Common Prefix-Prozess erstellt ein abstraktes Modell des erwarteten Verhaltens. Entwickler vergleichen dann die Ergebnisse mit der xrpld-Implementierung. Jede Abweichung kann auf einen potenziellen Defekt oder ein Designproblem hinweisen.

RippleX hat erklärt, dass die frühe Modellierung bereits Edge Cases aufgedeckt hat, die bei normalen Tests übersehen wurden. Das beweist nicht, dass die Software fehlerfrei ist. Formale Verifizierung hängt vom gewählten Modell und den Eigenschaften ab.

Validatoren müssen XRPL-Lending-Amendments noch genehmigen

XLS-66 würde Festlaufzeit-Kredite ohne Kollateralwerte ermöglichen, die über Single Asset Vaults finanziert werden. Kreditvermittler würden die Bedingungen festlegen und das Risiko managen. Bonitätsprüfungen der Kreditnehmer würden off-chain stattfinden, bevor Mittel on-chain transferiert werden.

Das Design unterstützt auch optionales First-Loss-Kapital. Dieses Kapital kann einen Teil eines Ausfalls absorbieren, bevor Vault-Einleger Verluste erleiden. Das Modell zielt darauf ab, Underwriting-Entscheidungen von der On-Chain-Abwicklung zu trennen.

Single Asset Vaults bündeln einen Vermögenswert zur Nutzung durch Lending-Märkte. Diese Struktur vermeidet gemischte Asset-Pools und kann das kontoübergreifende Buchhaltungsrisiko begrenzen. Sie unterstützt auch XRP und ausgegebene Assets, abhängig von den Protokollregeln.

Compliance-Kontrollen können auf berechtigte ausgegebene Token angewendet werden. Dazu gehören Einfrierungs- und Clawback-Funktionen, wo Token-Regeln diese zulassen. Dieses Design kann das System für regulierte Assets relevanter machen.

XRPL Version 3.1.0 fügte im Januar Unterstützung für die Lending- und Vault-Amendments hinzu. Das Release führte SingleAssetVault- und LendingProtocol-Funktionen ein, aber die Aktivierung hängt weiterhin vom Amendment-Prozess ab. 

Das Netzwerk hat bereits Vorsicht gegenüber den vorgeschlagenen Kernfunktionen gezeigt. Version 3.1.1 deaktivierte die Batch-Unterstützung, nachdem Forscher einen Fehler im vorgeschlagenen Amendment gefunden hatten. Dieser Fall erhöhte die Aufmerksamkeit auf Pre-Aktivierungstests.

XRPL Version 3.1.3 fügte später Korrekturen hinzu, die mit Non-fungible-Token (NFT)s, Permissioned Domains, Vaults, dem Lending Protocol und Multi-Purpose Tokens zusammenhängen. XRPL Version 3.2.0 wird nun für den 15.06. erwartet und wird die Kernsoftware von rippled in xrpld umbenennen. 

Der Beitrag XRP Ledger Lending Code Faces Formal Review Before Mainnet Vote erschien zuerst auf Blockonomi.