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

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

परिचय

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

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

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

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



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

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

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

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

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

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

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

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

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

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

प्रस्ताव संख्या 2: हम घाटे को ध्यान में रखते हैं

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

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

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

ब्लॉकचेन प्रोग्रामिंग लैंग्वेज

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

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

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

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

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

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

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

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

भाषा डिजाइन मूल बातें ले जाएँ

पहले संसाधनों की व्यवस्था करें

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

लचीलापन

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

सुरक्षा

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

verifiability

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

प्रतिरूपकता

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

समीक्षा ले जाएँ

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

पीयर-टू-पीयर पेमेंट्स

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

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

हम कोड को पार्स करते हैं: पहले चरण में, प्रेषक को 0x0.Currency में संग्रहीत मॉड्यूल से वापस लेने की प्रक्रिया कहा जाता है। दूसरे चरण में, प्रेषक प्राप्तकर्ता को फंड ट्रांसफर करता है, सिक्का संसाधन के मूल्य को मॉड्यूल 0x0.Currency की जमा प्रक्रिया में स्थानांतरित करता है ।

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

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

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

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

प्रत्येक खाते में 0 या अधिक मॉड्यूल (आयतों के रूप में चित्रित) और एक या अधिक संसाधन मान (सिलेंडर के रूप में चित्रित) हो सकते हैं। उदाहरण के लिए, 0x0 पर एक खाते में 0x0.Currency मॉड्यूल और प्रकार का संसाधन मान 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 और TwoCoins2 का उपयोग करके दो संसाधनों का उल्लेख कर सकते हैं।

सिक्का संसाधन विज्ञापन

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

कुछ बिंदु:

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

कार्यान्वयन लागू करें

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

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

कुछ बिंदु:

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

वापसी_रुप_सेंडर लागू करें

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

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

कुछ बिंदु:

• डिपॉजिट किसी के द्वारा भी कॉल किया जा सकता है, लेकिन आहरण_सुधार के पास केवल कॉलिंग अकाउंट के सिक्कों तक ही पहुंच है
• GetTxnSenderAddress , Solidity में msg.sender के समान है
• सॉलिडिटी में RejectUnless आवश्यकता के समान है। यदि यह चेक विफल हो जाता है, तो लेन-देन रोक दिया जाता है और सभी परिवर्तन वापस चालू हो जाते हैं।
• पैक <टी> भी एक अंतर्निहित प्रक्रिया है जो टाइप टी का एक नया संसाधन बनाता है।
• अनपैक <टी> की तरह , पैक <टी> को केवल उस मॉड्यूल के अंदर बुलाया जा सकता है जहां संसाधन टी वर्णित है

निष्कर्ष

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