La société d'audit de sécurité basée dans l'Illinois, Runtime Verification, qui applique des méthodes de vérification formelles mises au point à la NASA pour améliorer la sécurité, la fiabilité et l'exactitude des systèmes informatiques, lance PI Squared, un rollup ZK universel utilisant la blockchain MultiversX comme couche de consensus.  Révélé en première lors de la troisième journée de la conférence xDay organisée par MultiversX, PI Squared va réduire la vérification des affirmations informatiques à la vérification des preuves mathématiques. Cela se fera via un vérificateur d'épreuves universel, implémenté sous la forme d'un circuit ZK personnalisé (parallèle).  Avec la croissance exponentielle de l’espace blockchain, il y a eu une augmentation des piratages et des exploits de contrats intelligents, créant le besoin de meilleures normes de sécurité. Par conséquent, la solution basée sur le cumul ZK de Runtime Verification constitue un outil essentiel pour éliminer ces problèmes qui entravent l'adoption, contrairement aux alternatives utilisant cette technologie principalement pour améliorer l'évolutivité des réseaux de couche 1.  Étant indépendant du langage de programmation/de la VM, il permettra à tout développeur, utilisateur et entreprise qui exploite les capacités de la blockchain MultiversX dans ses flux de travail de vérifier facilement les preuves d'exactitude, sans confiance et par programmation.  Cette décision place également l'écosystème MultiversX comme un candidat de choix pour les startups et les entreprises cherchant à déployer en toute sécurité des cas d'utilisation de grande valeur en proposant une boîte à outils de développement accessible pour trouver des bugs subtils et des failles logiques dès la phase de conception.  L'événement   a déclenché une nouvelle super-vague de croissance dans l'espace Web3, alimentée par des partenariats massifs reliant l'IA, la Fintech, les jeux et au-delà avec l'architecture blockchain la plus robuste, évolutive et sécurisée au monde. xDay   À propos de la vérification de l'exécution  Runtime Verification a été le pionnier d'une méthodologie de vérification formelle pour le développement de logiciels au cours des 20 dernières années. Il a été lancé à la NASA et a progressivement fait son chemin dans l'espace blockchain, où il est peut-être le plus nécessaire en raison de la complexité croissante qui accompagne la composabilité des contrats intelligents et les architectures blockchain.   À propos de MultiversX  Un réseau blockchain hautement évolutif, sécurisé et décentralisé créé pour permettre des applications radicalement nouvelles, pour les utilisateurs, les entreprises, la société et la nouvelle frontière du métaverse.

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.

Cet audio est produit dans la langue originale de l'histoire !

La vérification de l'exécution lance le rollup universel ZK sur MultiversX

About Author

COMMENTAIRES

ÉTIQUETTES

CET ARTICLE A ÉTÉ PARU DANS

Related Stories

Créer des produits cryptographiques centrés sur l'utilisateur : l'importance des retours clients

Comment améliorer votre flux de travail par 10 : 17 applications essentielles

Libérer la puissance de l’IA. Une revue systématique des techniques de pointe : résumé et introduction

Vous voulez gagner un concours d’écriture HackerNoon ? Voici ce que recommandent les gagnants du concours #crypto-api

Créer des produits cryptographiques centrés sur l'utilisateur : l'importance des retours clients

Comment améliorer votre flux de travail par 10 : 17 applications essentielles

Libérer la puissance de l’IA. Une revue systématique des techniques de pointe : résumé et introduction

Vous voulez gagner un concours d’écriture HackerNoon ? Voici ce que recommandent les gagnants du concours #crypto-api

Light-Mode

Classic

Newspaper

Dark-Mode

Neon Noir

Minty

HN StartUps