House of ZK Radio #95 : Stephen Duan, CTO de ZKM, & Ben Sepanski, CSO de Veridise - disponible maintenant sur Spotify & YouTube 🔳 Dans cet épisode, nous nous asseyons avec @ProjectZKM CTO @sd_eigen et @VeridiseInc CSO @bensepanski pour déballer l'audit complet de Ziren, le zkVM de production de ZKM. La conversation aborde pourquoi les zkVM introduisent des risques de sécurité uniques, pourquoi la plupart des bugs critiques proviennent de circuits sous-contraints, et comment Veridise a construit un pipeline de vérification personnalisé pour vérifier formellement les contraintes de Ziren - malgré l'utilisation par Ziren d'une ISA inhabituelle (MIPS32r2) et d'une architecture de circuit basée sur Plonky3. Stephen discute de la raison pour laquelle ZKM considère la vérification formelle comme une exigence fondamentale pour une sécurité durable, comment la complexité de Ziren (couche d'émulation, système de contraintes, précompilations) façonne la stratégie de vérification, et ce que cet audit débloque pour les itérations futures. Spotify : YouTube :