Some ZK security proofs for Belenios - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2017

Some ZK security proofs for Belenios

Résumé

The purpose of this document is to justify the use of ZK proofs in Belenios. Most of them are exactly the same as in Helios, and we detail them only for completeness. But in Belenios, there is also a variant to explicitly allow blank votes which was not present in Helios; hence we find it necessary to detail the security proof in that case. All the proofs use standard arguments about Sigma-protocols.
Fichier principal
Vignette du fichier
ZK-securityproof.pdf (281.92 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01576379 , version 1 (23-08-2017)

Identifiants

  • HAL Id : hal-01576379 , version 1

Citer

Pierrick Gaudry. Some ZK security proofs for Belenios. 2017. ⟨hal-01576379⟩
305 Consultations
398 Téléchargements

Partager

Gmail Facebook X LinkedIn More