Bien que les zkVM (machines virtuelles à connaissance nulle) permettent aux applications ZK de sauter l'audit de leurs circuits personnalisés via un environnement de preuve standardisé, le zkVM lui-même nécessite un audit rigoureux pour la sécurité de la solidité et de l'exhaustivité. Dans Ziren de @ProjectZKM, l'audit avec @VeridiseInc a abordé ces risques, offrant une sécurité prouvée. Les éléments clés comprenaient : > Solidité des contraintes : Vérification formelle avec des outils comme Picus de Veridise pour garantir le déterminisme et l'application précise du modèle d'exécution MIPS, alignant les calculs avec les preuves et résolvant les ambiguïtés dans la mémoire, les appels système et la génération de traces. > Tests de fuzzing : Fuzzing et tests de stress étendus des chemins d'exécution pour confirmer la stabilité contre des programmes adverses ou malformés. Cela représente une étape importante, et nous restons engagés à atteindre une sécurité prouvable pour l'ensemble du zkVM à l'avenir.