The power of ZK at your fingertips.
No cryptography degree required.
Multiple groundbreaking solutions stacked into one unified code ecosystem. With Provable, you can code, deploy, and run your apps in a single place.
TECH STACK
Platform
Leo is a functional, statically typed programming language for private applications. Designed for intuitive Aleo blockchain development, Leo lays the foundation for a private, decentralized ecosystem.
Start building
Playground
Get first-hand experience of building private applications with Leo. Code the way you prefer: from the command line or a graphical editor.BUILD WITH LEO
Documentation
Dive into the core concepts and syntax of Leo, access a suite of commands for easy coding, and explore community resources and projects.READ THE DOCS
zkCloud
Unlimited compute, instant verificationBuild with our core tools to bring out the best in your apps.snarkVM
Develop compute-intensive decentralized applications with a VM that performs computation off-chain and only requires verifiable proofs on-chain.LEARN MORE
snarkOS
Make apps scalable and secure with an OS that validates transactions with a single proof of execution and maintains an immutable state of the Aleo blockchain.LEARN MORE