AleoHQ/leo
1
1
Fork 0
mirror of https://github.com/AleoHQ/leo.git synced 2024-11-29 11:43:28 +03:00
Code Issues Packages Projects Releases Wiki Activity
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
42 Commits 53 Branches 44 Tags 332 MiB
Rust 97.4%
Shell 2.6%
ffedd297fc
Go to file
collin ffedd297fc impl and constrain function parameter visibility
2020-04-21 23:01:20 -07:00
src impl and constrain function parameter visibility 2020-04-21 23:01:20 -07:00
.gitignore Initial commit 2020-03-09 20:55:41 -07:00
Cargo.lock add constraints and snark functions 2020-03-31 13:47:51 -07:00
Cargo.toml add constraints and snark functions 2020-03-31 13:47:51 -07:00
numbers.csv Initial commit 2020-03-09 20:55:41 -07:00
README.md Create README.md 2020-03-09 20:58:09 -07:00
simple_import.program add and constrain explict type for u32 2020-04-20 13:06:47 -07:00
simple.program impl and constrain function parameter visibility 2020-04-21 23:01:20 -07:00

README.md

language