Runtime Verification erweitert sein Engagement für MultiversX (Elrond) und bietet jetzt EGLD-Delegationsdienste ohne Verwahrungspflicht an

https://runtimeverification.com/

‍
Das High-Level-Runtime-Verification-Framework und die Tools, die vor über 15 Jahren entwickelt wurden, um die Sicherheit und Korrektheit von Computerprogrammen mit Hilfe formaler Methoden zu gewährleisten, wurden zu einer unverzichtbaren Grundlage für die Entwicklung des MultiversX (Elrond)-Protokolls, seiner Kernkomponenten und der darauf basierenden Anwendungen.

‍
Unsere enge Zusammenarbeit mit dem Runtime Verification Team ist durch unsere gemeinsame Herangehensweise an das Testen und Prüfen bedingt, im Gegensatz zu den etablierten Praktiken der Industrie, die im Allgemeinen Prüfungen auf der letzten Meile beinhalten, um den Status "geprüft von X" zu erhalten.

‍
Daher haben wir im Laufe der Jahre mit einem auf Sicherheit ausgerichteten Ansatz zusammengearbeitet und den Weg der kontinuierlichen Prüfung eingeschlagen, der es uns ermöglicht, den Mehrwert dieser Art von Zusammenarbeit vor und sogar nach der Markteinführung zu vervielfachen.

‍
Heute freuen wir uns, bekannt geben zu können, dass Runtime Verification ihr Engagement für das MultiversX (Elrond)-Ökosystem erweitert hat, indem sie Staking-Provider geworden sind und nicht-kustodiale EGLD-Delegationsdienste anbieten und damit einen weiteren Beitrag zur Sicherheit und Dezentralisierung des Netzwerks leisten.

‍

Über Runtime Verification:
Runtime Verification ist ein Technologie-Startup mit Sitz in Champaign-Urbana, Illinois. Das Unternehmen nutzt auf Laufzeitverifikation basierende Techniken, um Sicherheitsaudits für virtuelle Maschinen und intelligente Verträge auf öffentlichen Blockchains durchzuführen. Es hat sich zum Ziel gesetzt, mit seinem dynamischen Software-Analyseansatz die Sicherheit, Zuverlässigkeit und Korrektheit von Softwaresystemen im Blockchain-Bereich zu verbessern.

‍