Paper 2018/027 Original: eprint.iacr.org/2018/027 ↗
A verifiable shuffle for the GSW cryptosystem
Abstract
We provide the first verifiable shuffle specifically for fully homomorphic schemes. A verifiable shuffle is a way to ensure that if a node receives and sends encrypted lists, the content will be the same, even though no adversary can trace individual list items through the node. Shuffles are useful in e-voting, traffic routing and other applications. We build our shuffle on the ideas and techniques of Groth's 2010 shuffle, but make necessary modifications for a less ideal setting where the randomness and ciphertexts admit no group structure. The protocol relies heavily on the properties of the so-called gadget matrices, so we have included a detailed introduction to these.
Metadata
- Available format(s)
PDF
- Category
- Cryptographic protocols
- Publication info
- Preprint.
- History
- 2018-01-07: last updated
- 2018-01-07: published
- Short URL
- https://ia.cr/2018/027
- License
- https://creativecommons.org/licenses/by/4.0/
BibTeX
@misc{cryptoeprint:2018/027,
author = {Martin Strand},
title = {A verifiable shuffle for the GSW cryptosystem},
howpublished = {Cryptology {ePrint} Archive, Paper 2018/027},
year = {2018},
url = {https://eprint.iacr.org/2018/027}
}