Skip to content

Commit

Permalink
fix formula
Browse files Browse the repository at this point in the history
  • Loading branch information
olga24912 committed Nov 20, 2023
1 parent 8609d5b commit 7bcb52f
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion neps/nep-0488.md
Original file line number Diff line number Diff line change
Expand Up @@ -668,7 +668,7 @@ The rule of encoding is consistent with zkcrypto[^53] and with implementation in

#### Compressed points on twisted curve E'(Fp2)

The points on the curve represent by affine coordinates: `(x: Fp2, y: Fp2)`. The elements from $E'(F_{p^2})$ in compressed form are encoded in `[u8; 96]` as *big-endian* encoded $x \in F_{p^2}$. The $y$ coordinate can be detected by the formula: $y = \pm \sqrt{x^3 + 4}$.
The points on the curve represent by affine coordinates: `(x: Fp2, y: Fp2)`. The elements from $E'(F_{p^2})$ in compressed form are encoded in `[u8; 96]` as *big-endian* encoded $x \in F_{p^2}$. The $y$ coordinate can be detected by the formula: $y = \pm \sqrt{x^3 + 4(u + 1)}$.

*The highest bit* should be set as 1. This bit indicates that point is encoded in compressed form.

Expand Down

0 comments on commit 7bcb52f

Please sign in to comment.