ColliseumUnderstanding the four Legion Score pillars
What each score represents, how it is calculated, and what it takes to reach the top
ColliseumConcrete Vaults: the most accessible path to real yield in DeFi
A beginner-friendly introduction to automated DeFi strategies powered by Concrete.
ColliseumDeploying your first Solidity Contract on Arc Testnet
Deploying your first Solidity Contract on Arc Testnet
Subscribe to Colliseum
Subscribe to Colliseum
ColliseumUnderstanding the four Legion Score pillars
What each score represents, how it is calculated, and what it takes to reach the top
ColliseumConcrete Vaults: the most accessible path to real yield in DeFi
A beginner-friendly introduction to automated DeFi strategies powered by Concrete.
ColliseumDeploying your first Solidity Contract on Arc Testnet
Deploying your first Solidity Contract on Arc Testnet
Support Colliseum
ColliseumAuthoring private Aleo programs: development tools you need
Support Colliseum
ColliseumAuthoring private Aleo programs: development tools you need
<100 subscribers
<100 subscribers
My name is Heorhii, and I’ve spent the last year deep in the Aleo ecosystem, building and testing private apps using zero-knowledge technology. If you're new to Aleo or just starting to write private programs, you're in the right place.
In this article, I’ll walk you through the key development tools that Aleo offers for authoring and running private programs, from low-level Aleo instructions and the powerful snarkVM, to the beginner-friendly Leo language and the browser-based Leo Playground. Whether you're building in Rust or experimenting in a web IDE, there’s a tool here to help you start creating privacy-preserving apps on-chain.
https://developer.aleo.org/guides/introduction/getting_started/
1. Aleo Instructions: low-level control. If you’re into fine-grained circuit design or building a compiler that targets Aleo, you’ll want to understand Aleo Instructions.
All Leo programs compile down to Aleo Instructions, which are then compiled into AVM bytecode. You write them in .aleo files and execute them via snarkVM.
Installing snarkVM:
# Install from crates.io
cargo install snarkvm
To verify it's working:
snarkvm --help
You can also build it from source:
git clone --branch mainnet --single-branch https://github.com/ProvableHQ/snarkVM.git
cd snarkVM
git checkout tags/testnet-beta
cargo install --path .
Your first Aleo Instructions program. To create a new project:
snarkvm new hello_aleo
cd hello_aleo
This generates:
hello_aleo/
├── main.leo
├── program.json
└── README.md
To run the program:
snarkvm run hello 2u32 3u32
You can also execute it to simulate proof generation:
snarkvm execute hello 2u32 3u32
Use --offline to avoid hitting a node:
snarkvm execute hello 2u32 3u32 --offline
Other helpful commands:
snarkvm clean # Cleans build artifacts
snarkvm update # Updates to latest snarkVM version
snarkvm update --list # View all available versions
https://developer.aleo.org/guides/aleo/aleo/
2. Leo: Aleo’s smart contract language. Leo is a high-level language purpose-built for Aleo. Inspired by Rust and JavaScript, it’s easy to read and write while abstracting away the hard stuff in zero-knowledge programming.
Leo is statically typed and includes tools for debugging, testing, and verifying your code.
Installing Leo. To install Leo:
cargo install leo-lang
This puts leo into your ~/.cargo/bin/ directory.
To create a new Leo project:
leo new hello_aleo
cd hello_aleo
Run the function:
leo run
Leo includes:
Type checking
Static analysis
Easy integration with Aleo accounts
Local deployment and proof generation
3. Leo Playground: code in the browser. If you want to try Leo without installing anything, Leo Playground is your best friend.
Leo Playground is a web-based IDE with:
Code editor
Compiler integration
GitHub project support
Online proof generation and simulation
Note: Generating transactions may be slow in-browser due to the intensity of ZK computations.
https://docs.leo-lang.org/getting_started/ide
4. Editor plugins for Leo. If you're working in your favorite IDE, Leo’s got you covered:
VS Code:
Install from Marketplace: aleohq.leo-extension
Once installed, Leo syntax highlighting, compiler feedback, and hover hints work out of the box.
Sublime Text:
Install LSP and LSP-leo via Package Control
Restart and set color scheme:Settings > Select Color Scheme... > LSP-leo
IntelliJ IDEA:
Install Leo plugin via Marketplace
Works best with Aleo smart contract syntax and local compilation
https://www.jetbrains.com/idea/download/
Final thoughts. Aleo offers a complete set of tools for both low-level and high-level development. You can use snarkVM to write and simulate Aleo Instructions, or get started faster with Leo and Leo Playground.
Whatever your approach, privacy is built in.
Now it’s your turn. Create a project, write a function, and watch zero-knowledge magic unfold.
To know more about Aleo, join now!
Aleo Twitter
Aleo Discord
Aleo Website
List of Aleo and Leo code and resourses
Prepared by Colliseum
My name is Heorhii, and I’ve spent the last year deep in the Aleo ecosystem, building and testing private apps using zero-knowledge technology. If you're new to Aleo or just starting to write private programs, you're in the right place.
In this article, I’ll walk you through the key development tools that Aleo offers for authoring and running private programs, from low-level Aleo instructions and the powerful snarkVM, to the beginner-friendly Leo language and the browser-based Leo Playground. Whether you're building in Rust or experimenting in a web IDE, there’s a tool here to help you start creating privacy-preserving apps on-chain.
https://developer.aleo.org/guides/introduction/getting_started/
1. Aleo Instructions: low-level control. If you’re into fine-grained circuit design or building a compiler that targets Aleo, you’ll want to understand Aleo Instructions.
All Leo programs compile down to Aleo Instructions, which are then compiled into AVM bytecode. You write them in .aleo files and execute them via snarkVM.
Installing snarkVM:
# Install from crates.io
cargo install snarkvm
To verify it's working:
snarkvm --help
You can also build it from source:
git clone --branch mainnet --single-branch https://github.com/ProvableHQ/snarkVM.git
cd snarkVM
git checkout tags/testnet-beta
cargo install --path .
Your first Aleo Instructions program. To create a new project:
snarkvm new hello_aleo
cd hello_aleo
This generates:
hello_aleo/
├── main.leo
├── program.json
└── README.md
To run the program:
snarkvm run hello 2u32 3u32
You can also execute it to simulate proof generation:
snarkvm execute hello 2u32 3u32
Use --offline to avoid hitting a node:
snarkvm execute hello 2u32 3u32 --offline
Other helpful commands:
snarkvm clean # Cleans build artifacts
snarkvm update # Updates to latest snarkVM version
snarkvm update --list # View all available versions
https://developer.aleo.org/guides/aleo/aleo/
2. Leo: Aleo’s smart contract language. Leo is a high-level language purpose-built for Aleo. Inspired by Rust and JavaScript, it’s easy to read and write while abstracting away the hard stuff in zero-knowledge programming.
Leo is statically typed and includes tools for debugging, testing, and verifying your code.
Installing Leo. To install Leo:
cargo install leo-lang
This puts leo into your ~/.cargo/bin/ directory.
To create a new Leo project:
leo new hello_aleo
cd hello_aleo
Run the function:
leo run
Leo includes:
Type checking
Static analysis
Easy integration with Aleo accounts
Local deployment and proof generation
3. Leo Playground: code in the browser. If you want to try Leo without installing anything, Leo Playground is your best friend.
Leo Playground is a web-based IDE with:
Code editor
Compiler integration
GitHub project support
Online proof generation and simulation
Note: Generating transactions may be slow in-browser due to the intensity of ZK computations.
https://docs.leo-lang.org/getting_started/ide
4. Editor plugins for Leo. If you're working in your favorite IDE, Leo’s got you covered:
VS Code:
Install from Marketplace: aleohq.leo-extension
Once installed, Leo syntax highlighting, compiler feedback, and hover hints work out of the box.
Sublime Text:
Install LSP and LSP-leo via Package Control
Restart and set color scheme:Settings > Select Color Scheme... > LSP-leo
IntelliJ IDEA:
Install Leo plugin via Marketplace
Works best with Aleo smart contract syntax and local compilation
https://www.jetbrains.com/idea/download/
Final thoughts. Aleo offers a complete set of tools for both low-level and high-level development. You can use snarkVM to write and simulate Aleo Instructions, or get started faster with Leo and Leo Playground.
Whatever your approach, privacy is built in.
Now it’s your turn. Create a project, write a function, and watch zero-knowledge magic unfold.
To know more about Aleo, join now!
Aleo Twitter
Aleo Discord
Aleo Website
List of Aleo and Leo code and resourses
Prepared by Colliseum
Share Dialog
Share Dialog
No activity yet