Live data from Hacker News

DARPA Is Building a $10M, Open-Source, Secure Voting System

motherboard.vice.com

301–303 of 303 posts

Re: DARPA Is Building a $10M, Open-Source, Secure Voting System

#301

Earlier quoted context omitted.

This is absolute hogwash, there are other methods than a full hand recount if you have a paper trail, some of which only require counting a small number of the ballots by hand. The best example of this is a Risk Limiting Audit (RLA). You only have to re-count a smaller number of ballots until the overwhelming probability is that the vote is confirmed, or that the vote is rejected. Depending on the disparity between t…

During the mid aughts, the consensus of the Election Verification Network (EVN) crowd (academics, election administrators, feds) was that audits were no better than manual recounts and just as expensive. I'll read the paper you linked, but know that it's contrary to the received wisdom, and I'm very skeptical of any claims that auditing elections are feasible or worthwhile. By audit, I mean anything short of a full m…

More reading: https://www.npr.org/2017/11/22/566039611/colorado-launches-f...

Colorado successfully performed an RLA, and didn't have to recount every ballot. If you really want to read more, Free and Fair (IIRC, the same group bidding on the DARPA grant) has open source software and instructions on how to perform RLAs: https://github.com/FreeAndFair/ColoradoRLA

Re: DARPA Is Building a $10M, Open-Source, Secure Voting System

#302
post #207

Earlier quoted context omitted.

There have been lots of reports of non-citizens being registered to vote in the US. It is very rare, but elections are also generally very close races. I dont get how people can just shrug off reports of dead people and non-citizens being registered to vote as a non-issue.

Perhaps the reports are false?

Yeah I'm sure all of them are false, and our voter registration systems with practically zero layers of authentication have proven to be infallible over the years.

Re: DARPA Is Building a $10M, Open-Source, Secure Voting System

#303

Earlier quoted context omitted.

And suddenly I have another use case for my language for specifying scientific protocols. Counting votes in a way that is scientifically verifiable. Turns out keeping verifiable lab notebooks for legal reasons is a really similar problem to keeping verifiable vote tallies, also for legal reasons (hopefully). It is telling that we have better provenance systems for far more complex processes but we still haven't manag…

I may be misunderstanding but what language "specifying scientific protocols" do you mean ? Is this published? How does it work (a generic workflow language? The t sounds interesting whatever it is)

Probably not the same thing that guy was walking about, but this is a cool project going on at University of Washington - it's made for biological science workflows but it's really quite flexible.

https://www.aquarium.bio

Post reply on HN