we need a system that's based on paper. the machine can be digital, but, for instance, the vote needs to be written on a "roll of cash register paper".

The voter needs to be able to see their vote on the paper.

Reading the rolls needs to be done by machines, but by several different machines reading the same rolls. So we can verify.

Software is not the problem. The medium of persistence is.