The Cost of Secure Restaking vs. Proof-of-Stake

यहाँ अकाकी मामागीशविली (Akaki Mamageishvili) और बेनी सुडाकोव (Benny Sudakov) के शोध पत्र "The Cost of Secure Restaking vs. Proof-of-Stake" का विस्तृत तकनीकी सारांश दिया गया है।

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

यह शोध पत्र ब्लॉकचेन सुरक्षा में पूंजी दक्षता (capital efficiency) के मौलिक प्रश्न को संबोधित करता है। विशेष रूप से, यह जांच करता है कि क्या रीस्टेकिंग (Restaking) प्रोटोकॉल (जहाँ वैलिडेटर्स एक ही स्टेक को कई सेवाओं के लिए पुन: उपयोग करते हैं) प्रत्येक सेवा के लिए स्वतंत्र प्रूफ-ऑफ-स्टेक (PoS) चलाने की तुलना में कुल स्टैकिंग आवश्यकताओं में वास्तविक कमी लाते हैं।

• संदर्भ: रीस्टेकिंग (जैसे EigenLayer) वैलिडेटर्स को एक ही स्टेक के साथ कई सेवाओं को सुरक्षित करने की अनुमति देता है, जो उच्च पूंजी दक्षता का वादा करता है। हालाँकि, यह जटिल अंतर्निर्भरता और सुरक्षा जोखिम भी उत्पन्न करता है।
• मुख्य प्रश्न: एक सुरक्षित रीस्टेकिंग ग्राफ को देखते हुए, इसे अलग-अलग, सुरक्षित PoS प्रोटोकॉल में "विघटित" (decompose) करने के लिए कितनी अतिरिक्त स्टेक की आवश्यकता होती है? इसके विपरीत, यदि हम सुरक्षित PoS प्रोटोकॉल को एक रीस्टेकिंग ग्राफ में एकत्रित (aggregate) करते हैं, तो सुरक्षा बहाल करने के लिए कितनी अतिरिक्त स्टेक की आवश्यकता होगी?
• मीट्रिक: लेखक सुरक्षा बनाए रखते हुए इन दोनों अवस्थाओं के बीच परिवर्तन करने के लिए आवश्यक अतिरिक्त पूंजी के सापेक्ष अंतर को Restaking Savings (RS) और PoS Savings (PoSS) के रूप में परिभाषित करते हैं।

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

लेखक इस समस्या को एक बाइपार्टाइट ग्राफ (bipartite graph) $G = (S, V, E)$ का उपयोग करके औपचारिक रूप देते हैं:

• नोड्स (Nodes): $S$ सेवाओं (प्रोजेक्ट्स) का प्रतिनिधित्व करता है जिनके मान $\pi_s$ और सुरक्षा पैरामीटर $\alpha_s$ (हमला करने के लिए आवश्यक स्टेक का अंश) हैं। $V$ वैलिडेटर्स का प्रतिनिधित्व करता है जिनके स्टेक $\sigma_v$ हैं।
• एजेस (Edges): एक एज $(s, v)$ तब मौजूद होता है जब वैलिडेटर $v$, सेवा $s$ को सुरक्षित करता है।
• सुरक्षा परिभाषा: एसेट्स का एक उपसमूह $A$, सेवाओं का एक सेट $M(A)$ पर लाभजनक हमला कर सकता है यदि हमला की गई सेवाओं का कुल मूल्य $A$ से काटे जाने वाले कुल स्टेक से अधिक हो। एक ग्राफ तब सुरक्षित (secure) होता है यदि ऐसा कोई लाभदायक हमला मौजूद न हो।
• परिवर्तन बाधाएं (Transformation Constraints):
  • विघटन (Restaking $\to$ PoS): वैलिडेटर्स अपना प्रारंभिक स्टेक नहीं खो सकते ($\sigma'_v \geq \sigma_v$), लेकिन वे इसे बढ़ा सकते हैं। लक्ष्य स्टेक का ऐसा वितरण खोजना है जिससे प्रत्येक सेवा अपने स्वयं के अलग आइसोलेटेड PoS प्रोटोकॉल में सुरक्षित रहे।
  • एकत्रीकरण (PoS $\to$ Restaking): वैलिडेटर्स अलग-अलग PoS प्रोटोकॉल से स्टेक को एकत्रित करते हैं। लक्ष्य यह निर्धारित करना है कि संयुक्त ग्राफ को सुरक्षित बनाने के लिए कितनी अतिरिक्त स्टेक की आवश्यकता है।

यह शोध पत्र निष्कर्ष (degrees, covers, greedy algorithms) और असमानता विश्लेषण (inequality analysis) का उपयोग करके बाउंड्स (bounds) प्राप्त करने के लिए कॉम्बिनेटोरियल ग्राफ थ्योरी (combinatorial graph theory) का उपयोग करता है।

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

A. EigenLayer की पर्याप्त स्थिति का विश्लेषण (Analysis of the EigenLayer Sufficient Condition)

यह शोध पत्र रीस्टेकिंग सुरक्षा के लिए वर्तमान बहुपद-समय जांच योग्य (polynomial-time checkable) पर्याप्त स्थिति (पेपर में 'Condition 1') का विश्लेषण करता है।

• निष्कर्ष: यदि एक रीस्टेकिंग ग्राफ इस विशिष्ट स्थिति को संतुष्ट करता है, तो इसका अर्थ है कि ग्राफ को बिना किसी अतिरिक्त स्टेक के सुरक्षित PoS प्रोटोकॉल में विघटित किया जा सकता है।
• निहितार्थ: इस सख्त स्थिति के तहत, रीस्टेकिंग बचत (restaking savings) प्रभावी रूप से शून्य है। गैर-शून्य बचत खोजने के लिए, आपको इस विशिष्ट पर्याप्त स्थिति से परे देखना होगा।

B. रीस्टेकिंग सेविंग्स पर बाउंड्स (Bounds on Restaking Savings - Decomposition)

लेखक एक सुरक्षित रीस्टेकिंग ग्राफ को सुरक्षित PoS प्रोटोकॉल में बदलने के लिए आवश्यक अतिरिक्त स्टेक के ऊपरी (upper) और निचले (lower) बाउंड्स प्राप्त करते हैं।

• ऊपरी बाउंड्स (Upper Bounds): वे सिद्ध करते हैं कि Restaking Savings $RS(G)$ निम्नलिखित द्वारा सीमित हैं:
  1. एक सेवा नोड की अधिकतम डिग्री ($\max_s d_G(s)$)।
  2. एक वर्टेक्स कवर में न्यूनतम समावेशन (incidence) से संबंधित एक पैरामीटर $K$।
  3. दूसरे सबसे छोटे सुरक्षा पैरामीटर का व्युत्क्रम ($1/\alpha_2$)।
  4. $\Theta(\sqrt{n})$, जहाँ $n$ वैलिडेटर्स की संख्या है। यह एक ग्रीडी कवरिंग तकनीक का उपयोग करके निकाला गया है।
• निचला बाउंड (Lower Bound): वे एक विशिष्ट ग्राफ उदाहरण का निर्माण करते हैं जहाँ $RS(G) \in \Omega(m)$ (जहाँ $m$ सेवाओं की संख्या है)। चूंकि इस निर्माण में $n \approx m^2$ है, इसलिए यह $RS(G) \in \Omega(\sqrt{n})$ देता है।
• परिणाम: बाउंड्स एसिम्प्टोटिक रूप से टाइट (asymptotically tight) हैं: $RS(G) = \Theta(\sqrt{n})$। यह सिद्ध करता है कि रीस्टेकिंग पूंजी बचा सकती है, लेकिन बचत वैलिडेटर्स की संख्या के साथ उप-रैखिक (sub-linearly) रूप से बढ़ती है।

C. PoS सेविंग्स पर बाउंड्स (Bounds on PoS Savings - Aggregation)

यह शोध पत्र विपरीत समस्या का अध्ययन करता है: स्वतंत्र सुरक्षित PoS प्रोटोकॉल को एक रीस्टेकिंग ग्राफ में एकत्रित करना।

• निचला बाउंड (Lower Bound): वे एक ऐसा उदाहरण बनाते हैं जहाँ $m$ सेवाओं और $m$ वैलिडेटर्स को एकत्रित करने के लिए $m-1$ के अनुपात में अतिरिक्त स्टेक की आवश्यकता होती है। अतः, $PoSS(G) \geq m-1$।
• ऊपरी बाउंड (Upper Bound): वे सिद्ध करते हैं कि $PoSS(G) \leq \max_s d_G(s) - 1$।
• परिणाम: बाउंड्स बिल्कुल मेल खाते हैं (केवल एसिम्प्टोटिक नहीं)। प्रोटोकॉल को एकत्रित करने से भारी ओवरहेड हो सकता है, जो सेवाओं/वैलिडेटर्स की संख्या के रैखिक (linear) हो सकता है, जबकि एक रीस्टेकिंग ग्राफ को विघटित करने में केवल वर्गमूल (square-root) ओवरहेड होता है।

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

1. पूंजी दक्षता विषम (Asymmetric) है:

   • Restaking $\to$ PoS: एक सुरक्षित रीस्टेकिंग ग्राफ को PoS प्रोटोकॉल में अलग करने की लागत अपेक्षाकृत कम है, जो $\sqrt{n}$ के रूप में स्केल करती है। यह पुष्टि करता है कि रीस्टेकिंग वास्तविक पूंजी दक्षता प्रदान करती है, लेकिन वे सीमित हैं।
   • PoS $\to$ Restaking: सुरक्षित PoS प्रोटोकॉल को रीस्टेकिंग ग्राफ में एकत्रित करने की लागत बहुत अधिक हो सकती है, जो सेवाओं की संख्या ($m-1$) के साथ रैखिक रूप से स्केल करती है। यह अत्यधिक जोखिम और पूंजी अक्षमता को उजागर करता है जो अनुचित एकत्रीकरण से उत्पन्न होता है।

2. असीमित बचत (Unbounded Savings):

   • जैसे-जैसे सिस्टम स्केल होता है, दोनों रीस्टेकिंग सेविंग्स और PoS सेविंग्स असीमित रूप से बढ़ सकती हैं (कोरोलरी 2 और 3)। दक्षता लाभ या हानि के लिए कोई स्थिर कारक सीमा (constant factor limit) नहीं है।

3. सुरक्षा पैरामीटर्स की भूमिका:

   • सेविंग्स का ऊपरी बाउंड सुरक्षा पैरामीटर्स ($\alpha$) से गहराई से प्रभावित होता है। कई व्यावहारिक मामलों में, विशिष्ट मानों ($\alpha \in \{1/2, 1/3, 1/4\}$) के लिए, ओवरहेड मूल स्टेक के एक छोटे स्थिर कारक (2 से 4 गुना) तक सीमित रहता है।

4. वर्तमान कार्यान्वयन की आलोचना:

   • लेखक नोट करते हैं कि EigenLayer के हालिया अपडेट (एक एसेट के लिए एकल सेवा तक स्लैशिंग को सीमित करना) प्रभावी रूप से वैलिडेटर्स को अपना स्टेक विभाजित करने के लिए मजबूर करते हैं। यह बाधा रीस्टेकिंग ग्राफ को अलग-अलग PoS प्रोटोकॉल में बदल देती है, जिससे पूंजी दक्षता के लाभ (सेविंग्स $\to$ 0) समाप्त हो जाते हैं।

5. महत्व और निहितार्थ (Significance and Implications)

• सैद्धांतिक आधार: यह रीस्टेकिंग बनाम स्वतंत्र PoS की पूंजी दक्षता को मापने के लिए पहले औपचारिक, गणितीय ढांचों में से एक है। यह चर्चा को ह्यूरिस्टिक तर्कों से हटाकर कठोर ग्राफ-थ्योरेटिक बाउंड्स तक ले जाता है।
• डिज़ाइन मार्गदर्शन:
  • प्रोटोकॉल डिजाइनरों के लिए: पूंजी दक्षता को अधिकतम करने के लिए, प्रोटोकॉल को ऐसे ग्राफ स्ट्रक्चर बनाने का लक्ष्य रखना चाहिए जो उच्च-ओवरहेड एकत्रीकरण परिदृश्यों को ट्रिगर किए बिना "सघन" (dense) कनेक्शन की अनुमति दें।
  • वैलिडेटर्स के लिए: परिणाम बताते हैं कि हालांकि रीस्टेकिंग कुशल है, "बचत" अनंत नहीं है; वे नेटवर्क के आकार के वर्गमूल ($\sqrt{n}$) के साथ स्केल करती हैं।
  • नियामकों/विश्लेषकों के लिए: यह शोध पत्र रेखांकित करता है कि रीस्टेकिंग नेटवर्क की सुरक्षा केवल कुल वैल्यू लॉक्ड (TVL) के बारे में नहीं है, बल्कि वैलिडेटर-सर्विस ग्राफ की टोपोलॉजी (topology) के बारे में भी है।
• खुला प्रश्न: शोध पत्र एक प्रमुख खुले प्रश्न की पहचान करके समाप्त होता है: रीस्टेकिंग सुरक्षा के लिए एक पॉलीनोमियल-टाइम चेक करने योग्य पर्याप्त स्थिति डिजाइन करना जो सकारात्मक बचत की अनुमति दे (अर्थात, वर्तमान EigenLayer स्थिति से आगे बढ़ना जो शून्य बचत को मजबूर करती है)।

संक्षेप में, यह शोध पत्र प्रदर्शित करता है कि रीस्टेकिंग पूंजी दक्षता के लिए एक शक्तिशाली उपकरण है, जो $\sqrt{n}$ के रूप में स्केल होने वाली बचत प्रदान करता है, लेकिन यह यह चेतावनी भी देता है कि सावधानीपूर्वक संरचनात्मक डिज़ाइन के बिना सुरक्षा को एकत्रित करने से भारी पूंजी अक्षमता (रैखिक ओवरहेड) हो सकती है। यह ट्रेड-ऑफ पूरी तरह से वैलिडेटर-सर्विस संबंधों के अंतर्निहित ग्राफ स्ट्रक्चर पर निर्भर करता है।