Laufzeitverifizierung startet universelles ZK-Rollup auf MultiversX

Das in Illinois ansässige Sicherheitsprüfungsunternehmen Runtime Verification, das bei der NASA entwickelte formale Verifizierungsmethoden anwendet, um die Sicherheit, Zuverlässigkeit und Korrektheit von Computersystemen zu verbessern, bringt PI Squared auf den Markt, ein universelles ZK-Rollup, das die MultiversX-Blockchain als Konsensschicht verwendet.

PI Squared wurde in der Premiere am dritten Tag der von MultiversX organisierten xDay-Konferenz vorgestellt und wird die Überprüfung rechnerischer Behauptungen auf die Überprüfung mathematischer Beweise reduzieren. Dies erfolgt über einen universellen Proof-Checker, implementiert als benutzerdefinierter (paralleler) ZK-Schaltkreis.

Mit dem exponentiellen Wachstum des Blockchain-Bereichs kam es zu einer Zunahme von Hacks und Smart-Contract-Exploits, wodurch ein Bedarf an besseren Sicherheitsstandards entstand. Daher ist die ZK-Rollup-basierte Lösung von Runtime Verification ein entscheidendes Tool zur Beseitigung dieser Probleme, die die Einführung behindern, im Gegensatz zu Alternativen, die diese Technologie hauptsächlich zur Verbesserung der Skalierbarkeit von Layer-1-Netzwerken nutzen.

Da es unabhängig von Programmiersprache und VM ist, ermöglicht es jedem Entwickler, Benutzer und Unternehmen, der die Funktionen der MultiversX-Blockchain in seinen Arbeitsabläufen nutzt, Korrektheitsnachweise einfach, vertrauenswürdig und programmgesteuert zu überprüfen.

Durch diesen Schritt wird das MultiversX-Ökosystem auch zu einem erstklassigen Kandidaten für Start-ups und Unternehmen, die hochwertige Anwendungsfälle sicher bereitstellen möchten, indem sie ein zugängliches Entwicklungs-Toolkit zum Auffinden subtiler Fehler und Logikfehler bereits in der Entwurfsphase bereitstellen.

Das xDay- Event hat eine neue Wachstumswelle im Web3-Bereich ausgelöst, angetrieben durch massive Partnerschaften, die KI, Fintech, Gaming und mehr mit der robustesten, skalierbarsten und sichersten Blockchain-Architektur der Welt verbinden.

Informationen zur Laufzeitüberprüfung

Runtime Verification hat in den letzten 20 Jahren eine formale Verifizierungsmethode für die Softwareentwicklung entwickelt. Es wurde bei der NASA ins Leben gerufen und hat nach und nach seinen Weg in den Blockchain-Bereich gefunden, wo es aufgrund der zunehmenden Komplexität, die mit der Zusammensetzbarkeit intelligenter Verträge und Blockchain-Architekturen einhergeht, vielleicht am meisten benötigt wird.

Über MultiversX

Ein hoch skalierbares, sicheres und dezentrales Blockchain-Netzwerk, das geschaffen wurde, um völlig neue Anwendungen für Benutzer, Unternehmen, die Gesellschaft und die neue Grenze des Metaversums zu ermöglichen.