"How does a voter or independent voter know that the code that has been verified is actually running on the machine that they connect to?" You know, there is a

"How does a voter or independent voter know that the code that has been verified is actually running on the machine that they connect to?" You know, there is a technical solution to that problem: https://en.wikipedia.org/wiki/Verifiable_computing https://en.wikipedia.org/wiki/Verifiable_computing