You should note one important thing: for puzzle 120 and puzzle 125, you have private keys with many zeroes. But nobody revealed the private key anyway, even though there are two or more transactions for each of them. Which means, you need a nonce, that has many zeroes, not the key itself! And that difference is quite important. Surprisingly, you can swap a key with a nonce, or even do a bitwise-swap, but it does not help in this specific case.
@garlonicon this is far away one of the best and simply answer in this topic that i've seen, I reach more or less to the same conclution some two months ago. I try to reorder/combine/add/subtract and other weird operations with the Signature proofs that we have on puzzle 120 and 125 without any success. I did all this thing trying to construct manually the LLL matrix but i see that is not possible interchange the privatekey and the nonce in this way.
Another important thing to note, is that lattice is far from perfect, and can give you no results, even if your keys are quite small. I had some cases, where 8-bit keys were not broken, because some numbers were not aligned well. So, this is not the attack, that always works, even if someone will give you the proper algorithm, it can still fail for some specific keys.
This is last part is some new for me now that you mention it it make a lot of sense, i am not a LLL expert, but I can explain a little bit this part and why it is not perfect.
In the video that i mention before :
Biased Nonce Sense Lattice attacks against weak ECDSA signatures in the wildWe have some values in the Series of linear equations like:
K1 -t1d - a1 = 0 mod N
K2 -t2d - a2 = 0 mod N
K3 -t3d - a3 = 0 mod N
...
Kn -tnd - an = 0 mod N
And we need to write a matrix like in the image:
If you see carefuly we are omitting those constans a1, a2, ... an
Those values aren't necesary to construct the matrix becuase the lattice nature can more or less handle some of those "errors" but as you mention it is not always the case.
In the video Nadia said that more or less like:
Kind of high level version of this attacks is the if ummh, the secret nonce is kind or is small then the system of equations likely has only one solution and lattice can magically find it
Video at time: 5:53