← नवीनतम पेपर
💻 computer science

On the Limits of Consensus under Dynamic Availability and Reconfiguration

यह शोध पत्र बिना किसी अतिरिक्त विशेषता के सादे डायनेमिक अवेलेबिलिटी एंड रीकॉन्फ़िगरेशन (DAR) मॉडल में सर्वसम्मति प्राप्त करने के लिए आवश्यक और पर्याप्त प्रतिकूल स्थितियों को स्थापित करता है, और आगे एक न्यायसंगत "साइन-ऑफ" तंत्र पेश करता है जो प्रूफ-ऑफ-स्टेक ब्लॉकचेन के बूटस्ट्रैपिंग को सरल और अनुकूलित बनाता है।

मूल लेखक: Javier Nieto, Joachim Neu, Ling Ren

प्रकाशित 2026-08-13
📖 10 मिनट में पढ़ें🧠 गहराई से पढ़ें

मूल लेखक: Javier Nieto, Joachim Neu, Ling Ren

मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें

एक डिजिटल टाउन स्क्वायर की कल्पना करें जहाँ लोग एक साझा लेजर (shared ledger) रखने के लिए इकट्ठा होते हैं कि किसका क्या स्वामित्व है। पुराने दिनों में, इस टाउन स्क्वायर में निवासियों की एक निश्चित सूची होती थी जो हमेशा जागृत, हमेशा सतर्क और हमेशा वोट देने के लिए तैयार रहती थी। यदि कोई सो जाता या शहर छोड़कर चला जाता, तो पूरा सिस्टम तब तक फ्रीज हो जाता जब तक कि वे वापस न आ जाते। लेकिन आज के डिजिटल टाउन अलग हैं। वे जंगली, खुले और अराजक हैं। लोग लगातार आते-जाते रहते हैं, और कभी-कभी, निवासियों के बड़े समूह एक ही समय में झपकी लेने का निर्णय लेते हैं। यह डायनेमिक अवेलेबिलिटी (Dynamic Availability) की दुनिया है: सिस्टम को चलते रहना चाहिए, भले ही अधिकांश मतदाता सो रहे हों।

चीजों को और भी पेचीदा बनाने के लिए, वोट देने की अनुमति पाने वालों की सूची भी निश्चित नहीं है। यह समय के साथ बदलती रहती है। इसे रीकॉन्फ़िगरेशन (Reconfiguration) कहा जाता है। शायद एक नया निवासी एक घर खरीदता है और उसे एक वोट मिल जाता है, या एक पुराना निवासी अपना घर बेचकर चला जाता है। कंप्यूटर वैज्ञानिकों के लिए बड़ा सवाल यह है: जब मतदाता लगातार झपकी ले रहे हों और पात्र मतदाताओं की सूची लगातार बदल रही हो, तो टाउन स्क्वायर को सुरक्षित और ईमानदार कैसे रखा जाए? यदि आप इसे गलत करते हैं, तो एक चालाक शरारती व्यक्ति इतिहास को फिर से लिख सकता है, यह ढोंग कर सकता है कि टाउन ने उस चीज़ के लिए वोट दिया जो उसने कभी नहीं दी थी, या एक नए निवासी को एक नकली टाउन में शामिल होने के लिए धोखा दे सकता है।

यह शोध पत्र ठीक इसी समस्या की गहराई में जाता है। लेखक, जेवियर नियेटो, जोआचिम न्यू, और लिंग रेन, एक सरल लेकिन कठिन प्रश्न पूछते हैं: इस अराजक, झपकी लेते, बदलते हुए टाउन को सुरक्षित रखने के लिए न्यूनतम आवश्यकता क्या है? वे इन मौजूदा प्रणालियों को देखते हैं जो इस समस्या को हल करने की कोशिश करती हैं और पाते हैं कि कई प्रणालियाँ "जादुई ट्रिक्स" या अतिरिक्त नियमों पर निर्भर करती हैं जो पूरी तरह सही नहीं लगते—जैसे यह मान लेना कि सोते हुए निवासी भी गुप्त रूप से अपने पासवर्ड अपडेट कर रहे हैं, या यह कि नए निवासी जुड़ने से पहले ताज़ा खबरों के लिए जादुई रूप से एक भरोसेमंद दोस्त से पूछ सकते हैं। लेखक उन सभी अतिरिक्त नियमों को हटा देते हैं ताकि वे समस्या के "प्लेन" (साधारण) संस्करण को देख सकें। वे खोजते हैं कि बिना किसी जादुई ट्रिक के टाउन को सुरक्षित रखने के लिए, आपको एक बहुत ही विशिष्ट स्थिति की आवश्यकता होती है: किसी भी क्षण में, जागृत, ईमानदार लोगों की संख्या शरारती लोगों की संख्या से अधिक होनी चाहिए प्लस उन लोगों की संख्या जो इतनी लंबी अवधि तक सोए रहे हैं कि एक शरारती व्यक्ति उनका रूप धर सके। वे इसे "सिमुलेशन-रेसिस्टेंट ईमानदार बहुमत" (Simulation-Resistant Honest Majority) कहते हैं।

लेकिन लेखक केवल समस्या खोजने पर ही नहीं रुकते; वे एक चतुर समाधान भी प्रस्तावित करते हैं। वे एक छोटा, यथार्थवादी नियम जोड़ने का प्रस्ताव देते है: जब कोई निवासी टाउन छोड़ने का निर्णय लेता है, तो उन्हें एक "अलविदा" नोट पर हस्ताक्षर करने चाहिए और अपनी पुरानी चाबियाँ फेंक देनी चाहिए। यह सरल कार्य यह असंभव बना देता है कि एक शरारती व्यक्ति यह ढोंग करे कि वह निवासी अतीत में अभी भी वोट दे रहा था। इस एक छोटे से बदलाव के साथ, टाउन को सुरक्षित रखने के नियमों को पूरा करना बहुत आसान हो जाता है, और जब सब कुछ सुचारू रूप से चल रहा होता है, तो सिस्टम बहुत तेज़ी से काम कर सकता है।

समस्या: झपकी लेता हुआ टाउन और बदलती मेहमानों की सूची

आइए एक डिजिटल ब्लॉकचेन की कल्पना करें जो एक विशाल, साझा डायरी की तरह है जिसमें नेटवर्क में मौजूद हर कोई मिलकर लिखने की कोशिश कर रहा है। इस डायरी के काम करने के लिए, समूह को इस बात पर सहमत होने की आवश्यकता है कि आगे क्या लिखा जाएगा। कंप्यूटर विज्ञान की पुरानी, उबाऊ दुनिया में, हर कोई जानता था कि समूह में कौन है और हर कोई हमेशा जाग रहा था। यदि कोई सो जाता, तो पूरी बैठक रुक जाती।

लेकिन आधुनिक दुनिया में (Proof-of-Stake ब्लॉकचेन में), चीजें अस्त-व्यस्त हैं।

  1. डायनेमिक अवेलेबिलिटी (Dynamic Availability): नोड्स (वे कंप्यूटर जो सिस्टम चला रहे हैं) सो सकते हैं। वे अपने कंप्यूटर बंद कर सकते हैं, इंटरनेट खो सकते हैं, या बस ब्रेक ले सकते हैं। सिस्टम को काम करना जारी रखना चाहिए भले ही आधा टाउन सो रहा हो।
  2. रीकॉन्फ़िगरेशन (Reconfiguration): वोट देने की अनुमति पाने वालों की सूची बदलती रहती है। नए नोड्स जुड़ते हैं, और पुराने नोड्स जाते हैं। यह एक क्लब की तरह है जहाँ सदस्यता सूची हर सप्ताह अपडेट की जाती है।

जब आप इन दोनों को मिलाते हैं, तो आपको सुरक्षा के लिए एक दुःस्वप्न मिलता है। कल्पना कीजिए कि दोस्तों का एक समूह एक फिल्म तय करने की कोशिश कर रहा है। आधे लोग सो रहे हैं, और वोट देने की अनुमति पाने वालों की सूची हर पांच मिनट में बदल रही है। एक चालाक विलेन (एडवर्सरी) समूह को धोखा देने की कोशिश करता है।

विलेन के पास दो मुख्य चालें हैं:

  • लॉन्ग-रेंज अटैक (The Long-Range Attack): विलेन एक पुराने सदस्य को भ्रष्ट कर देता है जो सालों पहले क्लब छोड़ चुका था। चूंकि उस व्यक्ति के पास अभी भी अपना पुराना आईडी कार्ड है, विलेन उस कार्ड का उपयोग अतीत के नकली निर्णय लेने के लिए कर सकता है, जिससे ऐसा लगेगा कि क्लब ने सालों पहले एक अलग फिल्म के लिए वोट दिया था।
  • बैकवर्ड सिमुलेशन (या कॉस्टलेस सिमुलेशन): यह वास्तव में पेचीदा है। कल्पना कीजिए कि एक सदस्य जो लंबे समय से सो रहा था। विलेन उसे अभी भ्रष्ट कर देता है। क्योंकि वह सो रहा था, उसने सोते समय अपना आईडी कार्ड या पासवर्ड अपडेट नहीं किया। विलेन अब यह दावा कर सकता है कि वह व्यक्ति अतीत में जाग रहा था और वोट दे रहा था, जिससे एक नकली इतिहास बन जाता है जो किसी भी जागने वाले व्यक्ति को पूरी तरह वैध लगता है।

"प्लेन" समस्या: कोई जादू नहीं

कई मौजूदा प्रणालियाँ अतिरिक्त नियम जोड़कर इसे हल करने की कोशिश करती हैं। कुछ कहते हैं, "नए सदस्यों को ताज़ा खबरों के लिए एक भरोसेमंद दोस्त से पूछना चाहिए" (सोशल कंसेंसस)। अन्य कहते हैं, "भले ही आप सो रहे हों, आपको हर सेकंड गुप्त रूप से अपना पासवर्ड अपडेट करना चाहिए" (कंटीन्यूअस की इवोल्यूशन)।

इस शोध पत्र के लेखक कहते हैं, "रुको। यह धोखाधड़ी है।" वे जानना चाहते हैं कि क्या हम इस समस्या को "प्लेन DAR मॉडल" में हल कर सकते हैं। इसका अर्थ है:

  • दोस्तों से मदद नहीं मांगना।
  • सोते समय गुप्त अपडेट नहीं करना।
  • कोई जादू नहीं।

वे पूछते हैं: इस सिस्टम को सुरक्षित रखने के लिए न्यूनतम शर्त क्या है?

खोज: "सिमुलेशन-रेसिस्टेंट" नियम

लेखक सिद्ध करते हैं कि इस "प्लेन" दुनिया में, आप केवल यह नहीं कह सकते कि आपके पास "बुरे लोगों से अधिक अच्छे लोग" हैं। यह पर्याप्त नहीं है। आपको कुछ अधिक मजबूत चाहिए।

वे एक अवधारणा पेश करते हैं जिसे सिमुलेशन-रेसिस्टेंट ईमानदार बहुमत (SR-HM) कहा जाता है।

यहाँ उपमा है: टाउन स्क्वायर की कल्पना करें।

  • ईमानदार जागृत (Honest Awake): वे लोग जो वर्तमान में खड़े हैं, वोट दे रहे हैं, और शांति बनाए रख रहे हैं।
  • बुरे लोग (Bad Guys): वे शरारती लोग जो जाग रहे हैं और अराजकता पैदा करने की कोशिश कर रहे हैं।
  • सिमुलेबल (Simulatable): ये वे लोग हैं जो लंबे समय से सो रहे थे। चूंकि उन्होंने अपनी चाबियाँ अपडेट नहीं कीं, इसलिए एक बुरा आदमी उन्हें उठा सकता है, उन्हें जगा सकता है, और कह सकता है, "मैं तुम हूँ, और मैंने कल इसके लिए वोट दिया था!"

शोध पत्र सिद्ध करता है कि सिस्टम को सुरक्षित रखने के लिए, ईमानदार जागृत लोगों की संख्या बुरे लोगों और सिमुलेबल लोगों की संख्या के योग से अधिक होनी चाहिए।

यदि बुरे लोग इतने लोगों का रूप धर सकते हैं जितने कि ईमानदार जागृत लोग हैं, तो वे इतिहास को फिर से लिख सकते हैं। वे एक नकली टाइमलाइन बना सकते हैं जहाँ वे जीत गए, और कोई भी अंतर नहीं बता पाएगा। लेखक दिखाते हैं कि यदि आप इस विशिष्ट, सख्त शर्त को पूरा नहीं करते हैं, तो कोई भी चतुर कोडिंग आपको बचा नहीं सकती। यह एक गणितीय असंभवता है।

उन्होंने एक "बूटस्ट्रैपिंग गैजेट" भी बनाया। इसे एक विशेष निर्देश पुस्तिका के रूप में समझें जो एक नए निवासी के लिए है जो अभी-अभी जागा है। यह पुस्तिका उसे अतीत के वोटों को देखने, यह पता लगाने के लिए कि कौन भरोसेमंद है, और बिना किसी बुरे आदमी के धोखे के वर्तमान समूह में शामिल होने के लिए बताती है। उन्होंने सिद्ध किया कि यदि SR-HM नियम का पालन किया जाता है, तो यह गैजेट पूरी तरह से काम करता है।

ट्विस्ट: "साइन-ऑफ" समाधान

लेखकों को एहसास हुआ कि वास्तविक दुनिया के सिस्टम में (जैसे प्रूफ-ऑफ-स्टेक ब्लॉकचेन), लोग बस हवा में गायब नहीं हो जाते। जब कोई निवासी क्लब छोड़ने का निर्णय लेता है, तो उसे आमतौर पर अपना "स्टेक" (वोटिंग पावर) किसी और को ट्रांसफर करने के लिए एक ट्रांजैक्शन पर हस्ताक्षर करने होते है।

लेखकों ने एक नया मॉडल प्रस्तावित किया: DAR विद साइन-ऑफ (DAR with Sign-Off)
इस मॉडल में, जब कोई नोड जाता है, तो उसे:

  1. एक ट्रांजैक्शन पर हस्ताक्षर करना चाहिए जिसमें लिखा हो, "मैं जा रहा हूँ, और मेरी शक्ति व्यक्ति X को जाती है।"
  2. अपनी प्राइवेट कीज़ (चाबियाँ) फेंक देनी चाहिए (Key Disposal)।

यह सरल कार्य सब कुछ बदल देता है। यदि कोई नोड अपनी चाबियाँ फेंक देता है, तो बुरा आदमी अब उस नोड का उपयोग अतीत में वोट देने का ढोंग करने के लिए नहीं कर सकता। "सिमुलेबल" समूह छोटा हो जाता है क्योंकि जो लोग चले गए हैं वे अब "डिस्पोज्ड" (त्याग दिए गए) हैं और उन्हें नकली नहीं बनाया जा सकता।

इस नियम के साथ, सिस्टम बहुत अधिक सुरक्षित और तेज़ हो जाता है। लेखकों ने इस परिदृश्य के लिए एक दूसरा गैजेट बनाया।

  • अच्छा मामला (The Good Case): यदि कोई भी धोखाधड़ी (डबल-स्पेंडिंग) करने की कोशिश नहीं कर रहा है, तो नया निवासी केवल "अलविदा" नोट्स और ट्रांसफर ट्रांजैक्शन को देखकर वर्तमान मतदाताओं की सूची का पता लगा सकता है। यह बहुत तेज़ और कुशल है।
  • बुरा मामला (The Bad Case): यदि कोई धोखाधड़ी (डबल-स्पेंडिंग) करने की कोशिश कर रहा है, तो सिस्टम चीजों को सुलझाने के लिए धीमे, वोटिंग-आधारित तरीके पर वापस चला जाता है।

यह क्यों महत्वपूर्ण है

यह शोध पत्र एक मौलिक सीमा परीक्षण है। यह हमें बताता है कि हम सब कुछ एक साथ नहीं पा सकते। यदि हम एक ऐसा सिस्टम चाहते हैं जो खुला हो, लोगों को सोने की अनुमति दे, और सदस्यता को बदलने दे, तो हमारे पास वर्तमान में जागृत ईमानदार लोगों का एक बहुत मजबूत बहुमत होना ही चाहिए। यदि हमारे पास वह नहीं है, तो सिस्टम विफल होने के लिए अभिशप्त है।

हालाँकि, शोध पत्र हमें आशा भी देता है। एक यथार्थवादी नियम जोड़कर—लोगों को छोड़ते समय साइन-ऑफ करने और अपनी चाबियाँ फेंकने के लिए कहना—हम सिस्टम को बहुत अधिक मजबूत और कुशल बना सकते हैं। यह हमें याद दिलाता है कि डिजिटल सर्वसम्मति (consensus) की अराजक दुनिया में, कभी-कभी सबसे सरल नियम (जैसे "उचित रूप से अलविदा कहना") हमारे पास सबसे शक्तिशाली उपकरण होते हैं।

लेखकों ने केवल अनुमान नहीं लगाया; उन्होंने गणितीय रूप से इसे सिद्ध किया। उन्होंने दिखाया कि इन शर्तों के बिना, सर्वसम्मति (consensus) असंभव है, और इन शर्तों के साथ, यह न केवल संभव है बल्कि कुशलतापूर्वक किया जा सकता है। यह वास्तविक दुनिया की अराजकता में जीवित रहने वाले अगले पीढ़ी के डिजिटल टाउन स्क्वायर बनाने के लिए एक मानचित्र है।

अपने क्षेत्र के पेपरों की भीड़ में उलझे हुए हैं?

आपके रिसर्च कीवर्ड से मेल खाने वाले सबसे नए और अलग सोच वाले पेपरों का रोज़ाना Digest पाएँ—तकनीकी सारांश के साथ, आपकी भाषा में।

Digest आज़माएँ →