Borvo

Multi OS tool to verify a Belenios election (homomorphic mode only)

With (maybe easy) readable source code following Belenios specifications

Usage

Verify single online ballot

$ ./borvo -url https://some-vote.server/elections/XXXYYYZZZ -b A25hWwkMU5oE7qfUgywaH0mKZO0TfmE4Q8zZCX8xK0I

Verify all results for a closed election

# create a diretory to store json files
$ mkdir tmp

# download and verify

$ ./borvo -dir tmp -url https://some-vote.server/elections/XXXYYYZZZ


# or verify stored files

$ ./borvo -dir tmp

Build

$ git clone https://github.com/yvesago/borvo.git
$ cd borvo
$ go test

$ make

make all for cross compiling

Changelog

v0.2.2:

• fix bug in Partial Decryptions with many trustees

v0.2.1:

• fix bug in P init

v0.2:

• Verify single online balot
• Add election fingerprint verification

TODO

• Add verification with proof of decryption
• Add test for partial decryption with many trustees
• Add partial decryption with threshold support

Licence

MIT License

Copyright (c) 2021 Yves Agostini

[email protected]