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

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

परिचय

मूव्ह ही एक एक्झिक्यूटेबल बायकोड भाषा आहे जी वापरकर्त्याचे व्यवहार आणि स्मार्ट कॉन्ट्रॅक्ट्स अंमलात आणण्यासाठी वापरली जाते. कृपया दोन मुद्दे लक्षात घ्या:

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

भाषांतर INDEX प्रोटोकॉल प्रकल्प टीमने केले. आम्ही आधीच भाषांतर केले आहे तुला प्रकल्पाचे वर्णन करणारी मोठी सामग्री, आता मूव्ह भाषेकडे थोडे अधिक तपशीलाने पाहण्याची वेळ आली आहे. अनुवाद Habrauser सह संयुक्तपणे चालते coolsiu

रेखीय तर्कावर आधारित शब्दार्थांसह सानुकूल संसाधन प्रकार परिभाषित करण्याची क्षमता हे मूव्हचे मुख्य वैशिष्ट्य आहे: संसाधन कधीही कॉपी किंवा अस्पष्टपणे हटविले जाऊ शकत नाही, फक्त हलविले जाऊ शकते. कार्यात्मकपणे, हे रस्ट भाषेच्या क्षमतेसारखेच आहे. रस्टमधील मूल्ये एका वेळी फक्त एका नावाला नियुक्त केली जाऊ शकतात. भिन्न नावासाठी मूल्य नियुक्त केल्याने ते आधीच्या नावाखाली अनुपलब्ध होते.

उदाहरणार्थ, खालील कोड स्निपेट एरर टाकेल: हलवलेले मूल्य 'x' चा वापर. कारण गंजात कचरा गोळा होत नाही. जेव्हा व्हेरिएबल्स आवाक्याबाहेर जातात, तेव्हा ते ज्या मेमरीचा संदर्भ देतात ते तसेच मुक्त केले जातात. सरळ सांगा, डेटाचा फक्त एक "मालक" असू शकतो. या उदाहरणात x मूळ मालक आहे आणि नंतर y नवीन मालक होतो. या वर्तनाबद्दल येथे अधिक वाचा.

खुल्या प्रणालीमध्ये डिजिटल मालमत्तेचे प्रतिनिधित्व

भौतिक मालमत्तेचे दोन गुणधर्म आहेत ज्यांचे डिजिटल रूपात प्रतिनिधित्व करणे कठीण आहे:

• दुर्मिळता (टंचाई, मुळात टंचाई). सिस्टममधील मालमत्तांची संख्या (उत्सर्जन) नियंत्रित करणे आवश्यक आहे. विद्यमान मालमत्तेचे डुप्लिकेशन प्रतिबंधित केले जाणे आवश्यक आहे आणि नवीन तयार करणे हे विशेषाधिकार प्राप्त ऑपरेशन आहे.
• प्रवेश नियंत्रण... Participक्सेस कंट्रोल पॉलिसी वापरून सिस्टम सहभागीने मालमत्तेचे संरक्षण करण्यास सक्षम असणे आवश्यक आहे.

ही दोन वैशिष्ट्ये, जी भौतिक मालमत्तेसाठी नैसर्गिक आहेत, जर डिजिटल वस्तूंसाठी ती आम्हाला मालमत्ता म्हणून विचारात घ्यायची असतील तर ती अंमलात आणणे आवश्यक आहे. उदाहरणार्थ, एक दुर्मिळ धातू - एक नैसर्गिक टंचाई आहे, आणि फक्त तुम्हाला त्यात प्रवेश आहे (उदाहरणार्थ ते तुमच्या हातात धरून) आणि तुम्ही ते विकू किंवा खर्च करू शकता.

आम्ही या दोन गुणधर्मांवर कसे पोहोचलो हे स्पष्ट करण्यासाठी, खालील वाक्यांसह प्रारंभ करूया:

सूचना # 1: टंचाई आणि प्रवेश नियंत्रणाशिवाय सर्वात सोपा नियम

• जी [के]: = एन की द्वारे प्रवेश करण्यायोग्य क्रमांकाचे अद्यतन सूचित करते К ब्लॉकचेनच्या जागतिक स्थितीत, नवीन अर्थासह n.
• व्यवहार - अॅलिस, 100⟩ म्हणजे अॅलिसचे खाते शिल्लक 100 वर सेट करणे.

वरील समाधानामध्ये अनेक प्रमुख समस्या आहेत:

• अॅलिस फक्त पाठवून अमर्यादित नाणी प्राप्त करू शकते व्यवहार - अॅलिस, 100⟩.
• अॅलिसने बॉबला पाठवलेली नाणी निरुपयोगी आहेत, कारण बॉब स्वतःला त्याच तंत्राचा वापर करून अमर्यादित नाणी पाठवू शकतो.

सूचना # 2: तूट लक्षात घेऊन

आता आम्ही परिस्थितीचे निरीक्षण करत आहोत जेणेकरून नाण्यांची संख्या Ka किमान समान होते n हस्तांतरण व्यवहार करण्यापूर्वी. तथापि, हे टंचाईच्या समस्येचे निराकरण करत असताना, अॅलिसची नाणी कोण पाठवू शकते याबद्दल कोणतीही माहिती नाही (आत्ता, कोणीही हे करू शकते, मुख्य गोष्ट म्हणजे रक्कम मर्यादित करण्याचा नियम मोडणे नाही).

प्रस्ताव # 3: टंचाई आणि प्रवेश नियंत्रण एकत्र करणे

आम्ही डिजिटल स्वाक्षरी यंत्रणेने ही समस्या सोडवतो verify_sig शिल्लक तपासण्यापूर्वी, ज्याचा अर्थ असा आहे की अॅलिस तिच्या खाजगी की चा वापर व्यवहारावर स्वाक्षरी करण्यासाठी करते आणि ती तिच्या नाण्यांची मालक आहे याची पुष्टी करते.

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

विद्यमान ब्लॉकचेन भाषांना खालील समस्यांना सामोरे जावे लागते (त्या सर्व हलवा मध्ये सोडवल्या गेल्या आहेत (टीप: दुर्दैवाने, लेखाचा लेखक केवळ त्याच्या तुलनेत Ethereum ला अपील करतो, म्हणून त्यांना फक्त या संदर्भात घेणे योग्य आहे. उदाहरणार्थ, खालीलपैकी बहुतेक EOS मध्ये देखील सोडवले जातात.)):

मालमत्तेचे अप्रत्यक्ष प्रतिनिधित्व. पूर्णांक वापरून मालमत्ता एन्कोड केली जाते, परंतु पूर्णांक मालमत्ता सारखा नसतो. खरं तर, Bitcoin/Ether/<Any Coin> चे प्रतिनिधित्व करणारा कोणताही प्रकार किंवा मूल्य नाही! यामुळे मालमत्तेचा वापर करणारे प्रोग्राम लिहिणे कठीण आणि त्रुटी-प्रवण बनते. प्रक्रियांमध्ये मालमत्ता पास करणे किंवा संरचनांमध्ये मालमत्ता संग्रहित करणे यासारख्या नमुन्यांना भाषेकडून विशेष समर्थन आवश्यक आहे.

तूट विस्तारण्यायोग्य नाही... भाषा फक्त एक दुर्मिळ मालमत्ता दर्शवते. याव्यतिरिक्त, टंचाईच्या विरूद्ध उपाय थेट भाषेच्या शब्दार्थात थेट जोडलेले आहेत. विकसक, जर त्याला सानुकूल मालमत्ता तयार करायची असेल तर त्याने स्वतःच संसाधनाच्या सर्व पैलूंवर काळजीपूर्वक नियंत्रण ठेवले पाहिजे. इथेरियम स्मार्ट कॉन्ट्रॅक्ट्सच्या या नक्की समस्या आहेत.

वापरकर्ते मूल्य आणि एकूण पुरवठा दोन्ही निर्धारित करण्यासाठी पूर्णांक वापरून त्यांची मालमत्ता, ERC-20 टोकन जारी करतात. जेव्हाही नवीन टोकन तयार केले जातात, स्मार्ट कॉन्ट्रॅक्ट कोडने उत्सर्जन नियमांचे पालन स्वतंत्रपणे सत्यापित केले पाहिजे. याव्यतिरिक्त, मालमत्तेचे अप्रत्यक्ष सादरीकरण, काही प्रकरणांमध्ये, गंभीर त्रुटींकडे - डुप्लिकेशन, दुहेरी खर्च किंवा मालमत्तेचे संपूर्ण नुकसान.

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

हे Ethereum वर देखील खरे आहे, जेथे स्मार्ट कॉन्ट्रॅक्टमध्ये प्रवेश नियंत्रणासाठी मूळ क्रिप्टोग्राफी समर्थन नसते. विकसकांनी मॅन्युअली ऍक्सेस कंट्रोल सेट करणे आवश्यक आहे, उदाहरणार्थ, onlyOwner मॉडिफायर वापरून.

जरी मी इथरियमचा मोठा चाहता असलो तरी, मला विश्वास आहे की मालमत्तेच्या गुणधर्मांना सुरक्षिततेच्या उद्देशाने भाषेद्वारे मूळ समर्थन दिले पाहिजे. विशेषतः, ईथरला स्मार्ट कॉन्ट्रॅक्टमध्ये हस्तांतरित करण्यामध्ये डायनॅमिक डिस्पॅच समाविष्ट आहे, ज्याने री-एंट्रन्सी असुरक्षा म्हणून ओळखल्या जाणार्‍या बग्सचा एक नवीन वर्ग सादर केला आहे. डायनॅमिक डिस्पॅचचा अर्थ असा आहे की कोडची अंमलबजावणी लॉजिक कंपाइल टाइम (स्टॅटिक) ऐवजी रनटाइम (डायनॅमिक) वर निर्धारित केली जाईल.

अशाप्रकारे, सॉलिडिटीमध्ये, जेव्हा कॉन्ट्रॅक्ट ए कॉन्ट्रॅक्ट बी मध्ये फंक्शन कॉल करते, तेव्हा कॉन्ट्रॅक्ट बी हा कोड रन करू शकतो जो कॉन्ट्रॅक्ट ए च्या डेव्हलपरचा हेतू नव्हता, ज्याचा परिणाम होऊ शकतो पुन्हा-प्रवेश असुरक्षा (कंत्राट A चुकून खाते बॅलन्स वजा होण्यापूर्वी पैसे काढण्यासाठी करार ब म्हणून काम करतो).

भाषा डिझाइन मूलभूत गोष्टी हलवा

प्रथम-ऑर्डर संसाधने

उच्च स्तरावर, हलवा भाषेतील मोड्यूल्स / संसाधने / कार्यपद्धतींमधील परस्परसंवाद हे OOP भाषांमधील वर्ग / वस्तू आणि पद्धती यांच्यातील संबंधांसारखेच आहे.
मूव्ह मॉड्यूल इतर ब्लॉकचेनमधील स्मार्ट कॉन्ट्रॅक्टसारखे असतात. मॉड्यूल स्त्रोत प्रकार आणि कार्यपद्धती घोषित करते जे घोषित संसाधने तयार करणे, नष्ट करणे आणि अद्ययावत करण्याचे नियम परिभाषित करते. पण हे सर्व फक्त अधिवेशन आहेत (“कलंक”) हलवा मध्ये. आम्ही थोड्या वेळाने हा मुद्दा स्पष्ट करू.

लवचिकता

स्क्रिप्टिंगद्वारे मूव्ह लिब्रामध्ये लवचिकता जोडते. तूळ राशीतील प्रत्येक व्यवहारात लिपी समाविष्ट असते, जी मूलत: व्यवहाराची मुख्य प्रक्रिया असते. स्क्रिप्ट एकतर एक निर्दिष्ट क्रिया करू शकते, उदाहरणार्थ, प्राप्तकर्त्यांच्या निर्दिष्ट सूचीसाठी देयके, किंवा इतर संसाधने पुन्हा वापरणे - उदाहरणार्थ, सामान्य तर्क निर्दिष्ट केलेल्या प्रक्रियेला कॉल करून. म्हणूनच मूव्ह ट्रान्झॅक्शन स्क्रिप्ट अधिक लवचिकता देतात. एक स्क्रिप्ट एक-वेळ आणि पुनरावृत्ती दोन्ही वर्तन वापरू शकते, तर Ethereum फक्त पुनरावृत्ती करण्यायोग्य स्क्रिप्ट कार्यान्वित करू शकते (स्मार्ट करार पद्धतीवर एक पद्धत कॉल करणे). याला "पुन्हा वापरता येण्याजोगे" म्हणण्याचे कारण म्हणजे स्मार्ट कराराची कार्ये अनेक वेळा अंमलात आणली जाऊ शकतात. (टीप: इथला मुद्दा अतिशय सूक्ष्म आहे. एकीकडे, बिटकॉइनमध्ये स्यूडो-बाइटकोडच्या स्वरूपात व्यवहार स्क्रिप्ट देखील अस्तित्वात आहेत. दुसरीकडे, जसे मला समजते, मूव्ह या भाषेचा विस्तार करते, खरेतर, संपूर्ण स्मार्ट कॉन्ट्रॅक्ट भाषेच्या पातळीवर).

सुरक्षा

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

सत्यापन

हे सर्व ऑन-चेन केले जात असल्याने शक्य तितक्या सोप्या तपासण्या करण्याचे आमचे लक्ष्य आहे (टीप: ऑनलाइन, प्रत्येक व्यवहाराच्या अंमलबजावणी दरम्यान, त्यामुळे कोणत्याही विलंबामुळे संपूर्ण नेटवर्क मंदावते), तथापि, सुरुवातीला भाषा डिझाइन ऑफ-चेन स्टॅटिक सत्यापन साधने वापरण्यासाठी तयार आहे. हे अधिक श्रेयस्कर असले तरी, सध्या पडताळणी साधनांचा विकास (स्वतंत्र टूलकिट म्हणून) भविष्यासाठी पुढे ढकलण्यात आला आहे आणि आता फक्त रन-टाइम (ऑन-चेन) मध्ये डायनॅमिक पडताळणी समर्थित आहे.

मॉड्युलॅरिटी

मूव्ह मॉड्यूल डेटा अमूर्त प्रदान करतात आणि संसाधनांवर गंभीर ऑपरेशन्सचे स्थानिकीकरण करतात. मॉड्यूलद्वारे प्रदान केलेले इनकेप्सुलेशन, मूव्ह प्रकार प्रणालीद्वारे प्रदान केलेल्या संरक्षणासह, मॉड्यूलच्या प्रकारांवर सेट केलेल्या गुणधर्मांचे मॉड्यूलच्या बाहेरील कोडद्वारे उल्लंघन केले जाऊ शकत नाही याची खात्री करते. ही एक सुविचारित अमूर्त रचना आहे, ज्याचा अर्थ असा आहे की करारामधील डेटा केवळ कराराच्या कार्यक्षेत्रात बदलला जाऊ शकतो, परंतु बाह्य नाही.

विहंगावलोकन हलवा

ट्रान्झॅक्शन स्क्रिप्ट उदाहरण दाखवते की मॉड्यूलच्या बाहेर प्रोग्रामरद्वारे दुर्भावनायुक्त किंवा निष्काळजी कृती मॉड्यूलच्या संसाधनांच्या सुरक्षिततेशी तडजोड करू शकत नाही. पुढे, लिब्रा ब्लॉकचेन प्रोग्राम करण्यासाठी मॉड्यूल, संसाधने आणि कार्यपद्धती कशा वापरल्या जातात याची उदाहरणे पाहू.

पीअर-टू-पीअर पेमेंट

रकमेमध्ये निर्दिष्ट केलेल्या नाण्यांची संख्या प्रेषकाच्या शिल्लक रकमेतून प्राप्तकर्त्याकडे हस्तांतरित केली जाईल.
येथे काही नवीन गोष्टी आहेत (लाल रंगात हायलाइट केलेल्या):

• 0x0: खात्याचा पत्ता जिथे मॉड्यूल संग्रहित आहे
• चलन: मॉड्यूल नाव
• नाणे: संसाधन प्रकार
• प्रक्रियेद्वारे परत केलेले नाणे मूल्य हे 0x0.Currency.Coin प्रकाराचे संसाधन मूल्य आहे
• हलवा (): मूल्य पुन्हा वापरता येत नाही
• कॉपी (): मूल्य नंतर वापरले जाऊ शकते

कोड पार्स करा: पहिल्या टप्प्यात, प्रेषक नावाच्या प्रक्रियेला कॉल करतो पैसे पाठवणाऱ्यांकडून मागे घ्या मध्ये संग्रहित मॉड्यूलमधून 0x0 चलन. दुसऱ्या टप्प्यात, प्रेषक नाणे संसाधन मूल्य मॉड्यूलच्या ठेव प्रक्रियेमध्ये हलवून प्राप्तकर्त्याला निधी हस्तांतरित करतो 0x0 चलन.

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

निर्दिष्ट करून निधीचा पुनर्वापर हलवा (नाणे) दोनदा . एक ओळ जोडत आहे 0x0.Currency.deposit (copy (some_other_payee), हलवा (नाणे)) उदाहरणार्थ, उपरोक्त प्रेषकाला नाणी दोनदा "खर्च" करण्यास अनुमती देईल - पहिल्यांदा पैसे देणाऱ्यासोबत आणि दुसरी काही_अन्य_पेयी. हे एक अनिष्ट वर्तन आहे जे भौतिक मालमत्तेसह शक्य नाही. सुदैवाने, मूव्ह हा प्रोग्राम नाकारेल.

नकार दिल्याने निधीचे नुकसान हलवा (नाणे). आपण संसाधन हलवत नसल्यास (उदाहरणार्थ, असलेली ओळ हटवून हलवा (नाणे)), बायटेकोड सत्यापन त्रुटी टाकली जाईल. हे मूव्ह प्रोग्रामरना अपघाती किंवा दुर्भावनापूर्ण निधीच्या नुकसानीपासून संरक्षण करते.

चलन मॉड्यूल

प्रत्येक खात्यामध्ये 0 किंवा अधिक मॉड्यूल (आयत म्हणून दर्शविलेले) आणि एक किंवा अधिक संसाधन मूल्ये (सिलेंडर म्हणून दर्शविलेले) असू शकतात. उदाहरणार्थ, येथे खाते 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. प्रक्रियेला कॉल करताना पॅरामीटरमध्ये पास केलेल्या मूल्यानुसार नाण्यांच्या संख्येचे मूल्य बदलणे.

नेकोटोरी क्षण:

• अनपॅक, बोरोग्लोबल - अंगभूत प्रक्रिया
• अनपॅक करा T प्रकारचे संसाधन हटवण्याचा हा एकमेव मार्ग आहे. प्रक्रिया इनपुट म्हणून संसाधन घेते, ते नष्ट करते आणि संसाधनाच्या फील्डशी संबंधित मूल्य परत करते.
• जागतिक कर्ज घ्या इनपुट म्हणून पत्ता घेते आणि त्या पत्त्याद्वारे प्रकाशित (मालकीच्या) T च्या अद्वितीय उदाहरणाचा संदर्भ देते
• &mut नाणे ही संसाधनाची लिंक आहे नाणे

पाठवणार्‍याकडून_विदाखोची अंमलबजावणी

ही प्रक्रिया:

1. अनन्य संसाधनाची लिंक मिळते नाणे, प्रेषकाच्या खात्याशी लिंक केलेले
2. संसाधनाचे मूल्य कमी करते नाणे निर्दिष्ट रकमेसाठी लिंकद्वारे
3. नवीन संसाधन तयार करते आणि परत करते नाणे अद्यतनित शिल्लक सह.

नेकोटोरी क्षण:

• ठेव कोणालाही होऊ शकते, परंतु पैसे पाठवणाऱ्यांकडून मागे घ्या फक्त कॉलिंग खात्याच्या नाण्यांवर प्रवेश आहे
• GetTxnSenderAddress च्या सारखे संदेश पाठवणारा घनता मध्ये
• अनलेस नकार द्या च्या सारखे आवश्यक घनता मध्ये. हा चेक अयशस्वी झाल्यास, व्यवहार थांबवला जाईल आणि सर्व बदल परत आणले जातील.
• पॅक ही एक अंगभूत प्रक्रिया देखील आहे जी T प्रकाराचे नवीन संसाधन तयार करते.
• तसेच अनपॅक करा, पॅक केवळ मॉड्यूलमध्ये कॉल केले जाऊ शकते जेथे संसाधनाचे वर्णन केले आहे T

निष्कर्ष

आम्ही मूव्ह भाषेची मुख्य वैशिष्ट्ये तपासली, तिची इथरियमशी तुलना केली आणि स्क्रिप्टच्या मूलभूत वाक्यरचनाशी देखील परिचित झालो. शेवटी, मी चेक आउट करण्याची शिफारस करतो मूळ पांढरा कागद. यात प्रोग्रामिंग भाषा डिझाइन तत्त्वे, तसेच अनेक उपयुक्त दुवे संबंधित बरेच तपशील समाविष्ट आहेत.

स्त्रोत: www.habr.com