फेसबुकको लिब्रा ब्लकचेन प्रोग्रामिङ भाषामा सार्नुहोस्

अर्को, हामी विस्तार मा मूभ भाषा को मुख्य विशेषताहरु लाई विचार गर्नेछौं र स्मार्ट सम्झौताहरु को लागी अर्को, पहिले नै लोकप्रिय भाषा संग यसको मुख्य मतभेद के हो - ठोसता (Ethereum प्लेटफर्ममा)। सामग्री उपलब्ध अनलाइन २-पृष्ठ श्वेतपत्र को एक अध्ययन मा आधारित छ।

परिचय

मूभ एक कार्यान्वयन योग्य बाइटकोड भाषा हो जुन प्रयोगकर्ता लेनदेन र स्मार्ट अनुबंधहरू कार्यान्वयन गर्न प्रयोग गरिन्छ। दुई बुँदाहरूमा ध्यान दिनुहोस्:

1. जबकि सार्नुहोस् एक बाइटकोड भाषा हो कि सीधा सार्न भर्चुअल मेशिन मा निष्पादित गर्न सकिन्छ, ठोसता (Ethereum स्मार्ट अनुबंध भाषा) एक उच्च स्तर को भाषा हो कि पहिले एक EVM (Ethereum भर्चुअल मेशिन) मा निष्पादित हुनु भन्दा पहिले बाइटकोडमा संकलित गरीएको हो।
2. सार्नुहोस् स्मार्ट अनुबंध लागू गर्न को लागी मात्र प्रयोग गर्न सकिन्छ, तर कस्टम लेनदेन को लागी (यो पछि मा अधिक), जबकि ठोस एक स्मार्ट अनुबंध मात्र भाषा हो।

अनुवाद INDEX प्रोटोकल परियोजना टोली द्वारा गरिएको थियो। हामीले पहिले अनुवाद गरेका छौं तुला परियोजनाको वर्णन गर्ने उत्कृष्ट सामग्री, अब यो Move language मा नजिकबाट हेर्ने समय हो। अनुवाद habrauser सँगसँगै बनाइएको थियो coolsiu

Move को मुख्य विशेषता भनेको रेखीय तर्कमा आधारित सिमान्टिक्सको साथ अनुकूलन स्रोत प्रकारहरू परिभाषित गर्ने क्षमता हो: एक स्रोतलाई कहिल्यै प्रतिलिपि गर्न वा अस्पष्ट रूपमा मेटाउन सकिँदैन, केवल सारियो। कार्यात्मक रूपमा, यो रस्ट भाषाको विशेषताहरूसँग मिल्दोजुल्दो छ। Rust मा मानहरू एक पटकमा एक नाममा मात्र तोक्न सकिन्छ। अर्को नाममा मान तोक्नाले यसलाई अघिल्लो नाम अन्तर्गत पहुँचयोग्य बनाउँछ।

उदाहरण को लागी, निम्न कोड स्निपेट एक त्रुटि फ्याँक्नेछ: सारिएको मान 'x' को उपयोग। यो किनभने त्यहाँ जंग मा कुनै फोहोर स्कलन छैन। जब चर गुंजाइश को बाहिर जान्छन्, मेमोरी उनीहरु लाई सन्दर्भ गरीन्छ मुक्त गरीन्छ। सरल शब्दमा भन्नुहोस्, त्यहाँ मात्र डाटा को एक "मालिक" हुन सक्छ। यो उदाहरण मा x मूल मालिक हो र त्यसपछि y नयाँ मालिक बन्छ। यहाँ यो व्यवहार बारे थप पढ्नुहोस्।.

खुल्ला प्रणाली मा डिजिटल सम्पत्ति को प्रतिनिधित्व

त्यहाँ भौतिक सम्पत्ति को दुई गुणहरु छन् कि डिजिटल प्रतिनिधित्व गर्न को लागी मुश्किल छ:

• दुर्लभता (अभाव, मूलतः अभाव)। प्रणाली मा सम्पत्ति (उत्सर्जन) को संख्या नियन्त्रण हुनुपर्छ। अवस्थित सम्पत्ति को नक्कल निषेधित हुनुपर्छ, र नयाँ बनाउन एक विशेषाधिकार प्राप्त अपरेशन हो।
• पहुँच नियन्त्रण... प्रणाली सहभागी पहुँच नियन्त्रण नीतिहरु को उपयोग गरी सम्पत्ति को रक्षा गर्न सक्षम हुनु पर्छ।

यी दुई विशेषताहरु, जो भौतिक सम्पत्ति को लागी प्राकृतिक हो, डिजिटल बस्तुहरु को लागी लागू गरिनु पर्छ यदि हामी उनीहरुलाई सम्पत्ति को रूप मा विचार गर्न चाहन्छौं। उदाहरण को लागी, एक दुर्लभ धातु एक प्राकृतिक अभाव छ, र मात्र तपाइँ यसलाई पहुँच गर्न सक्नुहुन्छ (यसलाई तपाइँको हातमा समातेर, उदाहरण को लागी) र तपाइँ यसलाई बेच्न वा खर्च गर्न सक्नुहुन्छ।

हामी कसरी यी दुई गुण मा आइपुगेको वर्णन गर्न को लागी, निम्न वाक्य संग शुरू गरौं:

सुझाव # १: अभाव र पहुँच नियन्त्रण बिना सरल नियम

• जी [के]: = एन एउटा कुञ्जी द्वारा सुलभ संख्या को लागी एक अपडेट को संकेत गर्दछ К blockchain को वैश्विक राज्य मा, एक नयाँ अर्थ संग n.
• लेनदेन l एलिस, १००⟩ १०० मा एलिसको खाता ब्यालेन्स सेट गर्ने मतलब छ।

माथिको समाधान धेरै प्रमुख समस्याहरु छन्:

• एलिस मात्र पठाएर सिक्का को एक असीमित संख्या प्राप्त गर्न सक्नुहुन्छ लेनदेन - एलिस, १००⟩।
• सिक्का ऐलिस बब पठाइन्छ बेकार छन्, को रूप मा बॉब आफैलाई सिक्ने को एक असीमित संख्या एउटै प्रविधिको प्रयोग गरेर पठाउन सक्छ।

सुझाव # २: खातामा घाटा लिँदै

अब हामी स्थिति को निगरानी गरीरहेका छौं ताकि सिक्काहरुको संख्या Ka कम्तीमा बराबर थियो n स्थानान्तरण लेनदेन अघि। जे होस्, जबकि यो अभाव को समस्या हल गर्दछ, त्यहाँ एलिस को सिक्का पठाउन सक्छ को बारे मा कुनै जानकारी छैन (अहिले को लागी, जो कोहि यो गर्न सक्छन्, मुख्य कुरा रकम सीमित गर्ने नियम को उल्लंघन गर्न को लागी छैन)।

प्रस्ताव # ३: अभाव र पहुँच नियन्त्रण को संयोजन

हामी एक डिजिटल हस्ताक्षर तंत्र संग यो समस्या को समाधान verify_sig ब्यालेन्स जाँच गर्नु अघि, जसको मतलब एलिस लेनदेन मा हस्ताक्षर गर्न को लागी उनको निजी कुञ्जी को उपयोग गर्दछ र पुष्टि गर्दछ कि उनी आफ्नो सिक्का को मालिक हो।

Blockchain प्रोग्रामिंग भाषाहरु

अवस्थित blockchain भाषाहरु निम्न समस्याहरुको सामना (ती सबै हल मा हल थिए (नोट: दुर्भाग्यवश, लेख को लेखक मात्र आफ्नो तुलना मा Ethereum को अपील गर्दछ, त्यसैले यो उनीहरुलाई मात्र यो सन्दर्भमा लिन लायक छ। उदाहरण को लागी, निम्न मध्ये धेरै जसो ईओएस मा हल गरीएको छ।)):

सम्पत्तिको अप्रत्यक्ष प्रतिनिधित्व। कुनै सम्पत्ति पूर्णांक प्रयोग गरेर इन्कोड गरिएको छ, तर पूर्णाङ्कको मान सम्पत्ति जस्तै हुँदैन। वास्तवमा, बिटकोइन / ईथर / <कुनै सिक्का> प्रतिनिधित्व गर्ने कुनै प्रकार वा मान छैन! यसले सम्पत्तिहरू प्रयोग गर्ने कार्यक्रमहरू लेख्न गाह्रो र त्रुटि-प्रवण बनाउँछ। ढाँचाहरू जस्तै प्रक्रियाहरूमा/बाट सम्पत्तिहरू पास गर्न वा संरचनाहरूमा सम्पत्तिहरू भण्डारण गर्न भाषाबाट विशेष समर्थन चाहिन्छ।

घाटा विस्तार योग्य छैन... भाषा मात्र एक दुर्लभ सम्पत्ति प्रतिनिधित्व गर्दछ। यस बाहेक, अभाव को बिरुद्ध उपायहरु लाई सीधै भाषा को अर्थशास्त्र मा hardwired छन्। विकासकर्ता, यदि उनी एक कस्टम सम्पत्ति बनाउन चाहन्छन्, ध्यान दिएर संसाधन आफैं सबै पक्षहरु लाई नियन्त्रण गर्नु पर्छ। यी बिल्कुल Ethereum स्मार्ट अनुबंध को समस्या हो।

प्रयोगकर्ताहरु आफ्नो सम्पत्ति, ERC-20 टोकन, दुबै मूल्य र कुल आपूर्ति निर्धारण गर्न को लागी पूर्णांक को उपयोग गरी जारी। जब पनि नयाँ टोकनहरु बनाईन्छ, स्मार्ट अनुबंध कोड स्वतन्त्र रूप बाट उत्सर्जन नियमहरु संग अनुपालन प्रमाणित गर्नु पर्छ। यसको अतिरिक्त, सम्पत्ति को अप्रत्यक्ष प्रस्तुति, केहि अवस्थामा, गम्भीर त्रुटिहरु को लागी नेतृत्व गर्दछ - दोहोरो, दोहोरो खर्च वा सम्पत्ति को पूर्ण हानि।

लचिलो पहुँच नियन्त्रण को कमी... आज उपयोग मा मात्र पहुँच नियन्त्रण नीति असममित क्रिप्टोग्राफी को उपयोग गरी एक हस्ताक्षर योजना हो। अभाव संरक्षण जस्तै, पहुँच नियन्त्रण नीतिहरु भाषा को अर्थशास्त्र मा गहिरो सम्मिलित छन्। तर कसरी भाषा विस्तार गर्न को लागी प्रोग्रामरहरु लाई आफ्नै पहुँच नियन्त्रण नीतिहरु लाई परिभाषित गर्न को लागी अनुमति दिन को लागी एक धेरै मुश्किल काम हो।

यो Ethereum को लागि पनि सत्य हो, जहाँ स्मार्ट अनुबंधहरूमा पहुँच नियन्त्रणको लागि क्रिप्टोग्राफीको लागि नेटिभ समर्थन छैन। विकासकर्ताहरूले म्यानुअल रूपमा पहुँच नियन्त्रण लेख्नु पर्छ, उदाहरणका लागि, OnlyOwner परिमार्जक प्रयोग गरेर।

यद्यपि म Ethereum को एक ठूलो प्रशंसक हुँ, मलाई विश्वास छ कि सम्पत्ति गुणहरू सुरक्षा कारणहरूको लागि भाषा द्वारा मूल रूपमा समर्थित हुनुपर्छ। विशेष गरी, ईथरलाई स्मार्ट अनुबंधमा पास गर्नाले गतिशील प्रेषण सक्षम गर्दछ, जसले बगहरूको नयाँ वर्गको परिचय दियो जसलाई पुन: प्रवेश जोखिमहरू भनिन्छ। यहाँ गतिशील प्रेषणको अर्थ कोड कार्यान्वयन तर्क रन टाइम (गतिशील) मा निर्धारण गरिनेछ र कम्पाइल समय (स्थिर) मा होइन।

तसर्थ, सोलिडिटीमा, जब अनुबंध A ले अनुबंध B को कार्यलाई कल गर्दछ, अनुबंध B ले कोड चलाउन सक्छ जुन अनुबंध A को विकासकर्ताद्वारा अभिप्रेत थिएन, जसले निम्त्याउन सक्छ। पुन: प्रविष्टि कमजोरीहरू (सम्झौता A ले संयोगवश खाताबाट ब्यालेन्स काट्नु अघि पैसा झिक्न सम्झौता B को रूपमा कार्य गर्दछ)।

भाषा डिजाइन आधारभूतहरू सार्नुहोस्

पहिलो अर्डर संसाधन

एक उच्च स्तर मा, सार्ने भाषा मा मोड्युल / संसाधनहरु / प्रक्रियाहरु को बीच अन्तरक्रिया धेरै कक्षा / वस्तुहरु र OOP भाषाहरु मा विधिहरु को बीच सम्बन्ध को समान छ।
सार्नुहोस् मोड्युलहरु अन्य blockchains मा स्मार्ट अनुबंध जस्तै छन्। मोड्युलले स्रोत प्रकार र प्रक्रियाहरु को घोषणा गर्दछ कि घोषित संसाधनहरु को निर्माण, नष्ट, र अपडेट को लागी नियमहरु लाई परिभाषित गर्दछ। तर यी सबै मात्र अधिवेशन हुन् ("jargon") सार्नुहोस्। हामी यो बिन्दु अलि पछि व्याख्या गर्नेछौं।

लचिलोपन

Move ले लिब्रामा स्क्रिप्टिङ मार्फत लचिलोपन थप्छ। तुला राशिको प्रत्येक लेनदेनमा लिपि समावेश हुन्छ, जुन वास्तवमा लेनदेनको मुख्य प्रक्रिया हो। स्क्रिप्टले या त एक निर्दिष्ट कार्य गर्न सक्छ, उदाहरणका लागि, प्राप्तकर्ताहरूको निर्दिष्ट सूचीमा भुक्तानी गर्न, वा अन्य स्रोतहरू पुन: प्रयोग गर्न, उदाहरणका लागि, सामान्य तर्क परिभाषित गर्ने प्रक्रियालाई कल गरेर। यसैले लेनदेन लिपिहरू सार्नुहोस् धेरै लचिलोपन प्रदान गर्दछ। एक स्क्रिप्टले एक-पटक र दोहोरिने व्यवहारहरू दुवै प्रयोग गर्न सक्छ, जबकि Ethereum ले पुनरावर्ती लिपिहरू मात्र कार्यान्वयन गर्न सक्छ (एकल स्मार्ट अनुबंध विधि कल गर्दै)। यसलाई "दोहोरिने" भनिन्छ किनभने स्मार्ट अनुबंध कार्यहरू धेरै पटक कार्यान्वयन गर्न सकिन्छ। (नोट: यहाँ क्षण धेरै सूक्ष्म छ। एकातिर, बिटकोइनमा स्यूडो-बाइटकोडको रूपमा लेनदेन लिपिहरू छन्। अर्कोतर्फ, मैले बुझे अनुसार, Move ले यस भाषालाई वास्तवमा पूर्ण स्मार्ट अनुबंध भाषाको स्तरमा विस्तार गर्दछ।).

सुरक्षा

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

प्रमाणिकरण

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

मोडुलरिटी

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

सिंहावलोकन सार्नुहोस्

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

सहकर्मी सहकर्मी भुक्तानी

रकममा तोकिएको सिक्काको संख्या प्रेषकको ब्यालेन्सबाट प्रापकलाई हस्तान्तरण गरिनेछ।
यहाँ धेरै नयाँ बिन्दुहरू छन् (रातो शिलालेखमा हाइलाइट गरिएको):

• 0x0: खाता को ठेगाना जहाँ मोड्युल भण्डारण गरीएको छ
• मुद्रा: मोड्युल नाम
• सिक्का: संसाधन प्रकार
• प्रक्रिया द्वारा फिर्ता गरिएको सिक्का मान 0x0.Currency.Coin प्रकार को एक संसाधन मूल्य हो
• चल्नु (): मूल्य फेरि प्रयोग गर्न सकिँदैन
• कापी (): मूल्य पछि प्रयोग गर्न सकिन्छ

कोड पार्स गर्नुहोस्: पहिलो चरण मा, प्रेषक नाम एक प्रक्रिया कल गर्दछ फिर्ता_बाट_सेन्डर मा संग्रहित एक मोड्युल बाट 0x0 मुद्रा। दोस्रो चरणमा, प्रेषकले सिक्का स्रोतको मूल्यलाई मोड्युलको जम्मा प्रक्रियामा सारेर प्रापकलाई रकम हस्तान्तरण गर्दछ। 0x0 मुद्रा.

यहाँ कोडमा त्रुटिहरूको तीन उदाहरणहरू छन् जुन जाँचहरूद्वारा अस्वीकार गरिनेछ:
कल परिवर्तन गरेर नक्कली धन सार्नुहोस् (सिक्का) मा प्रति (सिक्का)। स्रोतहरू मात्र सार्न सकिन्छ। स्रोतको रकम नक्कल गर्ने प्रयास गर्दै (उदाहरणका लागि, कल गरेर प्रति (सिक्का) माथिको उदाहरण मा) bytecode जाँच गर्दा त्रुटि मा परिणाम हुनेछ।

निर्दिष्ट गरेर कोष को पुन: उपयोग सार्नुहोस् (सिक्का) दुई पटक । लाइन थप्दै 0x0.Currency.deposit(प्रतिलिपि(some_other_payee), सार्नुहोस्(coin)) माथिको उदाहरणले प्रेषकलाई सिक्का दुई पटक "खर्च" गर्न अनुमति दिनेछ - पहिलो पटक भुक्तानीकर्तासँग, र दोस्रो पटक केहि_अन्य_भुक्तानी गर्ने। यो एक अवांछनीय व्यवहार हो जुन भौतिक सम्पत्ति संग सम्भव छैन। सौभाग्यवश, Move ले यो कार्यक्रम अस्वीकार गर्नेछ।

अस्वीकार को कारण कोष को हानि सार्नुहोस् (सिक्का)। यदि तपाइँ स्रोत सार्नुहुन्न भने (उदाहरणका लागि, समावेश रेखा हटाएर सार्नुहोस् (सिक्का)), एक बाइटकोड प्रमाणिकरण त्रुटि उठाइनेछ। यसले मूभ प्रोग्रामरहरूलाई आकस्मिक वा दुर्भावनापूर्ण धनको हानिबाट जोगाउँछ।

मुद्रा मोड्युल

प्रत्येक खातामा ० वा बढी मोड्युलहरू (बक्सको रूपमा चित्रण गरिएको) र एक वा बढी स्रोत मानहरू (सिलिन्डरहरूको रूपमा चित्रण गरिएको) समावेश हुन सक्छ। उदाहरण को लागी, मा एक खाता 0x0 मोड्युल समावेश गर्दछ 0x0 मुद्रा र प्रकारको स्रोत मूल्य 0x0.Currency.Coin। ठेगानामा खाता 0x1 दुई स्रोत र एक मोड्युल छ; ठेगानामा खाता 0x2 दुई मोड्युल र एउटा स्रोत मान छ।

नेकोटोरी पलहरू:

• लेनदेन लिपि परमाणु छ - या त पूर्ण रूपमा कार्यान्वयन गरिएको छ, वा बिल्कुलै होइन।
• मोड्युल भनेको लामो समयसम्म चल्ने कोड हो जुन विश्वव्यापी रूपमा उपलब्ध छ।
• ग्लोबल स्टेट एक ह्यास तालिकाको रूपमा संरचित छ, जहाँ खाता ठेगाना कुञ्जी हो
• खाताहरूमा दिइएको प्रकारको एक भन्दा बढी स्रोत मान र दिइएको नामको साथ एक भन्दा बढी मोड्युल समावेश हुन सक्दैन (मा खाता 0x0 अतिरिक्त स्रोत समावेश गर्न सक्दैन 0x0.Currency.Coin वा नामको अर्को मोड्युल मुद्रा)
• घोषित मोड्युलको ठेगाना प्रकारको अंश हो (0x0.Currency.Coin и 0x1.Currency.Coin छुट्टाछुट्टै प्रकारहरू हुन् जुन एकअर्कासँग प्रयोग गर्न सकिँदैन)
• प्रोग्रामरहरूले तिनीहरूको अनुकूलन स्रोत परिभाषित गरेर खातामा दिइएको स्रोत प्रकारको धेरै उदाहरणहरू भण्डारण गर्न सक्छन् - (स्रोत TwoCoins {c1: 0x0.Currency.Coin, c2: 0x0.Currency.Coin})
• तपाईंले कुनै द्वन्द्व बिना स्रोतलाई यसको नामद्वारा सन्दर्भ गर्न सक्नुहुन्छ, उदाहरणका लागि तपाईंले प्रयोग गरी दुई स्रोतहरू सन्दर्भ गर्न सक्नुहुन्छ TwoCoins.c1 и TwoCoins.c2.

सिक्का स्रोत घोषणा

नामित मोड्युल मुद्रा र नामक स्रोत प्रकार सिक्का

नेकोटोरी पलहरू:

• सिक्का प्रकारको एक क्षेत्र भएको संरचना हो u64 (६४-बिट अहस्ताक्षरित पूर्णांक)
• केवल मोड्युल प्रक्रियाहरू मुद्रा प्रकारको मानहरू सिर्जना वा नष्ट गर्न सक्छ सिक्का.
• अन्य मोड्युलहरू र स्क्रिप्टहरूले मोड्युलद्वारा उपलब्ध गराइएका सार्वजनिक प्रक्रियाहरू मार्फत मूल्य क्षेत्रलाई मात्र लेख्न वा सन्दर्भ गर्न सक्छन्।

निक्षेप को कार्यान्वयन

यो प्रक्रिया एक स्रोत स्वीकार गर्दछ सिक्का इनपुटको रूपमा र यसलाई स्रोतसँग जोड्दछ सिक्कालाभार्थीको खातामा भण्डारण:

1. इनपुट स्रोत सिक्का नष्ट गर्दै र यसको मूल्य लेख्दै।
2. प्राप्तकर्ताको खातामा भण्डार गरिएको एक अद्वितीय सिक्का स्रोतको लिङ्क प्राप्त गर्दै।
3. प्रक्रिया कल गर्दा प्यारामिटरमा पारित मूल्य द्वारा सिक्का संख्याको मूल्य परिवर्तन गर्दै।

नेकोटोरी पलहरू:

• अनप्याक, BorrowGlobal - निर्मित प्रक्रियाहरू
• अनप्याक गर्नुहोस् यो T प्रकारको स्रोत मेटाउने एक मात्र तरिका हो। प्रक्रियाले स्रोतलाई इनपुटको रूपमा लिन्छ, यसलाई नष्ट गर्छ, र स्रोतको क्षेत्रहरूसँग सम्बन्धित मान फर्काउँछ।
• उधारो ग्लोबल इनपुटको रूपमा ठेगाना लिन्छ र त्यो ठेगानाद्वारा प्रकाशित (स्वामित्व भएको) T को अद्वितीय उदाहरणको सन्दर्भमा फर्काउँछ।
• &mut सिक्का यो संसाधनको लिङ्क हो सिक्का

प्रेषकबाट निकाल्ने_प्रक्रिया लागू गर्दै

यो प्रक्रिया:

1. एक अद्वितीय स्रोतको लिङ्क प्राप्त गर्दछ सिक्का, प्रेषकको खातामा लिङ्क गरिएको छ
2. स्रोतको मूल्य घटाउँछ सिक्का निर्दिष्ट रकम को लागी सन्दर्भ द्वारा
3. नयाँ स्रोत सिर्जना र फर्काउँछ सिक्का अद्यावधिक ब्यालेन्स संग।

नेकोटोरी पलहरू:

• जम्मा जो कोहीले बोलाउन सक्छ, तर फिर्ता_बाट_सेन्डर कलिङ खाताको सिक्कामा मात्र पहुँच छ
• GetTxnSenderAddress जस्तै msg.प्रेषक एकता मा
• अस्वीकार नगर्नुहोस् जस्तै आवश्यक छ एकता मा। यदि यो जाँच असफल भयो भने, लेनदेनको कार्यान्वयन रोकिन्छ र सबै परिवर्तनहरू फिर्ता हुन्छन्।
• प्याक यो एक निर्मित प्रक्रिया पनि हो जसले T प्रकारको नयाँ स्रोत सिर्जना गर्दछ।
• साथै अनप्याक गर्नुहोस्, प्याक केवल मोड्युल भित्र कल गर्न सकिन्छ जहाँ संसाधन घोषणा गरिएको छ T

निष्कर्षमा

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

स्रोत: www.habr.com