Audit-or-Cast: Enforcing Honest Elections with Privacy-Preserving Public Verification
تقدم هذه الورقة بروتوكول ACE، وهو بروتوكول تصويت مبتكر يحقق قابلية التحقق من الطرف إلى الطرف، وإخفاء المجموع علنًا، وعدم القابلية للاستلام القوية تحت افتراضات العميل غير الموثوق من خلال الجمع بين آلية تجميع تحافظ على الخصوصية وتحدي "التدقيق أو التصويت" وإعادة العشوائية من جانب جامع الأصوات.
البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل
تخيل أنك جزء من تصويت حاشد في أحد الأحياء لتقرير مكان بناء حديقة جديدة. لديك ثلاثة مخاوف كبيرة:
- الخصوصية: لا تريد لجارك أن يعرف أنك صوتت لـ "حديقة الكلاب" بدلاً من "أرجوحة الأطفال".
- النزاهة: لا تريد للشخص الذي يقوم بفرز الأصوات أن يغير الأرقام سراً.
- الإكراه: لا تريد لمتنمر أن يجبرك على التصويت بطريقة معينة ثم يطالب برؤية "إيصالك" كدليل على ذلك.
لفترة طويلة، اعتقد علماء الكمبيوتر أنه لا يمكنك الحصول إلا على اثنين فقط من هذه الثلاثة. فإذا أردت إثبات أن عملية العد كانت نزيهة، كان عليك عادةً الكشف عن كيفية تصويت الناس. وإذا أردت إخفاء الأصوات، فغالباً ما كان عليك الوثوق بالأشخاص الذين يقومون بالعد بشكل أعمى.
تقدم هذه الورقة البحثية نظام ACE (انتخابات التدقيق أو الإدلاء بالصوت - Audit-or-Cast Election)، وهو نظام تصويت رقمي جديد يحل هذا اللغز. فكر فيه كأنه "كشك تصويت سحري" يضمن تحقيق الأشياء الثلاثة معاً.
إليك كيف يعمل، باستخدام تشبيهات بسيطة:
1. "المظروف الأعمى" (الخصوصية والمسؤولون عن العد)
تخيل أنك تكتب صوتك على ورقة. وبدلاً من وضعها في صندوق، تضعها في مظروف سحري مغلق برمز خاص.
- المشكلة: إذا أعطيت هذا المظروف لمسؤولي عد الأصوات (المسؤولين عن العد)، فقد يتلصصون بداخله أو يستبدلون ورقتك بورقة أخرى.
- حل ACE: قبل أن يرى المسؤولون عن العد مظروفك، يضعونه داخل مظروف سحري آخر ويقومون بهزه. وهذا ما يسمى إعادة العشوائية (Re-randomization).
- الأمر يشبه أخذ مظروفك المختوم، ووضعه في حقيبة معتمة ضخمة، وهز الحقيبة بقوة بحيث حتى لو فتح المسؤول عن العد الحقيبة لاحقاً، فلن يتمكن من معرفة أي مظروف كان يخصك.
- بسبب هذا الهز، حتى لو تواطأ جميع المسؤولين عن العد (عملوا معاً)، فلا يمكنهم ربط صوت محدد بك. إنه أمر مستحيل رياضياً.
2. لعبة "التدقيق أو الإدلاء بالصوت" (النزاهة)
هذا هو الجزء الأكثر ذكاءً. النظام يجبر المسؤولين عن العد على لعب لعبة "أمسك بي إن استطعت" معك، أنت الناخب.
- الإعداد: تقدم صوتك. يضع المسؤولون عن العد صوتك في ذلك "الكيس المهزوز" (إعادة العشوائية) وينشرون النتيجة على لوحة إعلانات عامة (مثل لوحة إعلانات في ساحة البلدة).
- الخيار: الآن، عليك اتخاذ قرار. يمكنك إما التدقيق (Audit) أو الإدلاء بالصوت (Cast).
- الخيار (أ): التدقيق (التحقق): تقول: "أريد التحقق مما إذا كنتم صادقين أم لا". يجب على المسؤولين عن العد حينها أن يروك "مفتاح إلغاء الهز" لإثبات أنهم لم يستبدلوا صوتك.
- العقبة: إذا اخترت "التدقيق"، يتم استبعاد صوتك. لا يُحتسب. عليك البدء من جديد بصوت جديد.
- لماذا ينجح هذا: المسؤولون عن العد لا يعرفون ما إذا كنت ستختار "التدقيق" أم "الإدلاء بالصوت". إذا حاولوا الغش (استبدال صوتك)، وحدث أن اخترت أنت "التدقيق"، فسيتم كشفهم فوراً. أما إذا غشوا واخترت أنت "الإدلاء بالصوت"، فسينجحون في غشهم هذه المرة، لكن لا يمكنهم الغش في كل مرة لأنك قد تختار "التدقيق" في المرة القادمة.
- الخيار (ب): الإدلاء بالصوت (التصويت): تقول: "أنا أثق بكم، احسبوا صوتي". تعطي لهم المفتاح النهائي لفتح المظروف.
- بمجرد أن تقول "إدلاء بالصوت"، يصبح الصوت مغلقاً للأبد. لا يمكنك تغييره، ولا يمكنك إثبات ما صوّت به لأي شخص آخر (كما سنوضح أدناه).
- الخيار (أ): التدقيق (التحقق): تقول: "أريد التحقق مما إذا كنتم صادقين أم لا". يجب على المسؤولين عن العد حينها أن يروك "مفتاح إلغاء الهز" لإثبات أنهم لم يستبدلوا صوتك.
التشبيه: تخيل أن ساحراً يطلب منك اختيار بطاقة. يقول: "سأضع بطاقتك في صندوق. يمكنك إما أن تطلب مني فتح الصندوق لتثبت أنني لم أستبدلها (ولكن في هذه الحالة سأرمي البطاقة)، أو تقول 'احتفظ بها' لتُحتسب".
بما أن الساحر لا يعرف أي خيار ستتخذه، فإنه يرتعب من فكرة استبدال البطاقة. لأنه إذا استبدل البطاقة واخترت أنت "التدقيق"، فسيتم كشفه. لذا، فهو يحافظ على بطاقتك بأمان.
3. "الإيصال غير القابل للتحقق" (منع الإكراه)
هذا هو "الكأس المقدسة" في عمليات التصويت.
- المشكلة: في العديد من الأنظمة، إذا قال لك متنمر: "صوّت للمرشح (س)، وإلا سأؤذيك"، يمكنك التصويت لـ (س)، ثم تأخذ صورة لإيصالك الرقمي وتريها للمتنمر.
- حل ACE: لأن "الهز" (إعادة العشوائية) المذكور سابقاً قد حدث، فإن إيصالك يصبح بلا فائدة.
- حتى لو أريت المتنمر "إيصالك" (المظروف الأصلي)، فإن السجل العام يظهر نسخة مختلفة تماماً ومبعثرة.
- لا يمكن للمتنمر إثبات أن إيصالك يطابق السجل العام لأن "مفتاح الهز" كان بحوزة المسؤولين عن العد، وليس بحوزتك.
- يمكنك أن تقول للمتنمر: "لقد صوّت للمرشح (ص)"، وتظهر له إيصالاً مزيفاً يبدو حقيقياً تماماً مثل الحقيقي. ليس لدى المتنمر أي وسيلة للتحقق من صدقك. وهذا يوقف بيع الأصوات والإكراه.
4. "السجل العام" (الشفافية)
أخيراً، تخيل سبورة رقمية ضخمة غير قابلة للتغيير (لوحة الإعلانات العامة) في ساحة البلدة.
- في كل مرة يتم فيها الإدلاء بصوت، يتم نشر لغز رياضي هناك.
- يمكن لأي شخص (جار، صحفي، كمبيوتر) النظر إلى اللوحة والتحقق من الرياضيات لضمان حساب الفائز النهائي بشكل صحيح.
- يمكنهم القيام بذلك دون رؤية من صوت لصالح ماذا. الأمر يشبه التحقق من النتيجة النهائية لمباراة كرة قدم دون الحاجة لرؤية وجوه اللاعبين.
الملخص: لماذا يعد هذا أمراً هاماً؟
الأنظمة السابقة كانت تشبه الثقة العمياء (نحن نثق في عُدّاد الأصوات) أو التسريب العلني (نحن نظهر للجميع كيف صوّتَّ لإثبات نزاهة الأمر).
ACE يشبه لعبة آمنة ذاتية الرقابة.
- أنت تحصل على فرصة للتدقيق في المسؤولين عن العد باستمرار (التدقيق).
- المسؤولون عن العد مجبرون على النزاهة لأنهم لا يعرفون متى ستتحقق من الأمر.
- خصوصيتك محمية بالرياضيات التي تجعل صوتك غير قابل للتتبع.
- النتيجة يمكن التحقق منها من قبل أي شخص، مما يضمن أن الفائز هو الفائز الحقيقي.
إنه نظام لا يتعين عليك فيه الوثوق بالأشخاص الذين يديرون الانتخابات؛ بل عليك فقط الوثوق بالرياضيات وقواعد اللعبة.
غارق في أبحاث مجالك؟
تصلك نشرة يومية بأحدث الأبحاث المطابقة لكلماتك البحثية المفتاحية — مع ملخصات تقنية، بلغتك.