Hacker News Reader

But even then (again unlikely) they did not mine $100k worth of crypto currency, but instead bought a winning lottery ticket/speculated/etc.

Cryptocurrency "mining" is a lottery. The "miner" that guesses the correct number is paid a reward. There isn't much more to it.