El ecosistema zk nunca ha 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 sentimos honrados de tener a @danboneh como coautor del documento técnico, enlazado en el hilo a continuación.

El Problema: Versionado, Costos y Riesgos de Seguridad Cuando lenguajes fundamentales como Rust, C++ o Go se actualizan, los equipos de zkVM deben modificar su(s) fork(s) de la cadena de herramientas del lenguaje. Esto crea un "infierno de versiones" donde cada zkVM debe mantener implementaciones divergentes, frágiles y críticas 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 más de $200,000 por versión. Además, los equipos de zkVM necesitan seguir retrocediendo las correcciones de seguridad a un número creciente de cadenas de herramientas bifurcadas, lo que agota los recursos para todos menos para los jugadores más grandes.

La Solución: Un SO para Todos los ZK ZeroOS desplaza el punto de integración de los entornos de ejecución específicos de cada lenguaje, que están en constante evolución, a un único y estable shim de llamadas al sistema de Linux. Esto significa que ZeroOS resuelve el problema de compatibilidad para todos los zkVM de una manera independiente del lenguaje, independiente de zkVM y de la arquitectura. Los constructores de zkVM (como Succinct, RISC Zero y el ZK-EVM de Polygon) solo necesitan implementar un cargador de arranque de ZeroOS para desbloquear la compatibilidad con aplicaciones de Linux en muchos lenguajes (por ejemplo, Rust, C). Esto desbloquea todos los módulos de subsistema de ZeroOS para los desarrolladores de vApp, quienes pueden elegir exactamente lo que necesitan para equilibrar eficiencia y seguridad. El beneficio 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.