Las últimas novedades de zkVM Aquí informamos sobre el progreso de los principales creadores en el ecosistema zkVM, documentando lanzamientos significativos recientes, avances técnicos y actualizaciones generales. Con la participación de: @brevis_zk, @DelphinusLab, Jolt (@a16zcrypto), @ligero_inc, @0xMiden, @NexusLabs, @RiscZero/@boundless_xyz, @SuccinctLabs, @ziskvm, y @ProjectZKM. 🔹 Visita para más informes de toda la industria 🔹

Brevis 🔹 ProverNet Whitepaper 🔹 @brevis_zk lanzó su libro blanco de ProverNet que describe un mercado descentralizado donde las aplicaciones solicitan capacidad de prueba ZK y los proveedores especializados compiten para suministrarla: El sistema utiliza un mecanismo de subasta doble en línea veraz para emparejar cargas de trabajo heterogéneas con recursos adecuados, mientras que se asegura la calidad del servicio a través de incentivos económicos. ProverNet introduce el token BREV para pagos, staking y gobernanza, y se programó el lanzamiento de una mainnet beta con una subasta simplificada pronto. 🔹 Medios 🔹 En un episodio reciente de @HouseofZK Radio, @no89thkey, cofundador de Brevis, cubrió cómo el equipo pasó de sus orígenes en DeFi a construir computación verificable y pruebas casi en tiempo real: Habló sobre el Pico zkVM, el provedor distribuido Pico Prism utilizado para la prueba de bloques de @Ethereum, y cómo la arquitectura modular del coprocesador de Brevis apoya la lealtad en cadena, recompensas simplificadas e integraciones de puentes CEX/DEX. Podcast completo: 🔹 Eventos 🔹 Brevis organizó y participó en varias sesiones clave durante @EFDevcon, aportando perspectivas prácticas sobre computación verificable y el cambio hacia modelos de ejecución basados en pruebas fuera de la cadena: • Brevis celebró ZKONNECT, con House of ZK como coanfitrión, centrándose en cómo los zkVM, coprocesadores ZK, zkML y zkTLS están pasando de ser conceptos a producción. El programa destacó implementaciones prácticas de computación verificable, acceso a datos entre cadenas e inferencia de IA, junto con varias conferencias y discusiones que describen cómo los equipos están aplicando la infraestructura ZK a aplicaciones reales. • Michael, dio una conferencia principal en Verifying Intelligence 3.0, organizada por House of ZK y coorganizada por Brevis: Explicó por qué la mayoría de la computación en blockchain migrará fuera de la cadena y será verificada a través de ZKPs, presentando a Brevis como la capa de computación infinita que ejecuta lógica pesada fuera de la cadena y devuelve salidas verificables y sucintas. La charla cubrió el Pico zkVM, la prueba en tiempo real de Ethereum, la arquitectura modular de Brevis y las integraciones actuales que impulsan DeFi inteligente, atestaciones que preservan la privacidad y sistemas de incentivos continuos. 🔹 Asociaciones 🔹 Por último, Brevis y @vana presentaron un modelo conjunto para usar datos privados en IA combinando entradas autenticadas con computación local que no revela información en bruto: Brevis zkTLS prueba el origen de los datos, mientras que Pico zkVM los procesa en el dispositivo del usuario. Vana gestiona el consentimiento y las recompensas, proporcionando a los desarrolladores métricas verificadas y permitiendo a los usuarios mantener el control total sobre sus datos. 🔹 Visita para más informes de toda la industria 🔹

Jolt (@a16zcrypto) 🔹 Llamada de Ethproofs 🔹 @SuccinctJT, investigador en @a16zcrypto, presentó en la reciente llamada de @eth_proofs. Destacó cómo los zkVM actuales controlan la memoria del probador dividiendo las trazas en fragmentos y agregando pruebas de forma recursiva, pero esto añade complejidad, riesgo de errores y costos de rendimiento. Marca de tiempo - 32:30: Justin continuó explicando cómo Jolt pretende reemplazar esto con un enfoque de transmisión que limita la memoria del probador a unos pocos gigabytes, independientemente del número de ciclos. Dos de aproximadamente veinte componentes de Sumcheck requeridos ya están en transmisión, y se espera que el trabajo restante termine pronto. 🔹 Investigación 🔹 Justin también publicó un artículo basado en los resultados de una encuesta centrada en cómo el diseño moderno de SNARK logra una prueba rápida al centrarse en el protocolo de verificación de suma: El artículo describe por qué técnicas como la evaluación por lotes, argumentos de búsqueda, polinomios virtuales y preservación de valores pequeños reducen el trabajo del probador y los costos de compromiso. Usando Jolt como estudio de caso principal, muestra cómo explotar la estructura computacional repetida permite zkVMs eficientes y guía futuras mejoras en el rendimiento. 🔹 Visita para más informes de toda la industria 🔹

Miden 🔹 Testnet v0.12 🔹 @0xMiden lanzó su Testnet v0.12, introduciendo actualizaciones importantes en los flujos de privacidad, gestión de claves, manejo de direcciones y herramientas para desarrolladores: La versión añade un nuevo formato de dirección con soporte de cifrado, una capa de transporte de notas privadas con @Nethermind, firma ECDSA a través de precompilaciones y mejoras en el manejo de datos en el nodo. También incluye guardrails básicos para la visibilidad de datos de transacciones, el nuevo instalador midenup para una incorporación simplificada, una devnet dedicada para experimentación y múltiples mejoras a nivel de VM para la composabilidad y depuración. 🔹 Publicaciones 🔹 El proyecto publicó un artículo explicando cómo los multisigs privados se vuelven viables a través de un nuevo sistema llamado Gestión de Estado Privado, co-desarrollado con @OpenZeppelin: El artículo describe por qué los multisigs tradicionales dependen de un estado público compartido, cómo el modelo de privacidad de Miden complica la coordinación y cómo las capas de sincronización, coordinación y autenticación de PSM mantienen alineadas las cuentas privadas. Concluye con ejemplos de casos de uso prácticos y señala que ya está disponible un primer Proof-of-Concept. 🔹 Eventos 🔹 En @EFDevcon, Miden organizó y participó en varios eventos, incluyendo: • El Privacy Salon, un evento organizado por Miden que reunió a constructores, investigadores y fundadores para charlas breves impulsadas por ideas y discusiones abiertas sobre privacidad, sistemas descentralizados y las intersecciones en evolución de cripto, web3 y finanzas tradicionales. • Verifying Intelligence 3.0, organizado por @HouseofZK, donde @huitseeker, Líder de Ingeniería en Miden, habló sobre el papel de los zkVMs en zkML, explicando las diferencias entre probar inferencias y entrenamientos, las limitaciones de los TEEs y cómo el diseño de Miden apoya escenarios prácticos de verificación de IA resistentes a adversarios. Timestamp - 02:50:12: 🔹 Integraciones 🔹 El proyecto introdujo dos nuevas asociaciones que expanden su ecosistema en privacidad, incorporación e infraestructura, incluyendo: • @get_para: Integró la billetera embebida de Para y la autenticación distribuida MPC para permitir una incorporación sin custodia y sin problemas para las aplicaciones de Miden. La colaboración introdujo inicio de sesión sin contraseña, creación instantánea de billeteras y flujos de usuario sin fricciones, alineando la pila de UX de Para con el modelo de privacidad compliant de Miden para apoyar aplicaciones privadas de DeFi, fintech, juegos y institucionales construidas sobre ejecución ZK: • @gateway_eth: Se asoció con para proporcionar infraestructura de grado empresarial para la red blockchain escalable y centrada en la privacidad de Miden. La asociación asegura alta disponibilidad, acceso rápido a datos y fiabilidad operativa a medida que Miden escala, con Gateway ejecutando componentes centrales como el puente nativo, probadores y explorador de bloques para apoyar el despliegue de la arquitectura de ejecución en el borde de Miden: 🔹 Visita para más informes de toda la industria 🔹

Nexus 🔹 DEX Alpha 🔹 @NexusLabs lanzó la versión Alpha de su intercambio de futuros perpetuos descentralizado como parte de su Testnet III, ofreciendo una plataforma CLOB simplificada y no custodial construida sobre una infraestructura verificable: El lanzamiento se centra en funciones comerciales básicas, un proceso de incorporación simplificado y fondos de prueba en lugar de activos reales. Aunque la interfaz es mínima, el libro de órdenes subyacente está diseñado para un rendimiento de baja latencia y se expandirá con la retroalimentación impulsada por la comunidad y pruebas criptográficas introducidas progresivamente. 🔹 Estado de la Red 🔹 Nexus publicó su informe de red de noviembre: Los aspectos destacados incluyen: • La red procesó 87.198 millones de transacciones, con 87.038 millones completadas, mostrando alta fiabilidad y una brecha muy pequeña entre la actividad iniciada y la finalizada. • El rendimiento de pruebas se ajustó de 5,810 a 4.16 pruebas por segundo durante el mes, reflejando un retorno a una línea base de pruebas más estable después del rápido aumento de octubre. • Los contratos verificados alcanzaron 2.548 millones, demostrando la continua confianza de los desarrolladores en el entorno de pruebas a pesar de la mayor latencia y el rendimiento moderado. • Las tarifas de transacción promediaron 0.048 NEX, manteniendo bajo el costo de verificabilidad y dejando espacio para iteraciones rápidas e interacciones frecuentes en la cadena. 🔹 Eventos 🔹 El Científico Jefe de Nexus @JensGroth16 se unió a una charla junto a la chimenea en el evento Verifying Intelligence de @HouseofZK durante @EFDevcon, discutiendo cómo los ZKPs evolucionaron desde los primeros trabajos teóricos hasta las aplicaciones actuales en IA verificable: Destacó el enfoque de Nexus en combinar la corrección demostrable con la seguridad económica y enfatizó la necesidad de estándares, educación y una mayor confianza institucional para asegurar que los sistemas verificables se vuelvan utilizables y ampliamente adoptados. 🔹 Visita para más informes de toda la industria 🔹

Risc Zero & Boundless 🔹 Llamada de Ethproofs 🔹 En la reciente Llamada #6 de @eth_proofs, @BruestleJeremy, CEO y cofundador de @RiscZero, compartió cómo el equipo logró iniciar un verdadero núcleo de Linux dentro del zkVM después de agregar soporte para S-mode de Risc-V, un MMU completo y memoria virtualizada. Marca de tiempo - 20:30: La demostración mostró múltiples procesos en ejecución y un entorno casi determinista adecuado para pilas de software más amplias. Risc Zero planea enviar esto en la próxima versión del circuito a medida que avanza el trabajo en el probador. 🔹 Eventos 🔹 @boundless_xyz participó en varios eventos durante Devconnect en Buenos Aires, incluyendo: • Una sesión de lectura de documentos técnicos organizada por @HouseofZK en asociación con @WPReadingClub y @invisiblgarden, donde Boundless, @citrea_xyz, @MinaProtocol y @o1_labs participaron en discusiones en mesa redonda sobre desarrollos recientes en investigación e ideas emergentes en el ecosistema Web3 y ZK. • Un panel de Verifying Intelligence 3.0, donde @reka_eth, Director de Marketing en Boundless, contribuyó a una discusión sobre la prueba de la contribución humana en una era moldeada por la IA y la robótica, junto a los ponentes @humpty0x de @OntologyNetwork, @zKsisyfos de @StarkWareLtd, @DacEconomy de @ProjectZKM y @Viggy_117 de @eigencloud. Marca de tiempo - 00:57:54: 🔹 Visita para más informes de toda la industria 🔹

Succinct 🔹 SP1 Hypercube 🔹 @SuccinctLabs informó que la última versión de su SP1 Hypercube zkVM puede probar el 99.7% de los bloques L1 de @ethereum en menos de 12 segundos en 16 GPUs RTX 5090, ampliando su hito anterior de prueba en tiempo real: La versión incluye importantes mejoras de rendimiento, verificación formal de todas las restricciones RISC-V, eliminación de dependencias de la conjetura de brecha de proximidad y nuevas medidas de seguridad. Hypercube está completando auditorías y se lanzará como código abierto y a través de la Succinct Prover Network. 🔹 Investigación 🔹 En un estudio reciente de @ronrothblum, Jefe de Criptografía en Succinct, @benediktbuenz (@EspressoSys), @GiacomoFenzi (@EPFL) y @kleptographic (@NYU_Courant), los autores presentan TensorSwitch, un esquema de compromiso polinómico basado en hash casi óptimo: Aborda dos limitaciones principales en los SNARGs basados en hash: tiempo del probador y grandes tamaños de prueba. Usando códigos tensoriales y pruebas interactivas de oráculo, TensorSwitch logra tiempos de compromiso y apertura lineales en el tamaño de entrada, costos de hash sublineales y consultas de verificador asintóticamente mínimas, sin depender de configuraciones de confianza o criptografía basada en grupos. 🔹 C2PA 🔹 Succinct se ha unido a @C2PA_org, trabajando junto a otros participantes en el desarrollo de estándares abiertos para la verificación de contenido digital: A medida que aumenta el contenido generado por IA, el proyecto introduce verificación ZK para fortalecer los flujos de trabajo de procedencia con privacidad y atestaciones escalables. Succinct tiene como objetivo apoyar estándares de metadatos unificados y mejorar la interoperabilidad entre plataformas. Al unirse a C2PA, el proyecto planea contribuir con investigaciones y ayudar en el despliegue de herramientas de autenticidad de contenido en entornos prácticos. 🔹 OP Succinct Lite 🔹 @Celo actualizó su testnet Sepolia a OP Succinct Lite a través del hardfork Jello, acercándose al lanzamiento de mainnet: A principios de este año, Celo se trasladó a un Ethereum L2 para apoyar pagos del mundo real y se convirtió en la primera cadena en adoptar OP Succinct Lite con EigenDA v2. 🔹 Visita para más informes de toda la industria 🔹

ZKM 🔹 Auditoría 🔹 Ziren de ZKM está siendo auditado por @VeridiseInc, utilizando su plataforma de verificación Picus: Veridise adaptó las restricciones de Plonky3 de Ziren y realizó análisis a través de @AuditHubDev. Los resultados iniciales confirmaron un comportamiento determinista para la suma y la resta en el chip AddSub. Los equipos planean expandir la verificación a circuitos completos e integrar controles en el flujo de trabajo de desarrollo de ZKM. 🔹 Publicaciones 🔹 @ProjectZKM publicó un artículo explicando cómo el protocolo GKR verifica los cálculos de circuitos aritméticos al comprobar recursivamente la consistencia a través de las capas del circuito utilizando el protocolo multivariado Sumcheck: El artículo explica la estructura de circuitos en capas, el papel de las extensiones multilineales, cómo Sumcheck reduce la verificación a evaluaciones puntuales y cómo la recursión termina en la capa de entrada. Muestra por qué GKR es eficiente para circuitos grandes y fundamental en los sistemas ZK modernos. 🔹 Eventos 🔹 ZKM publicó un artículo sobre su tiempo en @EFDevcon, con los siguientes aspectos destacados: • ZKONNECT por @brevis_zk y House of ZK: el CTO de ZKM, @sd_eigen, se unió al panel de prueba en tiempo real EVM Proved in 10 Seconds, discutiendo sistemas de prueba acelerados por GPU. • Verifying Intelligence por House of ZK y Brevis: Stephen habló sobre la privacidad basada en ZK en flujos de trabajo de IA y revisó la auditoría de Ziren con @VeridiseInc. El cofundador @DacEconomy se unió al panel de IA y Trabajo sobre la verificación de contribuciones humanas. • Hackathon @EtherArgentina: ZKM patrocinó el evento con Stephen como juez y la Líder de Educación @alicelingl mentorando equipos. • Cumbre Native BTCFi por @babylonlabs_io y @build_on_bob: discusiones sobre finanzas alineadas con @Bitcoin y escalado de BTC. • StarkConnect por @Starknet: Stephen participó en una sesión sobre escalado de Bitcoin con Starknet, @AlpenLabs y @atomiqlabs. • Cumbre ZK Real World: panel sobre cadenas que preservan la privacidad con @MantaNetwork, @ZKVProtocol y @nillion. • Cultural Vivo por @invisiblgarden: ZKM regresó como patrocinador apoyando el hub para constructores de ZK y IA. 🔹 Visita para más informes de toda la industria 🔹