Editing 2030: Voting Software

{{comic
| number    = 2030
| date      = August 8, 2018
| title     = Voting Software
| image     = voting_software.png
| titletext = There are lots of very smart people doing fascinating work on cryptographic voting protocols. We should be funding and encouraging them, and doing all our elections with paper ballots until everyone currently working in that field has retired.
}}

==Explanation==
The first two panels of this comic involve a reporter talking to professionals of a given field regarding the given safety of the products/solutions that each of their fields help to produce, or are at least involved in the installation of the products/solutions within another product (Airplanes from aircraft designers in Panel 1, Elevators from building engineers in Panel 2). While the two inventions selected are relatively new when compared to how long humans have existed, the two fields mentioned have existed for multiple human generations, giving enough time to find flaws in their products/solutions and solve said flaws to the point that they can be considered safe for the general public to use.

The comic from Panel 3 onwards contrasts this with [[Megan]] and [[Cueball]] both agreeing that their given field (computer science / software development / software engineering) does not have the overall consistent competency that other fields have or, at the very least, appear to have. This is true (at least anecdotally) since there are very few ethical and security restrictions for what developers can/cannot do, and relatively minor consequences when catastrophes arise from poor decisions. 

When the reporter follows the interview up with a mention of {{w|blockchain}} technology, Megan and Cueball reflexively tell the reporter to avoid any voting system using the technology at all costs. {{w|Blockchain}} is a relatively new technology that is intended to solve some computer security issues by making it difficult to doctor old data. However, in the process of solving the old computer security issues, it has introduced new computer security issues that have not yet been ironed out. It also doesn't solve input fraud issues, only data-doctoring fraud, so if a program caused the voting machine to record a vote for candidate B whenever a vote for candidate A was cast (such a program could be uploaded to the voting machines through USB, or through the internet which the voting machine must be connected to for blockchain), blockchain would not prevent it. Blockchain has also had a large number of high-profile scams, thefts, and implementations with critical security holes. Thus, [[Megan]] and [[Cueball]] may not trust this blockchain solution because of this history.

The title text confirms the comic's stance by implicitly saying that any digital voting systems that are produced are to not be used under any circumstances. It may also highlight that anyone working in the field is vulnerable to corruption, or at least that the field is far from maturity.

Computer systems, operating primarily in a digital domain, fail differently from most traditional areas of engineering, which operate in analog (or continuous) domains.  A small error in an analog part often gives a result which is close to the desired properties (it almost fits, it works most of the time).  By contrast, a small error in a digital system (just one bit being changed) can easily make the system function in radically different ways.  So not only is software engineering younger than other areas of engineering, but the domain is much less forgiving.  Even small errors/variations are likely to produce radically different behavior.

This fear of computerized voting is a result of a fundamental difference between computer security and other types of safety measures -- in cryptography, there is ''always'' somebody trying to undo what you've built. Not only that, but new advances in cryptography tend to point out vulnerabilities with previous versions, making them not only obsolete, but dangerously so. For these reasons, it is especially important to make sure that whoever is selling you the security method is both competent and non-malicious, but because crypto software is highly technical and often confidential/proprietary, it can be hard to verify this if you're not an expert in the field (which you won't be, if you're buying it).

These issues are especially pertinent to {{w|voting machine}}s, which store incredibly sensitive information but are often catastrophically outdated due to lack of funding. There are also major issues with electronic voting in general; for example, [https://www.youtube.com/watch?v=w3_0x6oaDmI this video from Computerphile] raises issues of malware infections, transferring the votes to the election authorities without having them intercepted, and needing to trust both the machine's software and central counting system to present an accurate account of the votes. Furthermore, the people purchasing them, the politicians, are generally not known for their technical understanding -- or their impartiality.

Most computer security specialists are more worried about programs that randomly deliberately misreport a vote, than people changing the votes after they're already recorded, so blockchain would solve an issue that most computer security specialists are less worried about, while causing new issues (the perpetual internet connection among them).

Also, the security issues that Blockchain solves could also be solved via write-once memory, which would be more secure and more difficult to doctor.

The topic of voting machines has been covered before in [[463: Voting Machines]], where the use of anti-virus software on the machines has been discussed.

Interestingly, this comic was posted a day before DEF CON 2018, and it was shown there that the voting systems that will be used across America for the mid-term vote in November are, in many cases, extremely insecure.

The way Blockchain works is that several computers have data being inputted into them. With each tick, they all share their current states with each other, and encrypt and hash it. That state then becomes a 'block' in the chain. They then share states, including that block as part of the state, then hash and encrypt it, and then it becomes a 'block' in the chain. Each 'block' is included in the cryptographic hash of all following blocks, so if a change is made to any given block, all blocks after that block must be changed.

Due to the distributed nature, if changes are made to any chain, it can be compared against the other chains, and so long as the majority say that the changes didn't happen, it's reverted and removed.

This is really great at preventing post-facto data changes. With blockchain you can somewhat guarantee that no one comes in after the election and changes the votes on the machines. (Unless they're handling the blockchain in a stupid fashion, for example without the distribution) What you cannot do is prevent someone from installing a program on the machine that makes it think that there's a voter when it's idle, and makes it start registering the correct sequence of actions to signify a vote while idle.

==Transcript==

:Asking aircraft designers about airplane safety:
:Hairbun: Nothing is ever foolproof, but modern airliners are incredibly resilient. Flying is the safest way to travel.

:Asking building engineers about elevator safety:
:Cueball: Elevators are protected by multiple tried-and-tested failsafe mechanisms. They're nearly incapable of falling.

:Asking software engineers about computerized voting:
:Megan: That's ''terrifying''.

:Ponytail: Wait, really?
:Megan: Don't trust voting software and don't listen to anyone who tells you it's safe.
:Ponytail: Why?
:Megan: I don't quite know how to put this, but our entire field is bad at what we do, and if you rely on us, everyone will die.

:Ponytail: They say they've fixed it with something called "blockchain."
:Megan: AAAAA!!!
:Cueball: Whatever they sold you, don't touch it.
:Megan: Bury it in the desert.
:Cueball: Wear gloves.

{{comic discussion}}

[[Category:Comics featuring Megan]]
[[Category:Comics featuring Hairbun]]
[[Category:Comics featuring Cueball]]
[[Category:Comics featuring Hairy]]
[[Category:Comics featuring Ponytail]]
[[Category:Elections]]
[[Category:Programming]]