News for hackers. Stuff that matters.
Re:Brazil's Jair Bolsonaro is barred from office until 2030 by isitademocracy on Friday June 30, 2023 @06:35PM (#36543423)
Regardless of the punishment of Bolsonaro, I think there's something more important to be discussed here.

Brazil's Congress has passed laws determining that e-voting machines would have to print an anonymous proof of your vote, that is displayed to you behind a sealed acrylic viewport, so you can visually confirm it's casting your vote correctly, and then after you press CONFIRM one last time the paper is deposited in a sealead container attached to the voting machine for future inspection by all the political parties.

Like this, we would have the best of both worlds: fast vote counting on election day due to e-voting, but an anonymous paper record that could be audited in the following months by all political parties.

I used LAWS in plural for a reason; our CONGRESS has passed not one, but TWO laws imposing this measure:

1) Law 12034/2009

2) Law 13165/2015

If you don't believe me, just Google them.

What is amazing is that these two laws were deemed inconstitucional by our Supreme Court (?!). See [2].

So, in a democratic country with a functioning congress, the people's representatives have spoken at least twice that they wanted the paper trail attached to our e-voting machines, for auditing purposes.

Brazil's Congress is formed by 513 congressman + 81 senate members.

Regardless of that, our Supreme Court (11 seats) has deemed that these laws should not be put into place. Twice.

I find it also amazing that in 2009, the German Supreme Court decided the exact opposite of this: any e-voting system that doesn't have a non eletronic auditing system was deemed unconstitucional[1].

The rationale was simple: elections should be able to be audited by the "average joe", not only state employees or tech experts.

Bolsonaro was a fierce defender of the paper trail audit, which I also think we should have (we're all hackers here and I don't have to explain why I think that's a nice-to-have).

If you are still in doubt (you are not right? this is hackernews), just compare the sophistication of exploits you can find in https://googleprojectzero.blogspot.com/ with the amateur mistakes that were made in the development of these e-voting machines (for instance, https://www.youtube.com/watch?v=NGmHrxvefNo).

So I think there's something very broken with a democracy in which the defense of a paper trail in e-voting machines is now considered an 'attack against democracy'.

It's one thing to say elections were stolen or that fraud happened; I'm not claiming that and, as a matter of fact, neither was Bolsonaro. But you can't claim I'm attacking democracy just because I stand for a paper trail for auditing the e-voting system.

[1] https://www.ndi.org/e-voting-guide/examples/constitutionalit...

[2] https://www.conjur.com.br/2020-set-16/supremo-confirma-limin...

Re:Brazil's Jair Bolsonaro is barred from office until 2030 by slashdev on Friday June 30, 2023 @06:41PM (#36543494)
As a software engineer and a huge fan of technology in general, I think electronic voting machines are the devil. Digital information is too easy to alter. Good old-fashioned paper elections are a well vetted technology that we know how to use and can be implemented and audited well. Electronic voting, not so much. It's not just important to have a free election, it's important that everyone has faith that it was a free election. Because if people no longer believe in the process, democracy will die. So it has to be transparent, audited by neutral and external parties, and it has to be not just be impossible to tamper with, it has to make everyone believe that it is impossible.

I hope the will of the people prevails over the supreme court in Brazil eventually.

Re:Brazil's Jair Bolsonaro is barred from office until 2030 by leon_theremin on Saturday July 01, 2023 @02:35AM (#36547321)
All US CPUs are backdoored by Silicon Valley. Any data or computation can be changed, deleted or stolen. It uses radio, works even without Net access, including for BR voting machines.

There will be no computing freedom until the silicon trojans embedded in all US designed CPUs are removed.

If you want freedom, you will have to ensure that no unseen radiation is enabling remote control of your devices.

Ask me anything about BadBIOS and hardware trojans.

Re:Brazil's Jair Bolsonaro is barred from office until 2030 by slashdev on Saturday July 01, 2023 @08:32AM (#36549418)
Extraordinary claims require extraordinary evidence. Can you point me at it?
Re:Brazil's Jair Bolsonaro is barred from office until 2030 by Arnt on Saturday July 01, 2023 @03:43AM (#36547748)
You might be interested in this: https://rant.gulbrandsen.priv.no/indian-election-machines

One size does not fit all (threat models).

Re:Brazil's Jair Bolsonaro is barred from office until 2030 by pyuser583 on Friday June 30, 2023 @06:40PM (#36543476)
Why did the Supreme Court rules against it? And which Supreme Court (doesn’t Brazil have three)?
Re:Brazil's Jair Bolsonaro is barred from office until 2030 by isitademocracy on Friday June 30, 2023 @06:45PM (#36543541)
Brazil has one supreme court (STF).

The other two are superior courts, but they don't rule constitutional matters.

The reasons were (you can confirm by clicking on the link above):

Security and Secrecy of the Vote: The court argued that the printed vote would not maintain the current standard of security provided by exclusively electronic voting. The paper trail could potentially pose a risk to the secrecy of the vote, with the possibility of identifying which voter chose which candidate. This could threaten the free choice of the voters.

[I find this argument ridiculous to be honest. The paper trail is anonymous and there's no way it violates the secrecy of the vote]

Operational Difficulties and Costs: The court also noted the significant difficulties and high costs associated with implementing a paper trail. They argued that the potential benefits associated with the security of the electoral process were minuscule compared to the detriments stemming from the implementation of the measure.

Rapid Implementation: The court deemed that the law, which called for the immediate implementation of the paper trail in 2018, failed to consider the necessary time and resources for proper setup.

[For a country the size of Brazil, the 1 billion BRL (200 million USD) is actually cheap if it avoids the political distrust that the current e-voting system has - see what happened in January 8th with the invasion of Congress and the Supreme Court].

Re:Brazil's Jair Bolsonaro is barred from office until 2030 by rfonseca on Friday June 30, 2023 @07:02PM (#36543728)
Could not agree more. I think one big problem with Bolsonaro's discourse about the election system -- he was absolutely correct that the current system is not fully verifiable -- is that it became too politicized, and that he or his supporters took this to mean that the election should not be trusted. This automatically made anyone arguing to improve the system be lumped in with those sewing doubts about the result, which eventually led to the backlash from the TSE and the whole Jan 8th debacle.

One big problem with the electoral court in Brazil is that it is the only public branch that concentrates the three powers in one entity: they legislate about elections, they execute the rules, and they judge any matters related to the election. As a result, they have chosen these arguments to shoot down any criticism or improvement suggestions to the election system.

The country deserves a non-politicized discussion on the ground of true technical and security merits of what the election system should be. Paper records with Risk-limiting audits would solve most of the problems. I agree with your [comments] above. The costs of implementing this pale in comparison to the benefits of having a more reliable voting process which is the basis of a strong democracy.

Re:Brazil's Jair Bolsonaro is barred from office until 2030 by matheusmoreira on Saturday July 01, 2023 @07:26PM (#36556420)
> and that he or his supporters took this to mean that the election should not be trusted

That's exactly what they should think. This is the system by which the power of the people is delegated to representatives. Why should they relinquish any power at all if there's any possibility the results were tampered with? They most certainly should not.

That's the standard of perfection the judge-king himself set when he said the system was "unquestionable". TSE needs to prove beyond shadow of doubt that it cannot be compromised. Anything short of that means the system cannot be trusted. So far I've seen nothing but censorship and persecution from the judge-kings. What are they so afraid of?

Re:Brazil's Jair Bolsonaro is barred from office until 2030 by nunesvn on Friday June 30, 2023 @06:50PM (#36543596)
Brazil has 4 "Superior" Courts and 1 "Supreme" Court above them. Superior Courts are the issue-specific Superior Military Court, the Superior Labor Court, the Superior Electoral Court and the general Superior Justice Court. Above them the Supreme Federal Court.
Re:Brazil's Jair Bolsonaro is barred from office until 2030 by convalescindrey on Friday June 30, 2023 @06:38PM (#36543443)
What were the Supreme Courts reasons for deeming this unconstitutional?
Re:Brazil's Jair Bolsonaro is barred from office until 2030 by rodolphoarruda on Friday June 30, 2023 @06:53PM (#36543626)
The claim that the current system, including the current eVault, is good enough.
Re:Brazil's Jair Bolsonaro is barred from office until 2030 by convalescindrey on Saturday July 01, 2023 @07:12AM (#36548877)
That can hardly be an argument to rule something new as "unconstitutional".

I'm going to need to assume that this is an oversimplifying summary then?

Re:Brazil's Jair Bolsonaro is barred from office until 2030 by rodolphoarruda on Saturday July 01, 2023 @02:58PM (#36553754)
I agree with you, but the members of supreme court don't seem to care. They use even shallower arguments to justify a ~1996 eVault model as "reliable" and "safe", and the public opinion has to buy it.

Bolsonaro decided to step up against all that, and the rest is history now.

Re:Brazil's Jair Bolsonaro is barred from office until 2030 by convalescindrey on Saturday July 01, 2023 @05:31PM (#36555458)
Unfortunately he did a lot of BS along the way which made it easy to dismiss everything he said.
Re:Brazil's Jair Bolsonaro is barred from office until 2030 by refulgentis on Friday June 30, 2023 @06:41PM (#36543492)
I appreciate the verve and detailed view into something I'd recoil from just because of the polarization attached.

I mean this in the nicest, least combative, way possible: I don't understand at all how this would help with vote auditing. How does printing a piece of paper, which remains in the possession of the machine, ease any concerns about fraud generally, or enable an individual to audit?

Re:Brazil's Jair Bolsonaro is barred from office until 2030 by isitademocracy on Friday June 30, 2023 @06:49PM (#36543576)
Election day is open to oversight from all political parties. All parties send their people (identified with badges, previously registered with the voting authority) and they have free access to all voting locations.

At the end of the day, the bag of paper votes is transported with their oversight (multiple parties from opposing sides) to a public place where all of them will count the papers, together, in a public session, with cameras.

It's actually what already happens when the e-voting machines fail and your backup also fails. You cast votes with paper and the votes are counted with this exact same process, with oversight from all parties.

Re:Brazil's Jair Bolsonaro is barred from office until 2030 by rfonseca on Friday June 30, 2023 @06:52PM (#36543614)
The paper vote records (anomymous, of course) become the source of truth. There are very well established methods (Risk-limiting Audits - https://en.wikipedia.org/wiki/Risk-limiting_audit) that can randomly sample a small fraction of the ballots to guarantee with high probability that the electronic results are correct. Without paper records, the source of truth lies with the code that was run to receive and register the votes, and that is almost impossible to verify and fully trust.
Re:Brazil's Jair Bolsonaro is barred from office until 2030 by teruakohatu on Friday June 30, 2023 @06:42PM (#36543509)
In my country, New Zealand, we have fast reliable vote counting and it is all paper based and counted by hand. I don't understand how electronic systems make voting less complicated or cheaper.

We also have advanced (early) voting. You can vote one or two weeks early, election day is stress free.

Early votes counting starts at 9am in election day. So by the time that polls close most prelimary counting is already done.

The official count does take a couple of weeks, but around 10pm enough of the preliminary count is done that most electrotes have a winner.

Re:Brazil's Jair Bolsonaro is barred from office until 2030 by mzitelli on Friday June 30, 2023 @06:58PM (#36543690)
Brazil is area is 32x bigger than NZ, 42x bigger population. We have election results 5h after election ends and there is no evidence whatsoever of fraud.
Re:Brazil's Jair Bolsonaro is barred from office until 2030 by skissane on Friday June 30, 2023 @07:17PM (#36543910)
> Brazil is area is 32x bigger than NZ, 42x bigger population.

How is that relevant? Australia is 29x the area of New Zealand and 5x the population; and like New Zealand, it uses paper-based instead of electronic voting. I see no reason why a paper-based process can’t be scaled to work for a country of any size, even one bigger than Brazil.

> We have election results 5h after election ends

A slower but more trustworthy process is superior to a faster but less trustworthy one. Nobody needs results ASAP

> and there is no evidence whatsoever of fraud.

Elections should be held to a higher standard than merely “no positive evidence of fraud”. We should demand everything reasonable has been done to make fraud as hard as possible. I think elections in Australia meet that standard (and probably several other countries too, such as New Zealand and Germany). I think Brazil, and the US, among others, fail it. Their election systems fail to take every reasonable measure to prevent fraud, and hence fraud is inherently more likely - and the absence of any specific evidence does nothing to alter that conclusion. Even in the absence of any specific evidence, claims of fraud are more likely to be true in a system which makes fraud easier

Re:Brazil's Jair Bolsonaro is barred from office until 2030 by mzitelli on Saturday July 01, 2023 @09:14AM (#36549738)
> How is that relevant?

Due to its size and historical reasons, we have regional power that many times could try to benefit from physical voting receipts. It was common for local leadership to offer favors in exchange for votes.

> Nobody needs results ASAP

You don't know Brazil. The system's speed reduces the change of undemocratic action by those in power. Since 1889 Brazil has faced ten coup trials by the army (eleven if we consider what happened on 8th Jan of this year), and six were successful. Our current system's new republic is the most prolonged period of political stability (and the most successful from the socioeconomic perspective) in the country's history, largely due to our election system. Australia, New Zealand, and other countries have different histories and, therefore, different needs.

> Even in the absence of any specific evidence, claims of fraud are more likely to be true in a system which makes fraud easier

Everything is auditable. Both civil and state institutions audit the system. It could be better. Making all open-source would be a massive step in transparency. But there are multiple mechanisms:

- random sampling checking comparing digital and printed results (each machine prints a summary of the votes)

- voters receive a number to double-check if their vote was counted (however, they can't see who they voted for to guarantee vote secrecy).

- parallel voting: in randomly selected locations, the vote is cast to a shadow voting machine and computed in parallel to identify discrepancies.

- public software and hardware inspection: any institution, civil or not, can inspect the entire system. The army (yes, the one that is proud of the multiple coups) was acting to reduce the system's credibility and did an inspection and could not find anything substantial.

We can't compare different countries without a historical and social lens. NZ electoral system in Brazil would be a disaster.

Re:Brazil's Jair Bolsonaro is barred from office until 2030 by skissane on Saturday July 01, 2023 @10:19AM (#36550392)
> Due to its size and historical reasons, we have regional power that many times could try to benefit from physical voting receipts. It was common for local leadership to offer favors in exchange for vote

That’s not how paper voting works in Australia or New Zealand. The voter never gets a “receipt” to say which way they voted - that would be illegal.

In Australia, the voter’s name is marked in a roll book (to detect duplicate voting), and then they are given ballot papers. They mark them with pencils and put them in cardboard boxes. Everything that is done with those boxes, and the counting of the ballots in them, is physically observed by representatives of the candidates/parties (scrutineers).

Re:Brazil's Jair Bolsonaro is barred from office until 2030 by matheusmoreira on Friday June 30, 2023 @09:01PM (#36545028)
Yeah. I see these laymen on social media asking for source code without even understanding what source code even is. This is supposed to be a trustworthy, transparent system?

I agree with Germany's take on the matter: voting machines should be unconstitutional because citizens don't fully understand how it works. It's that simple. That's how a civilized country is supposed to work. Instead we have this circus where these judge-kings claim the machines are "unquestionable" and censor and fine and punish and ban from politics anyone who dares question anything.

Re:Brazil's Jair Bolsonaro is barred from office until 2030 by matheusmoreira on Saturday July 01, 2023 @07:17PM (#36556359)
Why are you downvoted? This is a great post that provides a lot of context and references. I wasn't aware of some of these facts. Thank you.

I'd like to make sure you know you aren't alone on this site. Even here on HN people will downvote to suppress views they disagree with instead of actually refuting any points raised. This can give posters the wrong impression.