Obolonchik

The Leo Programming Language

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

🍎 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 💻 🚧 💬 👀	_{Collin Chin} 💻 📖 🚧 👀	_{Howard Wu} 🤔 🚧 🔬 👀	_{Alessandro Coglio} 📖 🚧 💬 👀	_{Eric McCarthy} 📖 🚧 💬 👀	_{Raymond Chu} 🤔 💻 🔬	_ljedrz 🐛 💻 💬
_aharshbe ✅🐛 💬	_{Mazdak Farrokhzad} 💻	_{Damir Shamanaev} 💻	_gluax 💻	_0rphon 💻	_{Max Bruce} 💻	_{Sergey Isaev} 💻
_{François Garillot} 💻	_{Weikeng Chen} 🔬	_sptg 🐛 💻	_LouisWT 💻	_yuliyu123 💻	_detailyang 💻	_{Tom-OriginStorage} 💻
_omahs 💻	_Haruka 🐛 💻	_swift-mx 💻	_{Francisco Strambini} 💻	_{Daniel Gushchyan} ✅	_r4keta ✅	_liolikus 🖋
_{Evgeny Garanin} ✅	_NickoMenty ✅	_eug33ne ✅	_Nininiao ✅	_CTurE1 ✅🖋	_{colliseum2006} ✅	_boaaa ✅
_HausenUA ✅	_{TerrenceTepezano} ✅	_Zabka0x94 ✅	_DarronHanly1 ✅	_FengXiaoYong ✅	_{KassieSteinman} ✅	_MaishaAzim ✅
_{Moria Bright} ✅	_Bradshow ✅	_{SilvaHoffarth} ✅	_Elaine1015 ✅	_vasylbelyi ✅	_EgorMajj ✅	_RNS23 ✅
_{VoinaOleksandr} ✅	_alexprimak58 ✅	_Asimous22 ✅	_Marik0023 ✅	_JanSchluter ✅	_{AminaPerrigan} ✅	_Utah8O ✅
_{ApoloniaResseguie} ✅	_{NobukoCausley} ✅	_ololo70 ✅	_{evangelion4215} ✅	_boodovskiy ✅	_BULVER777 ✅	_{Kyrylo Budovskyi} ✅
_sayber1717 ✅	_BudiSwy ✅	_romacll ✅	_{habaroff18203} ✅	_LennyPro6 ✅	_n0d4 ✅	_grossbel12 ✅
_Orliha ✅	_darjin 🖋	_romacll ✅	_aleoweb123 ✅	_{Andrew Rosborough} 🖋	_R-Demon ✅	_sryykov ✅
_himera0482 ✅	_encipher88 ✅	_Likaenigma ✅	_bartosian ✅	_{Recep Deniz} ✅	_Saimon87 ✅	_{Big Ixela} ✅
_{Denys Riabets} ✅	_{Dmytro Groma} ✅	_{Volodymyr Rudoi} ✅	_{Petro Falatiuk} ✅	_ElsaChill ✅	_gsulaberidze ✅	_kegvorn ✅
_{totoro_me} ✅	_{timchinskiyalex} ✅	_DimaSpys ✅	_dimbirch ✅	_YuraPySHIT ✅	_annabirch ✅	_baxzban ✅
_nnewera3 ✅	_LabLinens ✅	_drimartist ✅	_savarach ✅	_padjfromdota ✅	_gglorymen ✅	_{KrisMorisBoris} ✅
_WebDuster ✅	_Tasham2008 ✅	_760AnaPY ✅	_imshelest ✅	_mirmalnir ✅	_AnatoliMP ✅	_ihortym ✅
_Vplmrchk ✅	_anrd04 ✅	_Gonruk ✅	_ur4ix ✅	_AllininanQ ✅	_Juliaaa26 ✅	_{Hacker-web-Vi} ✅
_Mickey1245 ✅	_anastese ✅	_NastyaTR97 ✅	_andriypaska ✅	_dendistar ✅	_kartaviy223 ✅	_BluePEz ✅
_Ihorika2 ✅	_taraspaska ✅	_Ragnaros12q ✅	_StasFreeman ✅	_McTrick ✅	_Dimaleron ✅	_Boruto11dw ✅
_NOne790 ✅	_Golldirr ✅	_dmytriievp ✅	_{InfernoCyber55} ✅	_dexxeed ✅	_kumarman1 ✅	_nika040 ✅
_{Collins44444444444444} ✅	_aavegotch ✅	_{Sergiy Svitlyk} ✅	_Mariia077 ✅	_svitlykihor ✅	_{Dmytro Haiov} ✅	_{Annnnnnnnnnna} ✅
_{turchmanovich101} ✅	_Zasmin12ve ✅	_timfaden ✅	_{MerlinKlasnuy} ✅	_erikprimerov ✅	_Andreewko ✅	_{Daniel Nguyen} ✅
_igorstrong ✅	_{Kramar Maxim} ✅	_{Marina Boyko} ✅	_YaakovHuang ✅	_viktoria3715 ✅	_{Hello-World99bit} ✅	_{Alan-Zarevskij} ✅
_Huliko ✅	_tommy1qwerty ✅	_sueinz ✅	_Julia-path ✅	_{Diana Shershun} ✅	_mcnk020 ✅	_Edgar0515 ✅
_Ju1issa ✅	_MGavrilo ✅	_YujiROO1 ✅	_yuriyMiller ✅	_{Tetiana Pavlenko} ✅	_MGavrilo ✅	_vizimnokh ✅
_{Oleksii Svitlyk} ✅	_t3s1 ✅	_BloodBand ✅	_{thereisnspoon} ✅	_{InfernoCyber55} ✅	_Pikkorio1 ✅	_quertc ✅
_Yuriihrk ✅	_stsefa ✅	_{Alan Harper} ✅	_imanbtc ✅	_{Oleksandr7744} ✅	_MarikJudo ✅	_Piermanenta ✅
_Karoliniio ✅	_{Olga Svitlyk} ✅	_khanaya9845 ✅	_OlgaBurd ✅	_{YaakovHunag920515} ✅	_Songoku1691 ✅	_Timssse ✅
_LLoyD1337 ✅	_VeranOAS ✅	_kirileshta ✅	_dimapr1 ✅	_senol10 ✅	_{hoangsoncomputer} ✅	_Timssse ✅
_Erskine2022 ✅	_HoratioElise ✅	_0xKateKasper ✅	_{Dekigrupovuha} ✅	_ariaSiren ✅	_musicplayli ✅	_cryptotuts ✅
_grojap ✅	_{Chinothebuilder} ✅	_Dorafanboy ✅	_lockck ✅	_RoyalHelena ✅	_0xHeathcliff ✅	_Elvira0728 ✅
_NerissaHal ✅	_beoloqer ✅	_goshina2015 ✅	_Khvesyk ✅	_LuchikYu ✅	_{alekseevaani22} ✅	_sasaglim ✅
_ChinW ✅	_abasinv577 ✅	_JeTr1x ✅	_grejio ✅	_mehgoq ✅	_SerdhRo ✅	_poizu ✅
_petrzhukovam ✅	_BeniukBohdan ✅	_{romasamiilenko} ✅	_Yserdych ✅	_Andriasniy ✅	_ishaaqziyan ✅	_yutkach ✅
_Mernajop ✅	_{GudanovaAngelina} ✅	_Ruguped ✅	_{jackhopper925} ✅	_{sadnessdog123} ✅	_{ivanuykolegmy} ✅	_{olefirenkoannaa} ✅
_{KislitsinSergey} ✅	_RuslanKhvan ✅	_{rozhnovskiyigor} ✅	_{mihalchukdenis} ✅	_StarkovVlad ✅	_ErikTruman ✅	_{yeeeeeeeeehor} ✅
_coco94542 ✅	_{smetaninalena} ✅	_LoyalLea ✅	_{mihalchukdenis} ✅	_jessandrich ✅	_TanTanyaYa ✅	_changnum05 ✅
_nastyQueen ✅	_lunaryear123 ✅	_aiootv ✅	_Lalabnb ✅	_SunSeva ✅	_ElleryRiley ✅	_sheridan2020 ✅
_mgpwnz ✅	_Podima2 ✅	_DomWyatt ✅	_stan-dot ✅	_{podpolkovnik123} ✅	_Dmitriy65 ✅	_sheridan2020 ✅
_{Dominik77Aleo} ✅	_luo-simon ✅	_{WargerCoderApt} ✅	_jan-o-e ✅	_{SimonSallstrom} ✅	_yashgo0018 ✅	_{jessicapointing} ✅
_zklim ✅	_EfrainHattie ✅	_jacobella ✅	_{brandonseverin} ✅	_14viktor14 ✅	_{AntonYashcheko} ✅	_{elenavicario12} ✅
_{tbretschneider} ✅	_scmata ✅	_perlash73 ✅	_velev ✅	_{some-robot-guy} ✅	_bvs321 ✅	_3tomcha ✅
_StephenPan ✅	_rolloorme ✅	_tommyet ✅	_Hun-Chi33 ✅	_Cheliooosss ✅	_TSetsenkoU ✅	_{TropicalDog17} ✅
_HartleyGilda ✅	_kelsey2821 ✅	_diane8026 ✅	_{MavisPrunella} ✅	_{Margaret-Hamilton-AR} ✅	_ollstar41 ✅	_{JustAnotherDevv} ✅
_{abiyeamachree} ✅	_{CaptainAhab0x} ✅	_dradaku ✅	_carlosaccp ✅	_anitatrista ✅	_anonyma ✅	_JohnT2222 ✅
_EmersonLois ✅	_Anneki1 ✅	_GillianWolf ✅	_davaks2 ✅	_chidz21 ✅	_l1irosh ✅	_jaklin55noso ✅
_jess98NFT ✅	_{alexisleger-42} ✅	_{DrucillaLucas} ✅	_ThaliaElsie ✅	_0xK3K ✅	_daniel023x ✅	_ellen2martin ✅
_Fanat1ck1 ✅	_GoldenFirst5 ✅	_{Flyingtothemoon123} ✅	_davinlane ✅	_arianarhea ✅	_zambrose ✅	_Jarekkkkk ✅
_akirawuc ✅	_tralkan ✅	_abcd5251 ✅	_andy78644 ✅	_ineedmoti ✅	_christam96 ✅	_cindlin ✅
_atul2501 ✅	_effiehattie ✅	_{chaoticsoooul} ✅	_nancy42071 ✅	_albertwong08 ✅	_{garrickmaxwell} ✅	_Bipin102 ✅
_Qgoni ✅	_nonkung51 ✅	_AZLPY3117G ✅	_Hesus1love ✅	_PhilbertHu ✅	_{elliottstefan} ✅	_yadavmunny06 ✅
_fentonrobin ✅	_{FireGuyYehorPotiekhin} ✅	_sapphire712 ✅	_spawnpeeker ✅	_fizzixesp ✅	_{lydiaignatova} ✅	_Suraj-1407 ✅
_jsreddy3 ✅	_chrerokiy01 ✅	_zelenenola ✅	_HenryLeslie ✅	_{vancemichelle} ✅	_ua-lera ✅	_MJV11 ✅
_juicc3 ✅	_DyxaDevelop 🖋	_MrSinisterF ✅	_es3tenz ✅	_{thrashcomplet} ✅	_agladkyi ✅	_ShiftyBlock ✅
_AdityaAA2004 ✅	_zainashaik ✅	_{KoshliakOleksandr} ✅	_Pidogryz ✅	_{OleksandrSlipchenko} ✅	_{MykhailoReztsov} ✅	_kirkelmer ✅
_philbertotis ✅	_{isaiahelvis0x} ✅	_WenQi7721 ✅	_{CharlesMing02} ✅	_AliceYeh12 ✅	_patilmayank ✅	_{kilikaloko214} ✅
_AlexZhao6666 🖋	_chenxudongok ✅
Add your contributions