ZKM ha lanzado oficialmente una nueva generación de zkVM acelerada por GPU bajo el nombre de Ziren: para construir una infraestructura ZK de grado de producción para desarrolladores convencionales

ZKM lanzó oficialmente una versión de nueva generación de su zkVM, Ziren (anteriormente zkMIPS), que abre un nuevo capítulo en la capacidad de implementación y escalabilidad de los sistemas de prueba de conocimiento cero (ZK) en escenarios de aplicaciones del mundo real a través de la aceleración de GPU, la arquitectura de prueba distribuida y el sistema de restricciones profundamente optimizado. Ziren tiene como objetivo permitir que los ingenieros de sistemas, los desarrolladores de aplicaciones y los diseñadores de protocolos construyan aplicaciones ZK de alto rendimiento en lenguajes convencionales, llevando realmente ZK del laboratorio a las prácticas de desarrollo convencionales.

De zkMIPS a Ziren: saltos en rendimiento y una experiencia de desarrollo mejorada

Ziren es una actualización completa de zkMIPS v1.1.0 y se introdujo por primera vez:

• Aceleración de GPU del 30× para reducir drásticamente la latencia de prueba;

• Arquitectura a prueba de red distribuida, que admite computación paralela e implementación escalable;

• Se actualiza el sistema de restricciones de instrucciones, se optimiza la modularización de instrucciones, se optimiza el uso de columnas y se elimina la redundancia;

• La cadena de herramientas y la experiencia de desarrollo se han actualizado, y se ha agregado soporte para C/C++ sobre la base del soporte de Rust, y Golang se lanzará pronto;

• Correcciones de seguridad clave y mejoras de precompilación para lograr la compatibilidad nativa con el ecosistema Ethereum.

"Ziren es el primer zkVM de propósito general verdaderamente escalable y fácil de usar para desarrolladores, construido sobre la base correcta". Ming Guo, cofundador y científico jefe de ZKM, "Ha demostrado ser líder en rendimiento en CPU, y ahora lo estamos llevando al siguiente nivel con la aceleración de GPU. Si está buscando una pila de prueba ZK óptima, Ziren es la respuesta. "

Además de la completa actualización técnica, el nombre Ziren en sí mismo también tiene un significado. Como continuación de zkMIPS, "Ziren" se inspira en una variante del mito "Sirena" y representa un cambio de la ilusión a la realidad: la promesa de que la tecnología ya no es solo una atracción, sino una usabilidad real. Ziren tiene como objetivo ser una infraestructura zk verdaderamente eficiente, confiable y desplegable en manos de los desarrolladores convencionales.

Aceleración de GPU y paralelismo de prueba distribuida: el salto del rendimiento a la utilidad

El proceso de atestación principal de Ziren se ha completado con GPU, lo que ha dado lugar a importantes mejoras de rendimiento:

• Pruebas de núcleo 30 veces más rápidas

• Pruebas agregadas 15 veces más rápidas

• Pruebas de conversión BN254 30 veces más rápidas

Combinado con una arquitectura de prueba en red, Ziren puede distribuir tareas de prueba en múltiples nodos para la ejecución paralela, lo que no solo mejora significativamente el rendimiento, sino que también mejora la usabilidad descentralizada del sistema. Esta arquitectura es ideal para cadenas de bloques modulares, rollups y sistemas de verificación entre cadenas.

Optimización del sistema de restricciones

Ziren refactorizó sistemáticamente el sistema de restricciones:

• Divida las restricciones de nivel de instrucción en "chips" modulares (que cubren CPU, salto/rama, memoria, etc.)

• Reducir el número de columnas optimizando la estructura de datos

• Eliminación de lógica de restricción redundante o no utilizada

• Optimice los procesos de procesamiento de ALU, MADDU/MSUBU y sucursales para mejorar la eficiencia de la ejecución

Estas optimizaciones reducen significativamente la complejidad de las pruebas, mejoran la velocidad de generación y mejoran la estabilidad del sistema. Desde la perspectiva de zkVM, MIPS genera trazas de ejecución más cortas que RISCV y tiene una mejor eficiencia de instrucción, lo que favorece la mejora de la eficiencia de las pruebas. Con el lanzamiento de Ziren, las ventajas de elegir MIPS se han hecho evidentes gradualmente.

Una mejor experiencia de desarrollo con una experiencia de compilación a implementación más fluida

Ziren ha lanzado una nueva versión de la cadena de herramientas (20250522), que aporta una serie de mejoras en la experiencia del desarrollador:

• Integre parches de LLVM para optimizar el proceso de compilación

• Admite correcciones de instrucciones teq y bibliotecas estáticas de C / C ++

• La cadena de herramientas de Rust es más robusta y elimina los hacks no estándar

• El soporte de Golang llegará pronto

Además, Ziren admite la verificación de firmas nativas de Ethereum, y el módulo precompilado ahora admite firmas de curva elíptica ECDSA completas, lo que hace que la integración en la cadena sea más fluida y amplía los escenarios de aplicación que puede admitir.

Correcciones de estabilidad y seguridad

Ziren ha reforzado completamente el proceso de ejecución de circuitos y verificadores, que incluye:

• Se corrigió una vulnerabilidad crítica de números aleatorios FRI en Plonky3

• Se ha corregido una vulnerabilidad de validación de vk_root en el validador de Rust.

• Optimice la coherencia entre la lógica de ejecución de instrucciones y el sistema de restricciones

• Gestión del comportamiento mejorada de la lógica de procesamiento de particiones y los contadores de programa

Tabla comparativa Ziren vs zkMIPS 1.0

Todas estas actualizaciones trabajan juntas para mejorar la seguridad y la coherencia de Ziren, lo que lo hace más adecuado para los requisitos de atestación de ZK en entornos de nivel de producción.

Avance hacia la prueba en tiempo real: ethproofs.org sea testigo de los resultados de la optimización

Al ethproofs.org, Ziren demostró resultados de rendimiento en tiempo real, y la prueba en tiempo real está a la vuelta de la esquina:

Al reemplazar la máquina virtual de Revm a Reth y extraer el estado de la cuenta en paralelo, el tiempo de preparación del estado del bloque se redujo de 5 minutos a menos de 30 segundos con debug_traceBlock. Esto reduce en gran medida la latencia del proceso de prueba de prueba en cada etapa, lo que hace que el rendimiento de Ziren se acerque más al nivel en tiempo real, sentando una base sólida para la implementación de aplicaciones ZK de alta frecuencia.

Lanzado en GOAT Network: el motor central para construir el zkRollup nativo de Bitcoin

Ziren ya está disponible en el proyecto zkRollup nativo de Bitcoin, GOAT Network, lo que permite la programabilidad al estilo de Ethereum sin necesidad de puentes ni partes de confianza, al tiempo que preserva la seguridad de la red principal de Bitcoin. La red GOAT es una de las prácticas importantes en las rutas BitVM2 y BitVM3.

"Cuando decidimos escalar Bitcoin, necesitábamos un sistema en el que se pudiera confiar de arriba a abajo, no solo una pila de rendimiento de superficie, sino estabilidad y eficiencia a nivel de circuito". Kevin Liu, cofundador y CEO de ZKM y uno de los principales contribuyentes de GOAT Network, dijo: "Ziren es un producto de esta necesidad, una capa de infraestructura en la que confiamos en cada prueba".

Cree su aplicación ZK, comenzando con Ziren

Ziren condensa los años de ZKM de pulido en profundidad de la ingeniería de sistemas subyacente y la investigación de conocimiento cero, no solo para reuniones, sino también para zkVM con una mejor estructura, una mejor experiencia y una aplicación más amplia. Ya sea que esté construyendo una DApp de Ethereum, Bitcoin L2 o un sistema de verificación entre cadenas, Ziren le brinda una base informática confiable.

Escrito en Rust, compilado para MIPS, y Ziren hará el resto. Construya con confianza. Implemente sin concesiones.