leo
https://github.com/aleohq/leo
Rust
The Leo Programming Language. A Functional, Statically-Typed Language for Zero-Knowledge Applications
Triage Issues!
When you volunteer to triage issues, you'll receive an email each day with a link to an open issue that needs help in this project. You'll also receive instructions on how to triage issues.
Triage Docs!
Receive a documented method or class from your favorite GitHub repos in your inbox every day. If you're really pro, receive undocumented methods or classes and supercharge your commit history.
Rust not yet supported4 Subscribers
Add a CodeTriage badge to leo
Help out
- Issues
- build(deps): bump rustls from 0.23.45 to 0.23.46
- Try the shared CPU runner fleet for Leo CI
- [Bug] Wrong output: inside an `if`, assigning a whole array and then one of its elements loses the element store
- [Bug] Valid finalize rejected: a plain `fn` helper called from a `final` block divides when its zero-check guard is false
- [Bug] Compiler panic when a generic `final fn` calls a generic standard-library accessor like `std::prog::edition`
- [Bug] Compiler panic when a variable from `let (a, b) = ...` is assigned only in the `else` branch
- [Bug] Compiler panic when a nested-array row is assigned from a variable and an element of it is assigned
- [Bug] `signature::verify` with constant arguments is rejected as a "type failure" from wrong argument order in compile-time evaluation
- [Bug] An interface-qualified mapping call with an option-unwrap argument is rejected with an "unknown variable" error
- [Bug] A program whose `final` block reads an array of length `N` (a `const`) cannot be imported or tested
- Docs
- Rust not yet supported