في عملية إنشاء أنظمة التصويت الإلكترونية ، من الضروري استخدام التدقيق الموازي. هذا مثل هذا التناظرية للمراقبين في الانتخابات العادية.
هناك عدة طرق لتنظيم التدقيق الموازي:
- باستخدام التشفير
- باستخدام تأكيد ورقة
- باستخدام التحكم الصوتي
- أو حتى تقنية التسجيل المزدوج (على الوسائط الإلكترونية والورق).
البروفيسور ريبيكا ميركوري ، مبتكر مفهوم VVPAT (التدقيق على أوراق الاقتراع المعتمد من قبل الناخبين) ، يبرر فعالية طباعة ورقة الاقتراع لمزيد من التأكيد من قبل الناخب قبل العد النهائي (فيما بعد تسمى هذه الطريقة "طريقة الزئبق"). للتأكيد في النهاية ، يجب تأكيد التصويت من قبل الناخب دون استخدام وسائل بصرية أو سمعية. على سبيل المثال ، إذا كان الناخب يستخدم ماسح الباركود لتأكيد اختياره ، فلا يمكن اعتبار هذا الصوت مؤكدًا ، لأنه في الواقع ليس الناخب هو الذي يؤكد ذلك ، ولكنه جهاز إلكتروني.
تمنح أنظمة الاقتراع التمريري إيصالات موقعة يمكن نقلها إلى الوطن. لا تسمح لك هذه الإيصالات بمعرفة كيفية تصويت الناخب بدقة ، لكنها تتيح لك التحقق من فرز الأصوات ، لمعرفة إجمالي عدد الأصوات ونتائج التصويت.
في أنظمة التصويت الإلكترونية ، يمكن أن يكون هذا هو المعرف الفريد العمومي (GUID) ، من خلال إدخال أي حساب في الحساب الشخصي يمكن للناخب التحقق من من صوته. أو مفتاح خاص تم إنشاؤه ، وربما حتى لمرة واحدة ، بمساعدة الناخب يمكنه فك تشفير صوت البومة فقط.
يمكن أيضًا استخدام أنظمة التدقيق للكشف عن مشاكل المعدات والاحتيال. في حالة استخدام نظام VVPAT ، فإن الاقتراع الورقي هو المستند الرئيسي ، ويتم استخدام الأصوات الإلكترونية فقط للحساب الأولي. من أجل التدقيق الناجح لجهاز التصويت ، هناك حاجة إلى سلسلة كاملة من الأحداث ، والتي تم تطويرها ووصفها والمراقبون الدوليون هم الذين يراقبون تنفيذها (على الرغم من أن هذا ليس فقط).
في الانتخابات الحالية ، جرت مراجعة موازية عن طريق طباعة البيانات من قائمة الانتظار على الخادم قبل الكتابة إلى blockchain ، أي أنها بدأت من قبل سلطة مركزية ولم يكن لدى المستخدم الفرصة للتحقق مما إذا كان قد تم حساب تصويته ، وتم تعطيل القدرة على عرض نتائج التصويت والتحكم سواء تم أخذ صوته في الاعتبار بشكل صحيح ، فإن الناخبين لم يؤكدوا تصويتهم دون استخدام الوسائل الإلكترونية.
يبدو مخططنا المستعاد كما يلي (التعليقات والاقتراحات مرحب بها):
- واجهة المستخدم وأشكال النشرة الإخبارية
- المجهول (الموجود على الجانب DIT) في الكود على جيثب كان غائبا
- مولد النشرة الإخبارية
- نقل البيانات للمراجعة المتوازية (النقل من خادم DIT ، قبل أن تدخل البيانات في الرؤوس الحربية):
4.1.المراقبون المثبتة في PECs
4.2 طباعة البيانات على شريط (مطبوع) - من صوت - تسجيل البيانات في الرؤوس الحربية
5.1. يتم طباعة الشريط الثاني المطبوع أثناء التصويت
وبالتالي ، يمكننا القول أن التدقيق من البداية إلى النهاية لم يتم تنفيذه بالفعل. علاوة على ذلك ، فإن استخدام الطابعات لتكرار البيانات المشفرة من قائمة الانتظار على خادم DIT يترك إمكانية لمسؤولي نظام EG لمقارنة نتيجة التصويت والناخب.
يجب تقديم توضيح هنا: تدعي DIT أنه كان هناك تأخير زمني على الخادم ، والذي تم تصميمه لتقليل إمكانية مطابقة بيانات الناخب (ملف تعريف على بوابة mos.ru) إلى الحد الأدنى أو نتيجة تصويته. ومع ذلك ، في أثناء الدراسة ، اعتبرنا أن هذا التأخير لم يكن كبيرًا بما فيه الكفاية ويترك ، وإن كان احتمالًا ضئيلًا ملموسًا لمقارنة البيانات قبل الكتابة إلى blockchain.
يعتمد Entropy على الوقت بدقة ثانية وإحداثيات النقر بالماوس.
userEntropy = Math.floor( (e.clientX + e.clientY) * (Math.floor(new Date() / 1000)) );
انقر فوق إحداثيات دائمًا في مكان ما في منطقة الزر المقابل. حتى لو أخذنا في الاعتبار أنه يمكن فك ترميز الصفحة لأعلى ولأسفل وسوف يتحول الزر عموديًا ، إلا أنه لا يزال مساحة 1000 × 200 بكسل على سبيل المثال. من السهل تحديد دقة الوقت بالنسبة للثاني ، كما نعلم عند تصويت شخص ما. لم يتم إلغاء تسجيل إجراءات المستخدم وإرسال الأصوات. وبالتالي ، يمكن تخفيضها إلى عدة مئات من القيم الممكنة.
حتى إذا ، على سبيل المثال ، لا نعرف وقت تصويت المستخدم i ، فإن التصويت الكامل يدوم 12 * 3600 = 433200 ثانية. المجموع الكلي 1000x200x43200 ~ 8.5 مليار دولار. على كمبيوتر محمول بسيط ، يمكنك فرز القيم المحتملة لكل مستخدم في بضع عشرات من الدقائق.
نغير الكمبيوتر المحمول إلى الخادم و gpu ونحصل على السحر الذي يقلل من إنتروبيا إلى 0.
لذلك ، يمكننا القول أن مسؤولي بوابة DEG ، إذا كانوا مهتمين ، يمكنهم بسهولة مقارنة بيانات الناخبين بنتيجة تصويته.
أوكسانا. منسق المجموعة الفنية.