Skip to Main content Skip to Navigation
Preprints, Working Papers, ...

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.
Document type :
Preprints, Working Papers, ...
Complete list of metadata

Cited literature [3 references]  Display  Hide  Download
Contributor : Pierrick Gaudry Connect in order to contact the contributor
Submitted on : Wednesday, August 23, 2017 - 8:12:24 AM
Last modification on : Wednesday, November 3, 2021 - 7:09:01 AM


Files produced by the author(s)


  • HAL Id : hal-01576379, version 1



Pierrick Gaudry. Some ZK security proofs for Belenios. 2017. ⟨hal-01576379⟩



Les métriques sont temporairement indisponibles