ProvableHQ 收錄中的開源專案，依星數排序。
🦁 Leo 程式語言。為形式驗證、零知識應用而設計的程式語言
面向 ZK 應用的分散式操作系統
用於去中心化隱私運算 (DPC) 的 zkVM。
用於零知識應用程式開發的 Javascript 與 TypeScript SDK
