House of ZK Radio #95: Stephen Duan, CTO di ZKM, e Ben Sepanski, CSO di Veridise - disponibile ora su Spotify e YouTube 🔳 In questo episodio ci sediamo con @ProjectZKM CTO @sd_eigen e @VeridiseInc CSO @bensepanski per analizzare l'audit completo di Ziren, il zkVM di produzione di ZKM. La conversazione esplora perché gli zkVM introducono rischi di sicurezza unici, perché la maggior parte dei bug critici deriva da circuiti sotto-constrainati e come Veridise ha costruito una pipeline di verifica personalizzata per controllare formalmente i vincoli di Ziren - nonostante Ziren utilizzi un ISA insolito (MIPS32r2) e un'architettura di circuito basata su Plonky3. Stephen discute perché ZKM considera la verifica formale un requisito fondamentale per una sicurezza sostenibile, come la complessità di Ziren (livello di emulazione, sistema di vincoli, precompilati) modella la strategia di verifica e cosa sblocca questo audit per le future iterazioni. Spotify: YouTube: