House of ZK Radio #67: Ming Guo, cofundador y científico jefe en ZKM - disponible ahora en Spotify y YouTube 🔳 En este episodio, @alicelingl se sienta con @DacEconomy - cofundador y científico jefe de investigación en @ProjectZKM - para mapear cómo el conocimiento cero ha pasado de @ethereum a Bitcoin, y cómo es realmente una economía de Bitcoin asegurada por computación verificable. Spotify: YouTube: Lo que hay dentro: • La progresión de ZK: privacidad de transacciones → circuitos generales → zkVMs con pruebas casi en tiempo real • Por qué el diseño de zkVM basado en MIPS de ZKM es importante para el rendimiento, la estabilidad y la verificación • Arquitecturas de Bitcoin L2 basadas en BitVM2 como @GOATRollup, y por qué L2 es la ruta segura hacia la programabilidad • “Liquidación universal”: computación verificable como base para aplicaciones descentralizadas • Responsabilidad programable e incentivos vs. modelos de “confiar en una parte” heredados • UX para desarrolladores: de zkDSLs a escribir código normal y probar la ejecución en un zkVM • Más allá de “almacén de valor”: rendimiento, activos estables y actividad en cadena anclada a Bitcoin sin comprometer la seguridad de L1 Si construyes sobre Bitcoin o ZK, este episodio proporciona un marco claro para la pila, los compromisos y lo que se necesita para pasar de simplemente tener BTC a una economía funcional y verificable.