> Even if you manage to get it secure, how do you transparently proof this to everyone, including those who can't grok cryptography. Even those who can grok cr

> Even if you manage to get it secure, how do you transparently proof this to everyone, including those who can't grok cryptography. Even those who can grok cryptography can't check that the implementation matches the specification. No human being can review the complete software running on a computer. Even less a distributed system. But most human beings can understand the paper ballot system.