⚡ electrical engineering

BigDipper: Sharded Censorship Resistant Data Availability for Leader-Based BFT

BigDipper एक लीडर-आधारित BFT प्रोटोकॉल के लिए एक शार्डेड डेटा उपलब्धता ढांचा है जो एक DA-CR तंत्र पेश करके सेंसरशिप प्रतिरोध को कंसेंसस लेयर से अलग करता है, जिससे वैलिडेटर्स को पूर्ण पुनर्निर्माण के बिना मिनी-ब्लॉक उपलब्धता को सत्यापित करने में सक्षम बनाता है और उच्च-स्तरीय अनुप्रयोगों को अपनी स्वयं की सुरक्षा रणनीतियों को अनुकूलित करने में सक्षम बनाता है।

मूल लेखक: Bowen Xue, Samuel Laferriere, Soubhik Deb, Sreeram Kannan

प्रकाशित 2026-06-03

📖 6 मिनट में पढ़ें🧠 गहराई से पढ़ें

CC BY 4.0

मूल लेखक: Bowen Xue, Samuel Laferriere, Soubhik Deb, Sreeram Kannan

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

यहाँ BigDipper पेपर का हिंदी अनुवाद दिया गया है:

समस्या: वह "बॉस" जो आपका पत्र छिपा सकता है

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

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

वास्तविक दुनिया में, यह इन चीज़ों के लिए एक आपदा है:

नीलामियों के बोलियाँ (Auction bids): यदि आपकी बोली एक ट्रक की देरी से पहुँचती है, तो आप नीलामी हार जाते हैं।
लिक्विडेशन (Liquidations): यदि कोई बैंक खराब ऋण को जल्दी से वसूल नहीं कर पाता है, तो उसे नुकसान होता है।
ब्रिज संदेश (Bridge messages): यदि आप एक चेन से दूसरी चेन पर क्रिप्टो भेज रहे हैं, तो देरी का मतलब धन की हानि हो सकता है।

मौजूदा समाधान इस बात पर जोर देकर इसे ठीक करने की कोशिश करते हैं कि पोस्टमास्टर सभी के लिए सख्त नियमों का पालन करे। लेकिन यह ऐसा है जैसे किसी एक व्यक्ति द्वारा समय-संवेदनशील पत्र भेजने के कारण सभी को एक वीआईपी बख्तरबंद ट्रक के लिए भुगतान करने के लिए मजबूर करना। यह महंगा है और सब कुछ धीमा कर देता है।

समाधान: BigDipper

BigDipper एक नई प्रणाली है जिसे पूरे नेटवर्क को धीमा किए बिना इस समस्या को ठीक करने के लिए डिज़ाइन किया गया है। यह एक सरल नियम का पालन करता है: "नियमों को हार्डकोड न करें; उपकरण दें और उपयोगकर्ता को निर्णय लेने दें।"

BigDipper को लोगों द्वारा पत्र भेजने वालों और पोस्टमास्टर के बीच स्थित एक स्मार्ट सॉर्टिंग रूम के रूप में समझें।

1. "मिनी-ब्लॉक्स" (शार्ड्स/Shards)

पोस्टमास्टर द्वारा सारा मेल इकट्ठा करने के बजाय, BigDipper रेप्लिका (Replicas) (स्थानीय डाकघरों) को पहले मेल इकट्ठा करने की अनुमति देता है।

प्रत्येक स्थानीय डाकघर जो पत्र प्राप्त करता है उन्हें इकट्ठा करता है और उन्हें एक मिनी-ब्लॉक (Mini-Block) नामक छोटे, सीलबंद लिफाफे में रखता है।
ये लिफाफे फिर पोस्टमास्टर को भेजे जाते हैं।

2. "जादुई पहेली" (Erasure Coding)

यही वह चतुर हिस्सा है। पोस्टमास्टर इन सभी मिनी-ब्लॉक्स को इरेज़र कोडिंग (Erasure Coding) नामक एक विशेष गणितीय ट्रिक का उपयोग करके पहेली के टुकड़ों में तोड़ देता है।

कल्पना कीजिए कि आपने 100 पत्र लिए, उन्हें फाड़ा और 300 पहेली के टुकड़े बनाए।
आप उन 300 में से किन्हीं भी 100 टुकड़ों से मूल 100 पत्रों को पुनर्गठित कर सकते हैं।
पोस्टमास्टर इन पहेली के टुकड़ों को वैलिडेटर्स (Validators) (ऑडिटर्स जो सिस्टम की ईमानदारी की जाँच करते हैं) को भेजता है।

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

3. "सेंसरशिप-प्रतिरोधी" नियम (DA-CR)

यह मुख्य नवाचार है। BigDipper एक नियम पेश करता है जिसे DA-CR (Data Availability with Censorship Resistance) कहा जाता है।

नियम: पोस्टमास्टर को कम से कम एक निश्चित संख्या में स्थानीय डाकघरों के पहेली के टुकड़ों को शामिल करना अनिवार्य है। वे केवल यह चुनने के लिए नहीं चुन सकते कि किसे ट्रक पर चढ़ना है।
कैच (Catch): पोस्टमास्टर अभी भी एक विशिष्ट पत्र को छिपाने की कोशिश कर सकता है, लेकिन वह ऐसा तभी कर सकता है जब वह उस पूरे स्थानीय डाकघर को बाहर करने में सफल हो जाए जिसने वह पत्र प्राप्त किया था।

4. "फैनआउट" रणनीति (Navigator)

यहीं पर उपयोगकर्ता (क्लाइंट) की भूमिका आती है। BigDipper आपको एक विकल्प देता है: आप कितनी सुरक्षा चाहते हैं?

कम लागत वाला विकल्प: आप अपने पत्र को केवल एक स्थानीय डाकघर में भेजते हैं। यह सस्ता और तेज़ है, लेकिन यदि उस विशिष्ट स्थानीय डाकघर को पोस्टमास्टर द्वारा अनदेखा कर दिया जाता है, तो आपके पत्र को सेंसर किया जा सकता है।
उच्च-सुरक्षा वाला विकल्प: आप अपने पत्र को कई स्थानीय डाकघरों में भेजते हैं (उच्च "फैनआउट")। भले ही पोस्टमास्टर 50% कार्यालयों को अनदेखा कर दे, फिर भी आपका पत्र अन्य कार्यालयों के पास सुरक्षित रहेगा। अधिक स्थानों पर भेजने के कारण यह थोड़ा महंगा पड़ता है, लेकिन आपके सेंसर होने की संभावना लगभग शून्य हो जाती है।

उपमा (Analogy):
यदि आप एक साधारण जन्मदिन का कार्ड भेज रहे हैं, तो आप इसे केवल एक मेलबॉक्स में डाल सकते हैं। यदि आप एक जीतने वाला लॉटरी टिकट भेज रहे हैं, तो आप इसकी प्रतियां 10 अलग-अलग मेलबॉक्सों में भेज सकते हैं। BigDipper आपको यह तय करने की अनुमति देता है कि आप कितने मेलबॉक्सों का उपयोग करेंगे, यह इस आधार पर कि आपका पत्र आपके लिए कितना मूल्यवान है।

परिणाम: एक मॉड्यूलर सिस्टम

BigDipper कंसेंसस (Consensus) (घटनाओं के क्रम पर सहमत होना) को एग्जीक्यूशन (Execution) (वास्तव में डेटा को प्रोसेस करना) से अलग करता है।

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

सारांश के दावे

पेपर का दावा है कि इस "शार्डेड" (विभाजित) दृष्टिकोण के साथ इरेज़र कोडिंग और लीनियर कमिटमेंट्स का उपयोग करके:

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

संक्षेप में, BigDipper "पोस्टमास्टर" को एकल बिंदु विफलता (single point of failure) बनने से रोकता है, क्योंकि यह मेल को कई हाथों में फैला देता है, गणित का उपयोग करके यह प्रमाणित करता है कि मेल वहां मौजूद है, और प्रेषक को यह तय करने देता है कि वे कितने हाथों पर भरोसा करना चाहते हैं।

तकनीकी सारांश: BigDipper

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

लीडर-आधारित बाइटेंटाइन फॉल्ट टॉलरेंट (BFT) प्रोटोकॉल अपने कम विलंबता (low latency) और सरल संचार संरचनाओं के कारण प्रोडक्शन ब्लॉकचेन सिस्टम में प्रमुख हैं। हालाँकि, वे लीडर को लेनदेन समावेश (transaction inclusion) पर अल्पकालिक नियंत्रण प्रदान करते हैं। एक दुर्भावनापूर्ण लीडर प्रोटोकॉल को जीवंत (liveness सुनिश्चित करना) रख सकता है, जबकि समय-संवेदनशील लेनदेन, जैसे कि नीलामी बोलियाँ (auction bids), ऑरेकल अपडेट, लिक्विडेशन और ब्रिज संदेशों को चुनिकी रूप से विलंबित या बाहर कर सकता है। यह घटना, जिसे शॉर्ट-टर्म सेंसरशिप (short-term censorship) कहा जाता है, मानक BFT लाइवनेस गारंटियों द्वारा कैप्चर नहीं की जाती है।

मौजूदा समाधान अक्सर कंसेंसस पाथ में मजबूत एंटी-सेंसरशिप, हाइडिंग या ऑर्डरिंग तंत्र को हार्डकोड करते हैं। विशिष्ट उपयोग के मामलों के लिए प्रभावी होने के बावजूद, ये दृष्टिकोण सभी लेनदेन को सुरक्षा के लिए समान उच्च लागत चुकाने के लिए मजबूर करते हैं, चाहे उस विशिष्ट लेनदेन को कितनी भी मजबूती की आवश्यकता क्यों न हो। यह पेपर एक अधिक मॉड्यूलर डिज़ाइन के लिए तर्क देता है जो एंड-टू-एंड सिद्धांत (end-to-end principle) का पालन करता है: कंसेंसस लेयर को सुरक्षित ऑर्डरिंग और डेटा उपलब्धता के लिए न्यूनतम प्रिमिटिव्स (primitives) को उजागर करना चाहिए, जिससे सेंसरशिप प्रतिरोध रणनीतियों और लागतों का चयन उच्च-स्तरीय अनुप्रयोगों (higher-layer applications) पर छोड़ दिया जाए।

कार्यप्रणाली (Methodology)

BigDipper एक सेंसरशिप-प्रतिरोधी डेटा उपलब्धता (DA-CR) लेयर पेश करता है, जो लेनदेन सबमिशन और लीडर-आधारित BFT कंसेंसस के बीच स्थित है। सिस्टम तीन मुख्य घटकों के इर्द-गिर्द डिज़ाइन किया गया है:

DA-CR एब्स्ट्रैक्शन: एक लेयर जहाँ रेप्लिकास (replicas) मिनी-ब्लॉक्स में योगदान करते हैं, और एक तंत्र प्रमाणित करता है कि कौन सा डेटा उपलब्ध है और जिसे लीडर द्वारा कैप्चर किया जाना अनिवार्य है। इस लेयर को पैरामीटर्स $(t, \eta)$ द्वारा परिभाषित किया जाता है, जहाँ $t$ ईमानदार मिनी-ब्लॉक्स के गारंटीकृत समावेश का प्रतिनिधित्व करता है, और $\eta$ लीडर की शेष क्षमता (डेटा को बाहर करने की क्षमता) का प्रतिनिधित्व करता है।
शार्डेड कंसेंसस क्रिटिकल पाथ: पारंपरिक डिज़ाइनों के विपरीत जहाँ वैलिडेटर्स को पूर्ण ब्लॉक पेलोड डाउनलोड और निष्पादित करना पड़ता है, BigDipper डेटा को क्रिटिकल पाथ पर शार्ड (shard) रखता है। वैलिडेटर्स फुल पेलोड के पुनर्निर्माण के बजाय कॉम्पैक्ट कमिटमेंट्स, उपलब्धता साक्ष्य (availability evidence), और DA-CR समावेश नियमों के आधार पर वोट करते हैं।
क्लाइंट-ट्यूनेबल सबमिशन (Navigator): एक लेनदेन प्रसार प्रोटोकॉल जहाँ क्लाइंट एक "फैनआउट" पैरामीटर $x$ चुनते हैं, और $x$ अलग-अलग रेप्लिकास को लेनदेन भेजते हैं। यह क्लाइंट्स को संचार लागत और त्वरित समावेश की संभावना के बीच ट्रेड-ऑफ करने की अनुमति देता है।

मुख्य निर्माण (Core Constructions)

पेपर रीड-सोल्मन (RS) इरेज़र कोडिंग और लीनियर पॉलिनॉमियल कमिटमेंट्स (KZG) पर आधारित ठोस DA-CR निर्माण प्रस्तुत करता है:

Card-7: एक जवाबदेह (accountable) प्रोटोकॉल जहाँ लीडर को शामिल किए गए मिनी-ब्लॉक्स के लिए एटेस्टेशन (attestations) प्रदान करना आवश्यक है। यह गारंटी देता है कि $t = n - 2f$ ईमानदार मिनी-ब्लॉक्स शामिल किए गए हैं और $\eta = 0$ (कोई स्पेस कैप्चरिंग नहीं)। इसके लिए $n \ge 3f + 1$ की आवश्यकता है।
Card-1/4: कम ओवरहेड वाला एक गैर-जवाबदेह (non-accountable) वेरिएंट। यह सार्वजनिक एटेस्टेशन की आवश्यकता को हटा देता है, जिससे लीडर यह छिपा सकता है कि किन रेप्लिकास को शामिल किया गया था। यह $t = n - 3f$ और $\eta = n - f - 1$ प्राप्त करता है, जिसके लिए $n \ge 4f + 1$ का मजबूत अनुमान आवश्यक है।
Card-Lite: एक डबली होमोमोर्फिक कमिटमेंट स्कीम का उपयोग करके Card-7 का अनुकूलन। यह पूर्ण सूची प्रसारित करने के बजाय कमिटमेंट्स को सैंपल करके प्रति-रेप्लिका ओवरहेड को $O(\log n)$ तक कम करता है, जबकि $t \approx n - 2f$ बनाए रखता है।

HotStuff-2 के साथ एकीकरण

BigDipper को HotStuff-2 के भीतर स्थापित किया गया है। एकीकरण सर्जिकल है, जो एक स्कूपिंग नियम (Scooping rule) को वैधता प्रेडिकेट (validity predicate) के रूप में पेश करता है। एक लीडर प्रस्ताव केवल तभी वैध होता है यदि वह एक पूर्ण DA-CR आउटपुट (एक प्रमाण जो डेटा उपलब्धता और आवश्यक मिनी-ब्लॉक्स के समावेश को प्रमाणित करता है) को शामिल करता है। यह HotStuff-2 के सेफ्टी कोर को नहीं बदलता है लेकिन लीडर को आवश्यक रेप्लिका-योगदान वाले डेटा को कैप्चर किए बिना प्रगति करने से रोकता है।

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

शॉर्ट-टर्म सेंसरशिप रेजिस्टेंस के लिए मॉड्यूलर एब्स्ट्रैक्शन: DA-CR का परिचय, जो डेटा उपलब्धता के तंत्र को विशिष्ट सेंसरशिप रेजिस्टेंस नीतियों से अलग करता है। यह गारंटीकृत समावेश ( $t$ ) और लीडर के प्रभाव ( $\eta$ ) के बीच के ट्रेड-ऑफ को औपचारिक रूप देता है।
शार्डेड, स्केलेबल डेटा पाथ: एक डिज़ाइन जहाँ साधारण वैलिडेटर्स को वोट करने के लिए पूरे ब्लॉक पेलोड को डाउनलोड करने की आवश्यकता नहीं होती है। वे कमिटमेंट्स और मेटाडेटा को सत्यापित करते हैं, जिससे एग्रीगेट प्रपोजल बैंडविड्थ, सिंगल लीडर के इनपुट बैंडविड्थ द्वारा सीमित होने के बजाय, रेप्लिका-साइड डेटा योगदान के साथ स्केल हो सकती है।
क्लाइंट-ट्यूनेबल सेंसरशिप रेजिस्टेंस: Navigator प्रोटोकॉल क्लाइंट्स को उनके फैनआउट को बढ़ाकर समावेश की संभावना को बढ़ाने की अनुमति देता है। पेपर लागत/सुरक्षा ट्रेड-ऑफ का विश्लेषण करता है, यूनियन-बाउंड तर्क के माध्यम से सिद्ध करता है कि जैसे-जैसे सबमिट किए गए लेनदेन और रेप्लिकास की संख्या बढ़ती है, व्यापक सेंसरशिप की संभावना तेजी से (exponentially) कम हो जाती है।
ठोस एकीकरण और विश्लेषण: HotStuff-2 के भीतर BigDipper का एक पूर्ण इंस्टेंशिएशन, जो प्रदर्शित करता है कि DA-CR को सुरक्षा और लाइवनेस से समझौता किए बिना मौजूदा लीडर-आधारित BFT प्रोटोकॉल के साथ सटीक रूप से जोड़ा जा सकता है।

परिणाम और विश्लेषण (Results and Analysis)

सेंसरशिप रेजिस्टेंस: विश्लेषण दिखाता है कि जबकि एक दुर्भावनापूर्ण लीडर कुछ रेप्लिकास को भेजे गए लेनदेन को सेंसर कर सकता है, लेनदेन के एक बड़े हिस्से को सेंसर करना जैसे-जैसे सिस्टम स्केल होता है, तेजी से कठिन होता जाता है। विशेष रूप से, यदि $T$ क्लाइंट प्रत्येक $x$ प्रतियां भेजते हैं, तो एक $\alpha$ अंश के लेनदेन को सेंसर करने की संभावना $T$ के बढ़ने के साथ तेजी से (exponentially) घटती है।
स्केलेबिलिटी: कंसेंसस को पूर्ण-डेटा निष्पादन (full-data execution) से अलग करके, BigDipper DA-CR को अनुमति देता है कि कंसेंसस लेयर रेप्लिकास के एग्रीगेट बैंडविड्थ के साथ रैखिक रूप से स्केल हो सके। सिस्टम की क्षमता सिंगल लीडर के इनपुट बैंडविड्थ द्वारा सीमित नहीं होती है।
परफॉर्मेंस: Card-7 प्रोटोकॉल HotStuff-2 के मौजूदा मैसेज शेड्यूल (Propose, Vote, Prepare, Vote2) के भीतर फिट बैठता है, जो नए फेज जोड़े बिना DA-CR संदेशों (Collection, Dispersal, Approval, Agreement) को मानक BFT संदेशों के साथ जोड़ता है।

महत्व (Significance)

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

महत्वता इस बात में निहित है कि सेंसरशिप रेजिस्टेंस के बोझ को एक निश्चित प्रोटोकॉल लागत से हटाकर एक ट्यूनेबल क्लाइंट-साइड पैरामीटर में स्थानांतरित करना है, जबकि यह सुनिश्चित करना है कि कंसेंसस लेयर कुशल और शार्डेड बनी रहे। यह प्रदर्शित करता है कि लीडर-आधारित BFT को लीडर-आधारित मॉडल के लो-लेटेंसी लाभों से समझौता किए बिना सेंसरशिप-प्रतिरोधी बनाया जा सकता है, बशर्ते कि डेटा उपलब्धता को फुल रेप्लिकेशन के बजाय एक शार्डेड, कमिटमेंट-आधारित तंत्र के माध्यम से प्रमाणित किया जाए।