💻 computer science

Catching the Fly: Practical Challenges in Making Blockchain FlyClient Real

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

मूल लेखक: Pericle Perazzo, Dario Capecchi

प्रकाशित 2026-04-30

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

CC BY 4.0

मूल लेखक: Pericle Perazzo, Dario Capecchi

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

बड़ी तस्वीर: "हल्कापन" (Lightweight) की समस्या

कल्पना कीजिए कि आप यह सत्यापित करना चाहते हैं कि एक विशाल पुस्तकालय (ब्लॉकचेन) उसके अंदर मौजूद एक विशिष्ट पुस्तक के बारे में सच बोल रहा है।

पुराना तरीका: 100% सुनिश्चित होने के लिए, आपको आमतौर पर पूरा पुस्तकालय डाउनलोड करना होगा, हर एक किताब पढ़नी होगी और इंडेक्स (सूची) की जांच करनी होगी। एक छोटे उपकरण जैसे मोबाइल फोन या स्मार्ट फ्रिज (IoT डिवाइस) के लिए यह असंभव है क्योंकि उनके पास पर्याप्त स्टोरेज या बैटरी पावर नहीं होती।
"FlyClient" का विचार: यह एक चतुर नया प्रोटोकॉल है जो आपको केवल कुछ यादृच्छिक (random) पन्नों को जांचकर पुस्तकालय की सच्चाई को सत्यापित करने की अनुमति देता है। यह यह साबित करने के लिए कि आपने जो पन्ने नहीं देखे हैं वे अभी भी सही ढंग से जुड़े हुए हैं, डेटा के एक विशेष "पर्वत श्रृंखला" (जिसे MMR कहा जाता है) का उपयोग करता है। यह कुछ प्रमुख लैंडमार्क्स (निशानों) की जांच करने जैसा है जिससे यह साबित हो सके कि आप सही शहर में हैं, बिना पूरी दुनिया का नक्शा देखे।

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

तीन मुख्य योगदान

लेखकों ने इस सिद्धांत को Zcash (एक विशिष्ट क्रिप्टोकरेंसी) के लिए एक कामकाजी वास्तविकता में बदलने के लिए तीन मुख्य कार्य किए।

1. "बुरे लोगों" को मापने का एक नया तरीका (Adversary Model)

समस्या: मूल FlyClient सिद्धांत ने एक "बुरे व्यक्ति" (अटैकर) को अमूर्त गणितीय शब्दों का उपयोग करके वर्णित किया था जैसे कि "वे X लंबाई वाली Y% वैधता वाली नकली चेन नहीं बना सकते।" यह वास्तविक दुनिया के इंजीनियरों के लिए उपयोग करना कठिन है क्योंकि यह आपको यह नहीं बताता है कि हमलावर को कितने पैसे खर्च करने की आवश्यकता है।

समाधान: लेखकों ने "wa-adversary" मॉडल पेश किया।

उपमा: यह कहने के बजाय कि, "बुरे आदमी एक 10 फीट ऊंची दीवार नहीं बना सकता," वे कहते हैं, "बुरे आदमी के पास ईंटों पर खर्च करने के लिए केवल $20,000 हैं।"
यह कैसे मदद करता है: यह गणना करना आसान बनाता है कि आपके सिस्टम को वास्तव में कितना सुरक्षित होने की आवश्यकता है। यदि किसी हमलावर को सिस्टम को तोड़ने के लिए $20,000 खर्च करने की आवश्यकता है, और आपकी सुरक्षा सेटिंग्स को बनाए रखने की लागत केवल$ 13 है, तो आप जानते हैं कि आप सुरक्षित हैं। इस नए मॉडल ने डेटा की मात्रा को कम करने में भी मदद की, जिससे यह साबित करने के लिए कि सिस्टम सुरक्षित है, पुराने तरीके की तुलना में लगभग 37% डेटा की बचत हुई।

2. "प्रूफ जनरेटर" बनाना (The Prover Implementation)

समस्या: FlyClient को दो पक्षों की आवश्यकता होती है: एक वेरिफायर (हल्का उपकरण जो प्रमाण की जांच करता है) और एक प्रोवर (पूरा कंप्यूटर जिसके पास पूरा ब्लॉकचेन होता है और जो प्रमाण उत्पन्न करता है)। जबकि वेरिफायर सैद्धांतिक थे, वास्तव में किसी ने Zcash जैसे वास्तविक, लाइव ब्लॉकचेन के लिए प्रोवर नहीं बनाया था।

समाधान: लेखकों ने Zcash के आधिकारिक कंप्यूटर प्रोग्राम, Zebrad का विस्तार किया ताकि वह एक प्रोवर के रूप में कार्य कर सके।

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

3. अनावश्यक भार को हटाना (Optimizations)

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

समाधान: उन्होंने रसीदों को छोटा करने के दो तरीकों का परीक्षण किया:

अनुकूलन A: "संचयी प्रमाण" (Cumulative Proof) (कोई लागत नहीं)
- उपमा: कल्पना कीजिए कि आपको यह साबित करने की आवश्यकता है कि आपने घर के तीन विशिष्ट कमरों का दौरा किया है। पुराना तरीका यह था कि प्रत्येक कमरे के लिए एक अलग चाबी और एक अलग नक्शा प्राप्त करना। नया "संचयी" तरीका एक ही नक्शा प्राप्त करना है जो एक साथ तीनों कमरों को जोड़ने वाले पथ को दिखाता है।
- परिणाम: इसने डेटा के आकार में लगभग 9% की बचत की। यह एक मुफ्त अपग्रेड है जिसे ब्लॉकचेन के नियमों को बदले बिना अभी उपयोग किया जा सकता है।
अनुकूलन B: "डिस्टिल्ड प्रूफ" (Distilled Proof) (नियम परिवर्तन की आवश्यकता है)
- उपमा: मूल रसीदें बहुत बड़ी थीं क्योंकि उनमें "लॉक-पिकिंग समाधान" (Equihash नामक 1,344-बाइट कोड) शामिल था, जो यह साबित करने के लिए आवश्यक था कि काम किया गया था। यह केवल यह साबित करने के लिए कि दरवाजा लॉक है, एक पूर्ण आकार के ब्लूप्रिंट को मेल करने जैसा है।
- सुधार: लेखकों ने ब्लॉकचेन के नियमों को बदलने का प्रस्ताव दिया ताकि एक अलग "लॉक" का उपयोग किया जा सके जिसके लिए केवल एक छोटी "चाबी" (32 बाइट्स) की आवश्यकता होती है, न कि एक ब्लूप्रिंट की। उन्होंने अन्य अनावश्यक फ़ील्ड्स को भी हटा दिया, केवल वही रखा जिसकी प्रमाण के लिए आवश्यकता थी।
- परिणाम: यह एक बहुत बड़ा सुधार है। यह प्रमाण के आकार को 71% तक कम कर देता है।
- वास्तविक दुनिया का प्रभाव: एक "ट्रस्टलेस ब्रिज" (एक चेन से दूसरी चेन पर क्रिप्टो ले जाना) के लिए, इस प्रमाण को स्मार्ट कॉन्ट्रैक्ट को भेजने की लागत लगभग $3.44** होगी, बजाय **$ 13.21 के।

परिणामों का सारांश

यह पेपर सिद्ध करता है कि FlyClient वास्तविक दुनिया के लिए तैयार है।

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

संक्षेप में, उन्होंने ब्लॉकचेन की जांच करने के एक सैद्धांतिक "जादुई ट्रिक" को एक व्यावहारिक, कुशल उपकरण में बदल दिया जो वास्तव में एक लाइव नेटवर्क पर काम करता है।

यहाँ शोध पत्र "Catching the Fly: Practical Challenges in Making Blockchain FlyClient Real" का विस्तृत तकनीकी सारांश दिया गया है।

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

FlyClient एक सैद्धांतिक प्रोटोकॉल है जिसे प्रूफ-ऑफ-वर्क (PoW) ब्लॉकचेन के अति-हल्के सत्यापन (ultra-lightweight verification) को सक्षम करने के लिए डिज़ाइन किया गया है। यह क्लाइंट्स (जैसे मोबाइल वॉलेट, IoT डिवाइस, स्मार्ट कॉन्ट्रैक्ट्स) को ब्लॉक हेडर के संभावabilistic सैंपलिंग और मर्केल माउंटेन रेंज (MMR) कमिटमेंट्स का उपयोग करके, लीनियर जटिलता के बजाय लॉगरिदमिक डेटा जटिलता ( $O(\log n)$ ) के साथ ब्लॉकचेन की वैधता सत्यापित करने की अनुमति देता है।

इसके सैद्धांतिक वादे के बावजूद, FlyClient वास्तविक दुनिया में तैनाती के लिए महत्वपूर्ण बाधाओं का सामना करता है:

प्रोडक्शन कार्यान्वयन का अभाव: प्रमुख प्रोडक्शन ब्लॉकचेन (विशेष रूप से Zcash, जो नेटिवली फ्लाईक्लाइंट को हार्ड फोर्क के माध्यम से सपोर्ट करता है) के लिए कोई मौजूदा प्रूवर कार्यान्वयन मौजूद नहीं थे।
अमूर्त विरोधी मॉडल (Abstract Adversary Models): मूल सुरक्षा मॉडल एक $(c, L)$ -विरोधी पर निर्भर करता है (एक हमलावर जो $L$ लंबाई का फोर्क वैधता अनुपात $c$ के साथ उत्पन्न नहीं कर सकता)। यह मॉडल गणितीय रूप से सुविधाजनक है लेकिन इसमें प्रत्यक्ष आर्थिक व्याख्या का अभाव है, जिससे व्यावहारिक उपयोगकर्ताओं के लिए वास्तविक दुनिया के हमले के बजट के आधार पर सत्यापनकर्ताओं (verifiers) को कॉन्फ़िगर करना कठिन हो जाता है।
प्रूफ आकार की अक्षमता: वर्तमान प्रूफ का आकार बड़े ब्लॉक हेडर घटकों (विशेष रूप से Zcash में इक्विहाश समाधान) द्वारा नियंत्रित होता है, जिससे ऑन-चेन सत्यापन (जैसे क्रॉस-चैन ब्रिज में) गैस लागत के मामले में अत्यधिक महंगा हो जाता है।
प्रदर्शन अंतराल: विविध नेटवर्क स्थितियों के तहत फ्लाईक्लाइंट प्रूवर चलाने के लिए आवश्यक संसाधन ओवरहेड और वास्तविक बैंडविड्थ/स्टोरेज आवश्यकताओं के संबंध में अनुभवजन्य डेटा (empirical data) की कमी थी।

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

लेखकों ने तीन मुख्य पद्धतिगत स्तंभों के माध्यम से सिद्धांत और व्यवहार के बीच के अंतर को पाटा:

A. सैद्धांतिक परिशोधन: $w_a$ -विरोधी मॉडल

लेखकों ने $w_a$ -विरोधी मॉडल पेश किया, जो अमूर्त $(c, L)$ मापदंडों को एक एकल, ठोस मापदंड: विरोधी कार्य बजट ( $w_a$ ) से बदल देता है।
यह मॉडल एक विशिष्ट मौद्रिक बजट (जैसे बिजली और हार्डवेयर की लागत) दिए जाने पर एक हमलावर की संचयी कार्य क्षमता को परिभाषित करता है।
उन्होंने इस आर्थिक बजट को इष्टतम प्रोटोकॉल मापदंडों ( $n_{det}$ और $n_{prob}$ ) में मैप करने के लिए एक गणितीय अनुकूलन प्रक्रिया विकसित की, ताकि लक्षित सुरक्षा स्तर ( $\lambda$ ) बनाए रखते हुए सैंपल किए गए हेडर की संख्या को न्यूनतम किया जा सके।

B. कार्यान्वयन: Zcash FlyClient प्रूवर

टीम ने Zebrad, जो Zcash का Rust-आधारित आधिकारिक फुल नोड कार्यान्वयन है, को फ्लाईक्लाइंट प्रूवर के रूप में कार्य करने के लिए विस्तारित किया।
उन्होंने ब्लॉक हेडर, MMR नोड्स और कुल कार्य डेटा को सर्व करने के लिए विशिष्ट रिमोट प्रोसीजर कॉल (RPC) फंक्शन लागू किए।
उन्होंने नोड सिंक्रोनाइज़ेशन समय और स्टोरेज आवश्यकताओं पर MMR नोड डेटाबेस बनाए रखने के प्रभाव को मापने के लिए प्रदर्शन बेंचमार्क आयोजित किए।

C. अनुकूलन रणनीतियाँ (Optimization Strategies)

लेखकों ने प्रूफ के आकार को कम करने के लिए दो अलग-अलग अनुकूलन प्रस्तावित और मूल्यांकित किए:

संचयी प्रमाण (Cumulative Proofs): एक सॉफ्टवेयर-स्तरीय अनुकूलन जहाँ सत्यापनकर्ता प्रत्येक ब्लॉक के लिए व्यक्तिगत प्रमाणों के बजाय एक ही MMR प्रमाण डाउनलोड करता है जो सभी सैंपल किए गए ब्लॉकों को कवर करता है। यह बिना किसी कंसेंसस परिवर्तन के रेडंडेंट नोड डाउनलोड को समाप्त करता है।
डिस्टिल्ड प्रूफ (Distilled Proofs): एक कंसेंसस-स्तरीय अनुकूलन जिसके लिए हार्ड फोर्क की आवश्यकता होती है। इसमें शामिल है:
- मेमोरी-हार्ड इक्विहाश एल्गोरिदम (जिसके लिए हेडर में 1344-बाइट समाधानों को संग्रहीत करने की आवश्यकता होती है) को अधिक स्थान-कुशल PoW (जैसे Ethash/RandomX) या छोटे समाधानों वाले वेरिएंट से बदलना।
- फ्लाईक्लाइंट सत्यापन के लिए आवश्यक क्षेत्रों को शामिल करने के लिए ब्लॉक हेडर को "डिस्टिल" करना (लेनदेन डेटा और अनावश्यक रूट्स को हटाना)।
- केवल आवश्यक क्षेत्रों और शेष के हैश को संग्रहीत करने के लिए MMR नोड्स को "डिस्टिल" करना।

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

आर्थिक विरोधी मॉडल: $w_a$ -विरोधी मॉडल की शुरूआत फ्लाईक्लाइंट सत्यापनकर्ताओं को सहज, बजट-आधारित कॉन्फ़िगरेशन की अनुमति देती है। यह सिद्ध किया गया कि यह मॉडल मूल $(c, L)$ मॉडल के सुरक्षा गारंटियों को पूरा करता है और अनुकूलित मापदंडों के माध्यम से 37% तक प्रूफ आकार में कमी लाता है।
पहला प्रोडक्शन-ग्रेड प्रूवर: शोध पत्र Zcash के लिए पहला कार्यशील फ्लाईक्लाइंट प्रूवर कार्यान्वयन प्रस्तुत करता है (Zebrad में एकीकृत)। यह प्रदर्शित करता है कि फ्लाईक्लाइंट कार्यक्षमता जोड़ने का सिंक्रोनाइज़ेशन समय पर नगण्य प्रभाव पड़ता है (3M ब्लॉक चेन के लिए डेटाबेस अपग्रेड ~10 घंटे लेता है, जबकि फुल सिंक ~40 घंटे लेता है)।
प्रूफ आकार अनुकूलन:
- संचयी प्रमाण (Cumulative Proofs): शून्य कंसेंसस परिवर्तनों के साथ 9.16% की कमी हासिल की।
- डिस्टिल्ड प्रूफ (Distilled Proofs): गैर-इंटरैक्टिव प्रूफ आकार में भारी 71.33% की कमी हासिल की, जिससे 3-मिलियन-ब्लॉक चेन के लिए आकार ~1.2 MiB से घटकर ~320 KiB रह गया।

4. प्रयोगात्मक परिणाम (Experimental Results)

प्रूफ आकार और लागत:
- बेसलाइन: 3-मिलियन-ब्लॉक Zcash चेन के लिए एक मानक नॉन-इंटरैक्टिव फ्लाईक्लाइंट प्रूफ ~1.2 MiB है। इसे स्मार्ट कॉन्ट्रैक्ट (EIP-7623 के माध्यम से) को पास करने की लागत लगभग $13.21 USD है।
- संचयी अनुकूलन (Cumulative Optimization): लागत को $12.00 USD (-9.16%) तक कम करता है।
- डिस्टिल्ड अनुकूलन (Distilled Optimization): नॉन-इंटरैक्टिव प्रूफ आकार में 71.33% की कमी के साथ लागत को $3.44 USD तक कम करता है, जिससे अधिक बार होने वाले लेनदेन के लिए ट्रस्टलेस क्रॉस-चैन ब्रिज आर्थिक रूप से व्यवहार्य हो जाता है।
संसाधन ओवरहेड:
- फ्लाईक्लाइंट प्रूवर कार्यान्वयन नोड प्रदर्शन को महत्वपूर्ण रूप से खराब नहीं करता है। MMR नोड्स को स्टोर करने के लिए मौजूदा नोड के डेटाबेस को अपग्रेड करने का समय रैखिक (linear) और प्रबंधनीय है।
- डेटा ट्रांसमिशन के लिए "ज़िप्ड बाइनरी" (zipped binary) प्रतिनिधित्व सबसे कुशल पाया गया, जिसने JSON या रॉ बाइनरी फॉर्मेट की तुलना में प्रूफ साइज को काफी कम कर दिया।
सुरक्षा विश्लेषण: $w_a$ -विरोधी मॉडल ने पुष्टि की कि ~$20,000 USD के बजट वाला हमलावर (जो ~50 ब्लॉक का कार्य उत्पन्न करने के लिए पर्याप्त है) अनुकूलित मापदंडों के साथ कॉन्फ़िगर किए गए सत्यापनकर्ता पर सफल हमला नहीं कर सकता है, भले ही हमलावर कम वैधता अनुपात के साथ एक फोर्क बनाने का प्रयास करे।

5. महत्व (Significance)

यह शोध पत्र फ्लाईक्लाइंट के औद्योगिकीकरण (industrialization) की दिशा में एक महत्वपूर्ण कदम है।

ट्रस्टलेस ब्रिज (Trustless Bridges): विदेशी ब्लॉकचेन को स्मार्ट कॉन्ट्रैक्ट पर सत्यापित करने की गैस लागत को नाटकीय रूप से कम करके, डिस्टिल्ड प्रूफ अनुकूलन ट्रस्टलेस क्रॉस-चैन ब्रिज (बिना फेडरेटेड या विश्वसनीय तीसरे पक्ष के) को आर्थिक रूप से व्यवहार्य बनाता है।
IoT और मोबाइल व्यवहार्यता: परिणाम पुष्टि करते हैं कि हल्के क्लाइंट न्यूनतम बैंडविड्थ और स्टोरेज के साथ विशाल ब्लॉकचेन को सत्यापित कर सकते हैं, जिससे संसाधन-बाधित वातावरण में सुरक्षित मशीन-टू-मशीन लेनदेन सक्षम होता है।
व्यावहारिक सुरक्षा: अमूर्त गणितीय मॉडलों से आर्थिक बजट मॉडलों की ओर बढ़ने से वास्तविक दुनिया में ब्लॉकचेन सिस्टम को सुरक्षित करने के लिए एक अधिक यथार्थवादी ढांचा मिलता है।
भविष्य का रोडमैप: लेखक सुझाव देते हैं कि फ्लाईक्लाइंट को SNARKs (Succinct Non-Interactive Arguments of Knowledge) के साथ जोड़ने से प्रमाणों को और अधिक संकुचित किया जा सकता है, हालांकि यह भविष्य का कार्य है।

निष्कर्षतः, यह शोध पत्र प्रदर्शित करता है कि फ्लाईक्लाइंट अब केवल एक सैद्धांतिक अवधारणा नहीं है, बल्कि अगली पीढ़ी के ब्लॉकचेन इंफ्रास्ट्रक्चर के लिए एक तैनात करने योग्य, सुरक्षित और अनुकूलित समाधान है।