diff --git a/neps/nep-0488.md b/neps/nep-0488.md index 013f6c893..754179d3a 100644 --- a/neps/nep-0488.md +++ b/neps/nep-0488.md @@ -365,10 +365,6 @@ 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)$ @@ -376,11 +372,6 @@ 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.