leo
leo copied to clipboard
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
## 🚀 Feature Currently the ABNF grammar specifies ``` whitespace = space / horizontal-tab / newline newline = line-feed / carriage-return / carriage-return line-feed horizontal-tab = %x9 ; line-feed =...
## 🚀 Feature Title. ## Motivation Fewer characters to write means happier developers :)
## 💥 Proposal Since the notion of member function is being extended from circuit types to non-circuit types (e.g. for bit/byte conversions), it makes more sense to declare member functions...
## 🐛 Bug Report **`Outputs` folder weights too much.** This bug leads to the fact that the program's execution time slows down significantly because it takes more time to load...
## 🐛 Bug Report line 110: https://github.com/AleoHQ/leo/blob/82caba755540c373c1c908a2012f4fd9fcfc39b4/compiler/ast-passes/src/canonicalization/canonicalizer.rs#L107-L111 #### Code snippet to reproduce ``` circuit C { function f () { // works const a = Self {}; // fails const...
## 🐛 Bug Report `leo` panicked when the function is recursive. A newcomer may not be aware that the unbounded recursion is NOT supported. A panic doesn't help users. ##...
## 🐛 Bug Report When I try the same small program as in https://github.com/AleoHQ/leo/issues/1422 in the staging branch (commit 660fbcef8) the output value is incorrectly printed in the `.out` file:...
## 🚀 Feature Improve `address` rule and follow [BIP_0173](https://en.bitcoin.it/wiki/BIP_0173) (for bech32 address format). ```abnf address = %s"aleo1" 58( lowercase-letter / digit ) ``` Quote from BIP: > *The data part,...
## 🐛 Bug Report on leo master you can use any size number to create a field, but on staging you can only use up to 76 characters. the following...
## 🐛 Bug Report The code ``` function main(x: u8) -> bool { if x < 10 { return false; } return true; } ``` gives the error ``` Error...