Logo
Careers

The power of ZK at your fingertips.
No cryptography degree required.

Multiple groundbreaking solutions stacked into one unified code ecosystem. On Aleo, you can code, deploy, and run your apps in a single place.
TECH STACK
Platform
Aleo Explorer
A block explorer and code repository for programs
Aleo SDK
A package of comprehensive tools and resources for zero-knowledge transactions
Infrastructure
Leo
A functional programming language for ZK
snarkOS
A decentralized operating system for zero-knowledge applications
snarkVM
A distributed virtual machine for zero-knowledge applications

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

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
0/100