-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) )
Because it is proved that:
1) for each private key there is only 1 point (n private keys, n points, n is the order of the curve)
2) for each x-coordinate, the y-coordinate must fulfil this relation: y^2 = x^3 mod n;
each equation of the form y^2 = k has or 2 opposite solution, or has no solution. There can't be 3 different points with the same x-coordinate