Rigorous and Generalized Proof of Security of Bitcoin Protocol with Bounded Network Delay

यहाँ पेपर "Rigorous and Generalized Proof of Security of Bitcoin Protocol with Bounded Network Delay" का विस्तृत तकनीकी सारांश दिया गया है।

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

यह पेपर एक बाउंडेड नेटवर्क डिले मॉडल ($\Delta$-bounded delay) के तहत बिटकॉइन प्रोटोकॉल के औपचारिक सुरक्षा प्रमाण (formal security proof) को संबोधित करता है, जहाँ एक एडवरसरी (adversary) ब्लॉकों के ट्रांसमिशन को $\Delta$ समय तक विलंबित कर सकता है।

जबकि पिछले कार्यों (विशेष रूप से [7] और [8]) ने इस मॉडल में बिटकॉइन की सुरक्षा सिद्ध करने का प्रयास किया था, लेखक इसमें महत्वपूर्ण त्रुटियों और सीमाओं की पहचान करते हैं:

• [7] में गलत धारणा: [7] में दिया गया प्रमाण गलत तरीके से यह मान लेता है कि एडवरसरी की चेन की लंबाई और ईमानदार (honest) चेन की लंबाई के बीच का अंतर एक रैंडम वॉक (random walk) का अनुसरण करता है। लेखक एक काउंटर-एग्जांपल प्रदान करते हैं जो यह प्रदर्शित करता है कि ब्लॉक आगमन के समय में निर्भरता (dependencies) के कारण यह प्रक्रिया एक रैंडम वॉक नहीं है।
• [8] में जटिलता और कठोरता का अभाव: [8] में दिए गए वैकल्पिक प्रमाण को लंबा, गैर-सहज (non-intuitive) और इसके एर्गोडिक तर्कों (ergodic arguments) में उपयोग किए गए चरों (variables) के लिए सटीक परिभाषाओं के अभाव वाला बताया गया है।
• सीमित दायरा: मौजूदा प्रमाण आम तौर पर समान ब्लॉक स्कोर (मानक बिटकॉइन) मानते हैं। वे उन प्रोटोकॉल तक आसानी से सामान्यीकृत नहीं होते जो अलग-अलग प्रकार के ब्लॉकों को अलग-अलग पॉइंट वैल्यू (स्कोर) के साथ अनुमति देते हैं, जैसे कि एक साथी पेपर में पेश किया गया "मर्ज्ड बिटकॉइन" (Merged Bitcoin) प्रोटोकॉल।

लक्ष्य एक कठोर (rigorous), स्व-निहित (self-contained), और सामान्यीकृत (generalized) प्रमाण प्रदान करना है जो बिटकॉइन (और सामान्यीकृत वेरिएंट्स) के लिए सुरक्षा क्षेत्र स्थापित करता है, जहाँ ईमानदार खनन दर (honest mining rate) एडवरसरी की दर से अधिक होती है, भले ही नेटवर्क में देरी हो।

2. कार्यप्रणाली और मॉडल (Methodology and Model)

लेखक एक सामान्यीकृत मॉडल और एक नया गणितीय दृष्टिकोण प्रस्तावित करते हैं ताकि पिछले कार्यों की त्रुटियों को हल किया जा सके।

A. सामान्यीकृत प्रोटोकॉल मॉडल (Generalized Protocol Model)

• परिवर्तनीय ब्लॉक स्कोर (Variable Block Scores): मानक बिटकॉइन के विपरीत, जहाँ प्रत्येक ब्लॉक का स्कोर 1 होता है, यह मॉडल विभिन्न प्रकार के ब्लॉकों को खनन करने की अनुमति देता है, जिनमें से प्रत्येक का एक विशिष्ट स्कोर $c_i > 0$ होता है।
• फोर्क-चॉइस नियम (Fork-Choice Rule): माइनर्स उच्चतम कुल स्कोर वाली चेन का विस्तार करते हैं।
• नेटवर्क मॉडल: $\Delta$-बाउंडेड डिले मॉडल का उपयोग किया जाता है। एडवरसरी ईमानदार ब्लॉकों को अधिकतम $\Delta$ समय तक विलंबित कर सकता है और अपने स्वयं के ब्लॉकों को ब्रॉडकास्ट करने से पहले मनमाने ढंग से विलंबित कर सकता है, लेकिन एक बार किसी ईमानदार नोड को ब्रॉडकास्ट होने के बाद, अन्यों तक का विलंब $\Delta$ द्वारा सीमित होता है।

B. मुख्य परिभाषाएँ (Key Definitions)

• पूर्णतः-विलंबित ईमानदार चेन ($T_h$): एक काल्पनिक चेन जहाँ सभी ईमानदार ब्लॉकों को अधिकतम समय $\Delta$ के लिए विलंबित किया जाता है और कोई एडवरसरी ब्लॉक मौजूद नहीं होता है।
• नाकामोतो अंतराल (Nakamoto Interval): $\tau_q$ पर केंद्रित $2q$ लंबाई का एक समय अंतराल जिसमें ठीक एक ईमानदार ब्लॉक (एक "लोनर") होता है, ताकि:
  1. विस्तारित अंतराल $[\tau_q - q - \Delta, \tau_q + q + \Delta]$ में कोई अन्य ईमानदार ब्लॉक मौजूद न हो।
  2. $[\tau_q - q - 2\Delta, \tau_q + q + 2\Delta]$ में कोई एडवरसरी ब्लॉक मौजूद न हो।
  3. ईमानदार चेन इस अंतराल के अतीत (इवेंट $E_1$) और भविष्य (इवेंट $E_2$) के सापेक्ष एडवरसरी चेन पर हावी रहती है।
• नाकामोतो ब्लॉक (Nakamoto Block): नाकामोतो अंतराल के भीतर आने वाला ईमानदार ब्लॉक। पेपर यह सिद्ध करता है कि ये ब्लॉक हमेशा के लिए कैनोनिकल चेन (canonical chain) में बने रहते हैं।

C. गणितीय दृष्टिकोण: पंक्चरड अराइवल प्रोसेस (The Punctured Arrival Process)

[7] की "रैंडम वॉक" त्रुटि को ठीक करने के लिए, लेखक एक पंक्चरड अराइवल प्रोसेस पेश करते हैं:

1. पंक्चरिंग (Puncturing): टाइमलाइन को $B$ लंबाई के अंतरालों और $\Delta$ लंबाई के अंतराल (gaps) में विभाजित किया जाता है। $\Delta$ अंतराल के दौरान आने वाले ब्लॉकों को "हटा" (delete/puncture) दिया जाता है।
2. स्वतंत्रता (Independence): यह पंक्चरिंग स्कोर वृद्धि के स्वतंत्र और समान रूप से वितरित (i.i.d.) खंडों का निर्माण करती है।
3. रैंडम वॉक निर्माण: इन पंक्चरड खंडों का संचयी स्कोर (cumulative score) एक वास्तविक रैंडम वॉक बनाता है।
   • यदि ईमानदार खनन दर ($\lambda_h$), एडवरसरी दर ($\lambda_a$) से अधिक है, तो रैंडम वॉक में एक सकारात्मक ड्रिफ्ट (positive drift) होता है।
   • रैंडम वॉक सिद्धांत का उपयोग करते हुए, लेखक सिद्ध करते हैं कि प्रायिकता $p > 0$ के साथ, ईमानदार स्कोर वृद्धि एक निश्चित सीमा से ऊपर हमेशा बनी रहती है, जबकि एडवरसरी स्कोर वृद्धि अपने औसत से नीचे रहती है।

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

1. पूर्व त्रुटियों का सुधार: यह पेपर i.i.d. इंक्रीमेंट्स के साथ एक वैध रैंडम वॉक उत्पन्न करने के लिए पंक्चरड ब्लॉक अराइवल प्रोसेस का उपयोग करके [7] में त्रुटिपूर्ण रैंडम वॉक धारणा को स्पष्ट रूप से पहचानता है और ठीक करता है।
2. मल्टी-स्कोर ब्लॉकों के लिए सामान्यीकरण: इसे विभिन्न स्कोर वाले ब्लॉकों को संभालने के लिए सामान्यीकृत किया गया है, जिससे यह "मर्ज्ड बिटकॉइन" और अन्य सामान्यीकृत सर्वसम्मति तंत्रों के लिए लागू करने योग्य बन जाता है।
3. कठोर सुरक्षा क्षेत्र की परिभाषा: लेखक सुरक्षा क्षेत्र को सख्ती से $\lambda_h > \lambda_a$ के रूप में परिभाषित करते हैं, जहाँ $\lambda_h$ पूर्णतः-विलंबित ईमानदार स्कोर वृद्धि दर है और $\lambda_a$ एडवरसरी स्कोर वृद्धि दर है।
4. बूटस्ट्रैप तर्क (Bootstrap Argument): पेपर एक इंडक्शन-आधारित "बूटस्ट्रैप तर्क" का उपयोग करता है कि समय अंतराल $t$ में कोई भी सुरक्षित ब्लॉक न होने की प्रायिकता $t$ के बढ़ने के साथ तेजी से (exponentially) घटती जाती है।

4. मुख्य परिणाम (Key Results)

पेपर निम्नलिखित प्रमेय (theorems) स्थापित करता है:

• थ्योरम 1 (नाकामोतो ब्लॉक बने रहते हैं): यदि एक नाकामोतो अंतराल होता है (जो $L_q$, $E_1$, और $E_2$ घटनाओं द्वारा परिभाषित है), तो उस अंतराल के भीतर का ईमानदार ब्लॉक हमेशा के लिए कैनोनिकल चेन में बना रहता है।
• थ्योरम 2 (नाकामोतो अंतरालों का अस्तित्व): यदि $\lambda_h > \lambda_a$, तो किसी भी पर्याप्त आकार के अंतराल के नाकामोतो अंतराल होने की प्रायिकता शून्य से अधिक होती है।
  • इसे यह दिखाकर सिद्ध किया गया है कि ईमानदार स्कोर वृद्धि दर $\lambda_h$ के करीब या उससे ऊपर रहती है और एडवरसरी दर $\lambda_a$ के करीब या उससे नीचे रहती है।
• थ्योरम 3 (मुख्य सुरक्षा प्रमेय): यदि $\lambda_h > \lambda_a$, तो $t$ लंबाई के एक उप-अंतराल (sub-interval) में ऐसे ईमानदार ब्लॉकों के न होने की प्रायिकता कि वे हमेशा के लिए चेन में बने रहें, $t \to \infty$ होने पर एक्सपोनेंशियल (exponentially) रूप से शून्य हो जाती है।
• कोरोलरी (अनंत ईमानदार ब्लॉक): प्रायिकता 1 के साथ, यदि $\lambda_h > \lambda_a$, तो कैनोनिकल चेन में अनंत ईमानदार ब्लॉक होते हैं।
• थ्योरम 4 (असुरक्षा क्षेत्र): यदि $\lambda_a > \lambda_h$, तो प्रोटोकॉल असुरक्षित है। एक एडवरसरी अंततः प्रायिकता 1 के साथ चेन पर हावी होने के लिए प्राइवेट माइनिंग हमला (private mining attack) कर सकता है।

5. महत्व (Significance)

• कठोर आधार: यह कार्य बाउंडेड-डिले मॉडल में बिटकॉइन की सुरक्षा का पहला कठोर, स्व-निहित प्रमाण प्रदान करता है जो पिछले प्रयासों की गणितीय खामियों को ठीक करता है।
• मजबूती (Robustness): विभिन्न ब्लॉक स्कोर के लिए सुरक्षा सिद्ध करके, इसके परिणाम "मर्ज्ड बिटकॉइन" जैसे जटिल ब्लॉकचेन विस्तारों की व्यवहार्यता का समर्थन करते हैं, यह सुनिश्चित करते हुए कि वे मानक बिटकॉइन के समान सुरक्षा गारंटी प्राप्त करते हैं।
• पद्धतिगत प्रगति: पंक्चरड अराइवल प्रोसेस का परिचय एक नया, मजबूत तकनीक प्रदान करता है जिसका उपयोग उन वितरित प्रणालियों में स्टोकेस्टिक प्रक्रियाओं (stochastic processes) के विश्लेषण के लिए किया जा सकता है जहाँ नेटवर्क देरी और निर्भरता के कारण मानक रैंडम वॉक धारणाएं विफल हो जाती हैं।
• स्पष्ट सुरक्षा सीमा: यह पेपर निर्णायक रूप से स्थापित करता है कि सुरक्षा के लिए शर्त केवल यह है कि पूर्णतः-विलंबित ईमानदार खनन दर एडवरसरी की खनन दर से अधिक होनी चाहिए, जो नेटवर्क डिजाइनरों के लिए एक स्पष्ट मीट्रिक प्रदान करती है।

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