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