Some ZK security proofs for Belenios

Pierrick Gaudry 1
1 CARAMBA - Cryptology, arithmetic : algebraic methods for better algorithms
Inria Nancy - Grand Est, LORIA - ALGO - Department of Algorithms, Computation, Image and Geometry
Abstract : 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.
Type de document :
Pré-publication, Document de travail
2017
Liste complète des métadonnées

Littérature citée [3 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01576379
Contributeur : Pierrick Gaudry <>
Soumis le : mercredi 23 août 2017 - 08:12:24
Dernière modification le : jeudi 24 août 2017 - 01:13:54

Fichier

ZK-securityproof.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01576379, version 1

Collections

Citation

Pierrick Gaudry. Some ZK security proofs for Belenios. 2017. 〈hal-01576379〉

Partager

Métriques

Consultations de
la notice

111

Téléchargements du document

17