agora-verifier performs tally and cryptographic verification of the election process, including key generation, shuffling and joint-decryption, using the verificatum library by Douglas Wikström
You need
java (version 7)
sudo add-apt-repository ppa:webupd8team/java
sudo apt-get update
sudo apt-get install oracle-java7-installer
sudo apt-get install oracle-java7-set-default
if you need to revert to java 8 later
sudo apt-get install oracle-java8-set-default
sbt (version 0.13.7 used here)
wget https://dl.bintray.com/sbt/debian/sbt-0.13.7.deb
dpkg -i sbt-0.13.7.deb
the agora_tally directory of the agora-tally project
git clone https://github.com/agoravoting/agora-tally.git
mv agora-tally/agora_tally .
the openstv directory of the openstv project
git clone https://github.com/agoravoting/openstv.git
mv openstv/ openstv2
mv openstv2/openstv .
the agora-results directory of the agora-results directory and the executable python script
git clone https://github.com/agoravoting/agora-results.git
mv agora-results/ agora-results2
mv agora-results2/agora_results .
mv agora-results2/agora-results .
uuencode
apt-get install sharutils
Run
sbt clean proguard:proguard
./package.sh
this will generate an executable agora-verifier
./agora-verifier tally.tar.gz
Copyright (C) 2015 Agora Voting SL and/or its subsidiary(-ies). Contact: legal@agoravoting.com
This file is part of the agora-verifier module of the Agora Voting project.
This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details.
Commercial License Usage Licensees holding valid commercial Agora Voting project licenses may use this file in accordance with the commercial license agreement provided with the Software or, alternatively, in accordance with the terms contained in a written agreement between you and Agora Voting SL. For licensing terms and conditions and further information contact us at legal@agoravoting.com .
GNU Affero General Public License Usage Alternatively, this file may be used under the terms of the GNU Affero General Public License version 3 as published by the Free Software Foundation and appearing in the file LICENSE.AGPL3 included in the packaging of this file, or alternatively found in http://www.gnu.org/licenses/.
External libraries This program distributes libraries from external sources. If you follow the compilation process you'll download these libraries and their respective licenses, which are compatible with our licensing.