GitHub - ProvableHQ/leo: 🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge ApplicationsWelcome 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 a
