Skip to content
/ leo Public

🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications

License

Notifications You must be signed in to change notification settings

ProvableHQ/leo

This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.

Folders and files

NameName
Last commit message
Last commit date

Latest commit

82cd1e5 Β· Sep 29, 2023
Jun 16, 2021
Aug 15, 2023
Sep 26, 2023
Sep 8, 2023
Sep 22, 2023
Sep 8, 2023
Sep 27, 2023
Aug 15, 2023
Sep 13, 2023
Sep 22, 2023
Jun 8, 2020
Apr 28, 2022
Aug 7, 2023
Mar 27, 2023
Mar 27, 2023
Jul 19, 2022
Sep 29, 2023
Sep 13, 2023
Feb 25, 2021
Feb 11, 2021
Sep 25, 2023
Aug 18, 2022
Mar 27, 2023

Repository files navigation

The Leo Programming Language

Leo is a functional, statically-typed programming language built for writing private applications.

Table of Contents

🍎 Overview

Welcome to the Leo programming language.

Leo provides a high-level language that abstracts low-level cryptographic concepts and makes it easy to integrate private applications into your stack. Leo compiles to circuits making zero-knowledge proofs practical.

The syntax of Leo is influenced by traditional programming languages like JavaScript, Scala, and Rust, with a strong emphasis on readability and ease-of-use. Leo offers developers with tools to sanity check circuits including unit tests, integration tests, and console functions.

Leo is one part of a greater ecosystem for building private applications on Aleo. The language is currently in an alpha stage and is subject to breaking changes.

βš™οΈοΈ Build Guide

πŸ¦€ Install Rust

We recommend installing Rust using rustup. You can install rustup as follows:

  • macOS or Linux:

    curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh
  • Windows (64-bit):

    Download the Windows 64-bit executable and follow the on-screen instructions.

  • Windows (32-bit):

    Download the Windows 32-bit executable and follow the on-screen instructions.

πŸ™ Build from Source Code

We recommend installing Leo by building from the source code as follows:

# Download the source code
git clone https://github.com/AleoHQ/leo
cd leo

# Install 'leo'
$ cargo install --path .

Now to use leo, in your terminal, run:

leo

πŸš€ Quick Start

Use the Leo CLI to create a new project

# create a new `hello-world` Leo project
leo new helloworld
cd helloworld

# build & setup & prove & verify
leo run

The leo new command creates a new Leo project with a given name.

The leo run command will compile the program into Aleo instructions and run it.

Congratulations! You've just run your first Leo program.

🧰 Troubleshooting

If you are having trouble installing and using Leo, please check out our guide.

If the issue still persists, please open an issue.

πŸ“– Documentation

🀝 Contributing

Please see our guidelines in the developer documentation

❀️ Contributors

Thank you for helping make Leo better!
What do the emojis mean?🧐

d0cd
d0cd

πŸ’» 🚧 πŸ’¬ πŸ‘€
Collin Chin
Collin Chin

πŸ’» πŸ“– 🚧 πŸ‘€
Howard Wu
Howard Wu

πŸ€” 🚧 πŸ”¬ πŸ‘€
Alessandro Coglio
Alessandro Coglio

πŸ“– 🚧 πŸ’¬ πŸ‘€
Eric McCarthy
Eric McCarthy

πŸ“– 🚧 πŸ’¬ πŸ‘€
Raymond Chu
Raymond Chu

πŸ€” πŸ’» πŸ”¬
ljedrz
ljedrz

πŸ› πŸ’» πŸ’¬
aharshbe
aharshbe

βœ…πŸ› πŸ’¬
Mazdak Farrokhzad
Mazdak Farrokhzad

πŸ’»
Damir Shamanaev
Damir Shamanaev

πŸ’»
gluax
gluax

πŸ’»
0rphon
0rphon

πŸ’»
Max Bruce
Max Bruce

πŸ’»
Sergey Isaev
Sergey Isaev

πŸ’»
François Garillot
François Garillot

πŸ’»
Weikeng Chen
Weikeng Chen

πŸ”¬
sptg
sptg

πŸ› πŸ’»
LouisWT
LouisWT

πŸ’»
yuliyu123
yuliyu123

πŸ’»
detailyang
detailyang

πŸ’»
Tom-OriginStorage
Tom-OriginStorage

πŸ’»
omahs
omahs

πŸ’»
Haruka
Haruka

πŸ› πŸ’»
swift-mx
swift-mx

πŸ’»
Francisco Strambini
Francisco Strambini

πŸ’»
Daniel Gushchyan
Daniel Gushchyan

βœ…
allcontributors[bot]
allcontributors[bot]

πŸ“–
actions-user[bot]
actions-user[bot]

πŸ“–
dependabot[bot]
dependabot[bot]

πŸ“–
Add your contributions

This project follows the all-contributors specification. Contributions of any kind welcome!

πŸ›‘οΈ License

License: GPL v3