ProvableHQ / leo
š¦ The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
AI Architecture Analysis
This repository is indexed by RepoMind. By analyzing ProvableHQ/leo in our AI interface, you can instantly generate complete architecture diagrams, visualize control flows, and perform automated security audits across the entire codebase.
Our Agentic Context Augmented Generation (Agentic CAG) engine loads full source files into context on-demand, avoiding the fragmentation of traditional RAG systems. Ask questions about the architecture, dependencies, or specific features to see it in action.
Embed this Badge
Showcase RepoMind's analysis directly in your repository's README.
Repository Overview (README excerpt)
Crawler viewThe Leo Programming Language Leo is an imperative, statically-typed programming language built for writing private applications. Table of Contents ā¢ š Overview ā¢ āļøļø Build Guide ā¢ š¦ Install Rust ā¢ š¦ Download using Cargo ā¢ š Build from Source Code ā¢ š¦ Update from Leo ā¢ š Quick Start ā¢ š§° Troubleshooting ā¢ š Documentation ā¢ š¤ Contributing ā¢ š”ļø License š 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 as follows: ā¢ macOS or Linux: ā¢ 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. š¦ Download using Cargo If you don't intend to work on the Leo compiler itself, you can install the latest Leo release with: Now to use leo, in your terminal, run: š Build from Source Code If you'd like to install the latest unreleased top of tree Leo, you can build from source code as follows: š¦ Update from Leo You can update Leo to the latest released version using the following command: Note that if you were using a prerelease version of Leo, this will overwrite that with the latest released version. Now to check the version of leo, in your terminal, run: š Quick Start Use the Leo CLI to create a new project The command creates a new Leo project with a given name. The 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 ā¢ Leo ABNF Grammar ā¢ Homepage š¤ Contributing Please see our guidelines in the developer documentation š”ļø License š¼ Back to top