O ecossistema zk nunca teve o seu momento Linux - até agora. Apresentamos o ZeroOS, um sistema operativo modular universal para zkVMs. Estamos a lançar o ZeroOS hoje como um bem público e estamos honrados por ter @danboneh como coautor do whitepaper, ligado no tópico abaixo.

O Problema: Versionamento, Custo e Riscos de Segurança Quando linguagens principais como Rust, C++ ou Go são atualizadas, as equipas de zkVM devem modificar seu(s) fork(s) da cadeia de ferramentas da linguagem. Isso cria o "inferno das versões", onde cada zkVM deve manter implementações divergentes, frágeis e críticas para a segurança que dependem de mudanças de terceiros nas linguagens de programação. Cada modificação requer uma nova auditoria que pode custar mais de $200,000 por versão. Além disso, as equipas de zkVM precisam continuar a retroceder correções de segurança para um número crescente de cadeias de ferramentas bifurcadas, o que sobrecarrega os recursos de todos, exceto dos maiores players.

A Solução: Um SO para Todos os ZK O ZeroOS muda o ponto de integração dos ambientes de execução específicos de linguagem, que estão em constante evolução, para um único shim de chamada de sistema Linux estável. Isso significa que o ZeroOS resolve o problema de compatibilidade para todos os zkVMs de uma maneira agnóstica em relação à linguagem, agnóstica em relação ao zkVM e agnóstica em relação à arquitetura. Os construtores de zkVM (como Succinct, RISC Zero e o ZK-EVM da Polygon) precisam apenas implementar um carregador de inicialização do ZeroOS para desbloquear a compatibilidade com aplicações Linux em várias linguagens (por exemplo, Rust, C). Isso desbloqueia todos os módulos de subsistema do ZeroOS para os desenvolvedores de vApp, que podem escolher exatamente o que precisam para equilibrar eficiência e segurança. A vantagem de mudar para o ZeroOS é um aumento massivo na eficiência operacional e segurança que beneficia todo o ecossistema de desenvolvedores. Todos ganham.