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

[examples] Some doc fixes.

Browse Source
This commit is contained in:
Alessandro Coglio 2022-09-21 00:07:10 -07:00
parent 47c00c30c6
commit 2419408444
4 changed files with 12 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
examples/broken_bank/run.sh
View File

@ -7,12 +7,12 @@ then
fi
# The private key and address of the bank.
# Swap these into program.json, when running transactions as the first bidder.
# Swap these into program.json, when running transactions as the bank.
# "private_key": "APrivateKey1zkpHtqVWT6fSHgUMNxsuVf7eaR6id2cj7TieKY1Z8CP5rCD",
# "address": "aleo1t0uer3jgtsgmx5tq6x6f9ecu8tr57rzzfnc2dgmcqldceal0ls9qf6st7a"
# The private key and address of the user.
# Swap these into program.json, when running transactions as the second bidder.
# Swap these into program.json, when running transactions as the user.
# "private_key": "APrivateKey1zkp75cpr5NNQpVWc5mfsD9Uf2wg6XvHknf82iwB636q3rtc"
# "address": "aleo1zeklp6dd8e764spe74xez6f8w27dlua3w7hl4z2uln03re52egpsv46ngg"

2
examples/bubblesort/README.md
View File

@ -9,7 +9,7 @@ leo build
To run this program, run:
```bash
leo run main
leo run bubble_sort
```
## Overview

7
examples/groups/README.md
View File

@ -21,7 +21,11 @@ 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.
The set of affine points on the elliptic curve passed into the Leo compiler forms a group.
A subset of those points, defined by a chosen generator point, forms a subgroup of the group.
Leo supports the set of points in this subgroup 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
@ -32,4 +36,3 @@ let c = 2group; // 2 * the group generator
let d = (0, 1)group; // coordinate notation
```

2
examples/simple_token/src/main.leo
View File

@ -11,7 +11,7 @@ record Token {
}
// The `mint` function initializes a new record with the
// to the receiver of tokens in `r1` for the receiver in `r0`.
// specified number of tokens assigned to the specified receiver.
@program
function mint(owner: address, amount: u64) -> Token {
return Token {