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 @bensepanski CSO para analizar la auditoría completa de Ziren, la zkVM de producción de ZKM. La conversación explica por qué los zkVM presentan riesgos de seguridad únicos, por qué la mayoría de los errores críticos provienen de circuitos poco restringidos y cómo Veridise construyó una canalización de verificación personalizada para comprobar formalmente las restricciones de Ziren, a pesar de que Ziren utilizaba una ISA inusual (MIPS32r2) y una arquitectura de circuitos basada en Plonky3. Stephen explica por qué ZKM trata 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) moldea la estrategia de verificación y qué desbloquea esta auditoría para futuras iteraciones. Spotify: YouTube: