Bien joué ! La solidité du zkVM est un sujet très important. La transparence à ce sujet est la voie à suivre.
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é.
1,53K