El especial ZKM @ProjectZKM ha lanzado zkMIPS 1.0, la primera versión totalmente lista para producción de su máquina virtual basada en MIPS diseñada para la computación verificable de alto rendimiento: Esta es la actualización más significativa desde que comenzó el proyecto, ofreciendo un aumento de rendimiento de 6 a 19 veces con respecto a la versión 0.3.0, gracias a una revisión técnica completa. Algunos aspectos clave de la actualización incluyen: • La arquitectura experimentó una actualización de MIPS2 a MIPS32r2, lo que permitió el acceso a un conjunto de instrucciones más amplio y desbloqueó optimizaciones a nivel de compilador y tamaños de programa más pequeños. • zkMIPS ahora se ejecuta en el backend Plonky3, un moderno sistema STARK que utiliza el protocolo FRI, y se beneficia del cambio al campo principal KoalaBear de 31 bits, que ofrece una aritmética más rápida que la configuración anterior de Goldilocks de 64 bits. • Los árboles de Merkle se han reemplazado con hash multiset para mantener la coherencia de la memoria, reducir el tamaño de los testigos y admitir la verificación paralela. Una arquitectura de circuito modular basada en chips minimiza el área de restricción, y las operaciones de ruta activa como Keccak y la aritmética de campo se han descargado en precompilaciones para reducir los costos de prueba. El sistema ya está integrado en la red ZKM Proof y se está utilizando para probar en vivo @ethereum bloques de la red principal como parte de la iniciativa de @eth_proofs del @ethereumfndn. También está en producción con @GOATRollup, un Bitcoin L2 construido sobre BitVM2. Reacción Varios medios de comunicación recogieron la noticia de inmediato, y @Utoday_en publicó un artículo exclusivo sobre lo que diferencia al proyecto de otras zkVM: El artículo ofrece elogios generales para el equipo de ZKM y su notable calidad de ingeniería, y enfatiza que la elección de MIPS32r2 en lugar de RISC-V ofrece ventajas arquitectónicas: programas más cortos, menos restricciones y mejor alineación con los circuitos ZK. El lanzamiento también contó con comentarios de Ethproofs, @a16zcrypto y el propio @0x1164 de House of ZK: ZKM anunció una discusión pública de la versión 1.0 de zkMIPS, con el CTO del proyecto, @sd_eigen, discutiendo optimizaciones, resultados de referencia, arquitectura del sistema y planes de desarrollo futuros. El evento tendrá lugar el 12 de mayo a las 12 p.m. UTC: Perspectivas de ingeniería En un artículo reciente, el proyecto explicó por qué, al desarrollar su máquina virtual zkMIPS, el equipo eligió la arquitectura MIPS32r2 en lugar de RISC-V, a pesar de que esta última es la opción predeterminada para la mayoría de las zkVM modernas. El artículo afirma que la decisión no se trató de ser diferente, sino de seleccionar la base más eficiente para la computación escalable y verificable. Una de las principales razones fue la mayor densidad de instrucciones de MIPS32r2. Con operaciones como MOVZ, MOVN y MADDU, la lógica compleja se puede expresar en menos pasos, lo que reduce la longitud del seguimiento de ejecución. Por el contrario, la misma lógica en RISC-V a menudo requiere más instrucciones, lo que aumenta la carga de pruebas. Otro factor fue la madurez y estabilidad del ecosistema MIPS. Con décadas de uso y una especificación fija, MIPS está bien probado, incluso se usa en sistemas críticos como la máquina virtual a prueba de fraudes de Optimism. RISC-V, aunque está creciendo rápidamente, sigue evolucionando y fragmentado. El artículo completo se puede encontrar aquí: