El ecosistema zk nunca había tenido su momento Linux, hasta ahora. Presentamos ZeroOS, un sistema operativo modular universal para zkVMs. Hoy lanzamos ZeroOS como un bien público y nos honra contar con @danboneh como coautor del whitepaper, enlazado en el hilo de abajo.

El problema: Versiones de juego, costes y riesgos de seguridad Cuando se actualizan lenguajes básicos como Rust, C++ o Go, los equipos de zkVM deben modificar su(s) bifurcación(es) de la cadena de herramientas del lenguaje. Esto crea un "infierno de versiones" donde cada zkVM debe mantener despliegues divergentes, frágiles y críticos para la seguridad que dependen de cambios de terceros en los lenguajes de programación. Cada modificación requiere una nueva auditoría que puede costar $200,000+ por versión. Además, los equipos de zkVM necesitan seguir trasladando correcciones de seguridad a un número creciente de cadenas de herramientas bifurcadas, lo que pone a prueba los recursos de todos salvo los grandes actores.

La solución: un sistema operativo para todo ZK ZeroOS desplaza el punto de integración de los entornos de ejecución específicos del lenguaje en constante evolución a un único y estable shim de llamada de sistema para Linux. Esto significa que ZeroOS resuelve el problema de compatibilidad para todas las zkVM de manera independiente del lenguaje, de zkVM y de arquitectura. Los creadores de zkVM (como Succinct, RISC Zero y ZK-EVM de Polygon) solo necesitan implementar un cargador de arranque ZeroOS para desbloquear la compatibilidad con aplicaciones Linux en muchos lenguajes (por ejemplo, Rust, C). Esto desbloquea todos los módulos de subsistema de ZeroOS para los desarrolladores de vApp, que pueden elegir exactamente lo que necesitan para equilibrar eficiencia y seguridad. La recompensa de cambiar a ZeroOS es un aumento masivo en la eficiencia operativa y la seguridad que beneficia a todo el ecosistema de desarrolladores. Todos ganan.