The "What is the “nothing at stake” problem and how can it be fixed?" proposes 2 solutions. Which one does ethereum use? The page itself is pretty long, and I can't find an answer with a quick skim.