Having the source code wouldn't be much of an assurance. How do you know that this code is really the code that is deployed on the machine during the elections? How do you know that the memory cards that store the votes are not tampered with? How do you know that the machine's hardware works "as advertized"?
Without a paper trail, we should assume every voting mechanism is rigged. The stakes are just too high to do otherwise.
My understanding was that what has been tested (and ruled on) in court is whether the code comprises a trade secret, and whether as a trade secret the code should be disclosed.
I still don't get what's wrong with the mkI pencil and ballot paper!
Without a paper trail, we should assume every voting mechanism is rigged. The stakes are just too high to do otherwise.