التصويت القابل للتدقيق من البداية إلى النهاية

تُعدّ أنظمة التصويت القابلة للتدقيق من البداية إلى النهاية، أو أنظمة التحقق من صحة التصويت من البداية إلى النهاية ( E2E )، أنظمة تصويت تتميز بخصائص نزاهة صارمة ومقاومة عالية للتلاعب . تستخدم هذه الأنظمة تقنيات التشفير لتزويد الناخبين بإيصالات تُمكّنهم من التحقق من احتساب أصواتهم، دون الكشف عن المرشحين الذين دعمهم الناخب لأي جهة خارجية. ولذلك، تُسمى هذه الأنظمة أحيانًا بالأنظمة القائمة على الإيصالات . ^{[ 1 ]}

تصل أنظمة التصويت الإلكترونية إلى إجمالي الأصوات النهائية من خلال سلسلة من الخطوات:

1. يدلي الناخبون بأصواتهم إما إلكترونياً أو يدوياً،
2. يتم جمع سجلات الأصوات المدلى بها لحساب الإجمالي،
3. في حالة إجراء الانتخابات محلياً ، كما هو الحال على مستوى الدائرة الانتخابية أو المقاطعة، يتم دمج النتائج من كل مستوى لإنتاج الحصيلة النهائية.

تركز الأساليب التقليدية لضمان نزاهة الانتخابات على ضمان أمن كل خطوة على حدة، بدءًا من نية الناخب وصولًا إلى النتيجة النهائية. وقد تراجعت شعبية هذه الأساليب عمومًا بين مصممي الأنظمة الموزعة ، إذ قد تغفل هذه التركيزات المحلية بعض الثغرات الأمنية بينما تبالغ في حماية أخرى. والبديل هو استخدام تدابير شاملة مصممة لإثبات سلامة السلسلة بأكملها. ^{[ 2 ]}

غالبًا ما تتضمن التغطية الشاملة لنزاهة الانتخابات مراحل متعددة. يُتوقع من الناخبين التحقق من أنهم قد وضعوا علاماتهم على أوراق الاقتراع كما هو مُراد، وتُستخدم عمليات إعادة الفرز أو التدقيق لحماية هذه المرحلة، بدءًا من وضع العلامات على أوراق الاقتراع وصولًا إلى إجمالي الأصوات في صناديق الاقتراع، كما أن نشر جميع المجاميع الفرعية يسمح بالتحقق العام من أن المجاميع الإجمالية تُمثل مجموع الأصوات في صناديق الاقتراع بشكل صحيح. ^{[ 3 ]} لا تفي أنظمة التصويت التقليدية بهذا المعيار، وبالتالي لا يمكنها إثبات عدم التلاعب بالأصوات بشكل قاطع في أي مرحلة؛ إذ يتعين على الناخبين والمدققين التحقق من أن كل خطوة على حدة آمنة تمامًا، وهو ما قد يكون صعبًا ويُؤدي إلى العديد من نقاط الضعف . ^{[ 4 ]}

بينما تقيس إجراءات مثل سجلات التدقيق الورقية التي يتحقق منها الناخبون وإعادة الفرز اليدوي فعالية بعض الخطوات، إلا أنها لا توفر سوى قياس ضعيف لنزاهة صناديق الاقتراع، سواءً كانت مادية أو إلكترونية. إذ يمكن إزالة أوراق الاقتراع أو استبدالها أو إضافة علامات إليها دون اكتشاف ذلك (أي لملء المقاعد التي لم تحصل على أصوات كافية بأصوات مرشح مرغوب فيه، أو للتصويت بأكثر من اللازم وإبطال أصوات مرشحين غير مرغوب فيهم). وقد حفّز هذا القصور تطوير أنظمة تصويت قابلة للتدقيق من البداية إلى النهاية. وتسعى هذه الأنظمة إلى تغطية المسار الكامل من محاولة الناخب إلى إجمالي نتائج الانتخابات باستخدام إجراءين فقط:

• إمكانية التحقق الفردي، والتي بموجبها يمكن لأي ناخب التأكد من إدراج بطاقة اقتراعه بشكل صحيح في صندوق الاقتراع الإلكتروني، و
• إمكانية التحقق الشاملة، والتي من خلالها يمكن لأي شخص تحديد أن جميع أوراق الاقتراع في الصندوق قد تم عدها بشكل صحيح.

نظراً لأهمية الحق في الاقتراع السري ، فإن معظم أنظمة التصويت من البداية إلى النهاية تحاول أيضاً تلبية شرط ثالث يسمى عدم وجود إيصالات :

• لا يستطيع أي ناخب إثبات كيفية تصويته لأي طرف ثالث.

كان يُعتقد في البداية أن الجمع بين هاتين الخاصيتين أمرٌ مستحيل. ^{[ 5 ]} إلا أن الأبحاث اللاحقة أظهرت إمكانية وجودهما معًا. ^{[ 6 ]} وقد جُمِعتا في المبادئ التوجيهية لنظام التصويت الطوعي لعام 2005 الصادرة عن لجنة مساعدة الانتخابات . ^{[ 7 ]} ويُعد هذا التعريف شائعًا أيضًا في الأدبيات الأكاديمية. ^{[ 8 ] [ 9 ] [ 10 ] [ 11 ]}

ولمعالجة مشكلة تزوير الأصوات ، يمكن اعتماد إجراء للتحقق من الأهلية، والذي بموجبه يمكن لأي شخص تحديد أن جميع الأصوات التي تم فرزها قد أدلى بها ناخبون مسجلون.

بدلاً من ذلك، يمكن التحقق من الادعاءات المتعلقة بتزوير الاقتراع خارجياً من خلال مقارنة عدد أوراق الاقتراع الموجودة مع عدد الناخبين المسجلين الذين تم تسجيلهم على أنهم قد أدلوا بأصواتهم، ومن خلال تدقيق جوانب أخرى من نظام التسجيل وتسليم أوراق الاقتراع.

يعتبر العديد من الخبراء دعم إمكانية التدقيق من البداية إلى النهاية، استناداً إلى الخبرة السابقة في استخدامها مع الانتخابات الحضورية، شرطاً أساسياً للتصويت عن بعد عبر الإنترنت . ^{[ 12 ]}

في عام ٢٠٠٤، اقترح ديفيد تشاوم حلاً يسمح لكل ناخب بالتحقق من صحة تصويته ودقة فرز الأصوات باستخدام التشفير المرئي . ^{[ ١٣ ]} بعد أن يختار الناخب مرشحيه، تطبع آلة التصويت نسخة مُنسقة خصيصًا من ورقة الاقتراع على شريحتين شفافتين. عند تكديس الشريحتين، تظهر ورقة الاقتراع المقروءة. مع ذلك، تُشفّر كل شريحة بنوع من التشفير المرئي بحيث لا تكشف أي معلومات إلا بعد فك تشفيرها. يختار الناخب شريحة واحدة لإتلافها في مركز الاقتراع. تحتفظ آلة التصويت بنسخة إلكترونية من الشريحة الأخرى، وتُعطي النسخة الورقية كإيصال ليتمكن الناخب من التأكد من عدم تغيير ورقة الاقتراع الإلكترونية لاحقًا. يكشف النظام أي تغييرات في ورقة اقتراع الناخب، ويستخدم إجراء فك تشفير الشبكة المختلطة ^{[ ١٤ ]} للتحقق من دقة فرز كل صوت. أشار ساستري وكارلوف وواغنر إلى وجود مشكلات في كل من حلول التشفير الخاصة بتشاوم و VoteHere . ^{[ 15 ]}

قام فريق تشاوم لاحقًا بتطوير نظام بانش سكان ، الذي يتمتع بخصائص أمنية أقوى ويستخدم أوراق اقتراع ورقية أبسط. ^{[ 16 ]} يتم التصويت على أوراق الاقتراع الورقية، ثم يتم مسح جزء منها، مع الحفاظ على الخصوصية، بواسطة ماسح ضوئي.

يستخدم نظام " بريت آ فوتر" ، الذي ابتكره بيتر رايان، ترتيبًا عشوائيًا للمرشحين وشبكة مزج تقليدية . وكما هو الحال في نظام "بانش سكان"، تُجرى الأصوات على أوراق اقتراع ورقية، ويتم مسح جزء من ورقة الاقتراع ضوئيًا.

يستخدم نظام "الخدش والتصويت"، الذي ابتكره بن أديدا، سطحًا قابلًا للخدش لإخفاء معلومات مشفرة يمكن استخدامها للتحقق من صحة طباعة ورقة الاقتراع. ^{[ 17 ]}

صُمم بروتوكول التصويت "ثري بولت" ، الذي ابتكره رون ريفست ، لتوفير بعض مزايا نظام التصويت المشفر دون استخدام التشفير. ويمكن من حيث المبدأ تنفيذه ورقياً، على الرغم من أن النسخة المعروضة تتطلب مُدقِّقاً إلكترونياً.

يُوفر نظاما Scantegrity و Scantegrity II خصائص شاملة. وبدلاً من استبدال نظام التصويت بالكامل، كما هو الحال في الأمثلة السابقة، يعمل النظامان كإضافة لأنظمة التصويت الضوئية الحالية، حيث يُنتجان أوراق اقتراع ورقية تقليدية قابلة للتحقق من قبل الناخب، ومناسبة لعمليات التدقيق التي تُقلل المخاطر . يستخدم نظام Scantegrity II حبرًا غير مرئي ، وقد طُوّر بواسطة فريق ضمّ كلاً من تشاوم وريفست وريان.

تم تصميم نظام STAR-Vote ^{[ 18 ]} لمقاطعة ترافيس، خامس أكبر مقاطعات تكساس من حيث عدد السكان، وموطن عاصمة الولاية، أوستن. ^{[ 19 ]} وقد أوضح هذا النظام طريقة أخرى لدمج نظام شامل مع بطاقات اقتراع ورقية قابلة للتدقيق بالطرق التقليدية، والتي يتم إنتاجها في هذه الحالة بواسطة جهاز تعليم بطاقات الاقتراع . ^{[ 20 ]} أصدر المشروع مواصفات تفصيلية وطلب عروض في عام 2016، وتم استلام عروض لجميع المكونات، ولكن لم يكن أي من المقاولين الحاليين الحاصلين على شهادة تصويت من لجنة مساعدة الانتخابات (EAC) على استعداد لتكييف نظامه للعمل مع مكونات التشفير مفتوحة المصدر الجديدة، كما هو مطلوب في طلب العروض. ^{[ 21 ] [ 22 ]}

استنادًا إلى تجربة نظام التصويت STAR-Vote، قاد جوش بينالوه من مايكروسوفت تصميم وتطوير ElectionGuard، وهي حزمة برمجية يمكن دمجها مع أنظمة التصويت الحالية لإضافة دعم التشفير التام بين الأطراف (E2E). يقوم نظام التصويت بتفسير خيارات الناخب، وتخزينها لمزيد من المعالجة، ثم يستدعي ElectionGuard الذي يقوم بتشفير هذه التفسيرات وطباعة إيصال للناخب. يحتوي الإيصال على رقم يُطابق التفسير المُشفّر. يمكن للناخب بعد ذلك رفض ورقة الاقتراع ( إبطالها )، والتصويت مرة أخرى. لاحقًا، يمكن لجهات مستقلة، مثل الأحزاب السياسية، الحصول على ملف أوراق الاقتراع المشفرة والمرقمة وجمع نتائج مختلف المنافسات في الملف المُشفّر لمعرفة ما إذا كانت تُطابق إجمالي نتائج الانتخابات. يمكن للناخب الاستفسار من هذه الجهات المستقلة عما إذا كان الرقم (أو الأرقام) الموجود على إيصال (أو إيصالات) الناخب موجودًا في الملف. إذا تحقق عدد كافٍ من الناخبين من وجود أرقامهم في الملف، فسيكتشفون ما إذا كانت هناك أوراق اقتراع مفقودة. يمكن للناخبين الحصول على محتويات أوراق اقتراعهم التالفة بعد فك تشفيرها، لتحديد ما إذا كانت تطابق بدقة ما يتذكره الناخب من تلك الأوراق. ولا يمكن للناخب الحصول على نسخ مفككة التشفير من أوراق الاقتراع التي أدلى بها، وذلك لمنع بيع الأصوات. إذا قام عدد كافٍ من الناخبين بفحص أوراق الاقتراع التالفة، فسيكشف ذلك عن أخطاء في التشفير. ^{[ 23 ] [ 24 ]} لا يكشف نظام ElectionGuard عن حشو أوراق الاقتراع، والذي يجب اكتشافه من خلال السجلات التقليدية. كما أنه لا يكشف عن الأشخاص الذين يزوّرون الإيصالات، مدّعين أن ورقة اقتراعهم مفقودة أو تم تفسيرها بشكل خاطئ. سيحتاج مسؤولو الانتخابات إلى تحديد كيفية تتبع الأخطاء المزعومة، وعددها اللازم لبدء تحقيق، وكيفية إجراء التحقيق، وكيفية التعافي من الأخطاء. قد لا يمنح قانون الولاية الموظفين أي سلطة لاتخاذ إجراء. ^{[ 24 ]} لا يقوم نظام ElectionGuard بحساب الأصوات المكتوبة بخط اليد، إلا كمجموع غير مُصنّف. وهو غير متوافق مع الأصوات الزائدة . ^{[ 23 ] [ 24 ] [ 25 ]}

استخدمت مدينة تاكوما بارك بولاية ماريلاند برنامج سكانتيغريتي 2 في انتخابات المدينة لعامي 2009 و2011. ^{[ 26 ] [ 27 ]}

يُستخدم نظام هيليوس منذ عام 2009 من قبل العديد من المنظمات والجامعات لإجراء الانتخابات العامة، وانتخابات مجالس الإدارة، وانتخابات مجالس الطلاب. ^{[ 28 ] [ 29 ]}

تم استخدام نظام التصويت "وومبات" في انتخابات مجلس الطلاب في كلية الأبحاث الخاصة " مركز هرتسليا متعدد التخصصات" في عامي 2011 و2012، ^{[ 30 ] [ 31 ]} وكذلك في الانتخابات التمهيدية لحزب ميرتس السياسي الإسرائيلي في عام 2012. ^{[ 32 ]}

تم استخدام نسخة معدلة من برنامج Prêt à Voter كجزء من نظام التصويت الإلكتروني vVote في مراكز الاقتراع في انتخابات ولاية فيكتوريا لعام 2014 في أستراليا. ^{[ 33 ]}

تم دمج نظام ElectionGuard مع نظام تصويت من VotingWorks واستُخدم في الانتخابات التمهيدية الربيعية في فولتون، ويسكونسن في 18 فبراير 2020. ^{[ 34 ]}

تم تجربة نظام التصويت الإلكتروني المباشر (DRE-ip) القائم على شاشة اللمس في مركز اقتراع في غيتسهيد بتاريخ 2 مايو 2019، كجزء من الانتخابات المحلية لعام 2019 في المملكة المتحدة . ^{[ 35 ] [ 36 ]} كما تم استخدام نظام DRE-ip قائم على متصفح الإنترنت في تجربة تصويت إلكتروني في أكتوبر 2022 بين سكان نيو تاون ، كولكاتا ، الهند، خلال احتفالات مهرجان دورجا بوجا لعام 2022. ^{[ 37 ]}

• ADDER ^{[ 38 ]}
• هيليوس ^{[ 39 ]}
• جاهز للتصويت
• مسح ضوئي للثقوب
• سكانتيغريتي
• التصويت باستخدام حيوان الوومبات ^{[ 40 ]}
• ثلاث أصوات
• التصويت في لعبة البنغو
• تبادل الأسرار المتماثلة
• DRE-i ^{[ 41 ]} (التصويت الإلكتروني القابل للتحقق من E2E بدون سلطات فرز الأصوات بناءً على الحساب المسبق)
• DRE-ip ^{[ 42 ]} (التصويت الإلكتروني القابل للتحقق من E2E بدون سلطات فرز الأصوات بناءً على الحساب في الوقت الفعلي)
• إليكتا ^{[ 43 ] [ 44 ] [ 45 ] [ 46 ]}

• التحقق من صحة الانتخابات باستخدام التشفير - فيديو لمحاضرة بن أديدا التقنية التي استمرت 90 دقيقة
• هيليوس: نظام تصويت مفتوح التدقيق عبر الإنترنت - ملف PDF يصف موقع هيليوس الإلكتروني الخاص ببن أديدا
• موقع نظام التصويت هيليوس
• نظام تصويت بسيط قابل للتدقيق ومجهول الهوية
• دراسة حول أنظمة التصويت والتحقق في مراكز الاقتراع - مراجعة لأنظمة التصويت الإلكتروني الحالية وأنظمة التحقق الخاصة بها في البيئات الخاضعة للإشراف.

• مقال نُشر عام 2020 في مختبر الإعلام بمعهد ماساتشوستس للتكنولوجيا حول أنظمة التصويت القابلة للتحقق من طرف إلى طرف، ويتضمن مناقشة حول تقنية البلوك تشين.
• اقتراع سري للغاية - مقال من مجلة الإيكونوميست