Zero Knowledge Beweise für E-Voting

Abstract

Die Überprüfung von Wahlergebnissen ist eine der wichtigsten Bestandteile in E-Voting Systemen. Es dürfen nur gültige Stimmzettel mitgezählt werden. Die Stimmzettel sollen zur Überprüfung jedoch nicht geöffnet werden. Doch die Korrektheit soll trotzdem garantiert sein. Um gültige Stimmen zu kontrollieren, benutzt man Zero-Knowledge Beweise. Diese Beweise zeigen, dass ein Statement wahr ist. Dabei wird aber keine zusätzliche Information, wie der Inhalt eines Stimmzettels, verraten. Das Ziel dieser Arbeit ist es passende Beweise für das E-Voting System Ordinos zu erstellen. Ordinos legt den Fokus auch auf die Nachvollziehbarkeit der Ergebnisse. Auch von Außenstehenden soll die Wahl überprüfbar sein. Verschiedene Wahlarten besitzen unterschiedliche gültige Stimmzettel. Deswegen wurden Beweise für mehrere Kategorien mit unterschiedlichen Wahlarten zusammengestellt. Der Fokus liegt hierbei auch bei der Erklärung der Beweisideen. Auch komplexere Wahlen mit mehreren Stimmen oder Ranglisten wurden verwirklicht. Diese Beweise sind vor allem für den/die WählerIn, also das Wahlgerät, effizient.