How to fake zero-knowledge proofs, again - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year :

How to fake zero-knowledge proofs, again

Abstract

In 2012, Bernhard et al. showed that the Fiat-Shamir heuristic must be used with great care in zero-knowledge proofs. We explain how, in the Belenios voting system, while not using the weak version of Fiat-Shamir, there is still a gap that allows to fake a zero-knowledge proof in certain circumstances. Therefore an attacker who corrupts the voting server and the decryption trustees could break verifiability.
Fichier principal
Vignette du fichier
final.pdf (213.13 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-02928953 , version 1 (03-09-2020)

Identifiers

  • HAL Id : hal-02928953 , version 1

Cite

Véronique Cortier, Pierrick Gaudry, Quentin Yang. How to fake zero-knowledge proofs, again. E-Vote-Id 2020 - The International Conference for Electronic Voting, 2020, Bregenz / virtual, Austria. ⟨hal-02928953⟩
329 View
1032 Download

Share

Gmail Facebook Twitter LinkedIn More