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, @boundless_xyz/@RiscZero, @brevis_zk, @0xLita, @ziskvm, @ligero_inc y @openvm_org 👇

Sucinto 🔹 Tecnología 🔹 @SuccinctLabs presentó SP1-CC, un coprocesador ZK para @ethereum que permite a los desarrolladores leer el estado histórico de la cadena de bloques, ejecutar cálculos complejos fuera de la cadena y verificar los resultados en la cadena con una sola prueba: SP1-CC elimina las restricciones de gas y las limitaciones de EVM sin cambiar el código L1, lo que permite nuevos casos de uso en gobernanza, DeFi, lanzamientos aéreos y divulgaciones de seguridad. Equipos como @eigenlayer ya lo usan para reducir costos y aumentar la flexibilidad. 🔹 Asociaciones 🔹 El proyecto anunció recientemente una serie de nuevas asociaciones que incluyen: 🔹 @Snarkify_ZKP: Se unió a Succinct Prover Network como uno de los primeros equipos de prueba, aportando un motor de prueba SP1-SRT personalizado optimizado para la generación de ZKP en tiempo real en GPU y FPGA, lo que ayuda a reducir la latencia y el costo en toda la red: 🔹 @a41_allforone: Integrado en la red como un probador de múltiples nodos con un programador que coordina cientos de GPU, junto con un backend optimizado para Python, lo que permite pruebas de alto rendimiento para aplicaciones como juegos, IA y rollups: 🔹 @cysic_xyz: Agregado a la red como un probador acelerado por hardware que ejecuta grandes clústeres de GPU y se prepara para lanzar un ASIC personalizado para cargas de trabajo de zkVM, contribuyendo con una profunda experiencia de ZPRIZE y la infraestructura ZK de nivel de producción: 🔹 @worldcoin: Colaboró para probar todas las transacciones en World Chain utilizando OP Succinct, ejecutando un experimento de red principal de 7 días con verificación de prueba paralela y demostrando pruebas de validez rápidas y rentables para una de las cadenas OP Stack más grandes: 🔹 @Mantle_Official: Apoyó la transición de Mantle Network a OP Succinct en la red de prueba, alineándose con su hoja de ruta para mejorar la seguridad y la descentralización con pruebas de fallas impulsadas por ZK e infraestructura modular: 🔹 @zan_team: Se unió como un probador de múltiples nodos impulsado por @AntChainOpenLab, contribuyendo con una infraestructura acelerada por hardware y una optimización SP1 basada en FPGA que mejora la velocidad de prueba en 20 veces más que las CPU, lo que ayuda a reducir los costos de red y allana el camino para los ASIC de ZK: 🔹 Medio 🔹 Finalmente, el cofundador de Sucinct, @pumatheuma se unió a @alicelingl en el reciente 'Succinct Special', donde hablaron sobre los últimos desarrollos de Succinctt y todo lo relacionado con ZK:

ZKM 🔹 Tecnología 🔹 @ProjectZKM presentó Ziren, una zkVM acelerada por GPU con prueba distribuida, anteriormente conocida como zkMIPS: Construido sobre la arquitectura MIPS32r2 eficiente en zk, Ziren ya está impulsando aplicaciones del mundo real como @GOATRollup y reduce significativamente el tiempo de generación de pruebas en comparación con las versiones anteriores. 🔹 Investigación🔹 ZKM publicó varios artículos nuevos que destacan los últimos avances en su pila de pruebas ZK: 🔹 El primer artículo presentó las actualizaciones que vinieron con el cambio de marca de Ziren: aceleración de GPU, prueba distribuida y varias optimizaciones de restricciones: 🔹 El segundo explicó Ziren System Framework, que cubre la canalización completa desde el código de alto nivel hasta las pruebas en cadena. Detalla cómo los seguimientos de ejecución basados en MIPS se convierten en STARK, se agregan recursivamente con PLONK y se finalizan en Groth16 para una verificación eficiente: 🔹 El tercer artículo completó la trilogía de la serie ISA de ZKM, centrándose en por qué ZKM eligió MIPS32r2 en lugar de RISC-V. Enfatiza la estabilidad del circuito y la longevidad de la prueba, explicando cómo MIPS ofrece una ISA fija e inmutable, lo que garantiza que las pruebas sigan siendo válidas durante años sin necesidad de volver a trabajar: 🔹 En el artículo más reciente, ZKM presentó los compromisos polinómicos irregulares, un método para manejar matrices irregulares en zkVM. Mediante el uso de conversiones de dispersas a densas y protocolos de comprobación de suma, permite compromisos escalables y eficientes a través de estructuras de prueba dinámicas: 🔹 Medio 🔹 Por último, @DacEconomy (científico jefe de ZKM) y @sd_eigen (colaborador principal de GOAT Network) se unieron a @alicelingl para discutir cómo zkVM de ZKM impulsa Bitcoin L2 de GOAT Network: Exploraron la infraestructura de Entangled Rollup, la generación de pruebas agregadas y en tiempo real, y la sustitución de la confianza del validador por la certeza matemática, destacando la arquitectura y el modelo de seguridad detrás del enfoque de GOAT para la escalabilidad de Bitcoin.

RISC Cero/Sin límites 🔹 Tecnología 🔹 @boundless_xyz by @RiscZero ha lanzado su Mainnet Beta en @base, llevando los ZKP al uso en el mundo real: Se presentó 'The Signal', un cliente ZK de código abierto que comprime @ethereum finalidad en una sola prueba, lo que permite la verificación entre cadenas. Al separar la ejecución del consenso, Boundless permite un cálculo escalable sin sacrificar la seguridad. La prueba no tiene permisos, con incentivos reales y soporte de aplicaciones en vivo que ya se ejecutan en Base. 🔹 Asociaciones 🔹 La señal de Boundless ahora es compatible con @eigenlayer, @unichain, @LineaBuild, @wormhole, @Optimism, @StellarOrg, @RiscZero, @build_on_bob, @anoma, @alt_layer, @conduitxyz, @taikoxyz, @Alchemy, @hyli_org, @celestia, @AragonProject y @union_build. Juntas, estas redes permiten que la finalidad de @ethereum basada en ZK se convierta en una primitiva universal y verificable para aplicaciones de cadena cruzada, sin oráculos, puentes o suposiciones de confianza:

En la última llamada de Ethproofs, @succinct_li de @brevis_zk compartieron actualizaciones sobre el zkVM interno de Brevis, Pico: (Marca de tiempo 11:06) El probador basado en GPU de Brevis, Pico v1.0, ofrece mejoras de velocidad de hasta un 20× con respecto a su versión de CPU y supera a los principales competidores en alrededor de un 25-27%. El equipo planea lanzar Pico v2.0 a fines de agosto, con el objetivo de probar en tiempo real. También tienen la intención de abrir el código de la GPU después de completar el soporte de múltiples GPU y múltiples máquinas en los próximos meses.

Lita @0xLita presentó Valida 0.10.0, una actualización importante de su pila zkVM: La versión agrega Continuations para pruebas de ejecución parciales, una API WASM del lado del cliente para pruebas zk basadas en navegador y soporte mejorado de la cadena de herramientas Rust / LLVM. También incluye imágenes de Docker para x86 y ARM, soporte temprano para Secp256k1 y memcpy, y Reva, un ejecutor de bloques @ethereum.

OpenVM @openvm_org ha lanzado la versión 1.3.0, que presenta bibliotecas invitadas renovadas que separan claramente los enlaces de bajo nivel de las API de alto nivel: La actualización incluye una nueva biblioteca de Rust para verificar las pruebas STARK, mejoras de CLI que admiten opciones de carga y parches para cajas criptográficas como k256 y p256. No se produjeron cambios en el circuito. Se recomienda a los desarrolladores que migren a las nuevas bibliotecas.