Skip to content

Commit

Permalink
remove redundant description
Browse files Browse the repository at this point in the history
  • Loading branch information
olga24912 committed Dec 21, 2023
1 parent ebbf768 commit 83a17d8
Showing 1 changed file with 0 additions and 9 deletions.
9 changes: 0 additions & 9 deletions neps/nep-0488.md
Original file line number Diff line number Diff line change
Expand Up @@ -365,22 +365,13 @@ Values from $F_p$ are encoded as big-endian [u8; 48]. Only values less than p ar
An element $q \in F_{p^{2}}$ can be expressed as $q = c_0 + c_1 v$, where $c_0, c_1 \in F_p$.
An element from $F_{p^2}$ is encoded in [u8; 96] as the byte concatenation of $c_1$ and $c_0$. The encoding for $c_1$ and $c_0$ follows the rule described in the previous section.

The representation of $q \in F_{p^2}$, with $q = c_0 + c_1 v$, is encoded as [u8; 96]:

- $c_1 \in F_p$ is represented as `[u8; 48]`
- $c_0 \in F_p$ is represented as `[u8; 48]`

#### Uncompressed points on curve $E(F_p)$

Points on the curve are represented by affine coordinates: $(x: F_p, y: F_p)$.
Elements from $E(F_p)$ are encoded in `[u8; 96]` as the byte concatenation of the x and y point coordinates, where $x, y \in F_p$.
The encoding follows the rules outlined in the section “Fields elements $F_p$”.

$E(F_p)$ is encoded as [u8; 96]:

- $x \in F_p$ is represented as [u8; 48]
- $y \in F_p$ is represented as [u8; 48]

*The second-highest bit* within the encoding serves to signify a point at infinity.
When this bit is set to 1, it designates an infinity point.
In this case, all other bits should be set to 0.
Expand Down

0 comments on commit 83a17d8

Please sign in to comment.