Ils ont trouvé un autre bug fatal dans un ZKVM qui aurait littéralement détruit chaque utilisateur de chaque application sur chaque plateforme. Bravo à R0 et VeridiseInc ! Aussi, aujourd'hui j'ai appris le mécanisme d'arrêt d'urgence "estop" -- génial !
RISC Zero
RISC Zero5 août, 06:55
Alors que nous continuons à étendre la couverture de vérification formelle sur nos circuits, nous avons identifié et corrigé un autre bug. Ce bug a été identifié par Picus de @VeridiseInc. Le problème a été corrigé et tous les partenaires ont été migrés vers la version 2.2.0 ou ultérieure de risc0-zkVM. RISC Zero reste engagé à fournir le plus haut niveau de transparence, de sécurité proactive et d'intégrité.
3,85K