Sure, maybe you can design a provably correct e-voting system, but 99% of the people will just have to blindly trust the system. Then one day a politician will point out that his new election system is better, because it has nicer colors and some stuff, and maybe a lot of people will agree with him. A lot of people will be willing to move from from the provably correct system, which they blindly trust, to another system which they blindly trust. Except maybe the new system did away with all that blockchain mambo-jumbo and a few people on weird internet sites are complaining about it and saying that this isn't what we signed up originally with e-voting, but who listens to them?
