But it is a solved problem. You can use machines to mark paper ballots, and to quickly tabulate them. This is the best of all worlds: the results are auditable, the user can confirm their ballot was recorded properly, and the election officials can quickly count the ballots.