Τι σημαίνει πραγματικά 'ασφαλής' για μια ψήφο
Μία δημοσκόπηση και μια δεσμευτική εκλογή φαίνονται παρόμοιες στην οθόνη, αλλά δεν είναι το ίδιο πράγμα. Μία δεσμευτική ψήφος πρέπει να ικανοποιεί πολλά κριτήρια ταυτόχρονα: μόνο οι επιλέξιμοι μπορούν να ψηφίσουν, κάθε ψήφος μία φορά, τα ψηφοφοριακά χαρτιά παραμένουν μυστικά και το δημοσιευμένο αποτέλεσμα αποδεικτικά συμφωνεί με τις ψήφους των ψηφοφόρων. Η ασφάλεια είναι ο συνδυασμός όλων αυτών, όχι μία ενιαία.
Όταν ένας πάροχος λέει ότι ένα σύστημα είναι «ασφαλές», η ουσιώδης ερώτηση είναι πάντα: ασφαλές απέναντι τι, και πώς μπορούμε να το ελέγξουμε; Ένα καλό σύστημα απαντά με αποδεικτικά στοιχεία, όχι με επιθεωρήσεις.
Βήμα 1: ταυτοποίηση και μητρώο
Κάθε ψήφος ξεκινά με μητρώο – τη λίστα των δικαιούχων. Οι ψηφοφόροι ταυτοποιούνται σε σχέση με αυτή τη λίστα ώστε το σύστημα να επιβεβαιώσει την επιλεξιμότητα και να επιβάλει το 'ένα άτομο, μία ψήφος', χωρίς να συνδεθεί η ταυτότητα με το ψηφοφόριό τους.
Η δύναμη της ταυτοποίησης πρέπει να ταιριάζει με τις αξίες του. Μια ψήφος σε μικρό σύλλογο μπορεί να χρησιμοποιήσει σύνδεσμο μέσω email, ενώ σε μια εκλογή υψηλών αξιών μπορεί να απαιτηθούν πιο αυστηροί έλεγχοι ταυτότητας.
Βήμα 2: αποστολή μυστικού ψήφου
Όταν ένας ψηφοφόρος κάνει επιλογή, ένα ασφαλές σύστημα κρυπτογραφεί το ψηφοφόριό στη συσκευή του πριν το αποστείλει. Οι κρυπτογραφικές τεχνικές στη συνέχεια διαχωρίζουν την ταυτότητα του ψηφοφόρου από το κρυπτογραφημένο ψηφοφόριό, ώστε κανείς – ούτε οι διαχειριστές ούτε η πλατφόρμα – να συνδέσει κάποιον με το πώς ψηφίστηκε.
Βήμα 3: μετρήση με απόδειξη
Στο τέλος της ψηφοφορίας, τα ψηφοφόρια μετριούνται και το αποτέλεσμα δημοσιεύεται μαζί με κρυπτογραφική απόδειξη. Σε ένα σύστημα με επαληθευσιμότητα από άκρο σε άκρο, κάθε ψηφοφόρος μπορεί να επιβεβαιώσει ότι το ψηφοφόριό του συμπεριλήφθηκε, και οποιοσδήποτε μπορεί να επαληθεύσει ότι το δημοσιευμένο σύνολο είναι το σωστό άθροισμα όλων των έγκυρων ψηφοφορίων.
Αυτός είναι ο διαχωρισμός μεταξύ «εμπιστευθείτε μας» και «ελέγξτε μόνοι σας». Το αποτέλεσμα δεν εξαρτάται από την εμπιστοσύνη στον πάροχο, γιατί οι μαθηματικές διαδικασίες είναι ανοιχτές για έλεγχο.
Γιατί το ανοιχτός κώδικας έχει σημασία
Αν ο κώδικας που εκτελεί μια εκλογή είναι μυστικός, η ασφάλειά του βασίζεται στο λόγο του παρόχου. Η ανοιχτού κώδικα υποδομή ψηφοφορίας επιτρέπει ανεξάρτητους ειδικούς να ελέγξουν ακριβώς πώς χειρίζονται οι ψήφοι, γι’ αυτό η δημόσια επιθεώρηση, όχι η μυστικότητα, αποτελεί ισχυρότερο θεμέλιο για την εμπιστοσύνη.