leo
leo copied to clipboard
AleoHQ
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
## 💥 Proposal The requirement is that we separate the compiler into several stages that can then be debugged for further use. See the image below.  ### Problem Unfortunately,...
## 🚀 Feature right now attempting to use `==` on circuits causes the following error ``` circuit One { x: u8, } function main () { let x = One...
## 🚀 Describe the Feature Adding support for floats (f8, f16, f32, f64) ## Motivation Floating-type values are important for ML and data science applications.
Taken from https://github.com/AleoHQ/snarkOS/pull/1491
## 🐛 Bug Report tested on staging #### Code snippet to reproduce ``` function main() { // works let x: [u8; _] = [0, 0, 0, 0]; // fails let...
## 🐛 Bug Report #### Code snippet to reproduce ``` function main() { let x: [u8; _] = [0, 1, 2, 3]; // works let y = x[2]; // fails...
## 🚀 Feature The goal is to have the ability to define a function definition into the language without a body. (Write your description here) ## Motivation In the STDLIB,...
## 💥 Proposal `struct` is a more standard and familiar name that `circuit` for this kind of type. Since Leo is being designed to look as much as possible like...
