leo/examples/groups/README.md

36 lines
874 B
Markdown
Raw Normal View History

# Leo group operations.
## Build Guide
To compile this program, run:
```bash
leo build
```
To run this program, run:
```bash
2022-08-04 05:44:46 +03:00
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
```