MultiBallot: Verifiable and privacy-preserving E-Collecting in the Swiss setting
تقترح هذه الورقة بروتوكولاً آمناً، يحافظ على الخصوصية، وقابلاً للتحقق لعمليات جمع التوقيعات الإلكترونية في سويسرا، وذلك عبر الاستفادة من الطبيعة المتوازية لعمليات الجمع النشطة المتعددة لضمان خصوصية المشاركة دون الحاجة إلى قناة مجهولة.
البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل
تخيل سويسرا كأنها ساحة بلدة ضخمة ومزدحمة، حيث يقترح الناس باستمرار قواعد جديدة أو تغييرات في كيفية إدارة البلدة. في هذه البلدة، لا ينتظر المواطنون مجرد يوم الانتخابات؛ بل يمكنهم بدء "حملة توقيعات" في أي وقت لفرض التصويت على قضية معينة. وإذا وقع عدد كافٍ من الناس، يتعين على البلدة بأكملاء التصويت عليها.
ما هي المشكلة؟ حالياً، تتم معظم حملات التوقيع هذه ورقياً. والورق بطيء، وسهل الفقدان، وأحياناً يحاول بعض الناس الغش بتزوير التوقيعات. يريد مؤلفا هذا البحث، فلوريان موزر وليو لويستيسيران، نقل هذه العملية إلى الإنترنت ولكن مع قاعدتين صارمتين للغاية:
- الخصوصية: لا ينبغي لأحد أن يعرف أي قضية تحديداً وقعت عليها.
- القابلية للتحقق: يجب أن تكون قادراً على إثبات أن توقيعك قد حُسب، ويجب أن تتمكن البلدة من إثبات أن المجموع النهائي صحيح.
إليك كيف يعمل حلهم، المسمى MultiBallot، مشروحاً عبر تشبيهات بسيطة.
المشكلة الكبرى: التوقيع "الصامت"
في الانتخابات العادية، تصوت بـ "نعم" أو "لا". إذا صوّتت بـ "نعم"، فمن الواضح أنك صوّتّ. لكن في حملة التوقيعات، أنت تصوت بـ "نعم" دائماً فقط. إذا وقعت على عريضة، فأنت تقول "أنا أدعم هذا".
الجزء الصعب هو أنه في سويسرا، تحدث العديد من حملات التوقيع في نفس الوقت. ربما تكون إحداها حول بناء حديقة جديدة، وأخرى حول خفض الضرائب، وثالثة حول تغيير ساعات المدرسة.
- الطريقة القديمة: إذا وقعت على عريضة "الحديقة"، فإن النظام يعرف أنك وقعت على عريضة "الحديقة". وإذا لم توقع على العرائض الأخرى، فإن النظام يعرف أنك لم توقع عليها. وهذا يسرب خصوصيتك.
- الطريقة الجديدة (MultiBallot): يعامل النظام جميع العرائض النشطة كأنها "قائمة طعام" واحدة ضخمة. عندما تتفاعل مع النظام، لا تختار عنصراً واحداً فحسب؛ بل تقوم بتحديث قائمة الطعام الخاصة بك بالكامل.
الخدعة الجوهرية: قناع "إعادة التشفير"
تخيل أن لديك صندوقاً مغلقاً لكل عريضة نشطة في البلاد.
- الحالة الافتراضية: كل صندوق مغلق ويحتوي على الرقم "0" (بمعنى "لم أوقع هذا بعد").
- الإجراء: عندما تريد التوقيع على عريضة "الحديقة"، لا تفتح ذلك الصندوق فحسب. بل تأخذ كل صندوق من صناديق القائمة وتستبدل محتوياته.
- بالنسبة لصندوق "الحديقة"، تستبدل الـ "0" بـ "1" (بمعنى "تم التوقيع!").
- بالنسبة لجميع الصناديق الأخرى (الضرائب، المدرسة، إلخ)، تأخذ الـ "0" الموجود، وتهز الصندوق (تعيد تشفيره)، ثم تعيده مكانه. بالنسبة لمراقب خارجي، يبدو الصندوق مختلفاً تماماً، لكنه لا يزال يحتوي على "0".
لما لماذا هذا رائع؟
لأنك قمت بتحديث كل صندوق في نفس الوقت، لا يستطيع المراقب الخارجي الذي ينظر إلى قائمتك معرفة أي صندوق قمت بتغييره إلى "1". سيرون فقط أنك قمت بتحديث قائمتك بالكامل. قد تكون وقعت على عريضة الحديقة، أو عريضة الضرائب، أو كليهما. بالنسبة لهم، يظل الأمر لغزاً. هكذا يخفون خصوصيتك دون الحاجة إلى نفق سري مجهول الهوية.
شبكة الأمان "ذات الجهازين"
للتأكد من عدم غش أحد، يستخدم النظام جهازين مختلفين لكل مواطن:
- جهاز المشاركة (هاتفك): هذا هو المكان الذي تضغط فيه فعلياً للتوقيع. أنت تثق في هذا الجهاز للحفاظ على سرك آمناً.
- جهاز التدقيق (جهاز لوحي أو كمبيوتر منفصل): هذا يشبه طابعة الإيصالات. بعد التوقيع، تتحقق من هذا الجهاز الثاني. يقوم بتحميل "الصناديق المغلقة" من السجل العام ويفتحها لك أنت فقط. يظهر لك: "نعم، لقد وقعت على عريضة الحديقة".
إذا حاول هاتفك الغش (على سبيل المثال، وقع على عريضة الضرائب لكنه أخبرك أنه وقع على عريضة الحديقة)، فإن جهاز التدقيق الخاص بك سيظهر لك الحقيقة. إذا اتفق الهاتف وجهاز التدقيق، فأنت تعلم أن توقيعك آمن ومحسوب.
"السجل العام" (لوحة الإعلانات)
تخيل سبورة سوداء ضخمة ذات جدران زجاجية في ساحة البلدة. في كل مرة يوقع فيها شخص ما على عريضة، يكتب تحديثه على هذه السبورة.
- الشفافية: يمكن لأي شخص النظر إلى اللوحة.
- الإثبات: يأتي كل تحديث مع "ختم رياضي" (برهان المعرفة الصفرية - Zero-Knowledge Proof). يثبت هذا الختم أنك "أجريت الحسابات بشكل صحيح"، دون الكشف عن ماهية تلك الحسابات.
- لا مسح: بمجرد كتابة شيء ما على هذه اللوحة، لا يمكن مسحه أو تغييره. وهذا يمنع الاحتيال.
التعامل مع "فوضى الواقع"
يعرف المؤلفون أن الحياة ليست مثالية. الناس ينتقلون، أو يبلغون سن الثامنة عشرة، أو يموتون.
- قائمة الأهلية: هناك "قائمة حضور" موثوقة (مثل سجل الناخبين) يتم تحديثها باستمرار لتحديد من يُسمح له بالتوقيع. إذا انتقلت إلى بلدة جديدة، يقوم النظام تلقائياً بتحديث إذنك للتوقيع على العرائض المحلية.
- الورقي + الرقمي: تم تصميم النظام ليعمل حتى لو وقع بعض الأشخاص ورقياً وآخرون رقمياً. تُعامل التوقيعات "الورقية" تماماً مثل الرقمية، حيث تدخل في نفس نظام الصنودق المغلقة ليتم احتسابها بشكل عادل جنباً إلى جنب مع الأصوات الرقمية.
النتيجة
يدعي البحث أن MultiBallot يحقق سيناريو "أفضل ما في العالمين":
- الخصوصية: إنه يخفي أي عريضة وقعت عليها من خلال إخفائها بين جميع العرائض النشطة الأخرى.
- القابلية للتحقق: يسمح لك بإثبات أن توقيعك قد حُسب، ويسمح للجمهور بإثبات أن المجموع النهائي دقيق.
- الواقعية: لا يتطلب تقنيات مستحيلة (مثل أنفاق الإنترنت المجهولة السحرية) ويتناسب مع الإطار القانوني السويسري حيث تجري العديد من حملات التوقيع في آن واحد.
باختصار، إنه يحول كومة فوضوية من حملات التوقيع إلى عملية رقمية آمنة وشفافة وخاصة، حيث تُحسب الـ "نعم" الخاصة بك، ولكن تظل الـ "نعم" المحددة الخاصة بك سراً لك.
غارق في أبحاث مجالك؟
تصلك نشرة يومية بأحدث الأبحاث المطابقة لكلماتك البحثية المفتاحية — مع ملخصات تقنية، بلغتك.