snarkOS

snarkOS 是一个为零知识应用构建的去中心化操作系统，作为 Aleo 区块链网络的核心协议层，负责验证 ZK 交易、维护加密状态及实现可公开验证的共识。它基于 zk-SNARKs 密码学技术，支持 Validator、Client 和 Prover 三类节点角色，提供 CLI 和 JSON-RPC 接口，具备高安全性与状态隐私保障能力。适用于需强隐私保护与可验证计算的 Web3 应用开发、ZK 应用部署及 Aleo 生态基础设施搭建场景。