While open-source would be great, in reality who is going to be verifying the binaries on every machine? Human readable paper ballots backed by audits are the g

While open-source would be great, in reality who is going to be verifying the binaries on every machine? Human readable paper ballots backed by audits are the gold standard.