Skip to content

Commit 5df9df4

Browse files
committed
clarify example per @chris-wood's comment
1 parent be9b334 commit 5df9df4

File tree

1 file changed

+4
-4
lines changed

1 file changed

+4
-4
lines changed

draft-irtf-cfrg-hash-to-curve.md

+4-4
Original file line numberDiff line numberDiff line change
@@ -1299,10 +1299,10 @@ as vectors; this representation is used in both of the sgn0 variants below.
12991299
Note that any valid sgn0 function for field extensions must iterate over
13001300
the entire vector representation of the input element.
13011301
To see why, imagine a function sgn0\* that ignores the final entry in its
1302-
input vector, and consider a field element x = (0, 0, 0, 0, x\_5).
1303-
Since sgn0\* ignores x\_5, sgn0\*(x) == sgn0\*(-x) == 1, which is incorrect
1304-
when x\_5 != 0.
1305-
The same argument applies to all entries of x, establishing the claim.
1302+
input vector, and consider a field element x = (0, x\_2).
1303+
Since sgn0\* ignores x\_2, sgn0\*(x) == sgn0\*(-x), which is incorrect
1304+
when x\_2 != 0.
1305+
The same argument applies to all entries of any x, establishing the claim.
13061306

13071307
### Big endian variant {#sgn0-be}
13081308

0 commit comments

Comments
 (0)