Ripple-CTO im Ruhestand David Schwartz hebt die Konsensvalidierung von XRPL hervor, während sich der XRP-Preis bei 1,41 $ hält

Softwareingenieure, die am XRP Ledger arbeiten, haben maschinell überprüfte Tests erweitert, um den Kerncode im gesamten Netzwerk zu verifizieren. RippleX-Ingenieurin Mayukha Vadari bestätigte eine Partnerschaft mit dem Forschungsunternehmen CommonPrefix, um mathematisch zu beweisen, dass zentrale Teile des XRP Ledger wie vorgesehen funktionieren.

Das Verifizierungssystem nutzt maschinell überprüfte mathematische Beweise, um Softwarespezifikationen gegen jede mögliche Eingabe zu testen. Im Gegensatz zu herkömmlichen Test-Suiten, die bestimmte Datenläufe überprüfen, verifizieren vollständige mathematische Beweise den gesamten Eingabebereich. Ingenieurteams verwenden dieselbe Kerntechnologie, um komplexe mathematische Theoreme zu formalisieren.

David Schwartz hebt Konsensnachweis des XRP Ledger hervor

Die Entwicklung erregte die Aufmerksamkeit von XRP (XRP-USD)-Community-Mitgliedern und Ripple CTO Emeritus David Schwartz. Schwartz half bei der Gestaltung der ursprünglichen Architektur des XRP Ledger, bevor er in seine Emeritus-Rolle wechselte. Als Reaktion auf die Ankündigung erklärte David Schwartz: „Ich habe einen fantastischen Beweis für die formale Gültigkeit des Konsensalgorithmus von XRPL entdeckt, aber die Beitragslängenbegrenzung von X macht Beiträge zu klein, um ihn aufzunehmen.“

Schwartz betreibt weiterhin seinen eigenen Netzwerk-Knotenpunkt, um Daten zu sammeln und die Netzwerkleistung zu optimieren. Sein technischer Beitrag wirkte sich zuvor auf die Softwareversion 3.2.1 aus, die die im späten Juli beobachteten Netzverkehrsspitzen beheben konnte.

XRP-Netzwerk besteht unabhängige Sicherheitsüberprüfungen

Sicherheitsteams haben außerdem unabhängige Überprüfungen von Protokollfunktionen für den XRP Ledger abgeschlossen. Das Sicherheitsunternehmen Cantina Security führte ein unabhängiges Audit der Permission Delegation-Funktion neben internen Qualitätssicherungstests durch. Das Audit-Team verifizierte die Korrekturen für Version 1.1, während automatisierte Tests 5.088 Testläufe ohne Codefehler abschlossen.

Ripple Head of Engineering JA Akinyele bemerkte, dass die Einrichtung der Delegation auf Protokollebene hohe Sicherheitsstandards erforderte, da damit die Kernabwicklung von Transaktionen verändert wird. Inzwischen wird XRP nahe $1,41 gehandelt und hält sich über seinem 200-Tage-EMA bei etwa $1,35.