מערכת ההצבעה שלנו מבטיחה:
1. כל בוחר יכול לוודא שהצבעתו נקלטה נכון באתר איסוף הקולות,
2. כל הצבעה שמופיעה באתר איסוף הקולות נבחרה ע"י מצביע שהצביע רק פעם אחת,
3. כל אחד יכול לוודא שההצבעות באתר איסוף הקולות נספרו נכון.
מערכת הצבעה שמקיימת את התכונות הנ"ל נקראת שיטת הצבעה בעלת "שקיפות מלאה". במערכת הצבעה שכזו, אף אחד, כולל בעלי המערכת, לא יכולים לשנות את תוצאת הבחירות מבלי שהשינוי יתגלה. וומבט היא אחת ממספר מצומצם של מערכות הצבעה אלקטרוניות מודרניות שמקיימים תכונה זאת. כדי לראות מדוע, נעבור על התכונות אחת אחת.
1. כל בוחר יכול לוודא שהצבעתו נקלטה נכון באתר איסוף הקולות.
כזכור, כל פתק מורכב משני חלקים: חלק עליון שמכיל את ההצבעה בגלוי, וחלק תחתון שמכיל את ההצבעה מוצפנת. הבוחר יכול לראות בעיניו שההצבעה בגלוי תואמת את בחירתו. החשש שלנו הוא שמכונת הצבעה זדונית (או שגויה) מדפיסה בחלק המוצפן הצפנה של הצבעה אחרת.
נשים לב שאם הפתק שהודפס שגוי והבוחר יבחר לבדוק אותו אזי בבדיקה יתגלה שהפתק שגוי ומכונת ההצבעה אינה תקינה. יתרה מזאת, כאשר מכונת ההצבעה מדפיסה פתק היא אינה יודעת מראש האם הפתק ישמש להצבעה או יישלח לבדיקה. טיעון סטטיסטי פשוט מראה שמספיק לבחור באופן אקראי אחוז עד שניים מהפתקים לבדיקה כדי לזהות מכונת הצבעה זדונית (או שגויה). מסקנה שנובעת מכך היא שאם המכונה עברה בשלום את כל הבדיקות, אנו יכולים להניח במידה גבוהה של וודאות שהמכונה תקינה ומדפיסה פתקים בהם הבחירה בגלוי תואמת לבחירה בחלק המוצפן.
לסיכום, הביטחון שלנו שהפתקים המוצפנים מועלים נכון לאתר איסוף הקולות מושתת על:
1. הבוחר יכול לראות בעיניו שההצבעה בגלוי תואמת את בחירתו.
2. הבדיקות האקראיות של המכונה מבטיחים שהמכונה תקינה, ובחלק המוצפן של הפתק מופיעה הצפנה של הערך הגלוי בפתק.
3. הבוחר יכול לוודאת שהערך המוצפן שהועלה לאתר איסוף הקולות זהה לערך המוצפן המופיע בפתק ההצבעה (שניתן לו כקבלה).
2. כל הצבעה שמופיעה באתר איסוף הקולות נבחרה ע"י מצביע שהצביע רק פעם אחת.
כאן אנו סומכים על חברי וועדת הקלפי שהם מזהים כל בוחר ומוודאים שהוא לא הצביע קודם.
3. כל אחד יכול לוודא שההצבעות באתר איסוף הקולות נספרו נכון.
תהליך הספירה מורכב משני שלבים. בשלב הראשון מערבבים את כל הקולות המוצפנים ובשני פותחים את כל ההצפנות. כל אחד יכול לבדוק את תקינות השלב הראשון ע"י בדיקת ההוכחות הנלוות. כמו כן ברור שכל אחד יכול לחשב את תוצאות מערכת הבחירות לאחר פתיחת ההצפנות.
שקיפות מלאה
מערכת ההצבעה שלנו מבטיחה:
1. כל בוחר יכול לוודא שהצבעתו נקלטה נכון באתר איסוף הקולות,
2. כל הצבעה שמופיעה באתר איסוף הקולות נבחרה ע"י מצביע שהצביע רק פעם אחת,
3. כל אחד יכול לוודא שההצבעות באתר איסוף הקולות נספרו נכון.
מערכת הצבעה שמקיימת את התכונות הנ"ל נקראת שיטת הצבעה בעלת "שקיפות מלאה". במערכת הצבעה שכזו, אף אחד, כולל בעלי המערכת, לא יכולים לשנות את תוצאת הבחירות מבלי שהשינוי יתגלה. וומבט היא אחת ממספר מצומצם של מערכות הצבעה אלקטרוניות מודרניות שמקיימים תכונה זאת. כדי לראות מדוע, נעבור על התכונות אחת אחת.
1. כל בוחר יכול לוודא שהצבעתו נקלטה נכון באתר איסוף הקולות.
כזכור, כל פתק מורכב משני חלקים: חלק עליון שמכיל את ההצבעה בגלוי, וחלק תחתון שמכיל את ההצבעה מוצפנת. הבוחר יכול לראות בעיניו שההצבעה בגלוי תואמת את בחירתו. החשש שלנו הוא שמכונת הצבעה זדונית (או שגויה) מדפיסה בחלק המוצפן הצפנה של הצבעה אחרת.
נשים לב שאם הפתק שהודפס שגוי והבוחר יבחר לבדוק אותו אזי בבדיקה יתגלה שהפתק שגוי ומכונת ההצבעה אינה תקינה. יתרה מזאת, כאשר מכונת ההצבעה מדפיסה פתק היא אינה יודעת מראש האם הפתק ישמש להצבעה או יישלח לבדיקה. טיעון סטטיסטי פשוט מראה שמספיק לבחור באופן אקראי אחוז עד שניים מהפתקים לבדיקה כדי לזהות מכונת הצבעה זדונית (או שגויה). מסקנה שנובעת מכך היא שאם המכונה עברה בשלום את כל הבדיקות, אנו יכולים להניח במידה גבוהה של וודאות שהמכונה תקינה ומדפיסה פתקים בהם הבחירה בגלוי תואמת לבחירה בחלק המוצפן.
לסיכום, הביטחון שלנו שהפתקים המוצפנים מועלים נכון לאתר איסוף הקולות מושתת על:
1. הבוחר יכול לראות בעיניו שההצבעה בגלוי תואמת את בחירתו.
2. הבדיקות האקראיות של המכונה מבטיחים שהמכונה תקינה, ובחלק המוצפן של הפתק מופיעה הצפנה של הערך הגלוי בפתק.
3. הבוחר יכול לוודאת שהערך המוצפן שהועלה לאתר איסוף הקולות זהה לערך המוצפן המופיע בפתק ההצבעה (שניתן לו כקבלה).
2. כל הצבעה שמופיעה באתר איסוף הקולות נבחרה ע"י מצביע שהצביע רק פעם אחת.
כאן אנו סומכים על חברי וועדת הקלפי שהם מזהים כל בוחר ומוודאים שהוא לא הצביע קודם.
3. כל אחד יכול לוודא שההצבעות באתר איסוף הקולות נספרו נכון.
תהליך הספירה מורכב משני שלבים. בשלב הראשון מערבבים את כל הקולות המוצפנים ובשני פותחים את כל ההצפנות. כל אחד יכול לבדוק את תקינות השלב הראשון ע"י בדיקת ההוכחות הנלוות. כמו כן ברור שכל אחד יכול לחשב את תוצאות מערכת הבחירות לאחר פתיחת ההצפנות.