-snip-
There are about 2^256 points, then 2^255 different X-coordinates (k*G and -k*G have the same x-coordinate).
-snip-
Is this proved fact?
I mean why every private key leads to the unique X-coordinate? (except for symmetry point).
In other words, if
k and
(order-k) leads to x-coordinate Xk, how could we be sure that there are no other key
m leads to Xk as well? (m differs from k and (order-k) )