Having thought about this a bit, I don't see how you do electronic voting without giving the voter a receipt that contains a sequence number, timestamp, and current status of the machine. All encrypted, of course. That way the paper trail can be reassembled if necessary to see if it matches the end state. Hope that was explanatory enough. It also partially distributes oversight authority to all the voters instead of having it all at the poll.