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   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. xDay-   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.

This is a PR written by or for the company mentioned within it. The writer has a vested interest in the company and products mentioned within.

Scale across the Multiverse. Build new apps, new economies, new worlds.

Dieses Audio ist in der Originalsprache der Geschichte produziert!

Laufzeitverifizierung startet universelles ZK-Rollup auf MultiversX

About Author

KOMMENTARE

Hängeetiketten

DIESER ARTIKEL WURDE VORGESTELLT IN

Related Stories

HackerNoon Decoded 2024: Wir feiern unsere Produktmanagement-Community!

HackerNoon Decoded 2024: Wir feiern die Community unserer Technologieunternehmen!

HackerNoon Decoded 2024: Celebrating Our Tech Stories Community!

HackerNoon Decoded 2024: Celebrating Our Writing Community!

HackerNoon Decoded 2024: Wir feiern unsere Produktmanagement-Community!

HackerNoon Decoded 2024: Wir feiern die Community unserer Technologieunternehmen!

HackerNoon Decoded 2024: Celebrating Our Tech Stories Community!

HackerNoon Decoded 2024: Celebrating Our Writing Community!

Light-Mode

Classic

Newspaper

Dark-Mode

Neon Noir

Minty

HN StartUps