Hääl

Anonymous Electronic Voting System on Public Blockchains

Hääl means voice in Estonian. Voice means power of people.

This code is a proof-of-concept of the protocol presented on the whitepaper located at the root folder. It describes a full process for an e-voting system, using public blockchains and without a mixnet or an oracle for tallying the votes.

The full protocol makes use of:

Zero-knowledge proofs (with zk-snarks verified on-chain)
Homomorphic encryption (Paillier protocol + zk)
Stealth addresses (as proposed by Peter Todd, but ported to ethereum)
Encrypted notes (e.g Zcash, AZTEC)
Cryptography challenges (based on Sigma protocol)
Digital signatures
Ethereum (or another blockchain capable of running dApps)
other technologies described on the whitepaper

Working in progress. All contributions are welcome.

Installation

Pre-requisites

ganache-cli ^6.3.0 or Ganache ^1.2.2
Node 8
Solidity ^0.4.5
Yarn ^1.13.0

Setup

# yarn install && yarn truffle build && yarn ganache-cli

Run

(on a new terminal)
# yarn truffle test

Manual installation (for debugging purposes)

Install and set the correct version of NodeJS.

$ apt-get install node npm
$ curl -o- https://raw.githubusercontent.com/creationix/nvm/v0.32.1/install.sh | bash 
$ nvm install 8
$ nvm use 8

Download third-party dependencies.

$ curl -o /usr/bin/solc -fL https://github.com/ethereum/solidity/releases/download/v0.4.25/solc-static-linux
$ chmod u+x /usr/bin/solc

Get https://github.com/trufflesuite/ganache/releases/download/v1.2.2/ganache-1.2.2-x86_64.AppImage
$ chmod +x ganache-1.2.2-x86_64.AppImage

Run

$ npm install -Wno-cast-function-type 2> debug.log
$ node ./node_modules/truffle/build/cli.bundled.js build
$ ./ganache-1.2.2-x86_64.AppImage (on a new terminal)
$ node ./node_modules/truffle/build/cli.bundled.js test

Compiler warnings

Is expected to receive the warning below during contracts compilation:

haal/contracts/HAAL/haal.sol:2:1: Warning: Experimental features are turned on. Do not use experimental features on live deployments.
pragma experimental ABIEncoderV2;
^-------------------------------^

That message appears because we're using an experimental method to fill arrays (bytes[]):

function addVote(
        bytes[] _president, 
        bytes[] _senator, 
        bytes[] _stateGovernor,
        ^-----^
[...]

function getVotes(uint _index) view public returns(bytes[], bytes[], bytes[])
                                                   ^-----------------------^

Apache License https://www.apache.org/licenses/LICENSE-2.0

brunoerg / haal