ProvableHQ 收录中的开源项目，按星标数排序。
🦁 Leo 编程语言。为形式验证、零知识应用而设计的编程语言
面向 ZK 应用的分散式操作系统
用于去中心化隐私计算 (DPC) 的 zkVM。
用于零知识应用程序开发的 Javascript 与 TypeScript SDK
