I'm not fit with elliptic curves from a mathematicians point of view, so I hope, that this beginners-question is not too silly:
I use a library which permits certain operations on elliptic curves over $GF(p)$. I recogniced, that all elementary operations (point doubling - $2P$, adding - $P_1+P_2$ , exponentiation with a scalar number - $kP$ are not using the parameter $"b"$ of the underlying equation
Only the check, whether a given Point is on the curve needs this parameter. This is understandable for me, because both sides of the equation above must be compared.
But why do the mentioned elementary operations NOT need b at all.
During writing this, I found from a white paper, that the mapping
$(x_1,y_1), (x_2, y_2) \rightarrow (x_3, y_3)$
indeed doesn't include $b$.
Is this just a mathematical coincidence or is there some deeper reason for this?
My personal explanation is, that, taken for granted that a given point (x,y) is part of a certain curve $(A, a, b, p)$, $b$ can (of course) be calculated from the defining equation and the knowledge of x,y,a, so additional specification of b would be redundant. Is this right? Then it would answer my question, and it was "silly" ;-)