مكونات تمت مراجعة شيفرتها
تشفير أوراق الاقتراع
يوجد تنفيذ ElGamal الأُسّي على Ristretto255 والجمع المتجانس ودمج الحصص بعتبة. وجود الشيفرة لا يثبت أمان مسار انتخابي كامل.
SparkGlim SEVA · قبل الإطلاق
نموذج أمان للمراجعة لا للافتراض.
اقرأ المكونات المدعومة بالشيفرة مع فجوات التكامل والعمل المخطط. لا يقدم SEVA ضمان أمان أو جاهزية شاملًا.
اقرأ المكونات المدعومة بالشيفرة مع فجوات التكامل والعمل المخطط. لا يقدم SEVA ضمان أمان أو جاهزية شاملًا.
الأمان
تشفير بحدود واضحة.
تعرّف إلى مكونات تشفير بطاقات الاقتراع والأمناء المنفذة في SEVA وأعمال التحقق المطلوبة قبل الاستخدام الانتخابي.
سجل قابل للفحص.
كيف تدعم الإعدادات المختومة والسجلات المرتبطة والتوقيعات ومنع إعادة الاستخدام نموذج سلامة SEVA المقصود.
فصل الهوية عن بطاقة الاقتراع.
راجع فصل الهوية والاقتراع المقصود في SEVA وبيانات الأهلية المعماة واعتبارات الاحتفاظ وحدود الخصوصية.
الأمان يشمل بيئة العمل.
قيّم حدود الأجهزة والمشغلين والاتصال والاستعادة قبل تخطيط بيئة انتخابية بإشراف.
افصل التشفير عن الضمان
توجد تطبيقات تشفير، لكن إثباتات الحزم والتحقق من الفرز ناقصة. وجود المكوّن لا يضمن النزاهة الشاملة.
قيّم الخصوصية في المسار كله
فصل الهوية هدف تصميمي. تحتاج الخدمات والسجلات والتوقيت والأجهزة للمراجعة قبل ادعاء استحالة ربط الاقتراع بالناخب.
عامل الأجهزة والتشغيل كأدلة
لا تعلن اكتمال HSM أو FIDO2 أو WORM عتادي أو عزل شبكي شامل انطلاقًا من مخطط. تحدد الأدلة الفعلية ما يُذكر.
الجاهزية الحالية
الأدلة والحدود
تؤكد مراجعة الشيفرة وجود المكون. لكنها لا تثبت ضمانًا أمنيًا مستقلاً أو اكتمال اختبارات النشر أو الموافقة على إجراء انتخابات.
مكونات تمت مراجعة شيفرتها
مكونات الإثبات والأمناء
توجد اختبارات في المصدر لإثباتات Chaum–Pedersen والفحوص الأولية لمجموع الاختيارات ومكونات توليد المفاتيح الموزع. لم تُشغّل هذه الاختبارات ضمن مراجعة الموقع.
مكونات تمت مراجعة شيفرتها
حدود الأهلية وبيانات الاعتماد
نُفّذ إصدار بيانات اعتماد عمياء وتخزين المعرّفات المستهلكة في المصدر. لا تزال الهوية وإعادة الإصدار والتسجيل المتزامن بحاجة إلى اختبارات تكامل.
مكونات تمت مراجعة شيفرتها
قواعد واضحة لدورة الانتخابات
تقيّد آلة الحالات الانتقالات وتمنع خروج الشبكة في Open وPaused. يجب التحقق معًا من الجلسات والمراسم والإنفاذ الفعلي للشبكة.
مكونات تمت مراجعة شيفرتها
سجلات منفصلة وسلاسل تدقيق
تدعم أذونات قاعدة البيانات حسب الدور ومكونات السجلات المرتبطة بالتجزئة فصل المهام المقصود. تبقى الثقة بالمضيف والحيازة والسجلات والاستعادة ضمن نموذج التهديد.
تحتاج إلى اختبارات تكامل
التحقق المستقل من النتائج
لا تستكمل أداة تحقق الملفات بعد فحوص إثباتات أوراق الاقتراع والحصيلة المتكاملة. لا تُعدّ نتيجتها ضمانًا انتخابيًا كاملاً.
تحتاج إلى اختبارات تكامل
هوية المشغّلين وحيازة المفاتيح
توجد محولات مصادقة وتوقيع ومفاتيح عتادية، لكن تكاملها التشغيلي غير مكتمل. لا يُدّعى ضمان شامل لـFIDO2 أو حيازة HSM غير قابلة للتصدير أو القياسات الحيوية.
تحتاج إلى اختبارات تكامل
تجارب النشر والأدلة
تتطلب قيود الأجهزة والطباعة والحيازة والاستعادة والانتخابات التجريبية المتكاملة والمراجعة الخارجية أدلة قبول. لا تمثل الإجراءات وأسماء المكونات اعتمادًا.
مخطط له أو قيد التطوير
حزمتي Master وKiosk
الاتجاه نحو تطبيقين مثبتين مقترح. لا يزال المصدر يتضمن واجهات وملفات تنفيذ متعددة؛ ولم يثبت إصدار نشر بتطبيقين.
مخطط له أو قيد التطوير
تقنيات اقتراع إضافية
لا تزال معالجة الخلط وسيناريوهات الترتيب أو الأسماء المكتوبة مؤجلة. لا يثبت مفتاح ميزة أو بند في خارطة الطريق دعم بروتوكول تشفيري أو نوع اقتراع.
اطلب استشارة
تحديد النطاق قبل الالتزام
للتقييم فقط. غير مناسب بعد لأي انتخابات فعلية. يتطلب النشر والتشغيل فرق الأمان والفرق التقنية المعتمدة من SparkGlim.
يوجّه سياق البلد الاستشارة. ولا يثبت موافقة الولاية القضائية أو الامتثال التنظيمي أو توفر المنتج.