zk 生态系统从未经历过它的 Linux 时刻 - 直到现在。 介绍 ZeroOS，一个用于 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 的回报是操作效率和安全性的巨大提升，这对整个开发者生态系统都有利。每个人都受益。