Dans le cadre de notre programme d'examen open-source, nous avons terminé un examen de sécurité de @ziskvm ZisK est un zkVM open-source permettant l'exécution vérifiable de programmes écrits dans des langages de haut niveau comme Rust.