Beim Testen wurde etwas festgestellt, das herkömmlichen Methoden entgangen ist. Der Ripple-Softwareentwickler Vito Tumas gab bekannt, dass der formelle Verifizierungsprozess, der auf das kommende Kreditprotokoll des XRP Ledger angewendet wird, bereits komplexe Grenzfälle aufgedeckt hat, die Standardtestverfahren nicht erkennen konnten.
Ripple arbeitet mit einem Blockchain-Sicherheitsunternehmen zusammen Gemeinsames Präfix auf den Aufwand. Gemeinsam konstruieren die Teams ein abstraktes Modell des Protokolls und vergleichen Sie es kontinuierlich mit der C++-Implementierung von xrpld – dem XRP Die Serversoftware von Ledger – verwendet ein Verifizierungsframework, das darauf ausgelegt ist, Unstimmigkeiten und potenzielle Schwachstellen zu erkennen, bevor sie Benutzer erreichen.
Warum traditionelles Testen zu kurz kommt
Tumas erklärte, dass herkömmliche Tests nur Szenarien abdecken, von denen Entwickler glauben, dass sie vorhersehbar sind. Im Gegensatz dazu verwendet die formale Verifizierung mathematische Beweise, um zu bestätigen, dass sich Code unter einer viel größeren Anzahl von Bedingungen korrekt verhält – einschließlich Randfällen, die menschliche Tester möglicherweise nie berücksichtigen.
Die Technik wird in Bereichen eingesetzt, in denen ein Ausfall keine Option ist, darunter Flugzeugsysteme, Kernkraftwerke und militärische Software.
Das bevorstehende Kreditprotokoll wird offiziell überprüft !!
Die Technologie, die zum Schutz von Kernkraftwerken, Flugzeugen und militärischen Systemen eingesetzt wird, wird auf die USA angewendet $XRP Hauptbuch.
Nennen Sie es Fortress XRP.
Das native DeFi von XRP (keine Smart Contracts) erfüllt die besten Sicherheitsstandards seiner Klasse … https://t.co/KSAm0UuJC1 pic.twitter.com/D3aSFOUePS
– Tierarzt (@Vet_X0) 8. Juni 2026
Die Verifizierungsarbeit deckt zwei zentrale Funktionen von XRPL ab DeFi push: das Lending Protocol und Single Asset Vaults. Beide sind darauf ausgelegt, Kredite und Kredite direkt in die Layer-1-Architektur von XRPL zu integrieren und die Notwendigkeit traditioneller Smart Contracts vollständig zu umgehen.
Da die DeFi-Funktionalität auf Protokollebene und nicht in separaten Anwendungsschichten eingebettet ist, hätte ein Fehler Konsequenzen für das gesamte Netzwerk – und nicht nur für eine einzelne App.
KI und formale Verifizierung
XRPL dUNL-Validator Vet, der durch a größere Aufmerksamkeit auf die Initiative lenkte Post on
Er schlug vor, dass die Kombination von KI mit formaler Verifizierung das institutionelle Vertrauen in die EU stärken könnte XRP-Ledger Ökosystem für die Zukunft.
Die XRPL-Community hat gesehen, was KI-gestützte Sicherheitsanalysen bewirken können. Anfang des Jahres entdeckte ein KI-Tool einen Fehler in der vorgeschlagenen Batch-Änderung, der die Gelder der Nutzer einem Risiko aussetzen könnte.
Native Lending kommt der Aktivierung näher
Das Lending-Protokoll wurde im Rahmen der XLS-66-Änderung eingeführt und trat Anfang des Jahres nach der Veröffentlichung der 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.
Von institutionellen und privaten Nutzern wird erwartet, dass sie mithilfe von Vermögenswerten wie XRP und anderen auf Kredite zugreifen können RLUSD sobald das Protokoll aktiviert ist.
Ausgewähltes Bild von Biotech HealthcareDiagramm von TradingView
