Paper 2020/490

SoK: Techniques for Verifiable Mix Nets

Thomas Haines and Johannes Mueller

Abstract

Since David Chaum introduced the idea of mix nets 40 years ago, they have become widely used building blocks for privacy-preserving protocols. Several important applications, such as secure e-voting, require that the employed mix net be verifiable. In the literature, numerous techniques have been proposed to make mix nets verifiable. Some of them have also been employed in politically binding elections. Verifiable mix nets differ in many aspects, including their precise verifiability levels, possible trust assumptions, and required cryptographic primitives; unfortunately, these differences are often opaque, making comparison painful. To shed light on this intransparent state of affairs, we provide the following contributions. For each verifiability technique proposed to date, we first precisely describe how the underlying basic mix net is to be extended and which (additional) cryptographic primitives are required, and then study its verifiability level, including possible trust assumptions, within one generic and expressive verifiability framework. Based on our uniform treatment, we are able to transparently compare all known verifiability techniques for mix nets, including their advantages and limitations. Altogether, our work offers a detailed and expressive reference point for the design, employment, and comparison of verifiable mix nets.

Metadata
Available format(s)
PDF
Category
Cryptographic protocols
Publication info
Published elsewhere. Major revision. IEEE CSF 2020
Keywords
mix netverifiabilityaccountabilitysecure voting
Contact author(s)
johannes mueller @ uni lu
History
2020-04-28: received
Short URL
https://ia.cr/2020/490
License
Creative Commons Attribution
CC BY

BibTeX

@misc{cryptoeprint:2020/490,
      author = {Thomas Haines and Johannes Mueller},
      title = {SoK: Techniques for Verifiable Mix Nets},
      howpublished = {Cryptology ePrint Archive, Paper 2020/490},
      year = {2020},
      note = {\url{https://eprint.iacr.org/2020/490}},
      url = {https://eprint.iacr.org/2020/490}
}
Note: In order to protect the privacy of readers, eprint.iacr.org does not use cookies or embedded third party content.