Sounds like externally verifiable logic systems is an upcoming need.
E.g. You as a Citizen walk around with your own System Verification toolkit and can at any time Verify that the voting system tabulates your vote. Something fantastical like that.
Trust is hard to maintain with human. Digital trust is not a human concept, the way I think at least. So this area is tricky.
Sounds like externally verifiable logic systems is an upcoming need.
E.g. You as a Citizen walk around with your own System Verification toolkit and can at any time Verify that the voting system tabulates your vote. Something fantastical like that.
Trust is hard to maintain with human. Digital trust is not a human concept, the way I think at least. So this area is tricky.