💻 computer science

The Consensus Number of Untraceable Cryptocurrencies

यह शोध पत्र दो डिज़ाइनों—रैखिक (LUAT) और स्थिर-अवस्था (CUAT) अनट्रेसेबल एसेट ट्रांसफर ऑब्जेक्ट्स—को औपचारिक रूप देकर और यह निर्धारित करके कि जहाँ LUAT बढ़ते स्टोरेज की कीमत पर 2 का निम्न कंसेंसस नंबर प्राप्त करता है, वहीं CUAT स्थिर अवस्था प्रदान करता है लेकिन अनबाउंडेड या द्विघातीय कंसेंसस नंबरों को जन्म देता है और अनट्रेसेबिलिटी गारंटी की मजबूती के आधार पर स्टार्वेशन-फ्रीडम (starvation-freedom) का अभाव रखता है, क्रिप्टोकरेंसी में प्रेषक की अनट्रेसेबिलिटी (sender untraceability) की सिंक्रोनाइज़ेशन लागतों का विश्लेषण करता है।

मूल लेखक: Christian Cachin, David Lehnherr, Juan Villacis, François-Xavier Wicht

प्रकाशित 2026-07-24

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

CC BY 4.0

मूल लेखक: Christian Cachin, David Lehnherr, Juan Villacis, François-Xavier Wicht

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

द ग्रेट डिजिटल हिस्ट: छिपना आँखों के सामने

कल्पना कीजिए कि आप एक भीड़भाड़ वाले कमरे में हैं जहाँ हर कोई रहस्य फुसफुसा रहा है। क्रिप्टोकरेंसी की डिजिटल दुनिया में, यह कमरा "लेजर" (ledger) है, जो एक विशाल सार्वजनिक नोटबुक है जो रिकॉर्ड करती है कि किसने किसे पैसे भेजे। आमतौर पर, यह नोटबुक एक कांच की दीवार की तरह होती है: आप देख सकते हैं कि किसने किसको भुगतान किया, भले ही आप उनके असली नाम न जानते हों। लेकिन क्या होगा अगर आप भुगतान करना चाहते हैं लेकिन कोई यह न जान पाए कि भीड़ में से वास्तव में किस व्यक्ति ने नकदी सौंपी है? यह "सेंडर अनट्रेसेबिलिटी" (sender untraceability - प्रेषक की अपथ्यनीयता) की चुनौती है।

इसे हल करने के लिए, क्रिप्टोग्राफर एक "मास्किंग सेट" (masking set) नामक चाल का उपयोग करते हैं। कल्पना कीजिए कि आप भुगतान करने वाले व्यक्ति हैं, लेकिन आप दस दोस्तों के एक समूह में खड़े हैं। आप सभी एक जैसे दिखने वाले लिफाफे हाथ में लिए हुए हैं। एक बाहरी पर्यवेक्षक के लिए, यह ऐसा दिखता है जैसे दस दोस्तों में से कोई भी भुगतान कर सकता था, लेकिन वे यह नहीं बता सकते कि कौन सा व्यक्ति था। यह पेपर इन समूहों की कार्यप्रणाली की गहराई में जाता है। यह एक बहुत ही विशिष्ट, लगभग दार्शनिक प्रश्न पूछता है: यदि हम प्रेषक को एक समूह के भीतर छिपाना चाहते हैं, तो क्या उस छिपाने की क्रिया से समूह के काम करने का तरीका बदल जाता है? विशेष रूप से, क्या यह समूह के लिए यह तय करना कठिन बना देता है कि आगे क्या हुआ? लेखक "कंसेंसस नंबर" (consensus number) की जांच कर रहे हैं, जो समन्वय (coordination) को मापने का एक शानदार तरीका है। इसे एक "ट्रैफिक जाम मीटर" की तरह समझें: कम संख्या का अर्थ है कि कारें एक-दूसरे के पास से आसानी से गुजर सकती हैं; उच्च संख्या का अर्थ है कि उन्हें रुकना पड़ता है, इंतजार करना पड़ता है और इस बारे में बहस करनी पड़ती है कि पहले कौन जाएगा।

छिपने के दो तरीके: "कीप-इट-ऑल" बनाम "स्वैप-इट-ऑल"

यह पेपर इन दोस्तों के समूहों (मास्किंग सेट्स) को प्रबंधित करने के लिए दो अलग-अलग रणनीतियों की तुलना करता है। आइए इन्हें लिनियर स्ट्रैटेजी (Linear Strategy) और कॉन्स्टेंट स्ट्रैटेजी (Constant Strategy) कहें।

लिनियर स्ट्रैटेजी (LUAT): कभी न खत्म होने वाली अतिथि सूची
एक ऐसी पार्टी की कल्पना करें जहाँ, हर बार जब कोई भुगतान करता है, तो वे केवल एक समूह में छिपते नहीं हैं; बल्कि वे दीवार पर एक स्थायी नोट भी छोड़ते हैं कि "इस समूह से किसी ने भुगतान किया है!" पार्टी इन नोट्स को कभी डिलीट नहीं करती है। "संभावित भुगतानकर्ताओं" (allow-set) की सूची बढ़ती रहती है, और "लोग जो पहले भुगतान कर चुके हैं" (deny-set) की सूची भी बढ़ती जाती है।

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

कॉन्स्टेंट स्ट्रैटेजी (CUAT): जादुई पुन: रैंडमाइजेशन (Re-Randomization)
अब, एक अलग पार्टी की कल्पना करें। जब कोई भुगतान करता है, तो वे केवल एक नोट नहीं छोड़ते। इसके बजाय, दोस्तों का पूरा समूह तुरंत अपने कपड़े, अपने नाम और अपनी पहचान बदल लेता है। पुराना समूह गायब हो जाता है, और एक बिल्कुल नया समूह दिखाई देता है। यह लोगों की कुल संख्या को स्थिर रखता है, जिससे "दीवार" कभी गंदी नहीं होती। यह वह तरीका है जिसका उपयोग क्विसक्विस (Quisquis) जैसे सिस्टम द्वारा किया जाता है।

नुकसान: यहीं पर चीजें अराजक हो जाती हैं। क्योंकि पूरा समूह बदल जाता है, यदि दो लोग एक ही समय में भुगतान करने की कोशिश करते हैं और उनके समूह ओवरलैप होते हैं (भले ही एक व्यक्ति समान हो), तो वे आपस में टकरा जाते हैं। वे दोनों सफल नहीं हो सकते।
परिणाम: "ट्रैफिक जाम मीटर" विस्फोट कर जाता है। लेखकों ने पाया कि यहाँ आवश्यक समन्वय समूह के आकार के साथ क्वाड्रेटिकली (quadratically - वर्गानुपाती रूप से) बढ़ता है। यदि आपके समूह में 10 लोग हैं, तो आवश्यक समन्वय लगभग 100 है। यदि आपके पास 100 लोग हैं, तो आपको 10,000 के लिए समन्वय चाहिए! यह म्यूजिकल चेयर्स के खेल जैसा है जहाँ यदि दो समूहों में एक भी कुर्सी साझा है, तो पूरा खेल रुक जाता है और यह तय करने के लिए फिर से शुरू होता है कि कौन कहाँ बैठेगा।

प्राइवेसी बनाम प्रोग्रेस का ट्रेड-ऑफ (Privacy vs. Progress Trade-Off)

पेपर की सबसे बड़ी खोज एक सख्त ट्रेड-ऑफ है। आप गोपनीयता (privacy) रख सकते हैं, लेकिन आपको इसके लिए दो में से एक मुद्रा में भुगतान करना होगा: स्टोरेज या सिंक्रोनाइज़ेशन।

स्टोरेज में भुगतान करें (लिनियर स्ट्रैटेजी): आप इतिहास को हमेशा के लिए रखते हैं। सिस्टम तेज़ और समन्वय के लिए आसान रहता है (कंसेंसस नंबर 2), लेकिन आपका हार्ड ड्राइव भर जाता है।
सिंक्रोनाइज़ेशन में भुगतान करें (कॉन्स्टेंट स्ट्रैटेजी): आप इतिहास को छोटा और साफ रखते हैं। लेकिन ऐसा करने के लिए, आप सिस्टम को भारी समन्वय के लिए मजबूर करते हैं। आप जितने अधिक लोगों के बीच छिपने की कोशिश करेंगे, लोगों को घटनाओं के क्रम पर सहमत करना उतना ही कठिन होगा।

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

स्टारवेशन की समस्या: द मीन शेड्यूलर (The Mean Scheduler)

अंत में, पेपर कॉन्स्टेंट स्ट्रैटेजी के एक काले पक्ष को संबोधित करता है: स्टारवेशन (Starvation - भुखमरी/वंचन)।
एक पार्टी में एक बुली (एक "एडवर्सरियल शेड्यूलर") की कल्पना करें जो संगीत को नियंत्रित करता है। लिनियर स्ट्रैटेजी में, यदि आप भुगतान करने के लिए तैयार हैं, तो आप हमेशा अंततः भुगतान कर सकते हैं, भले ही बुली आपको रोकने की कोशिश करे। कॉन्स्टेंट स्ट्रैटेजी में, क्योंकि पूरा समूह बदल जाता है, बुली आपके विशिष्ट समूह पर "रीसेट" बटन दबाकर आपको रोक सकता है।
लेखकों ने सिद्ध किया है कि कॉन्स्टेंट स्ट्रैटेजी में, एक बुली एक व्यक्ति को हमेशा के लिए भुगतान करने दे सकता है जबकि दूसरे को हमेशा के लिए इंतज़ार करवा सकता है, भले ही इंतज़ार करने वाले व्यक्ति के पास पैसे हों और वह जाने के लिए तैयार हो। इंतज़ार करने वाला व्यक्ति कोशिश करता रहता है, लेकिन हर बार जब वह कोशिश करता है, तो बुली उनके पूरा होने से ठीक पहले समूह को रीसेट कर देता है। यह एक "डिनायल ऑफ सर्विस" (Denial of Service) है जिसे गणितीय रूप से रोकना असंभव है यदि सिस्टम को स्टेट (state) को छोटा रखने के लिए डिज़ाइन किया गया है।

निचोड़ (The Bottom Line)

यह पेपर केवल यह नहीं कहता कि "एक दूसरे से बेहतर है।" यह आपके विकल्पों की सटीक लागत का मानचित्रण करता है।

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

लेखकों ने इन सीमाओं को गणितीय निश्चितता के साथ सिद्ध किया है। उन्होंने दिखाया है कि आप दोनों दुनियाओं का सर्वश्रेष्ठ नहीं पा सकते: आप एक छोटा, साफ इतिहास और एक तेज़, निष्पक्ष, आसानी से समन्वय करने वाला सिस्टम एक साथ नहीं रख सकते। क्रिप्टोकरेंसी का ब्रह्मांड गोपनीयता के लिए एक कीमत मांगता है, और यह पेपर आपको बताता है कि आपको इसकी कीमत कितनी चुकानी होगी।

तकनीकी सारांश: अनट्रेसेबल क्रिप्टोकरेंसी का सर्वसम्मति संख्या (Consensus Number)

समस्या विवरण
क्रिप्टोकरेंसी प्रेषक की अनट्रेसिबिलिटी (untraceability) प्रदान करने का लक्ष्य रखती हैं, जो एक "मास्किंग सेट" (masking set) के भीतर विशिष्ट खाते को छिपा देती है। जबकि गोपनीयता की क्रिप्टोग्राफिक परिभाषाएँ सुस्थापित हैं, इन तंत्रों के सिंक्रोनाइज़ेशन लागत और प्रगति गारंटी का विश्लेषण अभी भी अपर्याप्त है। यह शोध पत्र अनट्रेसेबल संपत्ति हस्तांतरण में एक मौलिक डिज़ाइन विकल्प को संबोधित करता है: क्या बढ़ते हुए लेजर (लीनियर स्टेट) में खर्च किए गए खातों को बनाए रखना चाहिए या हस्तांतरण के समय पूरे मास्किंग सेट को अमान्य करके बदलना चाहिए (कांस्टेंट स्टेट)। लेखक यह जांचते हैं कि यह चुनाव सिस्टम की सिंक्रोनाइज़ेशन शक्ति, विशेष रूप से इसकी सर्वसम्मति संख्या (consensus number), और निष्पक्षता (starvation-freedom) सुनिश्चित करने की क्षमता को कैसे प्रभावित करता है।

कार्यप्रणाली
लेखक दो अलग-अलग डिज़ाइनों को $\lambda$ द्वारा पैरामीटराइज़ किए गए साझा-मेमोरी ऑब्जेक्ट्स के रूप में औपचारिक रूप देते हैं:

लीनियर अनट्रेसेबल एसेट ट्रांसफर (LUAT): यह Zcash और Monero जैसे सिस्टम का मॉडल है। एक हस्तांतरण एक मास्किंग सेट से एक खाते का उपभोग करता है और 'डिनाय-सेट' (deny-set) में एक 'नलीफायर' (nullifier) जोड़ता है, जबकि 'अलाउ-सेट' (allow-set) बढ़ता रहता है। मास्किंग सेट एक डिकॉय सेट के रूप में कार्य करता है; ओवरलैपिंग सेटों के बीच कोई संघर्ष नहीं होता है।
कांस्टेंट अनट्रेसेबल एसेट ट्रांसफर (CUAT): यह Quisquis जैसे सिस्टम का मॉडल है। एक हस्तांतरण परमाणु रूप से (atomically) अपने प्रत्येक मास्किंग सेट के हर खाते को नए निरूपणों के साथ बदल देता है। फलस्वरूप, परस्पर व्यापन (intersecting) वाले मास्किंग सेट वाले किन्हीं भी दो हस्तांतरण सफल नहीं हो सकते; ओवरलैप एक संघर्ष (conflict) माना जाता है।

विश्लेषण सर्वसम्मति पदानुक्रम (consensus hierarchy) [Her91] का उपयोग करता है, जो इन ऑब्जेक्ट्स के लिए सर्वसम्मति संख्या (अधिकतम प्रक्रियाओं की संख्या जिनके लिए वेट-फ्री सर्वसम्मति हल की जा सकती है) निर्धारित करता है। अध्ययन दो अनट्रेसिबिलिटी धारणाओं के बीच अंतर करता है:

कमजोर अनट्रेसिबिलिटी (Weak Untraceability): एक अकेले लेनदेन की रक्षा करती है।
मजबूत अनट्रेसिबिलिटी (Strong Untraceability): एक हमलावर द्वारा पूर्ण लेनदेन इतिहास के अवलोकन के विरुद्ध सुरक्षा प्रदान करती है, जिसके लिए यह आवश्यक है कि एक ही मास्किंग सेट साझा करने वाले किन्हीं भी दो खाते समान संख्या में मास्किंग सेटों में दिखाई दें (यूनिफॉर्म इंसीडेंस)।

लेखक संघर्ष ग्राफ (conflict graphs) का उपयोग सिंक्रोनाइज़ेशन बाधाओं को मॉडल करने के लिए करते हैं, जहाँ वर्टिक्स (vertices) मास्किंग सेटों का प्रतिनिधित्व करते हैं और एड्ज (edges) संघर्षों (साझा खातों) का प्रतिनिधित्व करते हैं। वे एक-राउंड प्रोटोकॉल (एकल लेनदेन सबमिशन) और बहु-राउंड प्रोटोकॉल (पुनरावृत्ति अनुकूलन) दोनों का विश्लेषण करते हैं।

प्रमुख योगदान और परिणाम

1. LUAT: कम सिंक्रोनाइज़ेशन, उच्च स्टोरेज

सर्वसम्मति संख्या: एक अनशेयर्ड (unshared) LUAT ऑब्जेक्ट की सर्वसम्मति संख्या ठीक 2 है, जो $\lambda$ $λ$ के आकार और अनट्रेसिबिलिटी की धारणा (कमजोर या मजबूत) से स्वतंत्र है।
- यह मानक संपत्ति हस्तांतरण (1) से अधिक है क्योंकि डिनाय-सेट हस्तांतरणों के लीनियराइजेशन ऑर्डर को प्रकट करता है।
- यदि $k$ प्रक्रियाएं एक खाता साझा करती हैं, तो सर्वसम्मति संख्या $\max(k, 2)$ हो जाती है।
गारबेज कलेक्शन: शोध पत्र समाप्त हो चुके मास्किंग सेटों को गारबेज-कलेक्ट करने के लिए एक पार्टिशनिंग ऑब्जेक्ट को औपचारिक रूप देता है। इस ऑब्जेक्ट की सर्वसम्मति संख्या 2 है (fetch-and-add के माध्यम से लागू करने योग्य), जिसका अर्थ है कि गारबेज कलेक्शन अतिरिक्त सिंक्रोनाइज़ेशन लागत नहीं जोड़ता है।
निष्पक्षता (Fairness): LUAT स्टारवेशन-फ्री (starvation-free) है। चूंकि एक हस्तांतरण केवल एक खाते का उपभोग करता है और शेष को डिकॉय के रूप में नामित करता है, इसलिए एक प्रतिस्पर्धी उसी मास्किंग सेट में एक अलग खाता खर्च करके एक वैध हस्तांतरण को अमान्य नहीं कर सकता है।
ट्रेड-ऑफ: LUAT का खर्च मोनोटोनिक स्टेट ग्रोथ (लेनदेन की संख्या के रैखिक रूप में) है।

2. CUAT: सीमित स्टेट, उच्च सिंक्रोनाइज़ेशन, कोई निष्पक्षता नहीं

कमजोर अनट्रेसिबिलिटी: कमजोर अनट्रेसिबिलिटी के तहत, सर्वसम्मति संख्या अनबाउंडेड ( $\infty$ ) है। एक "हब" खाते को अनिश्चित संख्या में मास्किंग सेटों में शामिल किया जा सकता है, जिससे अनिश्चित आकार के संघर्ष क्लिक्स (conflict cliques) बन सकते हैं।
मजबूत अनट्रेसिबिलिटी: यह धारणा एक यूनिफॉर्म इंसीडेंस बाधा लागू करती: संघर्ष ग्राफ के किसी भी कनेक्टेड कंपोनेंट में प्रत्येक खाता मास्किंग सेटों की समान संख्या में दिखाई देना चाहिए।
- एक-राउंड प्रोटोकॉल: सर्वसम्मति संख्या $\lfloor \lambda^2/2 \rfloor$ और $\lambda^2 - \lambda + 1$ के बीच सीमित है। ऊपरी सीमा तब प्राप्त होती है जब $\lambda-1$ एक प्राइम पावर हो (प्रोजेक्टिव प्लेन्स का उपयोग करके)।
- बहु-राउंड प्रोटोकॉल: सटीक सर्वसम्मति संख्या $4\lfloor \lambda/2 \rfloor \lceil \lambda/2 \rceil$ (अर्थात, $\lambda$ सम होने पर $\lambda^2$ , विषम होने पर $\lambda^2-1$ ) के रूप में निर्धारित की गई है। यह $\lambda \ge 3$ के लिए एक-राउंड सीमा से स्पष्ट रूप से अधिक है।
निष्पक्षता: CUAT स्टारवेशन-फ्री नहीं है। एक प्रतिकूल शेड्यूलर (adversarial scheduler) एक ओवरलैपिंग मास्किंग सेट पर बार-बार शून्य-मूल्य वाले हस्तांतरण जारी करके, पीड़ित के लंबित लेनदेन को कमिट होने से पहले ही अमान्य करके उसे अनिश्चित काल तक स्टार्व (starve) कर सकता है। यह Quisquis के संबंध में एक अनुमान की पुष्टि करता है।
ट्रेड-ऑफ: CUAT का खर्च उच्च सिंक्रोनाइज़ेशन शक्ति (quadratic in $\lambda$ ) और स्टारवेशन-फ्रीनेस का नुकसान है।

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

LUAT गोपनीयता के लिए स्टोरेज (बढ़ता हुआ लेजर) का भुगतान करता है लेकिन कम सिंक्रोनाइज़ेशन (सर्वसम्मति संख्या 2) और निष्पक्षता बनाए रखता है।
CUAT निरंतर स्टेट प्राप्त करने के लिए सिंक्रोनाइज़ेशन और प्रगति गारंटी (द्विघाती सर्वसम्मति संख्या, स्टारवेशन-फ्रीनेस का अभाव) में गोपनीयता का भुगतान करता है।

लेखक निष्कर्ष निकालते हैं कि गोपनीयता की "कीमत" इस बात पर निर्भर करती है कि क्या अनोनिमिटी तंत्र को स्टेट मैनेजमेंट से अलग किया गया है। जब अलग किया जाता है (LUAT), तो गोपनीयता सिंक्रोनाइज़ेशन के संबंध में "मुफ्त" होती है। जब जुड़ा हुआ होता है (CUAT), तो गोपनीयता द्विघाती सिंक्रोनाइज़ेशन लागत लेती है और निष्पक्षता की गारंटी को त्याग देती है। शोध पत्र इन ट्रेड-ऑफ के सटीक सीमांकन प्रदान करता है, जो उन संघर्ष संरचनाओं (क्लिक्स और बाइटाइट संरचनाओं) को औपचारिक रूप देता है जो समानांतरवाद (parallelism) और निष्पक्षता की सीमाओं को निर्धारित करते हैं।

द ग्रेट डिजिटल हिस्ट: छिपना आँखों के सामने

छिपने के दो तरीके: "कीप-इट-ऑल" बनाम "स्वैप-इट-ऑल"

प्राइवेसी बनाम प्रोग्रेस का ट्रेड-ऑफ (Privacy vs. Progress Trade-Off)

स्टारवेशन की समस्या: द मीन शेड्यूलर (The Mean Scheduler)

निचोड़ (The Bottom Line)

इसी तरह के और पेपर