Header

UZH-Logo

Maintenance Infos

Design and Implementation of Cast-as-Intended Verifiability for a Blockchain-Based Voting System


Killer, Christian; Rodrigues, Bruno; Matile, Raphael; Scheid, Eder; Stiller, Burkhard (2020). Design and Implementation of Cast-as-Intended Verifiability for a Blockchain-Based Voting System. In: Proceedings of the 35th Annual ACM Symposium on Applied Computing, Brno, Czech Republic, 31 March 2020 - 3 April 2020, 286-293.

Abstract

Digitization of electoral processes depends on confident systems that produce verifiable evidence. The design and implementation of voting systems has been widely studied in prior research, bringing together expertise in many fields. Switzerland is organized in a federal, decentralized structure of independent governmental entities. Thus, its decentralized structure is a real-world example for implementing an electronic voting system, where trust is distributed among multiple authorities.

This work outlines the design and implementation of a blockchain-based electronic voting system providing cast-as-intended verifiability. The generation of non-interactive zero-knowledge proofs of knowledge enables every voter to verify the encrypted vote, while maintaining the secrecy of the ballot. The Public Bulletin Board (PBB) is a crucial component of every electronic voting system, serving as a publicly verifiable log of communication and ballots - here a blockchain is used as the PBB. Also, the required cryptographic operations are in linear relation to the number of voters, making the outlined system fit for large-scale elections.

Abstract

Digitization of electoral processes depends on confident systems that produce verifiable evidence. The design and implementation of voting systems has been widely studied in prior research, bringing together expertise in many fields. Switzerland is organized in a federal, decentralized structure of independent governmental entities. Thus, its decentralized structure is a real-world example for implementing an electronic voting system, where trust is distributed among multiple authorities.

This work outlines the design and implementation of a blockchain-based electronic voting system providing cast-as-intended verifiability. The generation of non-interactive zero-knowledge proofs of knowledge enables every voter to verify the encrypted vote, while maintaining the secrecy of the ballot. The Public Bulletin Board (PBB) is a crucial component of every electronic voting system, serving as a publicly verifiable log of communication and ballots - here a blockchain is used as the PBB. Also, the required cryptographic operations are in linear relation to the number of voters, making the outlined system fit for large-scale elections.

Statistics

Citations

Dimensions.ai Metrics

Altmetrics

Downloads

240 downloads since deposited on 01 Apr 2020
240 downloads since 12 months
Detailed statistics

Additional indexing

Item Type:Conference or Workshop Item (Paper), refereed, original work
Communities & Collections:03 Faculty of Economics > Department of Informatics
Dewey Decimal Classification:000 Computer science, knowledge & systems
Scopus Subject Areas:Physical Sciences > Software
Language:English
Event End Date:3 April 2020
Deposited On:01 Apr 2020 06:07
Last Modified:24 Apr 2020 12:24
Publisher:Association for Computing Machinery
OA Status:Green
Free access at:Official URL. An embargo period may apply.
Publisher DOI:https://doi.org/10.1145/3341105.3373884
Official URL:https://www.csg.uzh.ch/csg/dam/jcr:c7caf2f6-6478-4f2b-b32c-8fa7c77d0884/SAC20-Killer-Rodrigues-Matile-Scheid-Stiller.pdf
Related URLs:https://dl.acm.org/doi/abs/10.1145/3341105.3373884
Other Identification Number:merlin-id:19314

Download

Green Open Access

Download PDF  'Design and Implementation of Cast-as-Intended Verifiability for a Blockchain-Based Voting System'.
Preview
Content: Published Version
Filetype: PDF
Size: 2MB
View at publisher