«Αναδυόμενες τεχνολογίες εκλογών που ενισχύουν την ακεραιότητα, τη διαφάνεια και την εμπιστοσύνη» Ανακεφαλαίωση της επιτροπής AAAS

Αναδημοσίευση από τον Πλάτωνα

Ακολουθούν: 0

Εκλογές που είναι ασφαλείς, ασφαλείς και επαληθεύσιμες από το κοινό αποτελούν ουσιαστικό μέρος κάθε δημοκρατικής κυβέρνησης. Υπήρξαν δημόσιες κατακραυγές για αλλαγές στην εκλογική διαδικασία στις ΗΠΑ και σε όλο τον κόσμο, καθώς οι πολίτες έχουν απογοητευτεί από την έλλειψη διαφάνειας. Εκλογική εμπιστοσύνη από την πλειοψηφία του πΤο ublic δεν είναι εύκολο να αποκτηθεί, αλλά οι συμμετέχοντες σε ένα πάνελ που διοργανώθηκε από το CCC στην Ετήσια Συνάντηση της AAAS έκαναν πολλές προτάσεις σχετικά με τα βήματα που μπορούμε να κάνουμε για να κάνουμε ακριβώς αυτό.

«Αναδυόμενες εκλογικές τεχνολογίες που ενισχύουν την ακεραιότητα, τη διαφάνεια και την εμπιστοσύνη» Ανακεφαλαίωση της ομάδας AAAS για την ευφυΐα δεδομένων PlatoBlockchain. Κάθετη αναζήτηση. Ολα συμπεριλαμβάνονται.

Οι συμμετέχοντες στην ημερίδα «Αναδυόμενη Εκλογική Τεχνολογίαes Ενίσχυση της ακεραιότητας, της διαφάνειας και της εμπιστοσύνης» ήταν Philip B. Stark (Πανεπιστήμιο της Καλιφόρνια, Μπέρκλεϋ), Τζος Μπεναλόχ (Microsoft Research), και Πόρβη Λ. Βόρα (ΓεώργιοςΠανεπιστήμιο της Ουάσιγκτον). Ελίζαμπεθ (Λιζ) Χάουαρντ (Μπρενάν Κέντρο Δικαιοσύνης) ήταν ο συντονιστής.

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

Ο Philip ξεκίνησε τη συζήτηση λέγοντας ότι «είτε πιστεύετε ότι οι εκλογές του 2020 ήταν ακριβείς είτε όχι, το γεγονός ότι πολλοί άνθρωποι δεν δείχνουν ότι πρέπει να διεξάγουμε εκλογές με τρόπο που να δημιουργεί πειστικά στοιχεία ότι τα αναφερόμενα εκλογικά αποτελέσματα είναι σωστά. Το αντίδοτο στην έλλειψη εμπιστοσύνης σύμφωνα με τον Φίλιππο; Απόδειξη. Δεν αρκεί για τους εκλογικούς αξιωματούχους να καθορίζουν ποιος κέρδισε τις εκλογές και να το δηλώσουνΤο κοινό αξίζει πειστικά στοιχεία. Δεν είναι όλα τα στοιχεία για τις εκλογές καταφατική απόδειξη ότι τα αποτελέσματα είναι σωστά. Για παράδειγμα, μια εγκληματολογική εξέταση του λογισμικού του συστήματος ψηφοφορίας μπορεί να βρει κανένα κακόβουλο λογισμικό – αλλά αυτό δεν είναι απόδειξη ότι τα αποτελέσματα είναι σωστά, μόνο ότι ένα είδος προβλήματος δεν παρουσιάστηκε. Ομοίως, μια ακριβής, πλήρης καταμέτρηση του ίχνους χαρτιού δεν παρέχει καμία απόδειξη ότι το αποτέλεσμα είναι σωστό, εκτός εάν υπάρχουν επίσης στοιχεία ότι το ίχνος χαρτιού αντικατοπτρίζει με ακρίβεια τον τρόπο με τον οποίο ψήφισαν οι άνθρωποι. Υπάρχουν πολλοί τρόποι συλλογής πειστικών αποδεικτικών στοιχείων ότι οι εκλογές διεξήχθησαν σωστά, διατηρώντας παράλληλα την ανωνυμία των ψηφοδελτίων. Το κλειδί είναι ότι πρέπει να γίνουν εκλογές βασισμένο σε αποδεικτικά στοιχεία, δεν βασίζεται σε διαδικασίες που είναι το τρέχον πρότυπο. Ένας τρόπος παροχής καταφατικών αποδεικτικών στοιχείων είναι ο έλεγχος περιορισμού του κινδύνου (RLA) των ασφαλώς επιμελημένων ψηφοδελτίων με χειρόγραφο σήμα.

Τα RLA απαιτούν μια αποδεδειγμένα αξιόπιστη διαδρομή χαρτιού. (Η αξιοπιστία εξαρτάται από τον τρόπο δημιουργίας, λογιστικής και φροντίδας του ίχνους χαρτιού. Κανένας έλεγχος που βασίζεται σε αναξιόπιστο χαρτί δεν μπορεί να δώσει καταφατική απόδειξη ότι οι αναφερόμενοι νικητές πραγματικά κέρδισαν.) Οι RLA έχουν δοκιμαστεί σε πολλαπλές εκλογές από το 2008 και το Οι Εθνικές Ακαδημίες τους συνέστησαν επίσημα το 2018. Οι RLA αποτελούν βασικό συστατικό στις εκλογές που βασίζονται σε στοιχεία, επειδή μπορούν να δημιουργήσουν καταφατικές αποδείξεις ότι το πολιτικό αποτέλεσμα είναι ακριβές, και όχι απλώς ανίχνευση σφαλμάτων (π.χ.πρόβλημα με τον πίνακα). Οι εκλογές και οι έλεγχοι χρειάζονται ανθεκτικά, πλήρη και αξιόπιστα αρχεία ψήφου που διατηρούνται φυσικά ασφαλή σε όλο τον καμβά και τον έλεγχο. Τότε οι εκλογές μπορούν να επαληθευτούν δημόσια, κάτι που είναι και ο στόχος του επόμενου πάνελ, Τζος.

Ο Τζος επαναλαμβάνει ότι υπάρχει κρίση εκλογικής εμπιστοσύνης στις ΗΠΑ και σε όλο τον κόσμο και κατηγορεί τον θάνατο των δημόσιων στοιχείων για αυτά τα ευρέως διαδεδομένα ζητήματα. Στην πλειονότητα των εκλογών σήμερα, εξηγεί, δεν παρέχουμε στους ψηφοφόρους ουσιαστικές αποδείξεις ότι οι ψήφοι καταμετρώνται σωστά. Ζητάμε από τους ψηφοφόρους να εμπιστευτούν τους τοπικούς εκλογικούς υπαλλήλους, τον εξοπλισμό, τους πωλητές εξοπλισμού και άλλους – ανεξάρτητα από το αν αυτές οι οντότητες είναι αξιόπιστες ή όχι. Προτείνει μια λύση σε αυτήν την έλλειψη δημόσιων στοιχείων: επαληθευσιμότητα από άκρο σε άκρο (E2E).. Όταν οι εκλογές είναι επαληθεύσιμες με E2E, οι ψηφοφόροι λαμβάνουν άμεσες αποδείξεις ότι οι ψήφοι τους καταμετρήθηκαν με ακρίβεια. Απαιτεί ένα επαληθεύσιμο εκλογικό αρχείο που επιτρέπει στους ψηφοφόρους να επιβεβαιώνουν την ακριβή καταμέτρηση των ψηφοδελτίων τους χωρίς να χρειάζεται να εμπιστεύονται τους ανθρώπους ή την τεχνολογία που διεξάγει τις εκλογές. Υπάρχουν δύο βασικές αρχές των επαληθεύσιμων εκλογών E2E:

Οι ψηφοφόροι μπορούν να επαληθεύσουν ότι οι δικές τους επιλογές έχουν καταγραφεί σωστά
Οποιοσδήποτε μπορεί να επαληθεύσει ότι οι καταγεγραμμένες ψήφοι έχουν καταγραφεί σωστά

Αυτές οι εκλογές κάνουν μια κρίσιμη τροποποίηση σε μια τυπική εκλογή: οι ψηφοφόροι λαμβάνουν έναν κωδικό επιβεβαίωσης ενώ ψηφίζουν τον οποίο μπορούν να χρησιμοποιήσουν για να επιβεβαιώσουν τη σωστή καταγραφή των επιλογών τους. Οι ψηφοφόροι μπορούν αργότερα να επιβεβαιώσουν σε έναν δημόσιο ιστότοπο ότι υπάρχουν οι κωδικοί επιβεβαίωσης και ότι οι κωδικοί επιβεβαίωσης που αναφέρονται είναι συνεπείς με τους ανακοινωθέντες καταλογισμούς. Οι ψηφοφόροι έχουν την επιλογή απλώς να ψηφίσουν και να μην ελέγξουν τη σωστή καταγραφή και/ή καταμέτρηση των ψήφων τους ή να ελέγξουν όσο διεξοδικά επιθυμούν. (Σημειώστε εδώ ότι οι ψηφοφόροι δεν μπορούν να δουν το περιεχόμενο των ψηφοδελτίων τους αφού ψηφιστούν – μόνο ότι δεν έχουν αλλάξει από τη στιγμή που ψηφίστηκαν και προαιρετικά επαληθεύτηκαν. Αυτό αποτρέπει τον εξαναγκασμό και την πώληση ψήφων.)

Η επαλήθευση E2E απαιτεί γενικά προηγμένα κρυπτογραφικά εργαλεία όπως η Ομομορφική Κρυπτογράφηση κατωφλίου, οι Μη Διαδραστικές Αποδείξεις Μηδενικής Γνώσης και άλλα. Οι τρέχουσες κατευθυντήριες γραμμές για την εκλογική βοήθεια των ΗΠΑ περιλαμβάνουν απαιτήσεις για επαληθευσιμότητα E2E. Αυτή η τεχνική αρχίζει να χρησιμοποιείται στις ΗΠΑ και σε όλο τον κόσμο σήμερα, και έχει εφαρμοστεί πιλοτικά σε πολλαπλές εκλογές στις ΗΠΑ από το 2009 (συμπεριλαμβανομένων των εκλογών για την ηγεσία των Δημοκρατικών της Κοινοβουλευτικής Ομάδας των ΗΠΑ το 2020).

Ο Poorvi επέκτεινε τη χρήση της επαληθευσιμότητας E2E σε άλλες εκλογές στις ΗΠΑ, ξεκινώντας με τις δημοτικές εκλογές του Takoma Park το 2009. Ήταν οι πρώτες κυβερνητικές εκλογές στις Ηνωμένες Πολιτείες με διαφύλαξη του απορρήτου από άκρο σε άκρο επαληθεύσιμη τεχνολογία, όπου ο καθένας μπορούσε να επιβεβαιώσει την η καταμέτρηση αντιπροσώπευε σωστά τις ψήφους. Ο ψηφοφόρος συμπλήρωσε οβάλ που αντιστοιχούσαν στις επιλογές τους για δήμαρχο και μέλος του συμβουλίου. Χρησιμοποίησαν ειδικά στυλό που αποκάλυπταν αριθμούς επιβεβαίωσης τυπωμένους με αόρατο μελάνι στα οβάλ και είχαν τη δυνατότητα να τους γράψουν για να τους ελέγξουν αργότερα στον ιστότοπο ή απλώς να ψηφίσουν και να φύγουν. Οι εκλογές εγγυήθηκαν την επαληθευσιμότητα των ψηφοφόρων επειδή οι ψηφοφόροι μπορούσαν να ελέγξουν τους αριθμούς επιβεβαίωσής τους στον ιστότοπο των εκλογών και είχε καθολική επαληθευσιμότητα επειδή οι πληροφορίες ήταν δημόσια διαθέσιμες για τον έλεγχο της καταμέτρησης υπολογίστηκαν σωστά από τους αριθμούς επιβεβαίωσης.

Ο Poorvi τόνισε ότι η διατήρηση ορισμένων πτυχών των παραδοσιακών μεθόδων εκλογών είναι σημαντική: «Δεν ξέρουμε πώς να κάνουμε τις εκλογές πλήρως ασφαλείς χωρίς ανθρώπους και φυσικές διαδικασίες. Χωρίς αυτούς, ένας ψηφοφόρος που παρατηρεί ένα πρόβλημα δεν μπορεί να το αποδείξει και οι παρατηρητές δεν μπορούν να διακρίνουν έναν αληθινό ψηφοφόρο από αυτόν που λέει ψέματα». Εξήγησε επίσης ότι η ενσωμάτωση μαθηματικών μοντέλων που αντιπροσωπεύουν καλύτερα την πραγματική διαδικασία ελέγχου επί τόπου μπορεί να βελτιώσει τα RLA.

Ο Poorvi ολοκλήρωσε το πάνελ αναφέροντας ότι η νομοθεσία που απαιτεί ή επιτρέπει RLA και άλλες απαιτήσεις επαλήθευσης των εκλογών ισχύει επί του παρόντος σε πολλές πολιτείες των ΗΠΑ σήμερα, και αυτό έχει οδηγήσει σε ελέγχους πολλών δεσμευτικών εκλογών. Ωστόσο, απομένουν πολλά να γίνουν. Χρειάζεται ένας τεράστιος αριθμός αφοσιωμένων ατόμων για τον εντοπισμό και την ανάπτυξη αυτών των τεχνικών σε περιβάλλοντα που μπορούν να γίνουν εχθρικά πολύ γρήγορα, αλλά είναι Είναι κρίσιμο να επενδύσουμε σε αυτές τις τεχνολογίες προκειμένου να κάνουμε όλες τις εκλογές δημόσια επαληθεύσιμες.

Κατά τη διάρκεια των Q&A που ακολούθησε το πάνελ, ένα μέλος του κοινού ρώτησε εάν έχουμε περισσότερες πληροφορίες τώρα σχετικά με την έλλειψη εκλογικής ασφάλειας ή απλώς ακούμε περισσότερα γι 'αυτό;

Ο Φίλιππος εξήγησε ότι ενώ δεν υπάρχουν στοιχεία για περισσότερα προβλήματα σήμερα από ό,τι στο παρελθόν, η εξάρτηση από την τεχνολογία έχει αλλάξει, γεγονός που προσθέτει περισσότερες ευπάθειες στην εκλογική διαδικασία, επιτρέποντας χονδρικές απομακρυσμένες επιθέσεις, ενώ ιστορικά, η αλλαγή ενός σημαντικού αριθμού ψήφων θα απαιτούσε φυσική πρόσβαση και πολυάριθμοι συνεργοί. Ακόμη και όταν βασιζόμαστε στην τεχνολογία, είναι δυνατό να συγκεντρωθούν καταφατικά στοιχεία για την αξιολόγηση του αποτελέσματος, αλλά το δύσκολο μέρος είναι να πειστούν κυβερνητικοί αξιωματούχοι να κάνουν το έργο της δημιουργίας ενός αξιόπιστου ίχνους χαρτιού, διασφαλίζοντας ότι θα παραμείνει αξιόπιστο και να το χρησιμοποιήσουν σε κατάλληλους ελέγχους.
Ο Τζος σημείωσε ότι υπάρχει εδώ και πολύ καιρό εκλογική νοθεία στις ΗΠΑ και διεθνώς, αλλά οι εκλογικοί αξιωματούχοι κατέληξαν στο συμπέρασμα ότι οι τελευταίες εθνικές εκλογές στις ΗΠΑ ήταν πολύ πιο καθαρές από τις περισσότερες. Ωστόσο, μόνο και μόνο επειδή φαίνεται να υπάρχουν πολύ λίγα στοιχεία για νοθεία δεν σημαίνει ότι οι εκλογές μας είναι ασφαλείς. Στην πραγματικότητα, λόγω των χιλιάδων ταυτόχρονων, μεμονωμένων εκλογών, είναι σχετικά εύκολο να επιτεθείς σε ορισμένες από αυτές. Δεν είναι εύκολο να το κάνουμε χωρίς να αφήσουμε πίσω μας στοιχεία, αλλά υπάρχει επείγουσα ανάγκη η τεχνολογία να διορθώσει τρύπες στον τρόπο που διεξάγονται σήμερα οι εκλογές. Είναι κρίσιμο να σχεδιάσουμε εκλογές έτσι ώστε το ευρύ κοινό να μπορεί να τις επικυρώσει.
Η Λιζ επεσήμανε ότι είναι σημαντικό να αναγνωρίσουμε το περιβάλλον στο οποίο βρίσκονται οι εκλογικοί αξιωματούχοι. Παρά την έλλειψη στοιχείων για εκλογική νοθεία, το 77% των εκλογικών αξιωματούχων είπε ότι ένιωσαν ανασφαλείς και 1 στους 6 απειλήθηκε. Ο μέσος εκλογικός υπάλληλος είναι μια λευκή γυναίκα 50-64 ετών που έχει ετήσιο μισθό 60 χιλιάδες και αναμένεται να πολεμήσει τους εσωτερικούς και διεθνείς εχθρούς. Η συνεργασία με τους εκλογικούς αξιωματούχους και η ώθησή τους να αγοράσουν αυτές τις τεχνολογίες σε τοπικό επίπεδο είναι απαραίτητη. Η αποκέντρωση του εκλογικού συστήματος είναι δύναμη ενάντια σε επίθεση. Υπάρχουν πολλές προκλήσεις τόσο στην εφαρμογή αυτής της τεχνολογίας όσο και στην επιβολή διαδικασιών.
Ο Τζος αντέκρουσε την άποψη της Λιζ σχετικά με την αποκέντρωση, δηλώνοντας ότι πολλοί άνθρωποι πιστεύουν ότι η ετερογένεια των συστημάτων μας είναι μια δύναμη, και θα ήταν αν ένας εισβολέας έπρεπε να επιτεθεί σε όλα. Αλλά απλώς προσφέρουμε ένα μενού διαφορετικών συστημάτων για να επιτεθεί ένας χάκερ. Έτσι μπορούν απλώς να επιλέξουν τον πιο αδύναμο κρίκο και να επιτεθούν σε αυτόν.

Το μέλος του Συμβουλίου του CCC, Katie Siek, έθεσε μια άλλη ερώτηση: Τι κάνετε για την προσβασιμότητα στην εκλογική τεχνολογία;

Philip: Οι εκλογικές τεχνολογίες που προωθούνται ως «προσβάσιμες» πολλές φορές δεν είναι. Επιπλέον, ορισμένες συσκευές σήμανσης ψηφοδελτίων (BMD) θέτουν σε κίνδυνο το απόρρητο επειδή εκτυπώνουν ένα αρχείο ψηφοφορίας που δεν μοιάζει με ψηφοδέλτιο με σήμανση με το χέρι. Κάποιοι λένε ότι για την καταπολέμηση αυτού του ζητήματος θα πρέπει να χρησιμοποιήσουμε όλα τα BMD, αλλά διαφωνώ: η γενική χρήση των BMD υπονομεύει την αξιοπιστία της διαδρομής του χαρτιού, επειδή η εκτύπωση BMD είναι μια καταγραφή του τι έκανε το μηχάνημα, όχι μια καταγραφή του τι έκανε ο ψηφοφόρος. Τα τρέχοντα BMD δεν παρέχουν ένα μέσο για τους ψηφοφόρους με προβλήματα όρασης για να ελέγξουν εάν η εκτύπωση αντικατοπτρίζει με ακρίβεια τις επιλογές τους: πρέπει να εμπιστεύονται ότι αυτό που "είπε" το μηχάνημα είναι το ίδιο με αυτό που εκτύπωσε. Ένα σοβαρό ελάττωμα με το μοντέλο ασφαλείας των BMD είναι ότι μόνο ο ψηφοφόρος είναι σε θέση να πει εάν το BMD εκτύπωσε με ακρίβεια τις ψήφους του, αλλά εάν ένας ψηφοφόρος παρατηρήσει ότι το BMD εκτύπωσε τις επιλογές του λανθασμένα, δεν υπάρχει περίπτωση ο ψηφοφόρος να αποδείξει ότι οποιονδήποτε άλλον που το έκανε. Ο ψηφοφόρος μπορεί να ζητήσει μια νέα ευκαιρία να εκτυπώσει τις επιλογές του, αλλά δεν υπάρχει τρόπος για τον εκλογικό υπάλληλο να διακρίνει τη διαφορά μεταξύ σφάλματος ψηφοφόρου, δυσλειτουργίας του μηχανήματος ή ψηφοφόρου που φωνάζει «λύκος». Εάν ένας αξιωματούχος πιστεύει στον ψηφοφόρο ότι το μηχάνημα δυσλειτουργεί, η μόνη επιλογή του αξιωματούχου είναι να ακυρώσει τις εκλογές και να εκτελέσει μια εντελώς νέα, επειδή δεν υπάρχει τρόπος να ξεχωρίσουμε ποιες εκτυπώσεις επηρεάστηκαν από την κακή συμπεριφορά του μηχανήματος. Σε τεχνικούς όρους, οι εκλογές που διεξάγονται με συσκευές σήμανσης των ψηφοδελτίων δεν είναι «πολύ ανεξάρτητες από το λογισμικό». Το σύστημα δεν μπορεί να ανακτήσει από σφάλματα που εντοπίστηκαν.
Josh: Υπάρχουν διαφορετικές προσεγγίσεις, αλλά γενικά κάνουμε μια αξιοθρήνητη δουλειά στις ΗΠΑ για άτομα με οπτική, κινητική κ.λπ. αναπηρία. Συνήθως πρέπει να χρησιμοποιήσουν μια ξεχωριστή συσκευή στη γωνία. Για παράδειγμα, ο Noel Runyon είναι ένας τεχνικά έξυπνος τυφλός ψηφοφόρος που είναι επίμονος στη χρήση προσβάσιμων συσκευών για ψηφοφορία και γράφει άρθρα στο blog του σχετικά με αυτό. Συχνά χρειάζονται ώρες για να ψηφίσει ενώ θα έπρεπε να είναι απλό. Ένα εμπόδιο για τη διευκόλυνση της ψηφοφορίας για τα άτομα με αναπηρία είναι ότι η κοινότητα προσβασιμότητας λέει ότι τα χάρτινα ψηφοδέλτια δεν λειτουργούν και η κοινότητα ασφαλείας λέει ότι το χαρτί είναι ο μόνος τρόπος.

Στη συνέχεια, ο Daniel Lopresti, Πρόεδρος του Συμβουλίου CCC, ρώτησε: «Πώς αντιμετωπίζετε τους ανθρώπους που είναι πεπεισμένοι ότι αυτές οι τεχνολογίες είναι επικίνδυνες ή αναξιόπιστες;»

Τζος: Αυτοί οι άνθρωποι πρέπει να ληφθούν σοβαρά υπόψη. Έχω κάνει πολλές συζητήσεις με εκλογικούς αξιωματούχους και είναι πολύ προσεκτικοί και συντηρητικοί. Όταν τους εξηγώ την επαληθευσιμότητα από άκρο σε άκρο, γενικά τους αρέσει ακόμη και να συνειδητοποιούν ότι θα αποκαλύψει οποιοδήποτε μικρό λάθος που κάνουν. Ωστόσο, μερικοί άνθρωποι εμπιστεύονται τα μαθηματικά λιγότερο από τους ανθρώπους και αυτό παραμένει μια πρόκληση.
Φίλιππος: Συμφωνώ ότι είναι πρόβλημα, αλλά νομίζω ότι το πλαίσιο πρέπει να είναι ότι είναι πρόβλημα για τους εκπαιδευτικούς. Είναι δουλειά μου να εξηγώ τα πράγματα με τρόπο που ο καθένας μπορεί να καταλάβει. Ξοδεύω πολύ χρόνο προσπαθώντας να βρω μεταφορές, αναλογίες και παραδείγματα. Για παράδειγμα, για να εξηγήσω την τυχαία δειγματοληψία –πώς μπορεί κανείς να μάθει κάτι χρήσιμο για έναν τεράστιο πληθυσμό από ένα μικρό δείγμα– χρησιμοποιώ την αναλογία του να μάθω πώς η αλμυρή σούπα βασίζεται στη γεύση μιας κουταλιάς (αφού ανακατέψετε καλά τη σούπα), ανεξάρτητα από το πόσο μεγάλη η κατσαρόλα.
Liz: Είναι σημαντικό για εμάς να μπορούμε να εξηγήσουμε πώς λειτουργεί στο κοινό, αν δεν μπορούμε να το εξηγήσουμε με απλούς όρους, τότε δεν πετύχαμε τον στόχο μας.
Φίλιππος: Πολλοί από εμάς λέμε ότι δεν πρέπει να εμπιστεύεστε τους προμηθευτές που κάνουν τον προγραμματισμό αυτήν τη στιγμή, αλλά ούτε και εμάς. Οι ψηφοφόροι θα πρέπει να μπορούν να ελέγχουν τη διαδικασία μόνοι τους.
Τζος: Η διαφορά είναι καταρχήν ότι μπορείς να τα κάνεις όλα μόνος σου. αυτή τη στιγμή, ανέντιμοι εκλογικοί αξιωματούχοι θα μπορούσαν πιθανότατα να κλέψουν εκλογές. Με αυτήν την τεχνολογία μπορείτε να επιλέξετε ποιον να εμπιστευτείτε και να ελέγξετε τον εαυτό σας.
Poorvi: Ο εκδημοκρατισμός των πληροφοριών γύρω από τις εκλογές, συμπεριλαμβανομένου του κώδικα που χρησιμοποιείται, είναι η ιδέα. Μπορεί να μην γράψετε τον κωδικό μόνοι σας ή να μην μπορείτε να τον επεξεργαστείτε καθόλου, αλλά οι πληροφορίες δεν θα περιοριστούν σε λίγες. Θα ήταν χρήσιμο να συγκεντρωθούν τα πολιτικά κόμματα και να ελέγξουν τη διαδικασία. Θα ήταν επίσης καλό να έχετε ειδησεογραφικά κανάλια να προωθούν τον έλεγχο των αριθμών επιβεβαίωσης ή να παρατηρείτε ελέγχους περιορισμού του κινδύνου.

Η τελευταία ερώτηση της συνεδρίας ήταν «Πόσος χρόνος χρειάζεται για να πραγματοποιηθεί ένας έλεγχος περιορισμού του κινδύνου; Υπάρχουν μελέτες που έχουν εξετάσει αν αλλάζουν γνώμη ή υπάρχουν άλλες συγχυτικές μεταβλητές που περιορίζουν την εμπιστοσύνη ούτως ή άλλως;»

Philip: Ένα πρόβλημα με τα RLA είναι πριν από τις εκλογές, δεν ξέρεις πόση δουλειά θα υπάρχει επειδή υπάρχουν τόσες πολλές μεταβλητές. Δεν ξέρετε πόσο στενά θα είναι τα περιθώρια ή πόσα σφάλματα θα βρείτε στον έλεγχο, επομένως είναι δύσκολο να πούμε πόση δουλειά να περιμένετε. Οι αριθμοί Ballpark με αποτελεσματικούς ελέγχους είναι ότι η πρώτη ψηφοφορία από μια παρτίδα διαρκεί 3 λεπτά, στη συνέχεια 1 λεπτό ανά ψηφοδέλτιο για επιπλέον ψηφοδέλτια από αυτήν την παρτίδα. Πρέπει να βρείτε μια παρτίδα ψηφοδελτίων, να ελέγξετε/καταγράψετε τις σφραγίδες, να μετρήσετε σε ένα σωρό, να μεταγράψετε δεδομένα, να επιστρέψετε τα ψηφοδέλτια στη θέση τους και να σφραγίσετε ξανά. Ένα παράδειγμα του ποσοστού των ψηφοδελτίων που θα χρειαστεί να δειγματίσετε είναι στην Κομητεία Όραντζ για 191 μεμονωμένες κούρσες είναι ότι θα μπορούσαν να είχαν εξετάσει το 1.3% των ψηφοδελτίων για να μπορέσουν να επικυρώσουν κάθε κούρσα. Η μεθοδολογία βελτιώνεται και γίνεται ευκολότερη η εκτέλεση αυτών των ελέγχων.
Τζος: Μια RLA γίνεται συνήθως μόνο αφού καταμετρηθούν όλες οι ψήφοι. Η επαλήθευση E2E μπορεί να ταιριάζει με όποια ακρίβεια γίνεται από τους εκλογικούς υπαλλήλους. Κάθε φορά που δημοσιεύονται οι μετρήσεις ψήφων, μπορείτε να το επαληθεύσετε εκείνη τη στιγμή. Συνήθως το κάνουν στο τέλος ούτως ή άλλως.

Ευχαριστούμε πολύ τον Philip, τον Josh, τον Poorvi και τη Liz που μοιράστηκαν τις γνώσεις τους με την κοινότητα σχετικά με το πώς η τεχνολογία υπολογιστών μπορεί να χρησιμεύσει ως βοήθημα για τη διασφάλιση των εκλογών. Μείνετε συντονισμένοι για μια άλλη ανακεφαλαίωση επιστημονικής συνεδρίας της ετήσιας συνάντησης AAAS που χρηματοδοτείται από το CCC την επόμενη εβδομάδα την Πέμπτη.