A Description and Proof of a Generalised and Optimised Variant of Wikström's Mixnet

01/24/2019
by   Thomas Haines, et al.
0

In this paper, we describe an optimised variant of Wikström's mixnet which shuffles vectors of ElGamal ciphertexts in parallel. We then show in detail that this construction is secure. Wikström's verifiable mixnet as we refer to it here was first presented in "Proofs of Restricted Shuffles" by Terelius and Wikström, building on Wikström's previous work. Specifically we take the optimised variant for ElGamal which appears to be in common use; for instance, it is presented in Haenni et al's "Pseudo-Code Algorithms for Verifiable Re-Encryption Mix-Nets". We extend the mixnet to support parallel shuffles. (The possibility of doing this is proven by the Wikström's result but we wish to show that this particular instance with its optimisations is secure.)

READ FULL TEXT

page 1

page 2

page 3

page 4

research
01/13/2021

Crooked Indifferentiability Revisited

In CRYPTO 2018, Russell et al introduced the notion of crooked indiffere...
research
07/30/2018

Guidesort: Simpler Optimal Deterministic Sorting for the Parallel Disk Model

A new algorithm, Guidesort, for sorting in the uniprocessor variant of t...
research
05/04/2021

A Finer Calibration Analysis for Adversarial Robustness

We present a more general analysis of H-calibration for adversarially ro...
research
04/26/2018

A Code Equivalence between Secure Network and Index Coding

A code equivalence between index coding and network coding was establish...
research
09/16/2021

Compressed Oblivious Encoding for Homomorphically Encrypted Search

Fully homomorphic encryption (FHE) enables a simple, attractive framewor...
research
08/06/2020

On the relationship between (secure) multi-party computation and (secure) federated learning

The contribution of this short note, contains the following two parts: i...
research
09/09/2020

A novel highly efficient Lagrangian model for massively multidomain simulations: parallel context

A new method for the simulation of evolving multi-domains problems has b...

Please sign up or login with your details

Forgot password? Click here to reset