מהי מערכת הצבעה עם שקיפות מלאה?
מערכת הצבעה בעלת שקיפות מלאה אם כל בוחר יכול לוודא שהצבעתו (המוצפנת) הועלתה נכון לאתר איסוף ההצבעות, וכל אחד יכול לוודא שההצבעות שהועלו לאתר איסוף ההצבעות נספרו נכון. במערכת הצבעה עם שקיפות מלאה לא יכול שום גורם, כולל בעלי המערכת, לשנות את תוצאות הבחירות מבלי להתגלות.
האם יכול איזשהו גורם (או ממשלה זרה) לזייף את תוצאות הבחירות?
לא. במצב הגרוע ביותר פרטיות ההצבעה אינה נשמרת, אבל תקינות תוצאות הבחירות תמיד נשמרת. נדגים את הדבר ביתר פירוט. נניח כי קורה הגרוע מכל ויריב משתלט על כל המערכת, כלומר הוא מחזיק בכל המפתחות הפרטיים של המערכת, והוא קובע איזה תוכנה תריץ המערכת ומה יופיע באתר בכל שלב נתון. אפילו במצב שכזה המערכת מבטיחה שאם היריב ינסה לשנות את תוצאות הבחירות (אם ע"י שינוי פתקי ההצבעה, או ע"י שינוי הערכים באתר או ע"י שינוי תוצאות הספירה) אזי הדבר יתגלה בבדיקות שנערכות על המערכת. מאחר וכל אחד יכול לבדוק את המערכת, כל אחד יכול לוודא לעצמו שתוצאת הבחירות נכונה.
האם אפשר לבטוח בקריפטוגרפיה שהיא שומרת על פרטיות הצבעתי?
מערכות קריפטוגרפיות נמצאות בשימוש נרחב בהרבה מערכות חשובות (כמו בנקאות ישירה, עסקות פיננסיות, חתימות אלקטרוניות ושימושים צבאיים) שפעמים רבות נוגעות לעסקאות ענק במיליארדי דולרים. מערכת ההצבעה שלנו משתמשת במערכות ההצפנה בהתאם להנחיות המופיעות בסטנדרט המפורט של NIST לגבי שימוש בהצפנה.
מדוע חשוב שמערכת הצבעה תהיה בעלת שקיפות מלאה?
מאז ומעולם מערכות בחירות לוו בניסיונות זיוף. למרבה ההפתעה, הדבר נכון גם לגבי, למשל, בחירות בנות זמננו בארצות הברית. דוגמא עכשווית לכך היא מערכת הבחירות לנשיאות ארה"ב בשנת 2004. המקור העיקרי לבעיות הרבות שליוו מערכת בחירות זו היה חוסר השקיפות של שיטת ההצבעה. רוברט קנדי ג'וניור, לדוגמא, כותב במאמרו "האם נגנבו הבחירות ב 2004?" כי שמונים אלף קולות עבור קרי נספרו עבור בוש. אנו מאמינים כי המסקנה ברורה. אפילו אם מערכת הבחירות בארה"ב בשנת 2004 הייתה הוגנת, שיטת הבחירות כשלה, מכיוון שלא מספיק ששיטת ההצבעה עובדת נכון, חשוב לא פחות שכל אחד יכול להשתכנע שזה אכן המצב. בקצרה: מערכת הצבעה מודרנית צריכה להיות בעלת שקיפות מלאה. אנו בנינו את מערכת ההצבעה שלנו כדי להדגים רעיון זה.
איך אני יודעת שקולי נספר?
לאחר שאת מבצעת את בחירתך מודפס פתק ההצבעה. הפתק מכיל שני חלקים: הצבעתך בגלוי וההצבעה המוצפנת. החלק הגלוי מוטל מכוסה לקלפי, והחלק המוצפן מועלה לאתר איסוף הקולות וגם ניתן לך כקבלה. ביכולתך לוודא בכל שלב שההצבעה המוצפנת שהועלתה לאתר איסוף הקולות זהה לערך המודפס על הקבלה שבידיך.
1. חלק גלוי, שמכיל הדפסה גלויה של הצבעתך,
2. חלק מוצפן שמכיל הצפנה של הצבעה.
הסתכלות בפתק מוודאת שההצבעה בגלוי תואמת את בחירתך. באפשרותך גם לבחור לבדוק את הפתק. בדיקות אלו מוודאות שהמכונה תקינה והחלק המוצפן תואם לחלק המודפס בגלוי. מכונה שעוברת בדיקות אלו היא, בוודאות גבוהה, מכונה תקינה בה החלק המוצפן תואם לחלק הגלוי. לבסוף, באפשרותך לבדוק בכל שלב שהחלק המוצפן שהועלה לאתר איסוף הקולות זהה לקבלה שבידייך.
האם הקבלה יכולה לגלות את הצבעתי?
כדי לשמור על פרטיות ההצבעה המערכת משתמשת במערכת הצפנה בעלת מפתח ציבורי. כתוצאה מכך כל אחד יכול להצפין ערך, אבל רק מי שמחזיק במפתח הסודי של המערכת יכול לפענח ערך מוצפן. במערכת שלנו המפתח הסודי של מערכת ההצפנה נוצר ע"י קבוצה של נציגי ציבור (שיכולים להכיל, למשל, נציגי ממשלה, נציגי מפלגות פוליטיות, שופטים, אנשי ציבור ונציגי תנועות זכויות אזרח) שיכולים לפענח הצפנה אם ורק אם כולם משתפים פעולה. אנו מניחים שחלק מנציגי הציבור הוגנים, ולא יסכימו לפתיחת פתק הצבעה מוצפן שלא על פי הפרוטוקול. משום כך,הקבלה ו/או ההצבעה המוצפנת המועלת לאתר איסוף הקולות לא מגלה מהי ההצבעה עצמה.
אין לי שום רקע מתמטי. איך אני יכול לדעת שכל ההצבעות המוצפנות נספרות נכון?
קריפטוגרפיה נמצאת כיום בשימוש נרחב. כל אדם שמבין קריפטוגרפיה יכול לכתוב קוד פשוט שמוודא את תקינות המערכת. גם אם אתה עצמך חסר את הרקע לכתוב קוד שכזה, אתה עדיין יכול להשתתף בבדיקת המערכת ע"י הורדת קוד שכזה מגורם אמין בעינייך.
האם יש מערכות הצבעה אחרות שגם הם בעלות שקיפות מלאה?
בהחלט. התחום נחקר באופן אינטנסיבי במשך עשרות שנים וכיום קיימים מגוון פתרונות תיאורטיים לבעיה. חלק מהפרוטוקולים מומשו ו Scantegrity II גם הורצה ב Takoma park בבחירות ב November 2009. המערכת שלנו היא ורינט של המערכות הללו עם כמה תכונות ייחודיות כמו השימוש הכפול במערכת הצבעה אלקטרונית ומערכת הצבעה בנייר.
שאלות נפוצות
1. מהי מערכת עם שקיפות מלאה?
2. האם יכול איזשהו גורם (או ממשלה זרה) לזייף את תוצאות הבחירות?
3. האם אפשר לבטוח בקריפטוגרפיה שהיא שומרת על פרטיות הצבעתי?
4. מדוע חשוב שמערכת הצבעה תהיה עם שקיפות מלאה?
5. איך אני יודעת שקולי נספר?
6. איך אני יודע שהקבלה שניתנה לי אכן מכילה את ההצפנה של ההצבעה שלי?
7. האם הקבלה יכולה לגלות את הצבעתי?
8. איך המערכת מונעת הצבעות חוזרות?
9. אין לי שום רקע מתמטי. איך אני יכול לדעת שכל ההצבעות המוצפנות נספרות נכון?
10. האם יש מערכות הצבעה אחרות שגם הם בעלות שקיפות מלאה?
מהי מערכת הצבעה עם שקיפות מלאה?
מערכת הצבעה בעלת שקיפות מלאה אם כל בוחר יכול לוודא שהצבעתו (המוצפנת) הועלתה נכון לאתר איסוף ההצבעות, וכל אחד יכול לוודא שההצבעות שהועלו לאתר איסוף ההצבעות נספרו נכון. במערכת הצבעה עם שקיפות מלאה לא יכול שום גורם, כולל בעלי המערכת, לשנות את תוצאות הבחירות מבלי להתגלות.
האם יכול איזשהו גורם (או ממשלה זרה) לזייף את תוצאות הבחירות?
לא. במצב הגרוע ביותר פרטיות ההצבעה אינה נשמרת, אבל תקינות תוצאות הבחירות תמיד נשמרת. נדגים את הדבר ביתר פירוט. נניח כי קורה הגרוע מכל ויריב משתלט על כל המערכת, כלומר הוא מחזיק בכל המפתחות הפרטיים של המערכת, והוא קובע איזה תוכנה תריץ המערכת ומה יופיע באתר בכל שלב נתון. אפילו במצב שכזה המערכת מבטיחה שאם היריב ינסה לשנות את תוצאות הבחירות (אם ע"י שינוי פתקי ההצבעה, או ע"י שינוי הערכים באתר או ע"י שינוי תוצאות הספירה) אזי הדבר יתגלה בבדיקות שנערכות על המערכת. מאחר וכל אחד יכול לבדוק את המערכת, כל אחד יכול לוודא לעצמו שתוצאת הבחירות נכונה.
האם אפשר לבטוח בקריפטוגרפיה שהיא שומרת על פרטיות הצבעתי?
מערכות קריפטוגרפיות נמצאות בשימוש נרחב בהרבה מערכות חשובות (כמו בנקאות ישירה, עסקות פיננסיות, חתימות אלקטרוניות ושימושים צבאיים) שפעמים רבות נוגעות לעסקאות ענק במיליארדי דולרים. מערכת ההצבעה שלנו משתמשת במערכות ההצפנה בהתאם להנחיות המופיעות בסטנדרט המפורט של NIST לגבי שימוש בהצפנה.
מדוע חשוב שמערכת הצבעה תהיה בעלת שקיפות מלאה?
מאז ומעולם מערכות בחירות לוו בניסיונות זיוף. למרבה ההפתעה, הדבר נכון גם לגבי, למשל, בחירות בנות זמננו בארצות הברית. דוגמא עכשווית לכך היא מערכת הבחירות לנשיאות ארה"ב בשנת 2004. המקור העיקרי לבעיות הרבות שליוו מערכת בחירות זו היה חוסר השקיפות של שיטת ההצבעה. רוברט קנדי ג'וניור, לדוגמא, כותב במאמרו "האם נגנבו הבחירות ב 2004?" כי שמונים אלף קולות עבור קרי נספרו עבור בוש. אנו מאמינים כי המסקנה ברורה. אפילו אם מערכת הבחירות בארה"ב בשנת 2004 הייתה הוגנת, שיטת הבחירות כשלה, מכיוון שלא מספיק ששיטת ההצבעה עובדת נכון, חשוב לא פחות שכל אחד יכול להשתכנע שזה אכן המצב. בקצרה: מערכת הצבעה מודרנית צריכה להיות בעלת שקיפות מלאה. אנו בנינו את מערכת ההצבעה שלנו כדי להדגים רעיון זה.
איך אני יודעת שקולי נספר?
לאחר שאת מבצעת את בחירתך מודפס פתק ההצבעה. הפתק מכיל שני חלקים: הצבעתך בגלוי וההצבעה המוצפנת. החלק הגלוי מוטל מכוסה לקלפי, והחלק המוצפן מועלה לאתר איסוף הקולות וגם ניתן לך כקבלה. ביכולתך לוודא בכל שלב שההצבעה המוצפנת שהועלתה לאתר איסוף הקולות זהה לערך המודפס על הקבלה שבידיך.
איך אני יודעת שהקבלה שניתנה לי אכן מכילה את ההצפנה של ההצבעה שלי?
זוהי שאלה נפוצה ומאוד נכונה. התשובה לשאלה זו טמונה בתהליך הדפסת הפתק. לאחר שבחרת את המועמדים על מסך המגע, מודפס הפתק עם שני החלקים
1. חלק גלוי, שמכיל הדפסה גלויה של הצבעתך,
2. חלק מוצפן שמכיל הצפנה של הצבעה.
הסתכלות בפתק מוודאת שההצבעה בגלוי תואמת את בחירתך. באפשרותך גם לבחור לבדוק את הפתק. בדיקות אלו מוודאות שהמכונה תקינה והחלק המוצפן תואם לחלק המודפס בגלוי. מכונה שעוברת בדיקות אלו היא, בוודאות גבוהה, מכונה תקינה בה החלק המוצפן תואם לחלק הגלוי. לבסוף, באפשרותך לבדוק בכל שלב שהחלק המוצפן שהועלה לאתר איסוף הקולות זהה לקבלה שבידייך.
האם הקבלה יכולה לגלות את הצבעתי?
כדי לשמור על פרטיות ההצבעה המערכת משתמשת במערכת הצפנה בעלת מפתח ציבורי. כתוצאה מכך כל אחד יכול להצפין ערך, אבל רק מי שמחזיק במפתח הסודי של המערכת יכול לפענח ערך מוצפן. במערכת שלנו המפתח הסודי של מערכת ההצפנה נוצר ע"י קבוצה של נציגי ציבור (שיכולים להכיל, למשל, נציגי ממשלה, נציגי מפלגות פוליטיות, שופטים, אנשי ציבור ונציגי תנועות זכויות אזרח) שיכולים לפענח הצפנה אם ורק אם כולם משתפים פעולה. אנו מניחים שחלק מנציגי הציבור הוגנים, ולא יסכימו לפתיחת פתק הצבעה מוצפן שלא על פי הפרוטוקול. משום כך,הקבלה ו/או ההצבעה המוצפנת המועלת לאתר איסוף הקולות לא מגלה מהי ההצבעה עצמה.
איך המערכת מונעת הצבעות חוזרות?
אנו סומכים על וועדת הקלפי שנותנת רק לבוחרים רשומים שלא הצביעו עד כה להצביע.
אין לי שום רקע מתמטי. איך אני יכול לדעת שכל ההצבעות המוצפנות נספרות נכון?
קריפטוגרפיה נמצאת כיום בשימוש נרחב. כל אדם שמבין קריפטוגרפיה יכול לכתוב קוד פשוט שמוודא את תקינות המערכת. גם אם אתה עצמך חסר את הרקע לכתוב קוד שכזה, אתה עדיין יכול להשתתף בבדיקת המערכת ע"י הורדת קוד שכזה מגורם אמין בעינייך.
האם יש מערכות הצבעה אחרות שגם הם בעלות שקיפות מלאה?
בהחלט. התחום נחקר באופן אינטנסיבי במשך עשרות שנים וכיום קיימים מגוון פתרונות תיאורטיים לבעיה. חלק מהפרוטוקולים מומשו ו Scantegrity II גם הורצה ב Takoma park בבחירות ב November 2009. המערכת שלנו היא ורינט של המערכות הללו עם כמה תכונות ייחודיות כמו השימוש הכפול במערכת הצבעה אלקטרונית ומערכת הצבעה בנייר.