Workshop
📜 A Starter Guide to Build ZK Applications 📜
Install / Use
/learn @ProvableHQ/WorkshopREADME
Table of Contents
Build Guide
The following steps will install Aleo and Leo on your machine. This workshop is compatible on macOS, Linux, and Windows machines.
Prerequisites
This workshop requires the following prerequisites.
- Install
gitwith bit.ly/start-git - Install
Rustwith bit.ly/start-rust
Installation
To install Aleo and Leo, run:
./install.sh
IDE Support
This workshop requires one of the following IDEs.
VSCode (Preferred)
Start by installing VSCode with bit.ly/start-vscode.
Next, in VSCode, open the VSCode Marketplace, type Leo into the search bar, and proceed to install the Leo plugin.

Sublime Text
<details><summary>Installation Steps</summary>Start by installing Sublime Text with bit.ly/start-sublime.
Next, in Sublime Text, install Package Control:
- On Windows/Linux:
ctrl + shift + p, type Install Package Control, and press Enter. - On macOS:
cmd + shift + p, type Install Package Control, and press Enter.
Next, in Sublime Text, install LSP:
- On Windows/Linux:
ctrl + shift + p, select Package Control: Install Package, type LSP, and press Enter. - On macOS:
cmd + shift + p, select Package Control: Install Package, type LSP, and press Enter.
Lastly, in Sublime Text, install LSP-leo:
- On Windows/Linux:
ctrl + shift + p, select Package Control: Install Package, type LSP-leo, and press Enter. - On macOS:
cmd + shift + p, select Package Control: Install Package, type LSP-leo, and press Enter.
IntelliJ IDEA
<details><summary>Installation Steps</summary>Start by installing IntelliJ IDEA with bit.ly/start-intellij.
Next, in IntelliJ IDEA, open the IntelliJ Marketplace and select Plugins:
- On Windows/Linux:
ctrl + ,and selectPluginson the left hand bar - On macOS:
cmd + ,and selectPluginson the left hand bar
Lastly, type Leo into the search bar, and install the official Leo plugin.
</details>Application Walkthroughs
This workshop walks through the following applications:
- auction - A first-price sealed-bid auction in Leo
- basic_bank - A simple-interest yielding bank account in Leo
- battleship- A two-player game of Battleship in Leo
- tictactoe - A standard game of Tic-Tac-Toe in Leo
- token - A transparent & shielded custom token in Leo
- vote - A ballot voting example in Leo
🏛️ Auction
A first-price sealed-bid auction in Leo.
To see the auction example, run:
cd auction && ./run.sh
🏦 Basic Bank
A simple-interest yielding bank account in Leo.
To see the basic bank example, run:
cd basic_bank && ./run.sh
🛳️ Battleship
A two-player game of Battleship in Leo.
To see a game of Battleship between two players, run:
cd battleship && ./run.sh
⭕ Tic-Tac-Toe
A standard game of Tic-Tac-Toe in Leo.
To see a game of Tic-Tac-Toe between two players, run:
cd tictactoe && ./run.sh
🪙 Token
A transparent & shielded custom token in Leo.
To see an example of minting and transfering tokens, run:
cd token && ./run.sh
🗳️ Vote
A ballot voting example in Leo.
To see an example of a ballot, run:
cd vote && ./run.sh
Related Skills
YC-Killer
2.7kA library of enterprise-grade AI agents designed to democratize artificial intelligence and provide free, open-source alternatives to overvalued Y Combinator startups. If you are excited about democratizing AI access & AI agents, please star ⭐️ this repository and use the link in the readme to join our open source AI research team.
groundhog
399Groundhog's primary purpose is to teach people how Cursor and all these other coding agents work under the hood. If you understand how these coding assistants work from first principles, then you can drive these tools harder (or perhaps make your own!).
sec-edgar-agentkit
10AI agent toolkit for accessing and analyzing SEC EDGAR filing data. Build intelligent agents with LangChain, MCP-use, Gradio, Dify, and smolagents to analyze financial statements, insider trading, and company filings.
last30days-skill
5.9kAI agent skill that researches any topic across Reddit, X, YouTube, HN, Polymarket, and the web - then synthesizes a grounded summary
