ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-25 11:12:48 +03:00
Code Issues Packages Projects Releases Wiki Activity

Merge branch 'testnet3' of github.com:AleoHQ/leo into fix/ssa-folded-returns

Browse Source
This commit is contained in:
collin 2022-08-05 11:50:42 -07:00
commit 837a5057f0
8 changed files with 126 additions and 178 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

173
.circleci/config.yml
View File

@ -136,124 +136,32 @@ jobs:
paths: project/
- clear_environment:
cache_key: leo-executable-cache
#
# leo-new:
# docker:
# - image: cimg/rust:1.62
# resource_class: xlarge
# steps:
# - attach_workspace:
# at: /home/circleci/project/
# - run:
# name: leo new
# command: |
# export LEO=/home/circleci/project/project/bin/leo
# ./project/.circleci/leo-new.sh
#
# leo-init:
# docker:
# - image: cimg/rust:1.62
# resource_class: xlarge
# steps:
# - attach_workspace:
# at: /home/circleci/project/
# - run:
# name: leo init
# command: |
# export LEO=/home/circleci/project/project/bin/leo
# ./project/.circleci/leo-init.sh
#
# leo-clean:
# docker:
# - image: cimg/rust:1.62
# resource_class: xlarge
# steps:
# - attach_workspace:
# at: /home/circleci/project/
# - run:
# name: leo clean
# command: |
# export LEO=/home/circleci/project/project/bin/leo
# ./project/.circleci/leo-clean.sh
#
# leo-setup:
# docker:
# - image: cimg/rust:1.62
# resource_class: xlarge
# steps:
# - attach_workspace:
# at: /home/circleci/project/
# - run:
# name: leo setup
# command: |
# export LEO=/home/circleci/project/project/bin/leo
# ./project/.circleci/leo-setup.sh
# leo-add-remove:
# docker:
# - image: cimg/rust:1.62
# resource_class: xlarge
# steps:
# - attach_workspace:
# at: /home/circleci/project/
# - run:
# name: leo add & remove
# command: |
# export LEO=/home/circleci/project/project/bin/leo
# ./project/.circleci/leo-add-remove.sh
leo-new:
docker:
- image: cimg/rust:1.62
resource_class: xlarge
steps:
- attach_workspace:
at: /home/circleci/project/
- run:
name: leo new
command: |
export LEO=/home/circleci/project/project/bin/leo
./project/.circleci/leo-new.sh
# todo (collin): uncomment after compiler refactor
# leo-check-constraints:
# docker:
# - image: cimg/rust:1.62
# resource_class: xlarge
# steps:
# - attach_workspace:
# at: /home/circleci/project/
# - run:
# name: leo check constraints for Pedersen Hash
# command: |
# export LEO=/home/circleci/project/project/bin/leo
# ./project/.circleci/leo-check-constraints.sh
#
# leo-login-logout:
# docker:
# - image: cimg/rust:1.62
# resource_class: xlarge
# steps:
# - attach_workspace:
# at: /home/circleci/project/
# - run:
# name: leo login & logout
# command: |
# export LEO=/home/circleci/project/project/bin/leo
# ./project/.circleci/leo-login-logout.sh
#
# leo-clone:
# docker:
# - image: cimg/rust:1.62
# resource_class: xlarge
# steps:
# - attach_workspace:
# at: /home/circleci/project/
# - run:
# name: leo clone
# command: |
# export LEO=/home/circleci/project/project/bin/leo
# ./project/.circleci/leo-clone.sh
#
# leo-publish:
# docker:
# - image: cimg/rust:1.62
# resource_class: xlarge
# steps:
# - attach_workspace:
# at: /home/circleci/project/
# - run:
# name: leo publish
# command: |
# export LEO=/home/circleci/project/project/bin/leo
# ./project/.circleci/leo-publish.sh
leo-clean:
docker:
- image: cimg/rust:1.62
resource_class: xlarge
steps:
- attach_workspace:
at: /home/circleci/project/
- run:
name: leo clean
command: |
export LEO=/home/circleci/project/project/bin/leo
./project/.circleci/leo-clean.sh
workflows:
version: 2
@ -262,30 +170,9 @@ workflows:
- check-style
- clippy
- leo-executable
# - leo-new:
# requires:
# - leo-executable
# - leo-init:
# requires:
# - leo-executable
# - leo-clean:
# requires:
# - leo-executable
# - leo-setup:
# requires:
# - leo-executable
# - leo-add-remove:
# requires:
# - leo-executable
# - leo-check-constraints:
# requires:
# - leo-executable
# - leo-login-logout:
# requires:
# - leo-executable
# - leo-clone:
# requires:
# - leo-executable
# - leo-publish:
# requires:
# - leo-executable
- leo-new:
requires:
- leo-executable
- leo-clean:
requires:
- leo-executable

37
.circleci/leo-clean.sh
View File

@ -1,38 +1,23 @@
# leo new hello-world
$LEO new hello-world
# Create a new Leo program named `foo`.
$LEO new foo
ls -la
cd hello-world && ls -la
cd foo && ls -la
# Run `leo build`.
$LEO build
# Assert that the 'outputs' folder is not empty
cd outputs || exit 1
if [ "$(ls -A $DIR)" ]; then
echo "$DIR is not empty"
# Assert that the 'build' folder exists.
if [ "$(ls -A build)" ]; then
echo "build is not empty"
else
echo "$DIR is empty"
echo "build is empty"
exit 1
fi
cd ..
# leo clean
# Run `leo clean`
$LEO clean
cd outputs && ls -la
cd ..
# Assert that the 'outputs' folder is empty
if [ "$(ls -A outputs)" ]; then
echo "outputs is not empty"
exit 1
else
echo "outputs is empty"
fi
# Assert that the 'build' folder is empty
# Assert that the 'build' folder is empty.
if [ "$(ls -A build)" ]; then
echo "build is not empty"
exit 1

4
.circleci/leo-new.sh
View File

@ -1,7 +1,7 @@
# Create a new foo project.
# Create a new Leo program named `foo`.
$LEO new foo
ls -la
cd foo && ls -la
# Try to compile and run the template project.
# Try to run `leo build`.
$LEO run

20
docs/grammar/abnf-grammar.txt
View File

@ -184,13 +184,18 @@ atomic-literal = numeric-literal
/ address-literal
/ string-literal
symbol = "!" / "&&" / "||"
symbol = "!"
/ "&&" / "||"
/ "==" / "!="
/ "<" / "<=" / ">" / ">="
/ "&" / "|" / "^"
/ "<<" / ">>"
/ "+" / "-" / "*" / "/" / "%" / "**"
/ "="
/ "+=" / "-=" / "*=" / "/=" / "%=" / "**="
/ "<<=" / ">>="
/ "&=" / "|=" / "^="
/ "&&=" / "||="
/ "(" / ")"
/ "[" / "]"
/ "{" / "}"
@ -375,6 +380,19 @@ loop-statement = %s"for" identifier ":" type
block
assignment-operator = "="
/ "+="
/ "-="
/ "*="
/ "/="
/ "%="
/ "**="
/ "<<="
/ ">>="
/ "&="
/ "|="
/ "^="
/ "&&="
/ "||="
assignment-statement = expression assignment-operator expression ";"

25
examples/README.md Normal file
View File

@ -0,0 +1,25 @@
# Leo Examples
This directory includes the following Leo code examples:
1. Hello World -> Basic Sum of two u32
2. Groups -> Basic operations over groups
3. Core -> Core circuits functions over a field type
4. Bubblesort -> Sorting algorithms over a tuple
5. Import point -> Import code from an other file
6. Message -> Initialization of a circuit type
7. Token -> Record example
## Build Guide
To compile each example, run:
```bash
leo build
```
When you run this command for the first time the snarkvm parameters (universal setup) will be downloaded, these are necessary to run the circuits.
To run each program, run:
```bash
leo run main
```
This command will look in the input file inputs/*.in where should find a section [main] and use the variables as inputs to the program.

8
examples/bubblesort/README.md
View File

@ -9,5 +9,11 @@ leo build
To run this program, run:
```bash
leo run
leo run main
```
## Overview
This example shows how to sort an array.
It takes the input data from inputs/bubblesort.in

24
examples/groups/README.md
View File

@ -9,5 +9,27 @@ leo build
To run this program, run:
```bash
leo run
leo run main
```
## Overview
This example shows how to do basic operations over groups.
It takes the input data from inputs/groups.in
## Documentation Group Element
The set of affine points on the elliptic curve passed into the Leo compiler forms a group. Leo supports this set as a primitive data type. Group elements are special since their values can be defined as coordinate pairs ```(x, y)group```. The group type keyword group must be used when specifying a pair of group coordinates since implicit syntax would collide with normal tuple (a, b) values.
```
let b = 0group; // the zero of the group
let a = 1group; // the group generator
let c = 2group; // 2 * the group generator
let d = (0, 1)group; // coordinate notation
```

7
examples/helloworld/README.md
View File

@ -9,5 +9,10 @@ leo build
To run this program, run:
```bash
leo run
leo run main
```
## Overview
This example shows how to sum two u32 numbers.
It takes the input data from inputs/helloworld.in