An implementation of a universally verifiable electronic voting scheme based on shuffling

Jun Furukawa, Hiroshi Miyauchi, Kengo Mori, Satoshi Obana, Kazue Sako

Research output: Chapter in Book/Report/Conference proceedingConference contribution

20 Citations (Scopus)


This paper discusses the implementation of the voting scheme based on mix-net technology. The advantages of employing this technology cire that voters can vote-and-go, and that it is flexible enough to be used for variety of vote-expression methods, while ensuring the privacy of votes and the elimination of faulty players. The most attractive security feature of this scheme is its universal verifiability; anyone can confirm the correctness of the result. Such verifiability is achieved by providing proofs on correct shufliling and decryption. The paper presents a new scheme for generating a single proof for shuffle-and-decrypt process. Compsu'ed to the combination of two separate proofe on shuffle and decryption, the new scheme is 150% faster with only 80% of the length. As a result, the system was able to produce results that were verified correct within twenty minutes following a vote participated in by ten thousand voters, with three shuffling centers being used. We beheve this is the first implementation report of a voting scheme with universal verifiability.

Original languageEnglish
Title of host publicationFinancial Cryptography - 6th International Conference, FC 2002, Revised Papers
EditorsMatt Blaze
PublisherSpringer Verlag
Number of pages15
ISBN (Print)354000646X, 9783540006466
Publication statusPublished - 2003
Externally publishedYes
Event6th International Financial Cryptography Conference, FC 2002 - Southampton, Bermuda
Duration: 2002 Mar 112002 Mar 14

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference6th International Financial Cryptography Conference, FC 2002


  • Election
  • Mixnet
  • Privacy
  • Shuffle
  • Voting
  • Zero-knowledge proof

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)


Dive into the research topics of 'An implementation of a universally verifiable electronic voting scheme based on shuffling'. Together they form a unique fingerprint.

Cite this