I don't understand how counting verification is achieved. Let's say that election officials release a list of hashed votes, so that you can verify that your vote has been counted and included into results. But how can you check that all other votes in the list are the votes from real people and not arbitrarily added by sysadmin to get the expected result? Does anyone know how such things are implemented? I have read…
Who voted is public record (depending on your state [1]), so the numbers should add up. [1] https://www.nytimes.com/2018/11/04/us/politics/apps-public-v...
And one more scenario: before closing the elections, officials can make a list of people who didn't vote and vote for them. If they didn't vote they probably don't care about elections and won't find out that someone voted for them.