ProvableHQ/leo

Health v2 · maintenance only

Adoption not part of the score

4821 stars · 716 forks observed · 2026-08-28

What it is AI-extracted, prompt v1, taxonomy v1, 2026-08-29, confidence not recorded

Leo is an imperative, statically-typed programming language for writing zero-knowledge applications that compile to circuits for the Aleo blockchain. It ships as a Rust-based toolchain including a compiler, CLI, formatter, and language server, with unit and integration testing support.

Use cases

• write zero-knowledge applications
• compile programs to zk circuits
• build private apps on the Aleo blockchain
• learn a zero-knowledge programming language
• test and format Leo smart programs
• develop privacy-preserving blockchain contracts

When to choose

• you are building private, zero-knowledge applications on Aleo
• you want a high-level language that abstracts circuit and cryptographic details
• you need tooling like LSP, formatter, and tests for zk development

When to avoid

• you need a general-purpose programming language outside zero-knowledge contexts
• you target blockchains other than Aleo
• you need a fully stable language, since Leo is still subject to breaking changes

Facets

cli-tool · maturity active

programming-language compiler cli testing cryptography programming-languages blockchain developer-tools privacy windows rust cli zero-knowledge zk-snarks aleo statically-typed private-applications lsp formatter cryptography linux macos

Member repositories

For agents

markdown · JSON · MCP: product_card(name="ProvableHQ/leo")