Does the Lorentz transformation necessary follow from the two postulates of relativity? The two postulates of special relativity are:

The choice of what inertial frame to use is arbitrary: all laws of physics are invariant. (the principle of relativity)
The metric $$(\Delta s)^2 = (\displaystyle\sum_{\mu=1}^3 \Delta x^\mu)^2 - c^2 (\Delta x^0)^2 = 0$$ for any light-like geodesic. (the invariance of the speed  of light)

Now, my question is whether the Lorentz transformation necessary follow from these two postulates, or if the Lorentz transformation is just one possible solution that satisfies the postulates. Why does it has to be of the form $\gamma(x^1-v x^0)$?
You could, of course, have an empirical argument that the Lorentz group is preserved in experiments but that's not really what I'm searching for .
 A: In some sense it is not the only possibility. And that's ignoring the obvious typos like missing signs or inconsistent use of superscripts and subscripts, and the fact that your equations require velocities to be dimensionless to even be dimensionally correct.
In particular the first principle tells you next to nothing if you haven't specified which particular statements you label as laws of physics. 
And the second one all by itself is pretty weak as well. Basically you want to say that if two events can be traversed by an object going at speed $c$ then $(\Delta (ct))^2-(\Delta x^1)^2=0$ but that's pretty much a tautology all by itself. The real content should be that different frames agree on whether the object is going at $c$ but you haven't actually stated that $x^0=ct$ or that $c$ is actually a constant that doesn't depend on frame. So even if you find that $ct$ transforms a certain way, this might not give us Lorentz transformations. If $c$ can depend on frame then $t$ can change differently so long as $ct$ transforms correctly.
And your laws of physics might be the same, for instance Maxwell in Gaussian units really only has $ct$ appear.
As you can tell, a lot of this boils down to your statements being vague about what $c$ is. And there are ways to derive the Lorentz transformations by assuming a linear transformation, a group structure, an isotropy, a homogeneity, and then getting a frame invariant speed that is determined empirically (an infinite invariant speed giving Galilean Relativity and an invariant speed equal to $c$ giving Einsteinian Relativity). When you just set it equal to one, you exclude Galilean Relativity, and you make it hard to distinguish all the other Relativities that were possible.
