House of ZK Radio #95: Stephen Duan, CTO de ZKM, y Ben Sepanski, CSO de Veridise - ya disponible en Spotify y YouTube 🔳 En este episodio nos sentamos con @ProjectZKM CTO @sd_eigen y @VeridiseInc CSO @bensepanski para desglosar la auditoría completa de Ziren, el zkVM de grado de producción de ZKM. La conversación aborda por qué los zkVM introducen riesgos de seguridad únicos, por qué la mayoría de los errores críticos provienen de circuitos sub-constrains, y cómo Veridise construyó un pipeline de verificación personalizado para comprobar formalmente las restricciones de Ziren, a pesar de que Ziren utiliza una ISA inusual (MIPS32r2) y una arquitectura de circuito basada en Plonky3. Stephen discute por qué ZKM considera la verificación formal como un requisito fundamental para una seguridad sostenible, cómo la complejidad de Ziren (capa de emulación, sistema de restricciones, precompilaciones) da forma a la estrategia de verificación, y qué desbloquea esta auditoría para futuras iteraciones. Spotify: YouTube: