Distance-Preserving Digests: A Primitive for BFT Consensus
यह शोधपत्र "डिस्टेंस-प्रिजर्विंग डाइजेस्ट्स" (distance-preserving digests) को प्रस्तुत करता है, जो टकराव-प्रतिरोधी हैश के बजाय कम्यूटेटिव वेक्टर सम्स (commutative vector sums) का उपयोग करने वाला एक प्रिमिटिव है, ताकि कुशल, सिंगल-राउंड फाइनैलिटी और स्केलेबल ट्री-स्ट्रक्चर्ड बीएफटी (BFT) कंसेंसस को सक्षम बनाया जा सके, जिससे वैलिडेटर्स पूर्ण स्टेट सिंक्रोनाइज़ेशन के बिना स्टेट डिसएग्रीमेंट को मापने और निरंतरता को सत्यापित करने में सक्षम होते हैं।
मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें
कल्पना कीजिए कि लोगों का एक विशाल समूह किसी खेल के लिए नियमों की एक एकल सूची पर सहमत होने की कोशिश कर रहा है। ब्लॉकचेन और सुरक्षित नेटवर्क की दुनिया में, इस समूह को "कंसेंसस प्रोटोकॉल" (consensus protocol) कहा जाता है। दशकों से, यह जांचने का मानक तरीका कि क्या सभी सहमत हैं, दो लोगों की सूचियों की तुलना करने जैसा रहा है—उन दोनों को एक एकल, अटूट कोड ("हैश") में बदलकर।
यहाँ उस पुराने तरीके के साथ समस्या है: यह बारीकियों को नष्ट कर देता है।
यदि व्यक्ति A के पास 20 में से 19 सही आइटम हैं, और व्यक्ति B के पास सभी 20 सही हैं, तो पुराना तरीका कहता है कि उनके कोड पूरी तरह से अलग हैं। यह ऐसा है जैसे कहना कि एक टाइपो (typo) वाली सूची उतनी ही "गलत" है जितनी कि बिना किसी आइटम वाली सूची। क्योंकि सिस्टम यह नहीं बता सकता कि अंतर क्या है कि चीज़ "लगभग सही" है या "पूरी तरह से खराब", यह सभी को रुकने, अपनी पूरी सूचियाँ फिर से भेजने और आगे बढ़ने के लिए एक सटीक मिलान का इंतजार करने के लिए मजबूर करता है। यह धीमा, महंगा है, और सुरक्षित होने के लिए लोगों के बहुत बड़े समूहों की आवश्यकता होती है।
यह शोध पत्र एक नया उपकरण पेश करता है जिसे डिस्टेंस-प्रिजर्विंग डाइजेस्ट्स (Distance-Preserving Digests) कहा जाता है। इसे एक "फजी मैच" (fuzzy match) प्रणाली के रूप में सोचें जो समूह को यह देखने देती है कि वे सहमति के कितने करीब हैं, बजाय इसके कि केवल यह पूछे कि "क्या वे समान हैं?"
मुख्य विचार: "वेक्टर सम" (Vector Sum) सादृश्य
प्रत्येक लेनदेन को एक एकल, कठोर कोड में बदलने के बजाय, यह शोध पत्र प्रत्येक लेनदेन को 8-आयामी स्थान (8-dimensional space) में एक छोटे तीर (वेक्टर) में बदलने का सुझाव देता है।
- पुराना तरीका: यदि आप एक आइटम भूल जाते हैं, तो आपका कोड पूरी तरह बदल जाता है।
- नया तरीका: यदि आप एक आइटम भूल जाते हैं, तो आपका "तीर" केंद्र से बस थोड़ा सा दूर हट जाता है। यदि आप दस आइटम भूल जाते हैं, तो यह और अधिक दूर चला जाता है।
यह सिस्टम को दूरी (distance) मापने की अनुमति देता है।
- दूरी = 0: सभी के पास बिल्कुल एक जैसी सूची है।
- दूरी = बहुत कम: सभी के पास एक या दो आइटम कम हैं (शायद धीमे इंटरनेट कनेक्शन के कारण)।
- दूरी = बहुत अधिक: कोई झूठ बोल रहा है या उसके पास पूरी तरह से अलग सूची है।
तीन बड़े सुधार
शोध पत्र का दावा है कि यह सरल परिवर्तन ब्लॉकचेन डिज़ाइन की तीन प्रमुख समस्याओं को हल करता है:
1. सहमति के लिए "फास्ट लेन"
- पुराना तरीका: भले ही सभी पूरी तरह सहमत हों, सिस्टम को सुनिश्चित करने के लिए तीन धीमे राउंड में वोटिंग चलानी पड़ती है।
- नया तरीका: क्योंकि सिस्टम देख सकता है कि सभी बहुत करीब हैं (दूरी शून्य के करीब है), यह तुरंत कह सकता है, "ठीक है, आप सभी सहमत हैं!" और एक ही राउंड में निर्णय को अंतिम रूप दे सकता है। यह एक शिक्षक की तरह है जो देखता है कि कक्षा 99% तैयार है और औपचारिक वोट का इंतजार करने के बजाय कहता है, "बहुत अच्छा, चलिए आगे बढ़ते हैं।"
2. छोटे, गहरे दल (Teams)
- पुराना तरीका: सुरक्षित रहने के लिए, समूहों (समितियों) को बहुत बड़ा (जैसे, 128 लोग) होना पड़ता था। यदि एक छोटा समूह भी कुछ धोखेबाजों से भरा होता, तो पूरा समूह विफल हो सकता था।
- नया तरीका: क्योंकि सिस्टम "दूरी" (जो समूह के औसत से बहुत दूर होंगे) के माध्यम से धोखेबाजों को पहचान सकता है, यह उन्हें तुरंत बाहर निकाल सकता है। इसका मतलब है कि आप बहुत छोटे समूहों (जैसे, 10 लोग) का उपयोग कर सकते हैं और फिर भी सुरक्षित रह सकते हैं। आप इन समूहों के गहरे "पेड़" (trees) भी बना सकते हैं, जिससे नेटवर्क का पैमाना (scale) बेहतर होता है।
3. क्रॉस-चेन गड़बड़ियों को ठीक करना
- पुराना तरीका: जब ब्लॉकचेन के दो अलग-अलग हिस्सों को एक-दूसरे से बात करने की आवश्यकता होती है, तो उन्हें आमतौर पर यह जांचने के लिए हर एक लेनदेन के लिए एक संदेश भेजना पड़ता है कि क्या वे मेल खाते हैं। यह दो अलग-अलग दीवारों के बीच के हर एक ईंट को यह देखने के लिए जांचने जैसा है कि क्या वे समान हैं।
- नया तरीका: वे केवल अपने "दूरी सारांश" (distance summaries) का आदान-प्रदान करते हैं। यदि सारांश मेल खाते हैं, तो बहुत अच्छा। यदि वे मेल नहीं खाते हैं, तो सिस्टम "ब्लूम फ़िल्टर" (एक त्वरित चेकलिस्ट की तरह) का उपयोग करके ठीक वही ईंटें ढूंढता है जो अलग हैं और केवल उन्हें ठीक करता है। यह कई मामलों में संचार लागत को 99% तक कम कर देता है।
यह कैसे काम करता है (दो-चरणीय प्रक्रिया)
शोध पत्र एक प्रोटोकॉल का वर्णन करता है जिसे प्रॉक्सिमा (Proxima) कहा जाता है, जो इस उपकरण का दो चरणों में उपयोग करता है:
- चरण 1 ("फजी" जांच): हर कोई अपना सारांश भेजता है। सिस्टम दूरी की गणना करता है। यदि सभी करीब हैं, तो यह बाकी चरणों को छोड़ देता है और तुरंत निर्णय को अंतिम रूप देता है। यदि कुछ लोग दूर हैं, तो सिस्टम केवल उन विशिष्ट लोगों से अपना छूटा हुआ डेटा भेजने के लिए कहता है (ब्लूम फ़िल्टर ट्रिक का उपयोग करके)।
- चरण 2 ("हार्ड" जांच): एक बार जब समूह संरेखित हो जाता है, तो हर कोई एक अंतिम, अटूट प्रमाण पत्र (certificate) पर हस्ताक्षर करता है। यह सुनिश्चित करता है कि यदि किसी ने चरण 1 में सिस्टम को धोखा देने की कोशिश की भी है, तो भी वह अंतिम हस्ताक्षर की नकल नहीं कर सकता।
परिणाम
शोध पत्र वर्तमान उद्योग मानक (HotStuff) के मुकाबले इस नए सिस्टम (Proxima) की तुलना करता है:
- गति: एक सिंगल कंप्यूटर कोर पर, प्रॉक्सीमा लगभग 20 गुना तेज़ (0.9 सेकंड बनाम 18 सेकंड) है क्योंकि यह अनावश्यक राउंड को छोड़ देता है।
- दक्षता: 100,000 वैलिडेटर्स के साथ, प्रॉक्सीमा पुराने सिस्टम की तुलना में 2.2 गुना कम संदेश भेजता है।
- सुरक्षा: गणित यह सिद्ध करता है कि जब तक समूह का 33% से कम हिस्सा दुर्भावनापूर्ण (malicious) है, सिस्टम को एक ही समय में दो अलग-अलग नियम स्वीकार करने के लिए धोखा नहीं दिया जा सकता है।
निष्कर्ष
यह शोध पत्र एक "कठोर, सब-या-कुछ-नहीं" (all-or-nothing) जांच प्रणाली को एक "लचीली, दूरी-मापने वाली" प्रणाली से बदलने का प्रस्ताव करता है। यह महसूस करते हुए कि "लगभग सही" वास्तव में उपयोगी जानकारी है, यह सिस्टम समान स्तर की सुरक्षा बनाए रखते हुए अधिक तेज़ी से चल सकता है, छोटे दलों का उपयोग कर सकता है, और बहुत कम संचार कर सकता है।
अपने क्षेत्र के पेपरों की भीड़ में उलझे हुए हैं?
आपके रिसर्च कीवर्ड से मेल खाने वाले सबसे नए और अलग सोच वाले पेपरों का रोज़ाना Digest पाएँ—तकनीकी सारांश के साथ, आपकी भाषा में।