zk 生態系統從未有過它的 Linux 時刻 - 直到現在。 介紹 ZeroOS，一個通用的模組化 Library OS，適用於 zkVM。 我們今天將 ZeroOS 作為公共產品發布，並榮幸地邀請 @danboneh 作為白皮書的共同作者，白皮書鏈接在下面的線程中。

問題：版本控制、成本和安全風險 當核心語言如 Rust、C++ 或 Go 更新時，zkVM 團隊必須修改其語言工具鏈的分支。這會造成 "版本地獄"，每個 zkVM 必須維護不同的、脆弱的和安全關鍵的部署，這些部署依賴於第三方對編程語言的更改。 每次修改都需要新的審計，成本可能超過 200,000 美元每個版本。此外，zkVM 團隊需要不斷將安全修復回溯到越來越多的分支工具鏈，這對於除了最大的參與者之外的所有人來說都造成了資源壓力。

解決方案：一個 ZK 的所有操作系統 ZeroOS 將整合點從不斷演變的語言特定運行時轉移到一個穩定的 Linux 系統調用適配層。 這意味著 ZeroOS 以語言無關、zkVM 無關和架構無關的方式解決了所有 zkVM 的兼容性問題。 zkVM 建設者（如 Succinct、RISC Zero 和 Polygon 的 ZK-EVM）只需實現一個 ZeroOS 引導加載程序，即可解鎖與多種語言（例如 Rust、C）中的 Linux 應用程序的兼容性。這為 vApp 開發者解鎖了所有 ZeroOS 子系統模塊，他們可以精確選擇所需的內容，以平衡效率和安全性。 轉向 ZeroOS 的回報是運營效率和安全性的巨大提升，這使整個開發者生態系統受益。每個人都贏了。