Πρακτικες Βελτιωσεις Επαληθευσιμοτητας Για Το Συστημα Ηλεκτρονικων Ψηφοφοριων Ζευς

Abstract

Όπως κάθε εκλογικό σύστημα, τα ακραίως επαληθεύσιμα συστήματα πρέπει να διασφαλίζουν τις δύο σημαντικότερες ιδιότητες ασφαλείας για την διεξαγωγή μιας εκλογικής διαδικασίας, την μυστικότητα της ψήφου και την ακεραιότητα της ψήφου.Στις παραδοσιακές εκλογές, ο φυσικός θάλαμος ψηφοφορίας και η σφράγιση της ψήφου σε ανώνυμο φάκελο εξασφαλίζουν την μυστικότητα της ψήφου, ενώ μια έντιμη εφορευτική επιτροπή εξασφαλίζει στον ψηφοφόρο ότι η ψήφος του δεν παραποιήθηκε και καταμετρήθηκε σωστά.Στις ηλεκτρονικές εκλογές, η μυστικότητα της ψήφου εξασφαλίζεται μέσω κρυπτογράφησης και στη συνέχεια μίξης των ψηφοδελτίων. Η ακεραιότητα των ψήφων εξασφαλίζεται μέσω ελέγχου και επαλήθευσης. Η ιδιότητα της επαληθευσιμότητας είναι καίριας σημασίας για τα ακραίως επαληθεύσιμα συστήματα εκλογών.Η παρούσα εργασία θα εστιαστεί στην ιδιότητα της επαληθευσιμότητας και πως αυτή μπορεί να γίνει με απλό και πρακτικό τρόπο. Στο πλαίσιο αυτό θα μελετηθούν οι τρόποι με τους οποίους εξασφαλίζεται η επαληθευσιμότητα σε διάφορα διάσημα ακραίως επαληθεύσιμα συστήματα εκλογών.Στη συνέχεια, θα γίνει παρουσίαση του τρόπου λειτουργίας του συστήματος Ζευς, στο οποίο η εξασφάλιση της ακεραιότητας της ψήφου γίνεται από τον ίδιο τον ψηφοφόρο. Η μέθοδος αυτή θα μελετηθεί και θα αξιολογηθεί. Όπως θα αναλυθεί, η μέθοδος αυτή έχει αρκετά πλεονεκτήματα, όταν αυτή χρησιμοποιείται από επαρκές και τυχαίο δείγμα ψηφοφόρων. Εάν, όμως, δεν χρησιμοποιηθεί, το σύστημα στερείται την ιδιότητα της επαληθευσιμότητας.Στόχος της παρούσας εργασίας είναι η πρόταση ενός εναλλακτικού τρόπου εξασφάλισης της ιδιότητας της επαληθευσιμότητας, ο οποίος δεν βασίζεται στον ψηφοφόρο και δεν απαιτεί καμία επιπλέον δράση εκ μέρους του. Η πρόταση βασίζεται στην εισαγωγή μιας ανεξάρτητης έμπιστης τρίτης αρχής της οποίας ο ρόλος θα είναι να επαληθεύει την ορθή καταγραφή των ψηφοδελτίων και να ελέγχει το σύστημα εκλογών. Έτσι η εμπιστοσύνη που πρέπει να έχει ο ψηφοφόρος διαμοιράζεται μεταξύ του συστήματος των ηλεκτρονικών εκλογών και της ανεξάρτητης αρχής. Στην πρόταση αυτή η αλλοίωση του αποτελέσματος μπορεί να γίνει και να μην εντοπιστεί μόνο εάν η αρχή συνωμοτήσει με το σύστημα των εκλογών.