2025-11-18T21:40:12.686968

Zk-SNARK Marketplace with Proof of Useful Work

Oleksak, Gazdik, Peresini et al.
Proof of Work (PoW) is widely regarded as the most secure permissionless blockchain consensus protocol. However, its reliance on computationally intensive yet externally useless puzzles results in excessive electric energy wasting. To alleviate this, Proof of Useful Work (PoUW) has been explored as an alternative to secure blockchain platforms while also producing real-world value. Despite this promise, existing PoUW proposals often fail to embed the integrity of the chain and identity of the miner into the puzzle solutions, not meeting necessary requirements for PoW and thus rendering them vulnerable. In this work, we propose a PoUW consensus protocol that computes client-outsourced zk-SNARKs proofs as a byproduct, which are at the same time used to secure the consensus protocol. We further leverage this mechanism to design a decentralized marketplace for outsourcing zk-SNARK proof generation, which is, to the best of our knowledge, the first such marketplace operating at the consensus layer, while meeting all necessary properties of PoW.
academic

Zk-SNARK मार्केटप्लेस विथ प्रूफ ऑफ यूजफुल वर्क

बेसिक इनफॉर्मेशन

  • पेपर आईडी: 2510.09729
  • शीर्षक: Zk-SNARK मार्केटप्लेस विथ प्रूफ ऑफ यूजफुल वर्क
  • लेखक: सैमुएल ओलेक्सक, रिचर्ड गज़्डिक, मार्टिन पेरेसिनी, इवान होमोलियाक (ब्रनो यूनिवर्सिटी ऑफ टेक्नोलॉजी, चेक रिपब्लिक)
  • वर्गीकरण: cs.CR (क्रिप्टोग्राफी और सुरक्षा)
  • प्रकाशन समय: 25 अक्टूबर 10 (arXiv प्रीप्रिंट)
  • पेपर लिंक: https://arxiv.org/abs/2510.09729

सारांश

परंपरागत वर्क प्रूफ (PoW) को व्यापक रूप से सबसे सुरक्षित अनुमतिहीन ब्लॉकचेन सर्वसम्मति प्रोटोकॉल माना जाता है, लेकिन यह कम्प्यूटेशनली गहन और बाहरी रूप से बेकार पहेलियों पर निर्भर करता है, जिससे विशाल विद्युत ऊर्जा की बर्बादी होती है। इस समस्या को कम करने के लिए, यूजफुल वर्क प्रूफ (PoUW) एक वैकल्पिक समाधान के रूप में प्रस्तावित किया गया है, जो ब्लॉकचेन प्लेटफॉर्म की सुरक्षा सुनिश्चित करते हुए वास्तविक दुनिया का मूल्य भी उत्पन्न करता है। हालांकि, मौजूदा PoUW प्रस्तावों में अक्सर चेन की अखंडता और खनिक की पहचान को पहेली समाधान में एम्बेड करने में विफल रहते हैं, जो PoW की आवश्यक आवश्यकताओं को पूरा नहीं करते हैं, जिससे वे हमलों के लिए असुरक्षित हैं। यह पेपर एक PoUW सर्वसम्मति प्रोटोकॉल प्रस्तावित करता है जो ग्राहक-आउटसोर्स किए गए zk-SNARKs प्रमाण गणना को उप-उत्पाद के रूप में उपयोग करता है, साथ ही सर्वसम्मति प्रोटोकॉल की सुरक्षा के लिए भी। इसके अलावा इस तंत्र का उपयोग करके एक विकेंद्रीकृत zk-SNARK प्रमाण पीढ़ी आउटसोर्सिंग मार्केटप्लेस डिज़ाइन किया गया है, जो लेखकों के ज्ञान के अनुसार, सर्वसम्मति परत पर चलने वाला और PoW की सभी आवश्यक विशेषताओं को संतुष्ट करने वाला पहला ऐसा मार्केटप्लेस है।

अनुसंधान पृष्ठभूमि और प्रेरणा

मूल समस्याएं

  1. ऊर्जा बर्बादी की समस्या: परंपरागत PoW प्रोटोकॉल (जैसे बिटकॉइन) बेकार गणना में विशाल विद्युत शक्ति का उपभोग करते हैं, बिटकॉइन खनन प्रति वर्ष 65.4 मेगाटन CO2 उत्सर्जन उत्पन्न कर सकता है, जो ग्रीस के राष्ट्रीय स्तर के उत्सर्जन के बराबर है।
  2. zk-SNARK गणना की बाधा: zk-SNARK प्रमाण पीढ़ी कम्प्यूटेशनल और मेमोरी दोनों दृष्टि से बहुत गहन है, आमतौर पर दसियों GB RAM की आवश्यकता होती है और उच्च-अंत हार्डवेयर पर दसियों मिनट खर्च होते हैं, जिससे यह संसाधन-सीमित डिवाइसों पर अव्यावहारिक है।
  3. मौजूदा PoUW योजनाओं में सुरक्षा खामियां: मौजूदा PoUW प्रस्तावों में PoW की मूल सुरक्षा आवश्यकताओं को पूरा करने में विफलता है, विशेष रूप से ताजगी (freshness) विशेषता की कमी है, जो रीप्ले हमलों के लिए असुरक्षित है।

अनुसंधान प्रेरणा

  • PoUW और zk-SNARK पीढ़ी की दोहरी आवश्यकता को संयोजित करके, एक ऐसा सर्वसम्मति प्रोटोकॉल डिज़ाइन करना जो ब्लॉकचेन सुरक्षा सुनिश्चित करे और उपयोगी क्रिप्टोग्राफिक प्रमाण उत्पन्न करे
  • सर्वसम्मति परत पर चलने वाला पहला सार्वभौमिक zk-SNARK गणना मार्केटप्लेस बनाना
  • मौजूदा PoUW योजनाओं में सुरक्षा संबंधी कमियों को दूर करना

मूल योगदान

  1. अग्रणी PoUW-zk-SNARK संलयन प्रोटोकॉल: zk-SNARK प्रमाण पीढ़ी को उपयोगी कार्य के रूप में उपयोग करने वाला एक नया PoUW सर्वसम्मति प्रोटोकॉल प्रस्तावित किया, जो सर्वसम्मति प्रोटोकॉल के लिए सुरक्षा प्रदान करने वाला पहला विकेंद्रीकृत SNARK गणना मार्केटप्लेस बनाया।
  2. निजी इनपुट समर्थन के साथ विस्तारित योजना: सार्वजनिक अनुमतिहीन ब्लॉकचेन वातावरण में निजी इनपुट वाले zk-SNARK प्रमाण गणना को सौंपने की चुनौतियों को हल किया, साक्षी अस्पष्टीकरण आउटसोर्सिंग (WOO) तकनीक प्रस्तावित की।
  3. संपूर्ण सुरक्षा विश्लेषण: प्रस्तावित सर्वसम्मति प्रोटोकॉल और इसके विस्तार की सुरक्षा विशेषताओं का व्यापक विश्लेषण और प्रमाण, जो PoW की सभी आवश्यक शर्तों को पूरा करता है।
  4. नवीन ब्लॉक प्रस्तावक चयन तंत्र: भारित लॉटरी-आधारित ब्लॉक प्रस्तावक चयन एल्गोरिथ्म डिज़ाइन किया, जो बर्बाद कार्य को कम करने के लिए बकेटिंग तंत्र के साथ संयुक्त है।

विधि विवरण

कार्य परिभाषा

एक PoUW सर्वसम्मति प्रोटोकॉल डिज़ाइन करना, जहां:

  • इनपुट: ग्राहक द्वारा प्रस्तुत अंकगणितीय सर्किट और प्रमाण पैरामीटर
  • आउटपुट: वैध zk-SNARK प्रमाण और सुरक्षित ब्लॉकचेन सर्वसम्मति
  • बाधाएं: PoW की सभी आवश्यक विशेषताओं को संतुष्ट करना (असमानता, दानेदारपन, परिशोधन-रोधी, आदि)

सिस्टम आर्किटेक्चर

नेटवर्क प्रतिभागी

  1. ग्राहक (Clients): सर्वसम्मति में भाग नहीं लेते, सिक्का हस्तांतरण लेनदेन और प्रमाण अनुरोध लेनदेन बनाते हैं
  2. खनिक (Miners/Full nodes): सर्वसम्मति में भाग लेते हैं, लेनदेन चुनते हैं, SNARK प्रमाण उत्पन्न करते हैं, ब्लॉक प्रकाशित और सत्यापित करते हैं
  3. सर्किट रजिस्ट्री नोड्स (Circuit registry nodes): SNARK सर्किट रजिस्ट्री बनाए रखते हैं, विश्वसनीय सेटअप के SMPC में भाग लेते हैं

ब्लॉक संरचना

प्रत्येक ब्लॉक में दो प्रकार के लेनदेन शामिल हैं:

  • सिक्का लेनदेन (Coin transactions): मूल मुद्रा संचालन
  • प्रमाण लेनदेन (Proof transactions): SNARK पीढ़ी अनुरोध को एनकैप्सुलेट करते हैं

मूल तकनीकी तंत्र

1. ब्लॉक प्रस्तावक चयन एल्गोरिथ्म

विकास प्रक्रिया:

  • (A) बेसिक दृष्टिकोण: खनिकों को न्यूनतम कठिनाई थ्रेशोल्ड κ तक पहुंचने के लिए पर्याप्त प्रमाण उत्पन्न करना चाहिए
  • (B) लॉटरी तंत्र जोड़ना: प्रत्येक नया प्रमाण जोड़ते समय लॉटरी ट्रिगर होती है, जीतने की संभावना: Pwin(i)=CiκP_{win}(i) = \frac{C_i}{\kappa} जहां CiC_i i-वें प्रमाण की जटिलता है
  • (C) बर्बाद कार्य को कम करना: संचयी कार्य पर विचार करने के लिए पैरामीटर ψ का परिचय: Pwin(i)=Ciκ+ψ⋅∑j<iCjκP_{win}(i) = \frac{C_i}{\kappa} + \psi \cdot \frac{\sum_{j<i} C_j}{\kappa}
  • (D) समानांतर ब्लॉक उत्पादन: रैखिक चेन बाधा को शिथिल करना, समानांतर खनन की अनुमति देना
  • (E) बकेटिंग तंत्र: लेनदेन को लेनदेन हैश उपसर्ग के अनुसार विभिन्न बकेट में आवंटित करना, टकराव को कम करना

2. ब्लॉकचेन अखंडता आश्वासन

अखंडता पैरामीटर η:

  • वर्तमान ब्लॉक हेडर (पिछले ब्लॉक हैश और सिक्का लेनदेन युक्त) को हैश करके गणना की जाती है
  • अंकगणितीय सर्किट में सार्वजनिक पैरामीटर के रूप में इंजेक्ट किया जाता है
  • यदि लॉटरी विफल हो जाती है, तो नई पीढ़ी के प्रमाणों को शामिल करने के लिए η की पुनः गणना की जाती है
  • क्रिप्टोग्राफिक रूप से जुड़े प्रमाण श्रृंखला बनाता है, प्रमाण चोरी को रोकता है

3. सर्किट रजिस्ट्री सबनेटवर्क

कार्यक्षमता:

  • अंकगणितीय सर्किट का विकेंद्रीकृत पंजीकरण और पुनर्प्राप्ति
  • SMPC के माध्यम से विश्वसनीय सेटअप
  • प्रमाण कुंजी और सत्यापन कुंजी संग्रहीत करना
  • नोड्स को मूल मुद्रा में स्टेक करने की आवश्यकता, अनुचित व्यवहार पर कटौती की जाएगी

तकनीकी नवाचार

  1. अखंडता एम्बेडिंग: अखंडता पैरामीटर के माध्यम से प्रमाण को विशिष्ट ब्लॉक से बांधना, PoW की ताजगी आवश्यकता को संतुष्ट करना
  2. बकेटिंग समानांतरकरण: Sycomore के गतिशील शार्डिंग विचार को उधार लेना, नेटवर्क आवश्यकताओं के अनुसार गतिशील रूप से बकेट संख्या समायोजित करना
  3. साक्षी अस्पष्टीकरण आउटसोर्सिंग (WOO): निजी इनपुट गोपनीयता की रक्षा के लिए योजक मास्क का उपयोग करना
  4. लॉटरी वजन तंत्र: सर्किट जटिलता के अनुसार जीतने की संभावना समायोजित करना, निष्पक्षता सुनिश्चित करना

प्रायोगिक सेटअप

मॉडलिंग विधि

यादृच्छिक समय रंगीन Petri नेट (STCPN) का उपयोग करके सर्वसम्मति प्रोटोकॉल को मॉडल किया, Python के simpn लाइब्रेरी के माध्यम से कार्यान्वित किया।

प्रायोगिक मान्यताएं

  • H1: पुरस्कार वितरण नोड के खनन कम्प्यूटिंग शक्ति के अनुपात में है
  • H2: चयनित प्रमाण की जटिलता पुरस्कार को प्रभावित नहीं करती है
  • H3: ψ पैरामीटर का परिचय बर्बाद कार्य को कम करने के लिए केंद्रीकरण में वृद्धि के रूप में कार्य करता है
  • H4: बकेटिंग तंत्र बर्बाद कार्य को कम करता है

प्रायोगिक कॉन्फ़िगरेशन

  • प्रमाण पीढ़ी प्रक्रिया और खनिक इंटरैक्शन पर ध्यान केंद्रित करना
  • सिक्का लेनदेन की पुष्टि समय को नजरअंदाज करना (अपेक्षाकृत तात्कालिक)
  • खनिकों द्वारा सर्किट रजिस्ट्री डेटा को कैश करने की मान्यता

प्रायोगिक परिणाम

मुख्य निष्कर्ष

1. निष्पक्षता सत्यापन (H1)

  • ब्लॉक पुरस्कार अनुपात कम्प्यूटिंग शक्ति अनुपात के साथ रैखिक संबंध (y=x)
  • महत्वपूर्ण समस्या: प्रमाण पुरस्कार अनुपात द्विघात संबंध (y=x²) प्रदर्शित करता है, मजबूत खनिक न केवल अधिक ब्लॉक उत्पन्न करते हैं, बल्कि प्रत्येक ब्लॉक की औसत शक्ति भी अधिक होती है
  • प्रभाव: खनन पूल गठन को प्रोत्साहित कर सकता है, कुल पुरस्कार में प्रमाण पुरस्कार के अनुपात को कम करने की आवश्यकता है

2. जटिलता स्वतंत्रता (H2)

  • विभिन्न प्रमाण आकार वरीयताओं वाले खनिक समान कम्प्यूटिंग शक्ति के तहत समान पुरस्कार अनुपात प्राप्त करते हैं
  • प्रमाण जटिलता चयन के लिए सिस्टम की निष्पक्षता को सत्यापित करता है

3. ψ पैरामीटर प्रभाव (H3)

  • ψ बढ़ने के साथ, बर्बाद कार्य लगभग 78% से 70% तक कम हो जाता है
  • लेकिन सबसे मजबूत खनिक का पुरस्कार हिस्सा लगभग 37.5% से 47.5% तक बढ़ जाता है
  • बर्बाद कार्य को कम करने और केंद्रीकरण बढ़ाने के बीच व्यापार-बंद की पुष्टि करता है

4. बकेटिंग प्रभाव (H4)

  • बकेट संख्या में वृद्धि बर्बाद कार्य को काफी कम करती है
  • 16 बकेट और 16 खनिकों के कॉन्फ़िगरेशन में, बर्बाद कार्य लगभग 20% तक कम हो सकता है
  • बकेट संख्या मेमोरी पूल में उपलब्ध प्रमाणों की संख्या से सीमित है

प्रदर्शन विश्लेषण

Groth16 प्रमाण समय

  • प्रमाण समय बाधा संख्या के साथ रैखिक संबंध: T(n) = a·n + b
  • पूर्वानुमानित प्रदर्शन और कुशल संसाधन आवंटन का समर्थन करता है
  • सत्यापन समय मिलीसेकंड स्तर पर है और सर्किट जटिलता से स्वतंत्र है

WOO प्रदर्शन ओवरहेड

  • अस्पष्ट सर्किट का मूल सर्किट की तुलना में समय ओवरहेड हमेशा 0.1 सेकंड से कम है
  • ओवरहेड सर्किट स्केल के साथ महत्वपूर्ण रूप से नहीं बढ़ता है
  • वास्तविक समय, गोपनीयता-संरक्षित प्रमाण पीढ़ी के लिए उपयुक्त है

संबंधित कार्य

PoUW प्रोटोकॉल

  • Primecoin(2013): अभाज्य संख्या श्रृंखला खोज, संख्या सिद्धांत में योगदान
  • Ofelimos: संयोजन अनुकूलन समस्याओं का उपयोग
  • Coin.AI: वितरित गहन शिक्षा
  • सीमाएं: मौजूदा योजनाएं आमतौर पर ताजगी विशेषता की कमी करती हैं, रीप्ले हमलों के लिए असुरक्षित हैं

प्रमाण पीढ़ी मार्केटप्लेस

  • सर्वसम्मति-एकीकृत: Mina प्रोटोकॉल का Snarketplace (एप्लिकेशन परत)
  • स्वतंत्र नेटवर्क: =nil; Foundation Proof Market, RISC Zero का Bonsai
  • इस पेपर का लाभ: सर्वसम्मति परत पर चलने वाला पहला सार्वभौमिक zk-SNARK मार्केटप्लेस

निष्कर्ष और चर्चा

मुख्य निष्कर्ष

  1. PoW की सभी आवश्यक विशेषताओं को संतुष्ट करने वाला PoUW प्रोटोकॉल सफलतापूर्वक डिज़ाइन किया गया
  2. पहला सर्वसम्मति परत zk-SNARK गणना मार्केटप्लेस बनाया गया
  3. WOO तकनीक के माध्यम से निजी इनपुट सुरक्षा समस्या को हल किया गया
  4. प्रयोगों ने सिस्टम की निष्पक्षता और दक्षता को सत्यापित किया

सीमाएं

  1. प्रमाण पुरस्कार का द्विघात प्रभाव: खनन केंद्रीकरण का कारण बन सकता है
  2. सर्किट पुनः उपयोग की सीमा: WOO तकनीक को प्रत्येक ग्राहक के लिए विशिष्ट सर्किट उत्पन्न करने की आवश्यकता है
  3. विश्वसनीय सेटअप निर्भरता: अभी भी SMPC के लिए विश्वसनीय सेटअप की आवश्यकता है
  4. Groth16 सीमाएं: विशिष्ट प्रमाण योजना पर निर्भर है

भविष्य की दिशाएं

  1. अन्य प्रमाण योजनाओं (जैसे STARK) की प्रयोज्यता का अन्वेषण करना
  2. केंद्रीकरण जोखिम को कम करने के लिए पुरस्कार तंत्र को अनुकूलित करना
  3. दक्षता बढ़ाने के लिए सर्किट पुनः उपयोग तंत्र में सुधार करना
  4. अधिक प्रकार की उपयोगी गणना तक विस्तार करना

गहन मूल्यांकन

शक्तियां

  1. मजबूत नवाचार: पहली बार zk-SNARK पीढ़ी को PoUW सर्वसम्मति के साथ संयोजित किया गया
  2. सैद्धांतिक पूर्णता: PoW की सभी सुरक्षा आवश्यकताओं को व्यापक रूप से संतुष्ट करता है
  3. उच्च व्यावहारिक मूल्य: दो महत्वपूर्ण व्यावहारिक समस्याओं को हल करता है
  4. गहन विश्लेषण: Petri नेट मॉडलिंग के माध्यम से व्यवस्थित मूल्यांकन
  5. गोपनीयता सुरक्षा: WOO तकनीक निजी इनपुट के लिए एक सुरुचिपूर्ण समाधान प्रदान करती है

कमियां

  1. उच्च जटिलता: सिस्टम डिज़ाइन अपेक्षाकृत जटिल है, कार्यान्वयन कठिनाई अधिक है
  2. केंद्रीकरण जोखिम: प्रमाण पुरस्कार का द्विघात प्रभाव असमान वितरण का कारण बन सकता है
  3. स्केलेबिलिटी सीमाएं: सर्किट रजिस्ट्री और विश्वसनीय सेटअप बाधा बन सकते हैं
  4. व्यावहारिक सत्यापन अपर्याप्त: वास्तविक वातावरण में बड़े पैमाने पर परीक्षण की कमी है

प्रभाव

  1. शैक्षणिक योगदान: PoUW क्षेत्र के लिए नई अनुसंधान दिशा प्रदान करता है
  2. व्यावहारिक महत्व: अधिक पर्यावरण-अनुकूल ब्लॉकचेन प्रौद्योगिकी विकास को प्रोत्साहित कर सकता है
  3. तकनीकी प्रेरणा: WOO तकनीक अन्य गोपनीयता गणना परिदृश्यों में लागू की जा सकती है

लागू परिदृश्य

  1. बड़ी संख्या में zk-SNARK प्रमाण की आवश्यकता वाली ब्लॉकचेन एप्लिकेशन
  2. उच्च गोपनीयता सुरक्षा आवश्यकताओं वाली गणना आउटसोर्सिंग परिदृश्य
  3. पर्यावरण-अनुकूल नई ब्लॉकचेन परियोजनाएं
  4. सार्वभौमिक कम्प्यूटिंग क्षमता की आवश्यकता वाली विकेंद्रीकृत एप्लिकेशन

संदर्भ

पेपर में 48 संबंधित संदर्भ उद्धृत किए गए हैं, जो PoW/PoUW प्रोटोकॉल, zk-SNARK तकनीक, ब्लॉकचेन सर्वसम्मति तंत्र और अन्य कई क्षेत्रों के महत्वपूर्ण कार्यों को शामिल करते हैं, जो अनुसंधान के लिए एक ठोस सैद्धांतिक आधार प्रदान करते हैं।