mirror of
https://github.com/bitcoin/bips.git
synced 2025-02-24 15:36:53 +01:00
Return a point from lift_x()
This commit is contained in:
parent
bba0bad5e8
commit
680af7db4c
1 changed files with 1 additions and 1 deletions
|
@ -107,7 +107,7 @@ The following convention is used, with constants as defined for secp256k1:
|
|||
*** Let ''c = x<sup>3</sup> + 7 mod p''.
|
||||
*** Let ''y = c<sup>(p+1)/4</sup> mod p''.
|
||||
*** Fail if ''c ≠ y<sup>2</sup> mod p''.
|
||||
*** Return ''(r, y)''.
|
||||
*** Return the unique point ''P'' such that ''x(P) = x'' and ''y(P) = y''.
|
||||
** The function ''point(x)'', where ''x'' is a 32-byte array, returns the point ''P = lift_x(int(x))''.
|
||||
** The function ''hash(x)'', where ''x'' is a byte array, returns the 32-byte SHA256 hash of ''x''.
|
||||
** The function ''jacobi(x)'', where ''x'' is an integer, returns the [https://en.wikipedia.org/wiki/Jacobi_symbol Jacobi symbol] of ''x / p''. It is equal to ''x<sup>(p-1)/2</sup> mod p'' ([https://en.wikipedia.org/wiki/Euler%27s_criterion Euler's criterion])<ref>For points ''P'' on the secp256k1 curve it holds that ''jacobi(y(P)) ≠ 0''.</ref>.
|
||||
|
|
Loading…
Add table
Reference in a new issue