डाइव इन मूव - फेसबुक की लिब्रा ब्लॉकचेन प्रोग्रामिंग भाषा

इसके बाद, हम मूव लैंग्वेज की मुख्य विशेषताओं पर विस्तार से विचार करेंगे और स्मार्ट कॉन्ट्रैक्ट्स के लिए पहले से ही लोकप्रिय भाषा - सॉलिडिटी (एथेरियम प्लेटफॉर्म पर) के साथ इसके प्रमुख अंतर क्या हैं। सामग्री उपलब्ध ऑनलाइन 26-पृष्ठ श्वेतपत्र के अध्ययन पर आधारित है।

परिचय

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

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

अनुवाद INDEX प्रोटोकॉल प्रोजेक्ट टीम द्वारा किया गया था। हम पहले ही अनुवाद कर चुके हैं तुला परियोजना का वर्णन करने वाली बड़ी सामग्री, अब मूव भाषा को थोड़ा और विस्तार से देखने का समय आ गया है। अनुवाद हैब्रुसर के साथ संयुक्त रूप से किया गया था कूलसिउ

मूव की एक प्रमुख विशेषता रैखिक तर्क के आधार पर शब्दार्थ के साथ कस्टम संसाधन प्रकारों को परिभाषित करने की क्षमता है: किसी संसाधन को कभी भी कॉपी या अंतर्निहित रूप से हटाया नहीं जा सकता है, केवल स्थानांतरित किया जा सकता है। कार्यात्मक रूप से, यह रस्ट भाषा की क्षमताओं के समान है। रस्ट में मान एक समय में केवल एक ही नाम को निर्दिष्ट किए जा सकते हैं। किसी भिन्न नाम के लिए मान निर्दिष्ट करने से यह पिछले नाम के अंतर्गत अनुपलब्ध हो जाता है।

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

खुले सिस्टम में डिजिटल संपत्ति का प्रतिनिधित्व

भौतिक संपत्ति के दो गुण हैं जिनका डिजिटल रूप से प्रतिनिधित्व करना मुश्किल है:

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

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

यह समझाने के लिए कि हम इन दो गुणों पर कैसे पहुंचे, आइए निम्नलिखित वाक्यों से शुरू करें:

सुझाव # 1: कमी और अभिगम नियंत्रण के बिना सबसे सरल नियम

• जी [के]: = एन एक कुंजी द्वारा सुलभ संख्या के अद्यतन को दर्शाता है К ब्लॉकचेन की वैश्विक स्थिति में, एक नए अर्थ के साथ n.
• लेनदेन ऐलिस, १००⟩ का अर्थ है ऐलिस के खाते की शेष राशि को 100 पर सेट करना।

उपरोक्त समाधान में कई प्रमुख समस्याएं हैं:

• ऐलिस केवल भेजकर असीमित संख्या में सिक्के प्राप्त कर सकता है लेनदेन "एलिस, 100"।
• ऐलिस द्वारा बॉब को भेजे गए सिक्के बेकार हैं, क्योंकि बॉब उसी तकनीक का उपयोग करके खुद को असीमित संख्या में सिक्के भेज सकता था।

सुझाव # 2: घाटे को ध्यान में रखते हुए

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

प्रस्ताव # 3: कमी और अभिगम नियंत्रण का संयोजन

हम इस समस्या को एक डिजिटल हस्ताक्षर तंत्र के साथ हल करते हैं सत्यापन_सिग शेष राशि की जाँच करने से पहले, जिसका अर्थ है कि ऐलिस लेन-देन पर हस्ताक्षर करने के लिए अपनी निजी कुंजी का उपयोग करती है और पुष्टि करती है कि वह उसके सिक्कों की मालिक है।

ब्लॉकचेन प्रोग्रामिंग भाषाएं

मौजूदा ब्लॉकचेन भाषाएं निम्नलिखित समस्याओं का सामना करती हैं (उन सभी को मूव में हल किया गया था (नोट: दुर्भाग्य से, लेख के लेखक ने अपनी तुलना में केवल एथेरियम की अपील की, इसलिए उन्हें केवल इस संदर्भ में लेना उचित है। उदाहरण के लिए, निम्न में से अधिकांश को EOS में भी हल किया जाता है।)):

संपत्ति का अप्रत्यक्ष प्रतिनिधित्व. एक परिसंपत्ति को एक पूर्णांक का उपयोग करके एन्कोड किया जाता है, लेकिन एक पूर्णांक एक परिसंपत्ति के समान नहीं होता है। वास्तव में, बिटकॉइन/ईथर/<कोई भी सिक्का> का प्रतिनिधित्व करने वाला कोई प्रकार या मूल्य नहीं है! इससे परिसंपत्तियों का उपयोग करने वाले प्रोग्राम लिखना कठिन और त्रुटि-प्रवण हो जाता है। संपत्तियों को प्रक्रियाओं में/से स्थानांतरित करने या संरचनाओं में संपत्तियों को संग्रहीत करने जैसे पैटर्न के लिए भाषा से विशेष समर्थन की आवश्यकता होती है।

घाटा विस्तार योग्य नहीं है... भाषा केवल एक दुर्लभ संपत्ति का प्रतिनिधित्व करती है। इसके अलावा, कमी के खिलाफ उपचार सीधे भाषा के शब्दार्थ में ही कड़ी मेहनत कर रहे हैं। डेवलपर, यदि वह एक कस्टम संपत्ति बनाना चाहता है, तो उसे स्वयं संसाधन के सभी पहलुओं को ध्यान से नियंत्रित करना चाहिए। ये बिल्कुल एथेरियम स्मार्ट कॉन्ट्रैक्ट्स की समस्याएं हैं।

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

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

यह एथेरियम पर भी सच है, जहां स्मार्ट कॉन्ट्रैक्ट में एक्सेस कंट्रोल के लिए मूल क्रिप्टोग्राफ़ी समर्थन नहीं है। डेवलपर्स को मैन्युअल रूप से एक्सेस कंट्रोल सेट करना होगा, उदाहरण के लिए, ओनलीओनर संशोधक का उपयोग करके।

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

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

भाषा डिज़ाइन के मूल सिद्धांतों को स्थानांतरित करें

पहले क्रम के संसाधन

उच्च स्तर पर, मूव भाषा में मॉड्यूल / संसाधनों / प्रक्रियाओं के बीच की बातचीत OOP भाषाओं में कक्षाओं / वस्तुओं और विधियों के बीच के संबंध के समान है।
मूव मॉड्यूल अन्य ब्लॉकचेन में स्मार्ट कॉन्ट्रैक्ट के समान हैं। मॉड्यूल संसाधन प्रकारों और प्रक्रियाओं की घोषणा करता है जो घोषित संसाधनों को बनाने, नष्ट करने और अद्यतन करने के नियमों को परिभाषित करते हैं। लेकिन ये सब सिर्फ परंपराएं हैं ("शब्दजाल”) मूव में। हम इस बिंदु को थोड़ा बाद में स्पष्ट करेंगे।

लचीलापन

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

सुरक्षा

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

सत्यापनीयता

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

प्रतिरूपकता

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

सिंहावलोकन ले जाएँ

लेन-देन स्क्रिप्ट उदाहरण दर्शाता है कि एक मॉड्यूल के बाहर एक प्रोग्रामर द्वारा दुर्भावनापूर्ण या लापरवाह कार्रवाई मॉड्यूल के संसाधनों की सुरक्षा से समझौता नहीं कर सकती है। इसके बाद, हम उदाहरण देखेंगे कि तुला ब्लॉकचेन को प्रोग्राम करने के लिए मॉड्यूल, संसाधनों और प्रक्रियाओं का उपयोग कैसे किया जाता है।

पीयर-टू-पीयर भुगतान

राशि में निर्दिष्ट सिक्कों की संख्या प्रेषक के शेष से प्राप्तकर्ता को हस्तांतरित कर दी जाएगी।
यहां कुछ नई चीज़ें हैं (लाल रंग में हाइलाइट किया गया):

• 0x0: खाते का पता जहां मॉड्यूल संग्रहीत है
• मुद्रा: मोड्यूल का नाम
• सिक्का: संसाधन प्रकार
• प्रक्रिया द्वारा लौटाया गया सिक्का मूल्य 0x0 प्रकार का संसाधन मूल्य है। मुद्रा। सिक्का
• कदम (): मूल्य का फिर से उपयोग नहीं किया जा सकता
• कॉपी (): मूल्य बाद में इस्तेमाल किया जा सकता है

कोड को पार्स करें: पहले चरण में, प्रेषक नामक एक प्रक्रिया को कॉल करता है निकासी_से_प्रेषक में संग्रहीत एक मॉड्यूल से 0x0.मुद्रा. दूसरे चरण में, प्रेषक सिक्का संसाधन मूल्य को मॉड्यूल की जमा प्रक्रिया में ले जाकर प्राप्तकर्ता को धनराशि हस्तांतरित करता है 0x0.मुद्रा.

यहां कोड में त्रुटियों के तीन उदाहरण दिए गए हैं जिन्हें चेक द्वारा अस्वीकार कर दिया जाएगा:
कॉल बदलकर डुप्लीकेट फंड चाल (सिक्का) पर कॉपी (सिक्का). संसाधनों को केवल स्थानांतरित किया जा सकता है। किसी संसाधन की मात्रा को डुप्लिकेट करने का प्रयास करना (उदाहरण के लिए, कॉल करके)। कॉपी (सिक्का) ऊपर दिए गए उदाहरण में) के परिणामस्वरूप बाइटकोड की जाँच करते समय एक त्रुटि होगी।

निर्दिष्ट करके धन का पुन: उपयोग चाल (सिक्का) दो बार . एक पंक्ति जोड़ना 0x0.Currency.deposit (कॉपी (कुछ_अन्य_भुगतानकर्ता), स्थानांतरण (सिक्का)) उदाहरण के लिए, उपरोक्त प्रेषक को सिक्कों को दो बार "खर्च" करने की अनुमति देगा - पहली बार भुगतानकर्ता के साथ, और दूसरी बार प्राप्तकर्ता के साथ। कुछ_अन्य_भुगतानकर्ता. यह एक अवांछनीय व्यवहार है जो किसी भौतिक संपत्ति के साथ संभव नहीं है। सौभाग्य से, मूव इस कार्यक्रम को अस्वीकार कर देगा।

मना करने पर धन की हानि चाल (सिक्का). यदि आप संसाधन को स्थानांतरित नहीं करते हैं (उदाहरण के लिए, युक्त पंक्ति को हटाकर चाल (सिक्का)), एक बाइटकोड सत्यापन त्रुटि उत्पन्न हो जाएगी। यह मूव प्रोग्रामर्स को धन की आकस्मिक या दुर्भावनापूर्ण हानि से बचाता है।

मुद्रा मॉड्यूल

प्रत्येक खाते में 0 या अधिक मॉड्यूल (आयत के रूप में दिखाए गए) और एक या अधिक संसाधन मान (सिलेंडर के रूप में दिखाए गए) हो सकते हैं। उदाहरण के लिए, पर एक खाता 0x0 मॉड्यूल शामिल है 0x0.मुद्रा और संसाधन प्रकार का मान 0x0.मुद्रा.सिक्का. पते पर खाता 0x1 दो संसाधन और एक मॉड्यूल है; पते पर खाता 0x2 इसमें दो मॉड्यूल और एक संसाधन मान है।

कुछ क्षण:

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

सिक्का संसाधन घोषणा

मॉड्यूल का नाम दिया गया मुद्रा और एक संसाधन प्रकार का नाम दिया गया है सिक्का

कुछ क्षण:

• सिक्का एक प्रकार के क्षेत्र वाली एक संरचना है u64 (64-बिट अहस्ताक्षरित पूर्णांक)
• केवल मॉड्यूल प्रक्रियाएं मुद्रा प्रकार के मानों को बना या नष्ट कर सकता है सिक्का.
• अन्य मॉड्यूल और स्क्रिप्ट केवल मॉड्यूल द्वारा प्रदान की गई सार्वजनिक प्रक्रियाओं के माध्यम से मूल्य फ़ील्ड को लिख या संदर्भित कर सकते हैं।

जमा की बिक्री

यह प्रक्रिया एक संसाधन स्वीकार करती है सिक्का इनपुट के रूप में और इसे संसाधन के साथ जोड़ता है सिक्काप्राप्तकर्ता के खाते में संग्रहीत:

1. इनपुट संसाधन कॉइन को नष्ट करना और उसका मूल्य रिकॉर्ड करना।
2. प्राप्तकर्ता के खाते में संग्रहीत एक अद्वितीय सिक्का संसाधन का लिंक प्राप्त करना।
3. प्रक्रिया को कॉल करते समय पैरामीटर में पारित मूल्य द्वारा सिक्कों की संख्या का मूल्य बदलना।

कुछ क्षण:

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

प्रत्याहरण_से_प्रेषक का कार्यान्वयन

यह कार्यविधि:

1. एक अद्वितीय संसाधन का लिंक मिलता है सिक्का, प्रेषक के खाते से जुड़ा हुआ
2. किसी संसाधन का मूल्य कम हो जाता है सिक्का निर्दिष्ट राशि के लिए लिंक के माध्यम से
3. एक नया संसाधन बनाता है और लौटाता है सिक्का अद्यतन शेष के साथ.

कुछ क्षण:

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

निष्कर्ष

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

स्रोत: www.habr.com