Runtime Verification lance le rollup ZK universel PI Squared sur MultiversX
Runtime Verification, une société d’audit de sécurité basée dans l’Illinois, a dévoilé un rollup universel à connaissance nulle (ZK) « PI Squared » au cours de la troisième journée de la conférence xDay organisée par MultiversX. PI Squared exploite la blockchain MultiversX comme couche de consensus.
PI Squared est conçu pour révolutionner la manière dont les affirmations informatiques sont vérifiées en déplaçant l’attention des méthodes traditionnelles vers les preuves mathématiques. Cela sera facilité grâce à un vérificateur d’épreuves universel, implémenté sous la forme d’un circuit ZK parallèle personnalisé, selon un communiqué de presse partagé avec CryptoSlate.
Un rollup ZK est une solution de mise à l’échelle de la blockchain qui regroupe et vérifie plusieurs transactions hors chaîne à l’aide de preuves cryptographiques pour améliorer l’efficacité et réduire les coûts sur la blockchain principale.
Runtime Verification est connu pour appliquer des méthodes de vérification formelle développées par la NASA pour améliorer la sécurité et la fiabilité des systèmes informatiques. Runtime Verification apporte désormais son expertise au domaine de la blockchain, où la complexité de la composabilité des contrats intelligents et de l’architecture de la blockchain nécessite des mesures de sécurité rigoureuses.
Avec l’expansion rapide de l’espace blockchain, il y a eu une augmentation correspondante des incidents de piratage et des exploits de contrats intelligents. Cela a souligné la nécessité de normes de sécurité plus élevées. La solution basée sur le cumul ZK de Runtime Verification vise à résoudre ces problèmes, car elle va au-delà de la simple amélioration de l’évolutivité des réseaux de couche 1.
Selon Runtime Verification, PI Squared est un langage de programmation et une machine virtuelle (VM) indépendants. Cela le rend accessible aux développeurs, aux utilisateurs et aux entreprises utilisant la blockchain MultiversX dans leurs flux de travail. PI Squared leur permettra de vérifier sans effort, sans confiance et par programme l’exactitude des preuves, prétendant fournir un écosystème blockchain plus sécurisé et plus fiable.
En fournissant une boîte à outils de développement capable de détecter des bugs subtils et des défauts logiques dès la phase de conception, MultiversX vise à devenir une plate-forme attrayante pour les entreprises cherchant à garantir l’intégrité de leurs projets basés sur la blockchain.
Le post Runtime Verification lance le rollup ZK universel PI Squared sur MultiversX apparaît en premier sur CryptoSlate.