Public verification of private effort
Giulia Alberini · 2016
Nous introduisons un nouveau cadre formel afin de scruter les réponses d'une grande population de votants. Notre cadre permet la collecte des votes tout en garantissant l'anonymat des participants ainsi que la possibilité de vérifier publiquement le résultat du scrutin. Contrairement aux approches précédentes à ce sujet, nous n'exigeons pas que le scrutateur soit digne de confiance lors de l'annonce des résultats, ni ne nous reposons sur une vérification "forte" de l'identité des participants. Nous proposons un protocole de scrutin "basé sur l'effort" dont les résultats du vote peuvent être vérifié publiquement via la construction d'un "graphe de certification des votants" dont les sommets sont étiquetés par diverses informations liées à chaque votant et dont les arêtes servent à la certification de l'honnêteté mutuelle de certaines paires de votants. La certification de l'honnêteté mutuelle est obtenu par l'elaboration du concept de "preuves d'effort privées" (PEP) vérifiables en privé. Dans les faits, de notre protocole se dégage un méthode générale permettants de convertir des preuves vérifiables en privé en preuves vérifiables en public. La justesse de la transformation repose sur les propriétés d'expansion du graphe de certification.Nos résultats sont applicables dans divers scenarios dans lesquels la collecte collaborative d'information de masse est nécessaire. Ceux-ci incluent les crypto-monnaies, les sondages pré-électoraux, les élections, les systèmes de recommendation, les votes télévisuels et les sondages d'opinions.