.@alicelingl desafía a @FormallyJon: ¿Los futuros desarrolladores se apoyarán en zkVMs o escribirán circuitos ZK a mano? Descubre las sutilezas en el podcast de @HouseofZK.

Anunciando la Cumbre ZK/AI durante la semana de @token2049, coorganizada por @HouseofZK y @googlecloud. Este exclusivo evento de un día explorará la frontera de las pruebas de conocimiento cero y la inteligencia artificial, y el punto de convergencia entre ellos: IA verificable. 🗓️ 29 de septiembre, 11 a.m. - 5 p.m. 📍 Caldwell House, Singapur Aplica para asistir, hablar o patrocinar en

Honestamente, estas sesiones de lectura de documentos técnicos son algunas de las mejores cosas que he hecho en una conferencia.

Ejecuta tu aplicación como lo harías con tus aplicaciones web2 Ve sin cadena 🚀

¿Qué pasaría si las dApps no necesitaran vivir dentro de una blockchain en absoluto? Esa es la idea explorada por @BrianSeong99 (@0xPolygon) y @paulgebheim (@SeiNetwork) en esta sesión de SBC @WPReadingClub sobre Chainless, un marco para construir aplicaciones verificables que funcionan con la velocidad de Web2 mientras anclan su confianza en Web3. En lugar de forzar la computación en Solidity o un zkVM, Chainless permite que las aplicaciones se ejecuten fuera de la cadena en cualquier entorno, mientras envían pruebas a la cadena para liquidación e interoperabilidad. La discusión analiza por qué la experiencia actual de los desarrolladores es limitada, cómo las aplicaciones verificables podrían desbloquear nuevas categorías como motores de trading o aplicaciones privadas por defecto, y qué compensaciones vienen con separar la ejecución de la liquidación. Brian y Paul también abordan los desafíos prácticos: costos de prueba, reproducibilidad y qué señales de demanda podrían finalmente impulsar la adopción. Resumen: Documento: También disponible en YouTube:

Bitcoin L2s - opiniones de expertos de @michaelterpin, fundador de @TransformVC21, @BitAngels y asesor de @GOATRollup: • ¿Por qué L2s?: Añaden programabilidad y capacidad sin cambiar Bitcoin L1. Ejemplos: sistemas basados en BitVM2, rollups. • Modelo de seguridad: Preferir diseños que se liquidan en la cadena; evitar puentes de custodia. La validez de L2 debe anclarse a Bitcoin. • Casos de uso: Puentes minimizados en confianza, stablecoins respaldadas por BTC, infraestructuras DeFi, nuevos flujos de pago. • Impacto macro: Fortalece la dominancia de BTC; complementa la tesis de reserva de valor en lugar de reemplazarla. • Camino de adopción: La innovación a menudo aparece primero en otras cadenas; si va a escalar, se porta a Bitcoin a través de L2s. • Visión del ciclo: Los L2s de Bitcoin son una narrativa clave en este ciclo, pero no el único motor del precio. Escucha la discusión completa con Michael - perspectivas sobre BitVM2, liquidación en cadena y dónde encajan los L2s en la hoja de ruta de Bitcoin:

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.

Aquí informamos sobre el progreso de los principales constructores en el ecosistema zkVM, documentando lanzamientos significativos recientes, avances técnicos y actualizaciones generales. Presentando: @SuccinctLabs, @ProjectZKM, @NexusLabs, @RiscZero, Jolt (@a16zcrypto), @ziskvm, y @ligero_inc 👇

¿Qué pasaría si @solana pudiera finalizar bloques en menos de medio segundo? Esa es la visión expuesta por Roger Wattenhofer (Jefe de Investigación en @anza_xyz/@ETH_en) en esta sesión de lectura del @WPReadingClub. Basándose en la investigación académica sobre consenso y el diseño único de Solana, @TheWattenhofer presenta Alpenveil, una nueva propuesta de protocolo de consenso que combina: • Finalidad ultra-rápida - los resultados simulados muestran la finalización de bloques en ~150ms, con caminos del mundo real que se acercan a ~500ms de confirmación a nivel de usuario. • Votación paralelizada - un mecanismo novedoso que ejecuta votaciones de una ronda (80%) y de dos rondas (60%→compromiso) en paralelo, permitiendo que la que complete más rápido finalice el bloque. • Pruebas de seguridad formales - un modelo riguroso que se aleja de las suposiciones tradicionales del 33% de Byzantine, argumentando a favor de modelos de fallos más realistas (20% Byzantine, 40% tolerante a fallos de caída) dado el panorama actual de validadores. • Compromisos de diseño del sistema - desde la codificación de borrado para la difusión de datos hasta por qué se evita el slashing (al menos inicialmente), y cómo la distribución geográfica de la participación afecta la latencia. Esta increíble sesión es un replanteamiento fundamental del consenso para blockchains de alto rendimiento, fusionando teoría, práctica y las limitaciones del mundo real de Solana. Resumen: Documento: También disponible en YouTube:

Aquí informamos sobre el progreso de los principales constructores en el ecosistema de Proving Service, documentando lanzamientos significativos recientes, avances técnicos y actualizaciones generales. Presentando: @fermah_xyz, @Ingo_zk, @brevis_zk, @zan_team, y @vlayer_xyz ⬇️