Re:DARPA Is Building a $10M, Open-Source, Secure Voting System
by hyperion2010 on Thursday March 14, 2019 @06:04PM
(#19394290)
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 managed one for person one vote ....
[ Parent
| on HN ]
Re:DARPA Is Building a $10M, Open-Source, Secure Voting System
by skybrian on Thursday March 14, 2019 @09:17PM
(#19395592)
The problem is not very similar. Scientists don't work anonymously, and we aren't trying to prevent scientists from selling their vote.
Re:DARPA Is Building a $10M, Open-Source, Secure Voting System
by lifeisstillgood on Thursday March 14, 2019 @07:42PM
(#19395050)
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)
Re:DARPA Is Building a $10M, Open-Source, Secure Voting System
by 420basteit on Friday March 22, 2019 @03:14PM
(#19465904)
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.