إصدار تمهيدي · تصميم خضع لمراجعة المصدر
تشفير بحدود واضحة.
تعرّف إلى مكونات تشفير بطاقات الاقتراع والأمناء المنفذة في SEVA وأعمال التحقق المطلوبة قبل الاستخدام الانتخابي.
يتضمن SEVA مكونات لبطاقات اقتراع مشفرة وفرز تديره مجموعة أمناء. نجاح مكوّن منفرد لا يكفي؛ فما زال البروتوكول الكامل والأجهزة والمواد المنشورة بحاجة إلى تحقق مستقل.
خيارات مشفرة
ينفذ المصدر ElGamal الأسّي على Ristretto255. يحتوي كل نص مشفر على نقطتين من المنحنى، وتستخدم النقاط والقيم القياسية ترميزًا من 32 بايت. يُشفّر كل اختيار بعشوائية تشفيرية جديدة؛ ولا يعني طول الترميز ضمان أمان بمقدار 256 بت.
براهين بنية بطاقة الاقتراع
تتحقق مكونات براهين Chaum–Pedersen من خانات الاختيار الثنائية ومجموع اختيارات معلن. ويستخدم سجل Fiat–Shamir الدالة SHA-512 مع فصل النطاقات. يبقى ربط هذه الفحوص بالمنافسة المختومة الصحيحة وحدود اختياراتها عملًا تكامليًا إضافيًا.
نصاب من الأمناء
تولّد مكونات المفاتيح الموزعة حصصًا متعددة الحدود، وتتحقق من الالتزامات وتفصل في الاعتراضات. يجمع فك التشفير مساهمات الأمناء باستيفاء لاغرانج. يُضبط النصاب لكل انتخاب؛ وثلاثة من خمسة مثال اختبار لا إعداد نشر موحّد ولا دليل على الحفظ داخل أجهزة آمنة.
تجميع قبل فك التشفير
يمكن للجمع المتماثل تجميع إجماليات الاختيارات المشفرة قبل استعادة القيم. يتضمن المصدر استعادة ضمن حدود ودوال لجمع مساهمات الأمناء. وما زال الفرز العام المتحقق منه مستقلًا يتطلب معالجة براهين موثقة وتكامل المراسم واختبارات انتخابية تمثيلية.
ما ينقص التحقق المستقل
لا ينفذ متحقق المواد المستقل بلغة Go تحققًا كاملًا من براهين الاقتراع والفرز بعد. وتبقى المراجعة التشفيرية الخارجية ومتجهات الاختبار المتطابقة بين Rust وGo وتمرين المسار الانتخابي كاملًا متطلبات مفتوحة. ولا تتوفر مسارات Mixnet أو التصويت الترتيبي أو الأسماء المكتوبة كإمكانات مطروحة.
يعتمد الأمان على التنفيذ الكامل والعمليات الموثوقة والأدلة المراجعة. لا يُدّعى الحصول على اعتماد أو تدقيق مستقل.
اطلب استشارة
تحديد النطاق قبل الالتزام
للتقييم فقط. غير مناسب بعد لأي انتخابات فعلية. يتطلب النشر والتشغيل فرق الأمان والفرق التقنية المعتمدة من SparkGlim.
يوجّه سياق البلد الاستشارة. ولا يثبت موافقة الولاية القضائية أو الامتثال التنظيمي أو توفر المنتج.