Leo

Leo is one part of a greater ecosystem for building private applications on Aleo.

Leo provides a high-level language that abstracts low-level cryptographic concepts and makes it easy to integrate private applications. 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.