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

Succinct 🔹 Tecnología 🔹 @SuccinctLabs presentó SP1-CC, un coprocesador ZK para @ethereum que permite a los desarrolladores leer el estado histórico de la blockchain, realizar cálculos complejos fuera de la cadena y verificar resultados en la cadena con una única prueba: SP1-CC elimina las restricciones de gas y las limitaciones de EVM sin cambiar el código de L1, habilitando nuevos casos de uso en gobernanza, DeFi, airdrops y divulgaciones de seguridad. Equipos como @eigenlayer ya lo utilizan para reducir costos y aumentar la flexibilidad. 🔹 Asociaciones 🔹 El proyecto anunció recientemente una serie de nuevas asociaciones, incluyendo: 🔹 @Snarkify_ZKP: Se unió a la Red de Proveedores Succinct como un equipo de prueba temprano, trayendo un motor de prueba SP1-SRT personalizado optimizado para la generación de ZKP en tiempo real en GPUs y FPGAs, ayudando a reducir la latencia y el costo en toda la red: 🔹 @a41_allforone: Integrado en la red como un proveedor de múltiples nodos con un programador que coordina cientos de GPUs, junto con un backend optimizado para Python, permitiendo pruebas de alto rendimiento para aplicaciones como juegos, IA y rollups: 🔹 @cysic_xyz: Agregado a la red como un proveedor 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 una infraestructura ZK de grado de producción: 🔹 @worldcoin: Colaboró para probar todas las transacciones en World Chain usando OP Succinct, ejecutando un experimento en mainnet de 7 días con verificación de prueba paralela y demostrando pruebas de validez rápidas y rentables para una de las cadenas más grandes de OP Stack: 🔹 @Mantle_Official: Apoyó la transición de Mantle Network a OP Succinct en testnet, alineándose con su hoja de ruta para mejorar la seguridad y descentralización con pruebas de fallos impulsadas por ZK e infraestructura modular: 🔹 @zan_team: Se unió como un proveedor de múltiples nodos impulsado por @AntChainOpenLab, contribuyendo con infraestructura acelerada por hardware y optimización SP1 basada en FPGA que mejora la velocidad de prueba en 20x sobre CPUs, ayudando a reducir los costos de la red y allanando el camino para los ASICs ZK: 🔹 Medios 🔹 Finalmente, el cofundador de Succinct @pumatheuma se unió a @alicelingl en el reciente 'Succinct Special', donde discutieron los últimos desarrollos de Succinct y todo lo relacionado con ZK:

ZKM 🔹 Tecnología 🔹 @ProjectZKM presentó Ziren - un zkVM acelerado por GPU con prueba distribuida, anteriormente conocido 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 versiones anteriores. 🔹 Investigación 🔹 ZKM publicó múltiples nuevos artículos destacando los últimos avances en su pila de pruebas ZK: 🔹 El primer artículo presentó las mejoras que vinieron con el cambio de marca de Ziren - aceleración por GPU, prueba distribuida y varias optimizaciones de restricciones: 🔹 El segundo explicó el Marco del Sistema Ziren, cubriendo todo el proceso desde el código de alto nivel hasta las pruebas en cadena. Detalla cómo las trazas de ejecución basadas en MIPS se convierten en STARKs, 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 sobre RISC-V. Enfatiza la estabilidad del circuito y la longevidad de la prueba, explicando cómo MIPS ofrece una ISA fija e invariable, asegurando que las pruebas permanezcan válidas durante años sin necesidad de rehacer: 🔹 En el artículo más reciente, ZKM presentó Compromisos Polinómicos Irregulares - un método para manejar matrices irregulares en zkVMs. Al utilizar conversiones de disperso a denso y protocolos de verificación de suma, permite compromisos escalables y eficientes a través de estructuras de prueba dinámicas: 🔹 Medios 🔹 Por último, @DacEconomy (Científico Jefe de ZKM) y @sd_eigen (contribuyente principal en GOAT Network) se unieron a @alicelingl para discutir cómo el zkVM de ZKM potencia la Bitcoin L2 de GOAT Network: Exploraron la infraestructura de Entangled Rollup, la generación de pruebas en tiempo real y agregadas, y el reemplazo de la confianza del validador con certeza matemática - destacando la arquitectura y el modelo de seguridad detrás del enfoque de GOAT hacia la escalabilidad de Bitcoin.

RISC Zero/Boundless 🔹 Tecnología 🔹 @boundless_xyz de @RiscZero ha lanzado su Beta de Mainnet en @base, llevando los ZKPs a un uso en el mundo real: 'La Señal' fue introducida - un cliente ZK de código abierto que comprime la finalización de @ethereum en una sola prueba, permitiendo la verificación entre cadenas. Al separar la ejecución del consenso, Boundless permite una computación escalable sin sacrificar la seguridad. La prueba es sin permisos, con incentivos reales y soporte de aplicaciones en vivo ya funcionando en Base. 🔹 Asociaciones 🔹 La Señal de Boundless ahora es soportada por @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 finalización basada en ZK de @ethereum se convierta en un primitivo universal y verificable para aplicaciones entre cadenas - sin oráculos, puentes o suposiciones de confianza:

En la última llamada de Ethproofs, @succinct_li de @brevis_zk compartió 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 20× en comparación con su versión de CPU y supera a los principales competidores en alrededor del 25-27%. El equipo planea lanzar Pico v2.0 a finales de agosto, con el objetivo de lograr pruebas en tiempo real. También tienen la intención de hacer que el código de GPU sea de código abierto después de completar el soporte para 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 añade Continuaciones para pruebas de ejecución parcial, una API WASM del lado del cliente para pruebas zk basadas en navegador, y soporte mejorado para la herramienta 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 de @ethereum.

OpenVM @openvm_org ha lanzado la versión 1.3.0, que introduce bibliotecas de invitado 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 pruebas STARK, mejoras en la CLI que admiten opciones de Cargo y parches para crates criptográficos como k256 y p256. No se produjeron cambios en el circuito. Se anima a los desarrolladores a migrar a las nuevas bibliotecas.