If we have to use machines why wouldn't we just source two machines from rival vendors. One machine takes the vote from the voter through whatever method, records the vote and prints a receipt that clearly states that voters choices. Machine two reads the receipt in front of the voter and keeps a second tally of votes. The two tallies are then compared at the end of the night.