Parallelizing a mixnet prototype

Voting systems can be roughly divided into three (or more recently four [CLW08]) types according to their central cryptographic components. One of these components are mixnets [CHA81]. Until recently, mixnets have been too slow for use in elections in the hundreds of...

read more

Software version 3.3.0 released

Version 3.3.0 is our second release this year, just one month after 3.2.0. This incremental release includes a number of bugfixes and security improvements as you can see in the changelog 3.3.0 Changelog Add description to simultaneous questions layout Enhance the...

read more

A general ballot encoding method

In a previous post we described a method to encode votes for multiple choice using base-n encoding of digits. It turns out this method can be generalized to any kind of ballot, provided a small layer of interpretation is added on top for each particular case. Recall...

read more

3 crypto schemes for liquid democracy (II)

In part 1 we showed the first of three schemes supporting liquid democracy. Scheme Mixnet/Mixnet combined results from two tallies to obtain each election result. All three schemes follow the two tally pattern, and differ in how the combination is made, resulting in...

read more

Roadmap & Plans for distributed web voting

We have been busy thinking about what are we going to do in the future. As a result, we have published our Product Roadmap, which includes the releases that we plan (tentatively!) for this year. For each election administrator, there are hundred or thousands of voters...

read more

Software version 3.2.0 released

Version 3.2.0 is our first stable release this year, and the amount of effort put into it is staggering. It's a parallel release of all our repositories, and you can see all the changes here: https://github.com/agoravoting/agora-results/compare/3.1.0...3.2.0...

read more

A typed purely functional election

This post is a continuation of A mixnet-based secure voting protocol and A typed purely-functional state machine. We briefly describe a prototype implementation of the former which uses techniques from the latter. An election, like baking a cake, can be understood as...

read more

Machine executable legal code

  In the VOTEID conference held in Switzerland in 2015, some mathematicians presented a paper where they explained how the tally method used in the state of Tasmania (Australia) works with a Single Transferable Vote (STV) system as specified step by step in the...

read more