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项目里程碑规划为：

Milestone	Goal
Risc0 recursion	Unlocks multi-layer recursion
Deployment of WASM verifier	Start experimenting with on-chain proofs
Solidity verifier for Risc0	EVM on-chain proofs
Miden support	Allow full cross-VM interoperability
Integrate MUL Goldilocks accelerator	Performance

上一篇：进军影院领域当代明诚靠收购做大文体产业当代明诚并购新英体育当代明诚收购俱乐部

下一篇：当代内容产业的历史性出场内容行业的趋势和发展内容产业趋势报告

zkOS：跨证明系统执行层

1. 引言

相关内容

热门资讯