निर्माण स्थिति
के प्रमाणित भइसक्यो, के भएको छैन
यो परियोजनाको एउटा नियम छ: परीक्षणले नदेखाएको सुरक्षा दाबी गरिँदैन। यो पृष्ठ त्यही नियम हामी आफैँमाथि लगाएको हो। जहाँ आफ्नै पक्षमा छैन, त्यहाँ पनि जस्ताको तस्तै लेखिएको छ।
४ प्रमाणित ४ अझै बाँकी
| गुण | प्रमाण | स्थिति |
|---|---|---|
| मतपत्र यन्त्रबाट बाहिर जानुअघि नै गुप्तीकरण हुन्छ | ristretto255 माथि exponential ElGamal · ३७ परीक्षण | प्रमाणित |
| परिचय र मत जोड्न सकिँदैन | दुईबीच कुनै डेटाबेस सम्बन्ध छैन · चालु डेटाबेसमै जाँचिएको | प्रमाणित |
| अभिलेखमा छेडछाड लुक्दैन | डेटाबेस ट्रिगरले थपिने मात्र दिन्छ; फेरबदल र मेटाउने दुवै अस्वीकृत | प्रमाणित |
| हरेक संस्थाको तथ्याङ्क अलग रहन्छ | row-level security, नखुल्ने अवस्थामा बन्द · ६ मध्ये ६ जाँच सफल | प्रमाणित |
| एक सदस्य, एक मत | एक पटक चल्ने चिह्न र अद्वितीय बन्धन, तर माध्यमबीचको मिलान अझै बाँकी | बन्दै |
| एक्लै कसैले मतपेटिका खोल्न सक्दैन | ५ मध्ये ३ साँचो धारकको समारोह अझै बनेको छैन | बन्दै |
| हरेक सदस्यले आफ्नो मत गनिएको पुष्टि गर्न सक्छन् | रसिद कोड छ; तर साझा सार्वजनिक जाँच पोर्टल अझै बनेको छैन | बन्दै |
| मतपत्र सही ढाँचामा छ भनी स्वीकार गर्नुअघि प्रमाणित हुन्छ | zero-knowledge वैधता प्रमाण (Chaum–Pedersen) अझै बनेको छैन | बन्दै |
परीक्षण रिपोर्ट, २०२६ अक्टोबर १९
- गुप्तीकरण (packages/crypto): ३७ मध्ये ३७ सफल · exponential ElGamal, होमोमोर्फिक जोड, ह्यास
- मतपेटिका (apps/web): ७ मध्ये ७ सफल · मत हाल्ने, ५० एकसाथ मत, रसिद जाँच, test_secrecy_invariant
यी हाम्रै स्वचालित परीक्षण हुन्, स्वतन्त्र निकायको समीक्षा होइन। स्वतन्त्र सुरक्षा समीक्षा अझै भएको छैन; भएपछि त्यसको प्रतिवेदन यहीँ राखिनेछ। परीक्षणको पूरा नतिजा लेखापरीक्षकलाई माग गरेमा दिइन्छ।
वास्तविक निर्वाचन गर्नुअघि
यहाँ प्रयोग गरिएका गुप्तीकरणका आधारभूत पुर्जाहरू व्यापक रूपमा जाँचिएका पुस्तकालयहरू हुन्। तर तिनलाई निर्वाचन प्रणालीका रूपमा हामीले जोडेको तरिका अझै स्वतन्त्र विज्ञबाट जाँचिएको छैन, र नजाँचिएसम्म त्यसो भनिने पनि छैन। वास्तविक मतदानका लागि यो जाँच अनिवार्य सर्त हो, रोजाइको विषय होइन।