House of ZK Radio #95: Stephen Duan, CTO al ZKM, & Ben Sepanski, CSO al Veridise - disponibil acum pe Spotify și YouTube 🔳 În acest episod stăm de vorbă cu @ProjectZKM CTO @sd_eigen și @VeridiseInc CSO @bensepanski pentru a detalia auditul complet al zkVM de producție al lui Ziren, ZKM. Discuția explică de ce zkVM-urile introduc riscuri de securitate unice, de ce majoritatea erorilor critice provin din circuite subconstrânse și cum Veridise a construit un pipeline de verificare personalizat pentru a verifica formal constrângerile lui Ziren – în ciuda faptului că Ziren folosea un ISA neobișnuit (MIPS32r2) și o arhitectură de circuit bazată pe Plonky3. Stephen discută de ce ZKM tratează verificarea formală ca o cerință de bază pentru securitate durabilă, cum complexitatea Ziren (stratul de emulare, sistemul de constrângeri, precompilații) modelează strategia de verificare și ce deblochează acest audit pentru iterațiile viitoare. Spotify: YouTube: