Yeah, I imagine they save the list of all the tickets they've sold, get a hash of the values, and then generate the winning number.