.@alicelingl desafíos @FormallyJon: ¿Los futuros desarrolladores se apoyarán en zkVM o escribirán circuitos ZK a mano? Descubre los matices en el podcast @HouseofZK.

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

Honestamente, estas sesiones grupales de lectura de libros blancos son algunas de las mejores cosas que he hecho en una conferencia.

Ejecute su aplicación como ejecutaría sus aplicaciones web2 Ir sin 🚀 cadenas

¿Qué pasaría si las dApps no necesitaran vivir dentro de una cadena de bloques? Esa es la idea explorada por @BrianSeong99 (@0xPolygon) y @paulgebheim (@SeiNetwork) en esta sesión de SBC @WPReadingClub sobre Chainless, un marco para crear aplicaciones verificables que se ejecutan 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 en cadena para la liquidación y la 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 comerciales o aplicaciones privadas por defecto, y qué compensaciones conlleva separar la ejecución de la liquidación. Brian y Paul también se sumergen en los desafíos prácticos: costos de prueba, reproducibilidad y qué señales de demanda podrían finalmente impulsar la adopción. Resumen: Papel: También disponible en YouTube:

Bitcoin L2s - opiniones expertas de @michaelterpin, fundador de @TransformVC21, @BitAngels y asesor de @GOATRollup: • Por qué L2: Agregue programabilidad y rendimiento sin cambiar Bitcoin L1. Ejemplos: sistemas basados en BitVM2, rollups. • Modelo de seguridad: Prefiera diseños que se asienten en la cadena; Evite los puentes de custodia. La validez de L2 debe anclarse a Bitcoin. • Casos de uso: Puente de confianza minimizada, monedas estables respaldadas por BTC, rieles DeFi, nuevos flujos de pago. • Impacto macro: Fortalece el dominio de BTC; complementa la tesis de la reserva de valor en lugar de reemplazarla. • Ruta 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 L2. • Vista del ciclo: Las L2 de Bitcoin son una narrativa clave en este ciclo, pero no el único impulsor del precio. Escuche la discusión completa en con Michael: información sobre BitVM2, liquidación en cadena y dónde encajan las L2 en la hoja de ruta de Bitcoin:

House of ZK Radio #67: Ming Guo, cofundador y científico jefe de ZKM - disponible ahora en Spotify y YouTube 🔳 En este episodio, @alicelingl se sienta con @DacEconomy, cofundador y científico jefe de investigación de @ProjectZKM, para mapear cómo el conocimiento cero ha pasado de @ethereum a Bitcoin, y cómo se ve realmente una economía de Bitcoin asegurada por computación verificable. Spotify: YouTube: Qué hay dentro: • La progresión ZK: privacidad de transacciones → circuitos generales → zkVM con pruebas casi en tiempo real • Por qué el diseño zkVM basado en MIPS de ZKM es importante para el rendimiento, la estabilidad y la verificación • Arquitecturas Bitcoin L2 basadas en BitVM2 como @GOATRollup, y por qué L2 es la ruta segura hacia la programabilidad • "Asentamiento universal": computación verificable como base para aplicaciones descentralizadas • Responsabilidad e incentivos programables frente a los modelos heredados de "confiar en una parte" • Developer UX: desde zkDSLs hasta escribir código normal y probar la ejecución en una zkVM • Más allá de la "reserva de valor": rendimiento, activos estables y actividad en cadena anclada a Bitcoin sin comprometer la seguridad L1 Si se basa en Bitcoin o ZK, este episodio proporciona un marco claro para la pila, las compensaciones 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. Con: @SuccinctLabs, @ProjectZKM, @NexusLabs, @RiscZero, Jolt (@a16zcrypto), @ziskvm, & @ligero_inc 👇

¿Qué pasaría si @solana pudiera finalizar los bloques en menos de medio segundo? Esa es la visión esbozada por Roger Wattenhofer (Jefe de Investigación de @anza_xyz/@ETH_en) en esta sesión de @WPReadingClub Reading. Basándose tanto en la investigación de consenso académico como en el diseño único de Solana, @TheWattenhofer presenta Alpenveil, una nueva propuesta de protocolo de consenso que combina: • Finalidad ultrarrápida: los resultados simulados muestran la finalización del bloque en ~150 ms, con rutas del mundo real que se acercan a ~500 ms de confirmación a nivel de usuario. • Votación en paralelo: un mecanismo novedoso que ejecuta una ronda (80%) y dos rondas (60%→commit) en paralelo, lo que permite que lo que se complete más rápido finalice el bloque. • Pruebas de seguridad formales: un modelo riguroso que se aparta de las suposiciones tradicionales del 33% bizantino, argumentando a favor de modelos de fallas más realistas (20% bizantinos, 40% tolerantes a fallas de fallas) dado el panorama actual de validadores. • Compensaciones de diseño del sistema: desde la codificación de borrado para la difusión de datos hasta por qué se evita el recorte (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 las cadenas de bloques de alto rendimiento, combinando la teoría, la práctica y las limitaciones del mundo real de Solana. Resumen: Papel: También disponible en YouTube:

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