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

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

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