leo
@ProvableHQ
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
snarkOS
@ProvableHQ
A Decentralized Operating System for ZK Applications
snarkVM
@ProvableHQ
A zkVM for Decentralized Private Computations (DPC)
sdk
@ProvableHQ
Javascript & Typescript SDK for Zero-Knowledge Application Development
workshop
@ProvableHQ
📜 A Starter Guide to Build ZK Applications 📜
leo-docs-source
@ProvableHQ
📄 Documentation for Leo 🦁