Code like always,
build like never
before.
TECH STACK
Platform
Aleo Explorer
A block explorer and code repository for programsAleo SDK
A package of comprehensive tools and resources for zero-knowledge transactionsInfrastructure
Leo
A functional programming language for ZKsnarkOS
A decentralized operating system for zero-knowledge applicationssnarkVM
A distributed virtual machine for zero-knowledge applicationsThe power of ZK at your fingertips.
No cryptography degree required.
Multiple groundbreaking solutions stacked into one unified code ecosystem. On Provable, you can code, deploy, and run your apps in a single place.
Crafted to make zero-knowledge app development easy. Leo abstracts low-level cryptography so you can easily write ZK logic for private, scalable, and decentralized apps that redefine the internet experience.
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
MORE FROM PROVABLE
Explorer
Search and analyze contracts and transactions on the Aleo blockchain.EXPLORE ALEO
Aleo SDK
Build high-performance apps that users can privately interact with on their browsers.LEARN MORE
© 2024 Provable, All Rights Reserved