Skip to content

Commit 34a3723

Browse files
authored
Merge pull request bitcoin#149 from OrfeasLitos/add-missing-quote
Add missing quote
2 parents 6b90625 + 314e9fd commit 34a3723

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

bip-schnorr.mediawiki

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -107,7 +107,7 @@ The following conventions are used, with constants as defined for [https://www.s
107107
** ''||'' refers to byte array concatenation.
108108
** The function ''x[i:j]'', where ''x'' is a byte array, returns a ''(j - i)''-byte array with a copy of the ''i''-th byte (inclusive) to the ''j''-th byte (exclusive) of ''x''.
109109
** The function ''bytes(x)'', where ''x'' is an integer, returns the 32-byte encoding of ''x'', most significant byte first.
110-
** The function ''bytes(P)'', where ''P'' is a point, returns ''bytes(x(P))'.
110+
** The function ''bytes(P)'', where ''P'' is a point, returns ''bytes(x(P))''.
111111
** The function ''int(x)'', where ''x'' is a 32-byte array, returns the 256-bit unsigned integer whose most significant byte first encoding is ''x''.
112112
** The function ''is_square(x)'', where ''x'' is an integer, returns whether or not ''x'' is a quadratic residue modulo ''p''. Since ''p'' is prime, it is equivalent to the Legendre symbol ''(x / p) = x<sup>(p-1)/2</sup> mod p'' being equal to ''1'' (see [https://en.wikipedia.org/wiki/Euler%27s_criterion Euler's criterion])<ref>For points ''P'' on the secp256k1 curve it holds that ''x<sup>(p-1)/2</sup> &ne; 0 mod p''.</ref>.
113113
** The function ''has_square_y(P)'', where ''P'' is a point, is defined as ''not is_infinite(P) and is_square(y(P))''<ref>For points ''P'' on the secp256k1 curve it holds that ''has_square_y(P) = not has_square_y(-P)''.</ref>.

0 commit comments

Comments
 (0)