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.

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.

© 2024 Provable Inc.