« Ziren est complexe. Les audits manuels sont importants, mais la vérification automatisée continue est tout aussi critique. » - @sd_eigen, CTO de @ProjectZKM Dans l'épisode #95 (enregistré à @EFDevcon), le CTO de ZKM, Stephen Duan, explique pourquoi sécuriser un zkVM nécessite plus que des audits périodiques - cela exige un flux de travail de vérification formelle capable de détecter une logique sous-contraignante et des bugs émergents à mesure que le système évolue. L'épisode décompose comment ZKM et @VeridiseInc abordent le premier audit de vérification formelle de Ziren, pourquoi les zkVM posent des défis uniques en matière de vérification, et comment la vérification automatisée fera partie du pipeline de sécurité continu de Ziren :