Sicherheitsmeilenstein: XRP-Lending-Protokoll durchläuft militärische Sicherheitsprüfung
Ein formaler Verifizierungsprozess, der auf das kommende Lending-Protokoll des XRP Ledgers angewendet wird, hat bereits komplexe Randfälle aufgedeckt, die bei herkömmlichen Testverfahren übersehen wurden. Dies teilte Ripple-Softwareingenieur Vito Tumas mit.
Ripple arbeitet in diesem Zusammenhang mit der Blockchain-Sicherheitsfirma Common Prefix zusammen. Gemeinsam erstellen die Teams ein abstraktes Modell des Protokolls und vergleichen es kontinuierlich mit der C++-Implementierung von xrpld, der Server-Software des XRP Ledgers. Ein spezielles Verifizierungsframework wird genutzt, um Diskrepanzen und potenzielle Schwachstellen zu identifizieren, bevor sie die Nutzer erreichen.
Warum herkömmliche Tests nicht ausreichen
Tumas erklärte, dass herkömmliche Tests nur Szenarien abdecken, die Entwickler vorhersehen können. Die formale Verifizierung hingegen nutzt mathematische Beweise, um sicherzustellen, dass der Code unter einer viel breiteren Palette von Bedingungen korrekt funktioniert, einschließlich Randfällen, die menschliche Tester möglicherweise nicht berücksichtigen.
Diese Technik wird in Bereichen eingesetzt, in denen Fehler keine Option sind, darunter Flugzeugsysteme, Kernkraftwerke und militärische Software.
Die Verifizierungsarbeit umfasst zwei zentrale Funktionen des nativen DeFi-Vorstoßes von XRPL: das Lending-Protokoll und Single Asset Vaults. Beide sind darauf ausgelegt, Kreditaufnahme und -vergabe direkt in die Layer-1-Architektur von XRPL zu integrieren, ohne dass traditionelle Smart Contracts erforderlich sind.
Da die DeFi-Funktionalität auf Protokollebene eingebettet ist und nicht in separaten Anwendungsschichten, hätte ein Fehler Auswirkungen auf das gesamte Netzwerk und nicht nur auf eine einzelne Anwendung.
KI und formale Verifizierung
Der XRPL dUNL-Validator Vet, der durch einen Beitrag auf X auf die Initiative aufmerksam machte, erklärte, dass künstliche Intelligenz eine wachsende Rolle dabei spielt, die formale Verifizierung praktischer und zugänglicher zu machen.
Er schlug vor, dass die Kombination von KI mit formaler Verifizierung das institutionelle Vertrauen in das XRP Ledger-Ökosystem stärken könnte.
Die XRPL-Community hat bereits gesehen, was KI-gestützte Sicherheitsanalysen bewirken können. Anfang dieses Jahres identifizierte ein KI-Tool einen Fehler in der vorgeschlagenen Batch-Änderung, der Benutzerfonds gefährden könnte.
Fortschritte bei der Aktivierung des nativen Lending
Das Lending-Protokoll wurde im Rahmen der XLS-66-Änderung eingeführt und trat Anfang dieses Jahres nach der Veröffentlichung von XRPL Version 3.1.0 in die Validator-Abstimmungsphase ein.
Laut Vet befinden sich die Entwickler noch in der Testphase, während die notwendigen Sicherheitsvorkehrungen getroffen werden, bevor die Funktion live geht.
Sowohl institutionelle als auch private Nutzer sollen nach der Aktivierung des Protokolls in der Lage sein, Kredite mit Vermögenswerten wie XRP und RLUSD aufzunehmen.
