L'écosystème zk n'a jamais connu son moment Linux - jusqu'à présent. Nous vous présentons ZeroOS, un système d'exploitation modulaire universel pour les zkVM. Nous lançons ZeroOS aujourd'hui en tant que bien public, et nous sommes honorés d'avoir @danboneh comme co-auteur du livre blanc, lié dans le fil ci-dessous.

Le problème : versionnage, coûts et risques de sécurité Lorsque des langages de base comme Rust, C++ ou Go sont mis à jour, les équipes zkVM doivent modifier leur(s) fork(s) de la chaîne d'outils du langage. Cela crée un " enfer des versions " où chaque zkVM doit maintenir des déploiements divergents, fragiles et critiques pour la sécurité qui dépendent des changements de tiers dans les langages de programmation. Chaque modification nécessite un nouvel audit qui peut coûter plus de 200 000 $. De plus, les équipes zkVM doivent continuer à rétroporter les correctifs de sécurité vers un nombre croissant de chaînes d'outils forkées, ce qui met à rude épreuve les ressources de tous sauf des plus grands acteurs.

La solution : Un OS pour tous les ZK ZeroOS déplace le point d'intégration des environnements d'exécution spécifiques aux langages, en constante évolution, vers un seul shim d'appel système Linux stable. Cela signifie que ZeroOS résout le problème de compatibilité pour tous les zkVM de manière indépendante du langage, indépendante du zkVM et indépendante de l'architecture. Les constructeurs de zkVM (comme Succinct, RISC Zero et le ZK-EVM de Polygon) n'ont besoin que d'implémenter un chargeur de démarrage ZeroOS pour débloquer la compatibilité avec les applications Linux dans de nombreux langages (par exemple, Rust, C). Cela débloque tous les modules de sous-système ZeroOS pour les développeurs de vApp, qui peuvent choisir exactement ce dont ils ont besoin pour équilibrer efficacité et sécurité. Le bénéfice de passer à ZeroOS est une augmentation massive de l'efficacité opérationnelle et de la sécurité qui profite à l'ensemble de l'écosystème des développeurs. Tout le monde y gagne.