La última versión de zkVM Aquí informamos sobre el progreso de los principales constructores en el ecosistema zkVM, documentando lanzamientos recientes y significativos, avances técnicos y actualizaciones generales. Con las participaciones de: @brevis_zk, @DelphinusLab, Jolt (@a16zcrypto), @ligero_inc, @0xMiden, @NexusLabs, @RiscZero/@boundless_xyz, @SuccinctLabs, @ziskvm y @ProjectZKM. 🔹 Visita para más informes de todo el sector 🔹

Brevis 🔹 Whitepaper 🔹 de ProverNet @brevis_zk publicó su whitepaper de ProverNet que describe un mercado descentralizado donde las aplicaciones solicitan capacidad de demostración ZK y pruebas especializadas compiten para suministrarla: El sistema utiliza un mecanismo fiable de doble subasta online para emparejar cargas de trabajo heterogéneas con recursos adecuados, al tiempo que garantiza la calidad del servicio mediante incentivos económicos. ProverNet introduce el token BREV para pagos, staking y gobernanza, y pronto está previsto el lanzamiento de una mainnet beta con una subasta simplificada. 🔹 Medio 🔹 En un episodio reciente de @HouseofZK Radio, @no89thkey, cofundador de Brevis, habló sobre cómo el equipo pasó de sus orígenes DeFi a construir computación verificable y demostración casi en tiempo real: Habló sobre el Pico zkVM, el demostrador distribuido Pico Prism utilizado para la prueba de bloques @Ethereum, y cómo la arquitectura modular de coprocesadores de Brevis soporta la fidelidad 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 la computación verificable y el cambio hacia modelos de ejecución basados en pruebas fuera de la cadena: • Brevis tenía ZKONNECT, con House of ZK como copresentador, centrándose en cómo los zkVMs, coprocesadores ZK, zkML y zkTLS están pasando de los conceptos a la producción. El programa destacó despliegues prácticos de computación verificable, acceso a datos entre cadenas e inferencia de IA, junto con varias ponencias y debates que describen cómo los equipos están aplicando la infraestructura ZK a aplicaciones reales. • Michael pronunció una ponencia magistral en Verifying Intelligence 3.0, organizada por House of ZK y copresentada por Brevis: Explicó por qué la mayoría de la computación blockchain migrará fuera de la cadena y será verificada mediante ZKPs, presentando Brevis como la capa de computación infinita que ejecuta lógica pesada fuera de la cadena y devuelve salidas sucintas y verificables. La charla abarcó el Pico zkVM, la demostración en tiempo real de Ethereum, la arquitectura modular de Brevis y las integraciones actuales que impulsan DeFi inteligente, atestados 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 demuestra 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 todo el sector 🔹

Choque (@a16zcrypto) 🔹 Llamada 🔹 de pruebas etnicas @SuccinctJT, investigador en @a16zcrypto, presentó en la reciente llamada de @eth_proofs. Destacó cómo las zkVM actuales controlan la memoria de demostradores dividiendo las trazas en fragmentos y agregando recursivamente las pruebas, pero que esto añade complejidad, riesgo de errores y costes de rendimiento. Marca de tiempo - 32:30: Justin explicó cómo Jolt pretende sustituir esto por un enfoque de streaming que limite la memoria del demostrador a unos pocos gigabytes, independientemente del recuento de ciclos. Dos de los aproximadamente veinte componentes necesarios de Sumcheck ya están en streaming, 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 SNARK moderno logra una demostración rápida centrándose en el protocolo sum-check: El artículo expone por qué técnicas como la evaluación por lotes, los argumentos de consulta, los polinomios virtuales y la preservación de bajo valor reducen el trabajo de prueba y los costes de compromiso. Utilizando Jolt como estudio de caso principal, muestra cómo explotar la estructura computacional repetida permite usar zkVMs eficientes y guía futuras mejoras de rendimiento. 🔹 Visita para más informes de todo el sector 🔹

Miden 🔹 Testnet v0.12 🔹 @0xMiden lanzó su Testnet v0.12, introduciendo actualizaciones importantes en flujos de privacidad, gestión de claves, gestión de direcciones y herramientas para desarrolladores: La versión añade un nuevo formato de dirección con soporte de cifrado, una capa privada de transporte de notas con @Nethermind, firma ECDSA mediante precompilaciones y mejoras en el manejo de datos en el nodo. También incluye barreras básicas para la visibilidad de los datos de transacciones, el nuevo instalador de Midenup para una integración simplificada, una devnet dedicada para experimentación y múltiples mejoras a nivel de VM para la componibilidad y depuración. 🔹 Publicaciones 🔹 El proyecto publicó un artículo explicando cómo las multisigs privadas se vuelven factibles mediante un nuevo sistema llamado Private State Management, co-desarrollado con @OpenZeppelin: El artículo expone por qué los multisigs tradicionales dependen del 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 existe una prueba de concepto temprana. 🔹 Eventos 🔹 En @EFDevcon, Miden organizó y participó en varios eventos, entre ellos: • The Privacy Salon, un evento organizado por Miden que reunió a constructores, investigadores y fundadores para charlas breves y centradas en ideas y debates abiertos sobre privacidad, sistemas descentralizados y las intersecciones en evolución entre cripto, web3 y finanzas tradicionales. • Verificación de Inteligencia 3.0, organizada por @HouseofZK, donde @huitseeker, responsable de ingeniería en Miden, habló sobre el papel de las zkVMs en zkML, explicando las diferencias entre demostrar inferencia y entrenamiento, las limitaciones de los TEEs y cómo el diseño de Miden soporta escenarios prácticos y resistentes a la verificación de IA. Hora - 02:50:12: 🔹 Integraciones 🔹 El proyecto introdujo dos nuevas colaboraciones que amplían su ecosistema en privacidad, incorporación e infraestructuras, incluyendo: • @get_para: Incorporación de la cartera integrada de Para y autenticación MPC distribuida para permitir una incorporación fluida y no custodial para las aplicaciones de Miden. La colaboración introdujo inicio de sesión sin contraseña, creación instantánea de carteras y flujos de usuario sin fricciones, alineando la pila UX de Para con el modelo de privacidad compatible con Miden para soportar aplicaciones privadas DeFi, fintech, gaming e institucionales basadas en la ejecución ZK: • @gateway_eth: Colaboramos para proporcionar infraestructura de nivel empresarial para la red blockchain escalable y centrada en la privacidad de Miden. La colaboración garantiza alta disponibilidad, acceso rápido a datos y fiabilidad operativa a medida que Miden se escala, con Gateway ejecutando componentes centrales como el puente nativo, los probadores y el explorador de bloques para apoyar el despliegue de la arquitectura de ejecución en borde de Miden: 🔹 Visita para más informes de todo el sector 🔹

Nexo 🔹 DEX Alpha 🔹 @NexusLabs lanzado la versión Alpha de su exchange descentralizado de futuros perpetuos como parte de su Testnet III, ofreciendo una plataforma CLOB simplificada y no custodial construida sobre infraestructura verificable: El comunicado se centra en las funciones principales de trading, la integración simplificada y los 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 retroalimentación impulsada por la comunidad y pruebas criptográficas introducidas progresivamente. 🔹 Estado de 🔹 la red Nexus publicó su informe de red de noviembre: Destacan: • La red procesó 87,198 millones de transacciones, de las cuales 87,038 millones se completaron, 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 demostración más estable tras el rápido pico de octubre. • Los contratos verificados alcanzaron los 2,548 millones, demostrando la confianza continua de los desarrolladores en el entorno de pruebas a pesar de la mayor latencia y el rendimiento moderado. • Las comisiones de transacción promediaban 0,048 NEX, manteniendo bajo el coste de verificabilidad y dejando espacio para iteraciones rápidas e interacciones frecuentes en la cadena. 🔹 Eventos 🔹 El científico jefe de Nexus @JensGroth16 participó en una charla informal en el evento Verifying Intelligence de @HouseofZK durante @EFDevcon, donde se explicó cómo evolucionaron los ZKP desde trabajos teóricos tempranos hasta las aplicaciones actuales en IA verificable: Destacó el enfoque de Nexus en combinar la corrección demostrable con la seguridad económica y subrayó la necesidad de estándares, educación y una confianza institucional más amplia para garantizar que los sistemas verificables sean utilizables y ampliamente adoptados. 🔹 Visita para más informes de todo el sector 🔹

Risc Zero & Boundless 🔹 Llamada 🔹 de pruebas etnicas En el reciente @eth_proofs Call #6, @BruestleJeremy, CEO y cofundador de @RiscZero, compartió cómo el equipo arrancó con éxito un núcleo Linux real dentro del zkVM tras añadir soporte para Risc-V en modo S, MMU completo y memoria virtualizada. Marca de tiempo - 20:30: La demo mostró múltiples procesos en funcionamiento y un entorno casi determinista adecuado para pilas de software más amplias. Risс Zero planea lanzar esto en la próxima versión del circuito a medida que continúe el progreso del demostrador. 🔹 Eventos 🔹 @boundless_xyz participó en varios eventos durante Devconnect en Buenos Aires, entre ellos: • Una sesión de lectura de Whitepaper organizada por @HouseofZK en colaboración con @WPReadingClub y @invisiblgarden, donde Boundless, @citrea_xyz, @MinaProtocol y @o1_labs participaron en mesas redondas sobre desarrollos recientes en investigación e ideas emergentes en el ecosistema Web3 y ZK. • Un panel de Verificación de Inteligencia 3.0, donde @reka_eth, Director de Marketing de Boundless, contribuyó a una discusión sobre demostrar la contribución humana en una era marcada por la IA y la robótica, junto a 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 todo el sector 🔹

Sucinto 🔹 SP1 Hypercube 🔹 @SuccinctLabs informó que la última versión de su SP1 Hypercube zkVM puede detectar el 99,7% de @ethereum bloques L1 en menos de 12 segundos en 16 GPUs RTX 5090, ampliando su hito anterior de pruebas en tiempo real: La versión añade importantes mejoras en el rendimiento, verificación formal de todas las restricciones de RISC-V, eliminación de dependencias de conjeturas de brechas de proximidad y nuevas medidas de seguridad. Hypercube está completando auditorías y será lanzado en código abierto y a través de la Red Succinct Prover. 🔹 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: el tiempo de demostrador y los grandes tamaños de demostración. Utilizando códigos tensoriales y pruebas de oráculo interactivas, TensorSwitch logra tiempos de compromiso y apertura lineales en tamaño de entrada, costes de hashing sublineales y consultas de verificadores asintóticamente mínimas, sin depender de una configuración confiable 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 contenidos digitales: A medida que aumenta el aumento de los medios generados por IA, el proyecto introduce la verificación ZK para fortalecer los flujos de trabajo de procedencia con privacidad y atestados escalables. Succinct tiene como objetivo apoyar estándares unificados de metadatos y mejorar la interoperabilidad entre plataformas. Al unirse a C2PA, el proyecto planea contribuir con investigaciones y ayudar a desplegar herramientas de autenticidad de contenidos en entornos prácticos. 🔹 OP Succinct Lite 🔹 @Celo actualizó su testnet de Sepolia a OP Succinct Lite mediante el hardfork Jello, acercándose al lanzamiento de la mainnet: A principios de este año, Celo cambió a Ethereum L2 para soportar pagos reales y se convirtió en la primera cadena en adoptar OP Succinct Lite con EigenDA v2. 🔹 Visita para más informes de todo el sector 🔹

ZKM 🔹 Auditoría 🔹 Zen de ZKM está siendo sometido a una auditoría por parte de @VeridiseInc, utilizando su plataforma de verificación Picus: Veridise adaptó las restricciones Plonky3 de Ziren y realizó análisis a través de @AuditHubDev. Los resultados iniciales confirmaron un comportamiento determinista para la suma y resta en el chip AddSub. Los equipos planean ampliar la verificación a circuitos completos e integrar las comprobaciones 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 aritméticos de circuitos comprobando recursivamente la consistencia entre capas de circuito usando el protocolo multivariante Sumcheck: La pieza 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 termina la recursión 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 etapa en @EFDevcon, destacando lo siguiente: • ZKONNECT de @brevis_zk y House of ZK: ZKM CTO @sd_eigen se unió al panel de demostración en tiempo real EVM Proven in 10 Seconds para discutir sistemas de prueba acelerados por GPU. • Verificación de inteligencia por House of ZK y Brevis: Stephen habló sobre la privacidad basada en ZK en los flujos de trabajo de IA y revisó la auditoría de Ziren con @VeridiseInc. Cofundador @DacEconomy se unió al panel de IA y Trabajo sobre la verificación de las contribuciones humanas. • @EtherArgentina Hackathon: ZKM patrocinó el evento con Stephen como juez y responsable de Educación @alicelingl equipos de mentoría. • Native BTCFi Summit por @babylonlabs_io y @build_on_bob: debates sobre finanzas alineadas con @Bitcoin y escalado BTC. • StarkConnect por @Starknet: Stephen participó en una sesión sobre cómo escalar Bitcoin con Starknet, @AlpenLabs y @atomiqlabs. • ZK Real World Summit: panel sobre cadenas que preservan la privacidad con @MantaNetwork, @ZKVProtocol y @nillion. • Cultural Vivo por @invisiblgarden: ZKM regresó como patrocinador apoyando el centro para los constructores de ZK e IA. 🔹 Visita para más informes de todo el sector 🔹