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 !

Trop long; Pour lire

Download free Tech Leaders Productivity Report!

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

HackerNoon Decoded: The Top 10 Countries Where HackerNoon Is the Most Active

Appuyez pour gagner : Telegram pourrait intégrer les 10 prochains milliards d'utilisateurs de crypto avant Solana

Naviguer sur les eaux : développer des applications RAG de qualité production avec des lacs de données

Le guide complet pour réussir une migration vers le cloud : stratégies et bonnes pratiques

HackerNoon Decoded: The Top 10 Countries Where HackerNoon Is the Most Active

Appuyez pour gagner : Telegram pourrait intégrer les 10 prochains milliards d'utilisateurs de crypto avant Solana

Naviguer sur les eaux : développer des applications RAG de qualité production avec des lacs de données

Le guide complet pour réussir une migration vers le cloud : stratégies et bonnes pratiques

Light-Mode

Classic

Newspaper

Dark-Mode

Neon Noir

Minty

HN StartUps