Economic Security of VDF-Based Randomness Beacons: Models, Thresholds, and Design Guidelines

यहाँ ज़ेनहंग शांग और कनी चेन के शोध पत्र "Economic Security of VDF-Based Randomness Beacons: Models, Thresholds, and Design Guidelines" का विस्तृत तकनीकी सारांश दिया गया है।

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

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

अंतराल (The Gap): मौजूदा सुरक्षा विश्लेषण मुख्य रूप से क्रिप्टोग्राफिक हार्डनेस (एक वर्स्ट-केस पॉलिनॉमियल-टाइम एडवरसरी को मानते हुए) पर ध्यान केंद्रित करते हैं लेकिन आर्थिक तर्कसंगतता (economic rationality) की अनदेखी करते हैं। वास्तविक दुनिया के डिप्लॉयमेंट (जैसे, सार्वजनिक ब्लॉकचेन) में, हमलावर लाभ (जैसे, मैक्सिमल एक्सट्रैक्टेबल वैल्यू (MEV), वैलिडेटर चयन, या साइड बेट्स) से प्रेरित होते हैं।

• एक VDF क्रिप्टोग्राफिक रूप से सुरक्षित हो सकता है (कोई भी एल्गोरिदम अनुक्रमिकता को नहीं तोड़ सकता), फिर भी आर्थिक रूप से असुरक्षित हो सकता है यदि एक तर्कसंगत हमलावर आउटपुट को जल्दी कंप्यूट करने के लिए तेज़ हार्डवेयर (स्पीडअप $\delta$) खरीदकर लाभ कमा सकता है।
• वर्तमान पैरामीटर विकल्प (अक्सर कुछ सेकंड) अपर्याप्त हो सकते हैं जब बीकन को मैनिपुलेट करने से प्राप्त संभावित पुरस्कार ($V$), हमले की लागत से अधिक हो जाता है।

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

लेखक स्टोकेस्टिक कंट्रोल और ऑप्टिमल स्टॉपिंग थ्योरी का उपयोग करके एक VDF-आधारित बीकन और एक तर्कसंगत हमलावर के बीच की अंतःक्रिया को मॉडल करने के लिए एक औपचारिक ढांचा विकसित करते हैं।

A. आर्थिक मॉडल (The Economic Model)

• हमलावर की क्षमताएं: हमलावर के पास एक कम्प्यूटेशनल स्पीडअप फैक्टर $\delta \ge 1$ (कंप्यूट करने का समय $T/\delta$) है और वह एक लागत दर $c$ (जैसे, क्लाउड रेंटल या अमॉर्टाइज्ड हार्डवेयर लागत) का सामना करता है।
• पुरस्कार प्रक्रिया (Reward Process): हमलावर को तब पुरस्कार $V_t$ प्राप्त होता है जब वे ईमानदार प्रतिभागियों द्वारा बीकन आउटपुट प्रकट करने से पहले उसे जान लेते हैं या मैनिपुलेट कर लेते हैं। $V_t$ को एक स्टोकेस्टिक प्रोसेस (जैसे, MEV अवसर) के रूप में मॉडल किया गया है।
• निर्णय समस्या: हमलावर एक ऑप्टिमल स्टॉपिंग प्रॉब्लम का सामना करता है। उन्हें वर्तमान रिवॉर्ड लैंडस्केप और गणना की लागत के आधार पर यह तय करना होगा कि क्या किसी दिए गए राउंड में हमला शुरू किया जाए।
• लाभ फलन (Profit Function):
  $$\text{Profit} = \mathbb{I}_{\text{success}} \cdot V_{\tau} - \int_{t_0}^{\tau} a_t c(t) dt$$
  जहाँ $\tau$ स्टॉपिंग टाइम है, और सफलता का अर्थ है कि ईमानदार डेडलाइन ($t_H$) से पहले VDF को पूरा करना।

B. सैद्धांतिक विश्लेषण (Theoretical Analysis)

1. थ्रेशोल्ड संरचना (Threshold Structure): लेखक सिद्ध करते हैं कि इष्टतम हमलावर रणनीति एक मोनोटोनिक थ्रेशोल्ड स्ट्रक्चर का पालन करती है। स्टेट स्पेस (शेष कार्य, वर्तमान पुरस्कार, समय) में एक निर्णय सीमा (decision boundary) मौजूद है, जहाँ हमलावर तभी हमला करता है जब स्थिति इस सीमा से ऊपर होती है।
2. रैखिक थ्रेशोल्ड स्थिति (Linear Threshold Condition): सरलीकृत धारणाओं (स्थिर पुरस्कार, पूर्ण प्रतिबद्धता) के तहत, आर्थिक सुरक्षा के लिए स्थिति एक रैखिक असमानता में बदल जाती है:
   $$T \ge \frac{\delta}{c} \mathbb{E}[V]$$
   इसका तात्पर्य है कि विलंब (delay) $T$ इतना बड़ा होना चाहिए कि गणना की लागत अपेक्षित पुरस्कार से अधिक हो जाए।
3. मजबूती (Robustness): ढांचा पैरामीटर अनिश्चितता (इंटरवल बाउंड्स या चेबिशेव की असमानता जैसे मोमेंट बाउंड्स का उपयोग करके) और मल्टी-प्रोटोकॉल कंपोजिशन (निर्भर प्रोटोकॉल से कई पुरस्कारों को जोड़ना) के लिए विस्तारित होता है।

C. विस्तारित हमले के क्षेत्र (Extended Attack Surfaces)

मॉडल निम्नलिखित को ध्यान में रखते हुए विस्तारित किया गया है:

• ग्राइंडिंग (Grinding): हमलावर $G$ कैंडिडेट सीड्स का अन्वेषण करते हैं। यह प्रभावी पुरस्कार को $\mathbb{E}[\max(V_1, \dots, V_G)]$ में बढ़ा देता है, जिसके लिए काफी बड़े विलंब की आवश्यकता होती है।
• सिलेक्टिव अबॉर्ट (Selective Abort): हमलावर जो प्रतिकूल आउटपुट को दबा सकते हैं और पुनः प्रयास कर सकते हैं। यह प्रभावी रूप से पुरस्कार को $1/(1-p)$ के कारक से बढ़ाता है, जहाँ $p$ के पास अबॉर्ट लीवरेज होने की संभावना है।
• बहु-हमलावर खेल (Multi-Adversary Games): $n$ तर्कसंगत एजेंटों के बीच प्रतिस्पर्धा को मॉडल करना। जबकि प्रतिस्पर्धा व्यक्तिगत अपेक्षित लाभ को कम करती है, लेखक दिखाते हैं कि बिना सख्त विलंब मापदंडों के, एक गैर-शून्य इक्विलिब्रियम अटैक रेट बना रह सकता है। गठबंधन (coalitions) खतरे को और बढ़ा देते हैं, जिसके लिए गठबंधन के आकार द्वारा स्केल किए गए विलंब की आवश्यकता होती है।

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

1. तर्कसंगत हमलावर मॉडल (Rational Adversarial Model): आर्थिक तर्कसंगतता, हार्डवेयर स्पीडअप और गतिशील निर्णय लेने को शामिल करने वाला VDF बीकन के लिए पहला स्पष्ट मॉडल।
2. औपचारिक सुरक्षा परिभाषाएं (Formal Security Definitions): आर्थिक सुरक्षा (Economic Security) की अवधारणा पेश की गई, जिसे ऐसी स्थिति के रूप में परिभाषित किया गया है जहाँ कोई भी तर्कसंगत हमलावर ईमानदार व्यवहार से विचलित होकर सकारात्मक अपेक्षित लाभ प्राप्त नहीं कर सकता है।
3. विश्लेषणात्मक थ्रेशोल्ड (Analytical Thresholds): विलंब पैरामीटर $T$ को हमलावर की लागत ($c$), स्पीडअप ($\delta$), और रिवॉर्ड डिस्ट्रीब्यूशन ($V$) से जोड़ने वाली सटीक आवश्यक और पर्याप्त स्थितियाँ प्राप्त की गईं।
4. केस स्टडीज और वास्तविक दुनिया का मूल्यांकन:
   • यथार्थवादी क्लाउड लागत, हार्डवेयर बेंचमार्क (FPGAs/ASICs), और MEV डेटा का उपयोग किया गया।
   • निष्कर्ष: प्रस्तावित कई VDF विलंब (2-5 सेकंड) संभावित स्थितियों के तहत आर्थिक रूप से असुरक्षित हैं। उदाहरण के लिए, $50 के मीडियन MEV और FPGA स्पीडअप के साथ, आर्थिक सुरक्षा के लिए आवश्यक विलंब लगभग 3.1 दिन है, जो एथेरियम के 12-सेकंड के स्लॉट समय से बहुत अधिक है।
5. डिज़ाइन गाइडलाइन्स और ESDP: इकोनॉमिकली सिक्योर डिले पैरामीटर्स (ESDP) पेश किए गए, जो प्रोटोकॉल स्पेसिफिकेशन के लिए एक नया एब्स्ट्रैक्शन है जो डिजाइनरों को आर्थिक सीमाओं के आधार पर विलंब आवश्यकताओं को स्पष्ट रूप से घोषित करने की अनुमति देता है।

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

• छोटे विलंबों की असुरक्षा (Insecurity of Short Delays): जब पुरस्कार (जैसे MEV) दस या सैकड़ों डॉलर में होते हैं, तो मानक विलंब (सेकंड) अपर्याप्त होते हैं। आवश्यक विलंब अपेक्षित पुरस्कार के साथ रैखिक रूप से स्केल होता है।
• ग्राइंडिंग और अबॉर्ट का प्रभाव: ग्राइंडिंग (कई सीड्स आज़माना) और सिलेक्टिव अबॉर्ट जैसे हमले के क्षेत्र प्रभावी पुरस्कार को नाटकीय रूप रूप से बढ़ाते हैं, जिसके लिए और भी लंबे विलंब या सख्त प्रोटोकॉल बाधाओं (जैसे सीड डेरिवेशन को सीमित करना) की आवश्यकता होती है।
• गठबंधन का खतरा (Coalition Threat): $m$ हमलावरों का एक गठबंधन संसाधनों को पूल कर सकता है, जो प्रभावी रूप से प्रति-सदस्य लागत को कम करता है और सुरक्षा बनाए रखने के लिए $T$ को $m$ गुना बड़ा करने की आवश्यकता होती है।
• ट्रेड-ऑफ (Trade-off): आर्थिक सुरक्षा (बड़े $T$ की आवश्यकता) और सिस्टम लाइवनेस/उपयोगिता (छोटे $T$ की आवश्यकता) के बीच एक मौलिक तनाव है। पेपर का तर्क है कि $T$ एक गतिशील रूप से समायोज्य पैरामीटर होना चाहिए, न कि एक स्थिर क्रिप्टोग्राफिक स्थिरांक।

5. महत्व (Significance)

• पैराडाइम शिफ्ट (Paradigm Shift): यह पेपर VDF के लिए सुरक्षा प्रतिमान को विशुद्ध रूप से क्रिप्टोग्राफिक धारणाओं से क्रिप्टो-इकोनॉमिक सुरक्षा की ओर स्थानांतरित करता है। यह प्रदर्शित करता है कि क्रिप्टोग्राफिक साउंडनेस सुरक्षित डिप्लॉयमेंट के लिए एक आवश्यक लेकिन अपर्याप्त शर्त है।
• व्यावहारिक प्रभाव: परिणाम बताते हैं कि ब्लॉकचेन (जैसे, एथेरियम में RANDAO को बदलना) में VDF-आधारित रैंडमनेस के वर्तमान प्रस्ताव मौलिक रूप से त्रुटिपूर्ण हो सकते हैं यदि वे केवल छोटे विलंबों पर निर्भर हैं। अतिरिक्त प्रोटोकॉल-स्तरीय सुरक्षा (जैसे, एन्क्रिप्टेड मेमपूल, MEV पुनर्वितरण, या थ्रेशोल्ड VDF) के बिना, ये सिस्टम आर्थिक रूप से प्रेरित हमलों के प्रति असुरक्षित रहते हैं।
• कार्रवाई योग्य ढांचा (Actionable Framework): ESDP का परिचय प्रोटोकॉल डिजाइनरों को वास्तविक दुनिया की बाजार स्थितियों के विरुद्ध मापदंडों को कैलिब्रेट करने के लिए एक ठोस उपकरण प्रदान करता है, जिससे यह सुनिश्चित होता है कि हमले की लागत हमेशा संभावित लाभ से अधिक हो।

निष्कर्षतः, शांग और चेन यह प्रदर्शित करते हैं कि आर्थिक प्रोत्साहन ही VDF बीकन सुरक्षा का प्राथमिक निर्धारक है। एक बीकन केवल तभी सुरक्षित होता है जब विलंब पैरामीटर को हमलों को तर्कसंगत एजेंटों के लिए अलाभकारी बनाने के लिए कैलिब्रेट किया जाता है, जो एक ऐसी आवश्यकता है जो अक्सर वर्तमान साहित्य में प्रस्तावित विलंबों की तुलना में बहुत अधिक समय की मांग करती है।