Leo also supports recovery of group values from a single field value coordinate
(x, +)group for given x and recovery with sign_high.(x, -)group for given x and recovery with sign_low.(x, _)group for given x and recovery with inferred y.(+, y)group for given y and recovery with sign_high.(-, y)group for given y and recovery with sign_low.(_, y)group for given y and recovery with inferred x.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.
2022-03-17T23:00:00Z
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
