Hacker News new | ask | show | jobs
by quilombodigital 155 days ago
It is false your affirmation that they are not audited by public organizations.

Entities can register to see the source code in a controlled room. In 2024 for example the party União Brasil checked the code.

In 2025 during the official audit 149 entities registered to check the code and attack the machine. Universities, ONGs, political parties, etc.

Please check you facts before posting what you think

Reference: https://www.tse.jus.br/comunicacao/noticias/2025/Dezembro/te...

Some of the attacks performed: https://www.tse.jus.br/eleicoes/arquivos/relatorio-parcial-d...

One thing I agree with you. It would require another big country effort to break it.

2 comments

Letting "entities" audit the code in a closed room is not enough for me. The entire codebase should be open sourced publicly.
yes, I dont see why it should not be open sourced publicly. maybe send someone with an eidetic memory to audit it. :)
... and how do you, the voter, prove that the machine you are using to vote is indeed running the audited source code?
thats why I said I only miss the option to verify my vote history. I dont need to know how my vote got there, I just need to verify it at the place that sums all votes.