zkOS：跨证明系统执行层

1. 引言

开源代码见：

• https://github.com/starkoracles/zkos

zkOS致力于为任意基于zk-based dApp提供大量核心功能：

• 1）可扩展性：支持不同的app协作将多个proof聚合为单个final proof，然后提交上链，以实现高扩展性和节约gas费。
• 2）互操作性：当前正处于zk创新的早期阶段，为zk创建统一的API将鼓励创建适合不同问题的不同方法。
• 3）功能齐备（Batteries included）：大多数zk库还没有准备好部署，希望能够轻松快速地投入生产，而无需自己重建所有内容。

zkOS当前已集成了Winterfell和Risc0。并提供了示例说明，如何在 Risc0 zkVM中验证 Winterfell生成的2个Fibonacci proofs。该示例展示了互操作性和可扩展性——可验证来自于不同zk proof系统的证明，并将这些证明聚合为单个final proof在链上进行验证。

zkOS项目里程碑规划为：