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