The nothing-at-stake problem was solved many years ago by introducing slashing. The earliest proof of stake systems did not have slashing (they did not actually put validators' funds "at stake"; the use of the word "stake" wasn't so literal yet) and were vulnerable to the nothing-at-stake problem because of that. A decent write-up: https://medium.com/coinmonks/understanding-proof-of-stake-th...