leo

Leo 是一种面向零知识证明应用的高级编程语言，专为编写形式化验证的隐私保护程序而设计。它提供类 Rust/JavaScript 的易读语法，支持静态类型检查、单元测试与电路调试工具，并将代码编译为 zk-SNARKs 可用的算术电路。项目基于 Rust 实现，集成 Aleo 生态，适用于构建链上隐私计算、可验证私有合约及去中心化身份等场景。当前处于 Alpha 阶段，适合熟悉密码学与区块链的开发者进行早期探索与原型开发。