Your examples are all less scalable and easier to detect that hacking.
> That is a great step forward, compared to the closed black boxes, e-voting systems I have heard of before.
It's still a black box. You have only their word to go that the published source is what is actually running on the machine in front of you in the voting booth. And they have only the word of their computers.
So yes, it's a great step forward, in the same way that going up a flight of stairs is a great step towards reaching orbit.
> That is a great step forward, compared to the closed black boxes, e-voting systems I have heard of before.
It's still a black box. You have only their word to go that the published source is what is actually running on the machine in front of you in the voting booth. And they have only the word of their computers.
So yes, it's a great step forward, in the same way that going up a flight of stairs is a great step towards reaching orbit.