Audit-or-Cast: Enforcing Honest Elections with Privacy-Preserving Public Verification

यहाँ पेपर "Audit-or-Cast: Enforcing Honest Elections with Privacy-Preserving Public Verification" (ACE) का विस्तृत तकनीकी सारांश दिया गया है।

1. समस्या विवरण (Problem Statement)

इलेक्ट्रॉनिक वोटिंग सिस्टम एक मौलिक त्रिपक्षीय संघर्ष (trilemma) का सामना करते हैं: उन्हें एक साथ एंड-टू-एंड वेरिफिएबिलिटी (E2E-V), मतदाता गोपनीयता (विशेष रूप से रसीद-मुक्तता/Receipt-Freeness), और सार्वजनिक गणना-छिपाव (Public Tally-Hiding) प्राप्त करना चाहिए।

• द्वंद्व (The Conflict): मौजूदा प्रोटोकॉल अक्सर एक गुण के लिए दूसरे का त्याग करते हैं।
  • Helios जैसे सिस्टम वेरिफिएबिलिटी तो प्राप्त करते हैं लेकिन पूर्ण मत गणना (vote tallies) को उजागर कर देते हैं (जो पब्लिक टैली-हाइडिंग में विफल रहता है)।
  • Ordinos जैसे सिस्टम गणना को छिपाते हैं लेकिन अक्सर विश्वसनीय क्लाइंट्स पर निर्भर होते हैं या हस्तांतरणीय रसीदों (transferable receipts) की अनुमति देते हैं (जो रसीद-मुक्तता में विफल होता है)।
  • कई सिस्टमों के लिए मतदाताओं को विश्वसनीय उपकरणों (trusted devices) का उपयोग करने की आवश्यकता होती है, जो वास्तविक दुनिया के कार्यान्वयन में अवास्तविक है जहाँ उपकरण समझौतापूर्ण (compromised) हो सकते हैं।
• लक्ष्य: लेखक एक ऐसे प्रोटोकॉल को डिजाइन करने का लक्ष्य रखते हैं जो राष्ट्रीय स्तर के चुनावों के लिए हो, जो जबरदस्ती/उत्पीड़न (coercion) को रोकता है (रसीद-मुक्तता के माध्यम से), सार्वजनिक वितरण (distribution) से मध्यवर्ती और अंतिम मतों को छिपाता है (टैली-हाइडिंग), और सभी को व्यक्तिगत मतों को प्रकट किए बिना चुनाव परिणाम को सत्यापित करने की अनुमति देता है, और यह सब बिना किसी विश्वसनीय वोटिंग क्लाइंट की धारणा के किया जाता है।

2. कार्यप्रणाली: ACE प्रोटोकॉल (Methodology: The ACE Protocol)

प्रस्तावित ऑडिट-ऑर-कास्ट इलेक्शन (ACE) प्रोटोकॉल एक नवीन क्रिप्टोग्राफिक प्रिमिटिव्स और एक इंटरैक्टिव चैलेंज तंत्र के संयोजन के माध्यम से इन संघर्षों को हल करता है।

A. मुख्य क्रिप्टोग्राफिक प्रिमिटिव्स (Core Cryptographic Primitives)

1. पेडर्सन वेक्टर कमिटमेंट्स (Pedersen Vector Commitments): इनका उपयोग वोट शेयरों के प्रति प्रतिबद्धता (commit) करने के लिए किया जाता है। ये कमिटमेंट्स "परफेक्टली हाइडिंग" हैं, जिसका अर्थ है कि वे अंतर्निहित मान के बारे में कोई जानकारी प्रकट नहीं करते हैं, यहाँ तक कि अनंत कम्प्यूटेशनल शक्ति वाले हमलावर को भी नहीं।
2. टैलियर-साइड री-रैंडमाइजेशन (Tallier-Side Re-randomization): मतदाता द्वारा सीधे कमिट करने और प्रकाशित करने के बजाय, मतदाता एक टैलियर (Tallier) को एक कमिटमेंट भेजता है। फिर टैलियर पब्लिक बुलेटिन बोर्ड (PBB) पर प्रकाशित करने से पहले इस कमिटमेंट को री-रैंडमाइज (एक रैंडम फैक्टर से गुणा करके) करता है। यह मतदाता के मूल कमिटमेंट और सार्वजनिक रिकॉर्ड के बीच के लिंक को तोड़ देता है।
3. नॉन-इंटरैक्टिव जीरो-नॉलेज प्रूफ (NIZK): इनका उपयोग मतों के स्वरूप (well-formedness) और स्वयं मतों को प्रकट किए बिना अंतिम गणना की शुद्धता को सिद्ध करने के लिए किया जाता है।

B. "ऑडिट-ऑर-कास्ट" तंत्र (The "Audit-or-Cast" Mechanism)

यह प्रोटोकॉल का केंद्रीय नवाचार है, जो विश्वसनीय क्लाइंट की आवश्यकता को मतदाता और टैलियर्स के बीच एक कट-एंड-चीज (Cut-and-Choose) शैली के इंटरैक्टिव प्रूफ से बदल देता है।

1. वोट जनरेशन और शेडिंग (Vote Generation & Sharding): एक मतदाता अपने वोट को शेयरों में विभाजित करता है और कमिटमेंट्स बनाता है।
2. ब्लाइंडेड सबमिशन (Blinded Submission): मतदाता टैलियर्स को कमिटमेंट्स भेजता है। टैलियर्स इन कमिटमेंट्स को री-रैंडमाइज करते हैं और उन्हें PBB पर प्रकाशित करते हैं।
3. चैलेंज चरण (The Challenge Phase): PBB पर री-रैंडमाइज्ड कमिटमेंट्स को देखने के बाद, मतदाता को दो में से एक पथ चुनना होगा:
   • विकल्प A (ऑडिट - Audit): मतदाता टैलियर्स को री-रैंडमाइजेशन कारकों (factors) को प्रकट करने की चुनौती देता है। मतदाता सत्यापित करता है कि प्रकाशित कमिटमेंट वास्तव में उनके मूल इनपुट का एक वैध री-रैंडमाइजेशन है।
     • परिणाम: यदि टैलियर ईमानदार है, तो सत्यापन सफल होता है, लेकिन वोट खारिज (discarded) कर दिया जाता है। मतदाता को नई रैंडमनेस के साथ प्रक्रिया फिर से शुरू करनी होगी।
     • सुरक्षा: यदि टैलियर दुर्भावनापूर्ण है (जैसे, वोट बदलने की कोशिश कर रहा है), तो मतदाता विसंगति का पता लगा सकता है और एक प्रूफ ऑफ इनकरेक्ट ओपनिंग (PoIO) प्रकाशित कर सकता है, जिससे दुर्भावनापूर्ण टैलियर को निष्कासित किया जा सकता है।
   • विकल्प B (कास्ट - Cast): मतदाता कमिटमेंट को स्वीकार करता है और "कास्ट" का संकेत देता है।
     • परिणाम: वोट को अंतिम रूप दिया जाता है। मतदाता सत्यापन के लिए टैलियर्स को मूल शेयर खोलता है।
4. सुरक्षा गारंटी (Security Guarantee): चूंकि हमलावर (टैलियर) को यह नहीं पता होता कि मतदाता ऑडिट करेगा या कास्ट, इसलिए वे हर मामले में ईमानदारी से व्यवहार करने के लिए मजबूर होते हैं। यदि वे धोखाधड़ी करते हैं, तो वे ऑडिट राउंड के दौरान पकड़े जाने के जोखिम में होते हैं।

C. टैली एग्रीगेशन और परिणाम (Tally Aggregation and Result)

• टैली-हाइडिंग (Tally-Hiding): अंतिम गणना को एक नामित टैलियर ($T_{des}$) द्वारा एकत्रित शेयरों का उपयोग करके पुनर्गठित किया जाता है।
• सार्वजनिक सत्यापन (Public Verification): $T_{des}$ अंतिम परिणाम और एक NIZK प्रमाण प्रकाशित करता है कि परिणाम PBB पर कमिट किए गए मतों के अनुरूप है।
• रसीद-मुक्तता (Receipt-Freeness): क्योंकि टैलियर एक रैंडम ब्लाइंडिंग फैक्टर ($\tilde{r}$) जोड़ता है जो मतदाता को कभी प्रकट नहीं किया जाता है (जब तक कि ऑडिट ट्रिगर न हो जाए, जिस स्थिति में वोट अमान्य हो जाता है), मतदाता अपने विशिष्ट मत को सार्वजनिक रिकॉर्ड से जोड़ने वाली वैध रसीद उत्पन्न नहीं कर सकता। यदि मजबूर किया भी जाए, तो भी मतदाता यह दावा कर सकता है कि उसने अलग तरह से मतदान किया था, और मजबूर करने वाला व्यक्ति दावे को सत्यापित नहीं कर सकता क्योंकि ब्लाइंडिंग फैक्टर अज्ञात है।

3. प्रमुख योगदान (Key Contributions)

1. "पवित्र त्रिमूर्ति" की उपलब्धि (The "Holy Trinity" Achievement): ACE पहला प्रोटोकॉल है जो एक साथ निम्नलिखित प्राप्त करता है:
   • पब्लिक टैली-हाइडिंग (P2): जनता केवल अंतिम परिणाम देखती है, मत मार्जिन या वितरण नहीं।
   • स्ट्रॉन्ग रसीद-मुक्तता (P3): मतदाता यह सिद्ध नहीं कर सकते कि उन्होंने कैसे मतदान किया, भले ही उन्हें मजबूर किया जाए।
   • एंड-टू-एंड वेरिफिएबिलिटी (S5): कोई भी चुनाव परिणाम को सत्यापित कर सकता है।
2. अनट्रस्टेड क्लाइंट धारणा (Untrusted Client Assumption): प्रोटोकॉल यह सुनिश्चित करता है कि यदि मतदाता का डिवाइस अनट्रस्टेड भी हो, तो भी "कास्ट-एज़-इंटेंडेड" (S3) लागू रहे, जो दुर्भावनापूर्ण टैलियर्स का पता लगाने के लिए ऑडिट-ऑर-कास्ट चुनौती पर निर्भर करता है।
3. सूचना-सैद्धांतिक गोपनीयता (Information-Theoretic Privacy): परफेक्टली हाइडिंग पेडेर्सन कमिटमेंट्स का उपयोग करके और कम से कम एक ईमानदार टैलियर की धारणा के साथ, प्रोटोकॉल अन्य सभी टैलियर्स के मिलीभगत के विरुद्ध सूचना-सैद्धांतिक गोपनीयता प्राप्त करता है।
4. औपचारिक सुरक्षा प्रमाण (Formal Security Proofs): लेखक निम्नलिखित के लिए औपचारिक परिभाषाएं और प्रमाण प्रदान करते हैं:
   • वेरिफिएबिलिटी (S1–S5): यह सिद्ध करना कि परिणाम डाले गए मतों से मेल खाता है।
   • पब्लिकली टैली-हाइडिंग: यह सिद्ध करना कि जनता गणना वितरण के बारे में कुछ भी नहीं जानती।
   • रसीद-मुक्तता: यह सिद्ध करना कि एक सिम्युलेटर एक वास्तविक निष्पादन के समान दृश्य (view) उत्पन्न कर सकता है, भले ही हमलावर को मतदाता के रहस्य (secrets) पता हों।

4. परिणाम और प्रदर्शन (Results and Performance)

• तुलनात्मक विश्लेषण (Comparative Analysis): पेपर में दी गई तालिका II ACE की तुलना अत्याधुनिक प्रोटोकॉल (Helios, Prêt à Voter, Ordinos, Kryvos, आदि) से करती है। ACE एकमात्र ऐसा प्रोटोकॉल है जो सभी गोपनीयता (P1-P3) और सुरक्षा (S1-S5) गुणों के लिए टिक मार्क के साथ चिह्नित है।
• संचार ओवरहेड (Communication Overhead):
  • मतदाता: $O(k \cdot n_t)$, जहाँ $k$ ऑडिट-ऑर-कास्ट राउंड की संख्या है और $n_t$ टैलियर्स की संख्या है।
  • टैलियर: प्रति मतदाता $O(n_t)$।
  • हालांकि यह कुछ गैर-टैली-हाइडिंग प्रोटोकॉल की तुलना में थोड़ा अधिक है, लेकिन इस ओवरहेड को उन्नत सुरक्षा गारंटी के लिए स्वीकार्य माना जाता है।
• मजबूती (Robustness): प्रोटोकॉल PoIO तंत्र के माध्यम से दुर्भावनापूर्ण टैलियर्स को संभालता है, जिससे चुनाव को रोके बिना खराब तत्वों का पता लगाने और उन्हें निकालने की अनुमति मिलती है।

5. महत्व (Significance)

ACE प्रोटोकॉल सुरक्षित वितरित प्रणालियों और अनुप्रयुक्त क्रिप्टोग्राफी (applied cryptography) में एक महत्वपूर्ण छलांग है।

• वास्तविक दुनिया में प्रयोज्यता (Real-World Applicability): "विश्वसनीय क्लाइंट" की धारणा को हटाकर, ACE एक प्रमुख बाधा को दूर करता है जो वास्तविक दुनिया में सुरक्षित इलेक्ट्रॉनिक वोटिंग को तैनात करने में आती है, जहाँ मतदाता के उपकरण अक्सर समझौतापूर्ण या अविश्वसनीय होते हैं।
• पारदर्शिता और गोपनीयता के बीच संतुलन: यह सार्वजनिक ऑडिटेबिलिटी (धोखाधड़ी को रोकने के लिए) और सख्त गोपनीयता (उत्पीड़न को रोकने के लिए) की आवश्यकता के बीच लंबे समय से चले आ रहे तनाव को हल करता है। यह जनता को मतपत्र की गोपनीयता से समझौता किए बिना गणना की अखंडता को सत्यापित करने की अनुमति देता है।
• सैद्धांतिक आधार: "पब्लिकली टैली-हाइडिंग" को रसीद-मुक्तता के साथ औपचारिक रूप देना एक सुरक्षित वोटिंग प्रोटोकॉल के लिए एक नया मानक स्थापित करता है, जो उन ट्रेड-ऑफ से आगे जाता है जिन्होंने दशकों से इस क्षेत्र को परिभाषित किया है।

संक्षेप में, ACE एक एकीकृत क्रिप्टोग्राफिक ढांचा प्रदान करता है जो यह सुनिश्चित करता है कि चुनाव ईमानदार (ऑडिट-ऑर-कास्ट के माध्यम से), निजी (री-रैंडमाइजेशन और हाइडिंग कमिटमेंट्स के माध्यम से), और सत्यापन योग्य (NIZK प्रमाणों के माध्यम से) हैं, जो इसे भविष्य के राष्ट्रीय स्तर के डिजिटल चुनावों के लिए एक मजबूत उम्मीदवार बनाता है।