L'ecosistema zk non ha mai avuto il suo momento Linux - fino ad ora. Presentiamo ZeroOS, un sistema operativo modulare universale per zkVM. Oggi rilasciamo ZeroOS come bene pubblico, ed è un onore avere @danboneh come co-autore del whitepaper, linkato nel thread qui sotto.

Il Problema: Versioning, Costi e Rischi di Sicurezza Quando linguaggi core come Rust, C++ o Go vengono aggiornati, i team zkVM devono modificare il loro fork della toolchain del linguaggio. Questo crea "version hell" dove ogni zkVM deve mantenere distribuzioni divergenti, fragili e critiche per la sicurezza che dipendono da modifiche di terze parti ai linguaggi di programmazione. Ogni modifica richiede un nuovo audit che può costare oltre $200.000 per versione. Inoltre, i team zkVM devono continuare a retroportare le correzioni di sicurezza a un numero crescente di toolchain forkate, il che mette a dura prova le risorse per tutti tranne che per i più grandi attori.

La Soluzione: Un OS per Tutti i ZK ZeroOS sposta il punto di integrazione dai runtime specifici per linguaggio in continua evoluzione a un singolo, stabile shim di syscall Linux. Questo significa che ZeroOS risolve il problema di compatibilità per tutti i zkVM in modo agnostico rispetto al linguaggio, agnostico rispetto a zkVM e agnostico rispetto all'architettura. I costruttori di zkVM (come Succinct, RISC Zero e ZK-EVM di Polygon) devono solo implementare un bootloader ZeroOS per sbloccare la compatibilità con le applicazioni Linux in molti linguaggi (ad es., Rust, C). Questo sblocca tutti i moduli del sottosistema ZeroOS per gli sviluppatori di vApp, che possono scegliere esattamente ciò di cui hanno bisogno per bilanciare efficienza e sicurezza. Il vantaggio di passare a ZeroOS è un enorme aumento dell'efficienza operativa e della sicurezza che beneficia l'intero ecosistema degli sviluppatori. Tutti vincono.