विचार देखि कार्यान्वयन सम्म: हामी अवस्थित अण्डाकार कर्भ डिजिटल हस्ताक्षर योजना परिमार्जन गर्छौं ताकि यो निर्धारणवादी होस्, र यसको आधारमा हामी ब्लकचेन भित्र स्यूडो-अनियमित संख्याहरू प्राप्त गर्न कार्यहरू प्रदान गर्दछौं।

आइडिया

2018 को पतनमा, Waves blockchain समावेश थियो पहिलो स्मार्ट अनुबंध सक्रियप्राप्त गर्ने सम्भावनाको बारेमा प्रश्न तुरुन्तै उठ्यो छद्म अनियमित संख्याहरूकि तपाईं विश्वास गर्न सक्नुहुन्छ।

यस प्रश्नमा अचम्म लाग्दै, म अन्ततः निष्कर्षमा पुगें: कुनै पनि ब्लकचेन एक सेल हो; बन्द प्रणालीमा एन्ट्रोपीको विश्वसनीय स्रोत प्राप्त गर्न असम्भव छ।

तर मलाई अझै एउटा विचार मन पर्यो: यदि अनियमित ओरेकल एक निश्चित एल्गोरिथ्म संग प्रयोगकर्ता डेटा हस्ताक्षर गर्नेछ, त्यसपछि प्रयोगकर्ता सधैं सार्वजनिक कुञ्जी प्रयोग गरी यस्तो हस्ताक्षर प्रमाणित गर्न सक्षम हुनेछ, र परिणाम मान अद्वितीय छ भनेर निश्चित हुनेछ। ओरेकल, चाहे जतिसुकै गाह्रो भए पनि, केहि परिवर्तन गर्न असक्षम छ; एल्गोरिथ्मले अस्पष्ट परिणाम उत्पन्न गर्दछ। अनिवार्य रूपमा, प्रयोगकर्ताले परिणाम रेकर्ड गर्दछ, तर ओरेकलले यसलाई प्रकाशित नगरेसम्म थाहा छैन। यो बाहिर जान्छ कि तपाईं सबै ओरेकल विश्वास गर्न सक्नुहुन्न, तर यसको कामको नतिजा जाँच गर्नुहोस्। त्यसपछि, सफल प्रमाणीकरणको अवस्थामा, यस्तो हस्ताक्षरलाई छद्म संख्याको लागि एन्ट्रोपीको स्रोत मान्न सकिन्छ।

Waves blockchain प्लेटफर्मले हस्ताक्षर योजना प्रयोग गर्दछ एडीडीएसए विकल्प Ed25519। यस योजनामा, हस्ताक्षरमा R र S मानहरू हुन्छन्, जहाँ R एक अनियमित मानमा निर्भर हुन्छ, र S हस्ताक्षर गरिएको सन्देश, निजी कुञ्जी र R को रूपमा उही अनियमित संख्याको आधारमा गणना गरिन्छ। त्यहाँ समान लागि कुनै अद्वितीय निर्भरता छैन त्यहाँ प्रयोगकर्ता सन्देशको लागि धेरै मान्य हस्ताक्षरहरू छन्।

जाहिर छ, यसको शुद्ध रूप मा, यस्तो हस्ताक्षर छद्म-यादृच्छिक संख्या को स्रोत को रूप मा प्रयोग गर्न सकिदैन, किनकि यो गैर-निर्धारित छ र, त्यसैले, सजिलै ओरेकल द्वारा हेरफेर गर्न सकिन्छ।

तर, यो बाहिर निस्कियो, यो वास्तवमा यो निश्चित गर्न सम्भव छ।

मसँग ठूलो आशा थियो प्रमाणित अनियमित प्रकार्य (VRF), तर हार्डवेयर अध्ययन पछि, मैले यो विकल्प त्याग्नुपर्छ। यद्यपि VRF ले हस्ताक्षर र यसको प्रमाणको एक निश्चित संस्करण प्रदान गर्दछ, त्यहाँ एल्गोरिदममा एक अनौठो स्थान छ जसले ओरेकलको हेरफेरको लागि ब्ल्याक होल खोल्छ। अर्थात्, k को मान गणना गर्दा (खण्ड 5.1) एक निजी कुञ्जी प्रयोग गरिन्छ, जुन प्रयोगकर्तालाई अज्ञात रहन्छ, जसको मतलब प्रयोगकर्ताले k को गणनाको शुद्धता प्रमाणित गर्न सक्दैन, जसको अर्थ ओरेकलले k को कुनै पनि मान प्रयोग गर्न सक्छ र एकै समयमा पत्राचारहरूको डाटाबेस कायम राख्न सक्छ। VRF को दृष्टिकोणबाट सही नतिजा पुन: गणना गर्न सक्षम हुनको लागि k र हस्ताक्षर गरिएको डाटा। यदि तपाईंले निजी कुञ्जी खुलासा नगरिकन VRF मा आधारित रेखाचित्र देख्नुभयो भने, तपाईं स्मार्ट हुन सक्नुहुन्छ: कि त कुञ्जी प्रकट गर्ने आवश्यकतालाई संकेत गर्नुहोस्, वा k को गणनाबाट बाहिर निकाल्नुहोस्, त्यसपछि पहिलो हस्ताक्षर देखा पर्दा निजी कुञ्जी स्वतः प्रकट हुनेछ। । सामान्यतया, पहिले नै उल्लेख गरिए अनुसार, अनियमित ओरेकल को लागी एक अजीब योजना।

थोरै सोच र स्थानीय विश्लेषकहरूको समर्थन सूचीबद्ध गरेपछि, VECRO कार्य योजनाको जन्म भयो।

VECRO Verifiable Elliptic Curve Random Oracle को लागि एउटा संक्षिप्त नाम हो, जसको रूसीमा अर्थ अण्डाकार कर्भहरूमा प्रमाणित अनियमित ओरेकल हो।

सबै कुरा एकदम सरल भयो; निश्चयवाद प्राप्त गर्न, तपाईंले हस्ताक्षर गर्नु पर्ने सन्देश देखा पर्नु अघि R को मान ठीक गर्न आवश्यक छ। यदि R प्रतिबद्ध छ र हस्ताक्षर गरिएको सन्देशको अंश हो, जसले थप सुनिश्चित गर्दछ कि R हस्ताक्षर गरिएको सन्देशमा प्रतिबद्ध छ भने, S को मूल्य प्रयोगकर्ताको सन्देशद्वारा विशिष्ट रूपमा निर्धारण गरिन्छ र त्यसैले यसलाई स्यूडोरेन्डम नम्बरहरूको स्रोतको रूपमा प्रयोग गर्न सकिन्छ।

यस्तो योजनामा, यसले R कसरी तय गरिएको छ भन्ने फरक पर्दैन; यो ओरेकलको जिम्मेवारी रहन्छ। यो महत्त्वपूर्ण छ कि S अद्वितीय रूपमा प्रयोगकर्ता द्वारा निर्धारण गरिएको छ, तर ओरेकलले यसलाई प्रकाशित नगरेसम्म यसको मूल्य अज्ञात छ। हामीले चाहेको सबै कुरा!

निश्चित R को कुरा गर्दै, ध्यान दिनुहोस् पुन: प्रयोग गरिएको आर विभिन्न सन्देशहरूमा हस्ताक्षर गर्दा, यसले विशिष्ट रूपमा EdDSA योजनामा ​​निजी कुञ्जी प्रकट गर्दछ। विभिन्न प्रयोगकर्ता सन्देशहरूमा हस्ताक्षर गर्न R पुन: प्रयोग गर्ने सम्भावना हटाउन ओरेकलको मालिकको लागि यो अत्यन्त महत्त्वपूर्ण हुन्छ। त्यो हो, कुनै पनि हेरफेर वा मिलीभगतको साथ, ओरेकलले सधैं आफ्नो निजी कुञ्जी गुमाउने जोखिम हुनेछ।

कुलमा, ओरेकलले प्रयोगकर्ताहरूलाई दुई प्रकार्यहरू प्रदान गर्नुपर्छ: प्रारम्भिकरण, जसले मान R फिक्स गर्दछ, र हस्ताक्षर, जसले मान S फर्काउँछ। यस अवस्थामा, जोडी R, S एक निश्चित समावेश भएको प्रयोगकर्ता सन्देशको सामान्य प्रमाणिक हस्ताक्षर हो। मूल्य R र मनमानी प्रयोगकर्ता डेटा।

यो तर्क गर्न सकिन्छ कि blockchain को लागी यो योजना सामान्य भन्दा बढी केहि छैन प्रतिबद्ध-विस्तार योजना। अनिवार्य रूपमा, हो, यो उनको हो। तर त्यहाँ धेरै nuances छन्। पहिलो, ओरेकल सधैं सबै कार्यहरूमा समान कुञ्जीसँग काम गर्दछ, उदाहरणका लागि, यो सम्झौताहरूमा प्रयोग गर्न सुविधाजनक छ। दोस्रो, यदि यो गलत तरिकाले व्यवहार गर्छ भने ओरेकलले निजी कुञ्जी गुमाउने जोखिम छ, उदाहरणका लागि, ओरेकलले तपाईंलाई नतिजाको नमूनाहरू बनाउन अनुमति दिन्छ, त्यसपछि निजी कुञ्जी पत्ता लगाउन र पूर्ण प्राप्त गर्न केवल दुईवटा परीक्षणहरू गर्न पर्याप्त छ। वालेटमा पहुँच। तेस्रो, एक हस्ताक्षर जुन ब्लकचेनमा नेटिभ रूपमा प्रमाणिकरण योग्य छ र अनियमितताको स्रोत हो सुन्दर छ।

छ महिनासम्म कार्यान्वयनको विचार मेरो दिमागमा उब्जियो, जबसम्म अन्ततः प्रेरणा फारममा देखा परेन Waves Labs बाट अनुदान। ठूलो अनुदानको साथ ठूलो जिम्मेवारी आउँछ, त्यसैले परियोजना त्यहाँ हुनेछ!

कार्यान्वयन

त्यसैले, यस परियोजनामा VECRO लागू गरियो प्रयोगकर्ता र ओरेकल बीच स्थानान्तरण लेनदेन प्रयोग गरेर अनुरोध-प्रतिक्रिया मोडमा Waves blockchain मा। एकै समयमा, ओरेकल खातामा एक स्क्रिप्ट स्थापना गरिएको छ जसले माथि वर्णन गरिएको तर्क अनुसार कडाईका साथ कामलाई नियन्त्रण गर्दछ। ओरेकल लेनदेनहरू प्रमाणित हुन्छन् र प्रयोगकर्ता अन्तरक्रियाको सम्पूर्ण श्रृंखला पुनर्स्थापित हुन्छ। सबै चार लेनदेनहरू अन्तिम मान प्रमाणित गर्नमा संलग्न छन्; स्मार्ट अनुबंधले तिनीहरूलाई कडा प्रमाणीकरण थ्रेडको साथ स्ट्रिङ गर्दछ, सबै मानहरू चरण-दर-चरण जाँच गर्दै र कुनै हेरफेरको लागि कुनै ठाउँ छोड्दैन।

एक पटक फेरि, यसलाई अलग राख्न र यसलाई स्पष्ट बनाउन। ओरेकलले प्रस्तावित योजना अनुसार मात्र काम गर्दैन। यसको काम ब्लकचेन स्तरमा स्थापित द्वारा पूर्ण रूपमा नियन्त्रण गरिएको छ एक स्मार्ट सम्झौता संग कडाई। बायाँ तिर जानुहोस् र लेनदेन मात्र मार्फत जानेछैन। त्यसोभए, यदि ब्लकचेनमा लेनदेन समावेश गरिएको छ भने, प्रयोगकर्ताले केहि पनि जाँच गर्न आवश्यक पर्दैन; सयौं नेटवर्क नोडहरूले पहिले नै उसको लागि सबै कुरा जाँच गरिसकेका छन्।

हाल, वेभ्स मेननेटमा एउटा VECRO चलिरहेको छ (तपाईले आफ्नै चलाउन सक्नुहुन्छ, यो गाह्रो छैन, केवल कन्फिगरेसन उदाहरणमा हेर्नुहोस्)। हालको कोड PHP मा चल्छ (मा WavesKit, जसको बारेमा मैले पहिले नै भनेको थिएँ).

ओरेकल सेवा प्रयोग गर्नको लागि तपाईंले:

• फिक्स आर;
  • कम्तिमा 0.005 तरंगहरू ओरेकल उर्फ ​​init@vecr मा पठाउनुहोस्;
  • ओरेकलबाट प्रयोगकर्तालाई 1 R-vecr टोकनको स्थानान्तरणमा संलग्न फिल्डमा R-कोड प्राप्त गर्नुहोस्;
• हस्ताक्षर प्राप्त गर्नुहोस्;
  • कम्तिमा 0.005 तरंगहरू oracle alias random@vecr मा पठाउनुहोस्, र संलग्नक क्षेत्रमा पहिले प्राप्त भएको आर-कोड र थप प्रयोगकर्ता डेटा पनि संकेत गर्नुपर्छ;
  • ओरेकलबाट प्रयोगकर्तालाई १ S-vecr टोकनको स्थानान्तरणमा संलग्न फिल्डमा S-कोड प्राप्त गर्नुहोस्;
• छद्म-यादृच्छिक संख्याको स्रोतको रूपमा एस-कोड प्रयोग गर्नुहोस्।

हालको कार्यान्वयनको सूक्ष्मताहरू:

• ओरेकलमा पठाइएका तरंगहरू प्रयोगकर्तालाई फिर्ता लेनदेनको लागि कमिसनको रूपमा प्रयोग गरिन्छ, अधिकतम 1 तरंगहरू सम्म;
• R-कोड भनेको 'R' क्यारेक्टरको बाइट र 32-बाइट बेस58-इन्कोडेड R मानको संयोजन हो;
• संलग्नकमा आर-कोड पहिलो हुनुपर्छ, प्रयोगकर्ता डेटा आर-कोड पछि आउँछ;
• S-कोड क्यारेक्टर 'S' को बाइट र S को 32-बाइट बेस58-इन्कोडेड मानको संयोजन हो;
• S मोड्युलो डिभिजनको नतिजा हो, त्यसैले तपाईंले S लाई पूर्ण २५६-बिट स्यूडोरान्डम नम्बरको रूपमा प्रयोग गर्न सक्नुहुन्न (यस नम्बरलाई अधिकतम २५२-बिट स्यूडोरेन्डम नम्बर मान्न सकिन्छ);
• सरल विकल्प भनेको छद्म-यादृच्छिक नम्बरको रूपमा S-code ह्यास प्रयोग गर्नु हो।

S-कोड प्राप्त गर्ने उदाहरण:

• प्रारम्भिकरण: https://wavesexplorer.com/tx/8gc8jwM7JrPNehoDs7NVyos7BsufYktvkwVW1B6FAY6
• आर-कोड प्राप्त गर्दै: https://wavesexplorer.com/tx/9eB25SbzEwvHEbm8pcKj7MGDrYv1u3Fxpj696FkJ96hd
• आर-कोड हस्ताक्षर र प्रयोगकर्ता डेटा "यादृच्छिक" को परिणाम क्वेरी गर्दै: https://wavesexplorer.com/tx/6faoFJobEsugDFYmYmfsbtQYABmckNuE2kevaLh7ifzz
• S-कोड प्राप्त गर्दै: https://wavesexplorer.com/tx/C5VrFLQcprbA1KXAToaNvMP4Kg2rq43NkwWuADAA7wXX

प्राविधिक दृष्टिकोणबाट, ओरेकल कामको लागि पूर्ण रूपमा तयार छ, तपाइँ यसलाई सुरक्षित रूपमा प्रयोग गर्न सक्नुहुन्छ। औसत प्रयोगकर्ता द्वारा प्रयोग को दृष्टिकोण देखि, एक सुविधाजनक ग्राफिकल इन्टरफेस को कमी छ; यो पर्खनु पर्छ।

म प्रश्नहरूको जवाफ दिन र टिप्पणीहरू स्वीकार गर्न खुसी हुनेछु, धन्यवाद।

स्रोत: www.habr.com