>I doubt the layperson can understand how that technology works, and that is required for the voting to be democratic: Every voter has to be able to verify that there was no fraud. Not only mathematicians.
This is probably a good point, however this math is at most slightly more unusual than the math behind, e.g. https (which I guess 50 years ago public key cryptography wasn't even invented) and average people are starting to learn to trust that.