Facebook-এর Libra Blockchain Programming Language, Move-এ ডুব দিন

এরপরে, আমরা মুভ ল্যাঙ্গুয়েজের মূল বৈশিষ্ট্যগুলি এবং স্মার্ট চুক্তির জন্য ইতিমধ্যে জনপ্রিয় আরেকটি ভাষার সাথে এর মূল পার্থক্যগুলি কী তা বিশদভাবে বিবেচনা করব - সলিডিটি (ইথেরিয়াম প্ল্যাটফর্মে)। উপাদানটি অনলাইনে পাওয়া 26 পৃষ্ঠার শ্বেতপত্রের একটি গবেষণার উপর ভিত্তি করে।

ভূমিকা

মুভ হল একটি এক্সিকিউটেবল বাইটকোড ভাষা যা ব্যবহারকারীর লেনদেন এবং স্মার্ট চুক্তি সম্পাদন করতে ব্যবহৃত হয়। দুটি পয়েন্ট মনোযোগ দিন:

1. যদিও মুভ একটি বাইটকোড ভাষা যা মুভ ভার্চুয়াল মেশিনে সরাসরি চালানো যায়, সলিডিটি (ইথেরিয়ামের স্মার্ট কন্ট্রাক্ট ল্যাঙ্গুয়েজ) একটি উচ্চ-স্তরের ভাষা যা ইভিএম (এথেরিয়াম ভার্চুয়াল মেশিন) এ চালানোর আগে প্রথমে বাইটকোডে সংকলিত হয়।
2. মুভ শুধুমাত্র স্মার্ট চুক্তি বাস্তবায়নের জন্য ব্যবহার করা যাবে না, কিন্তু কাস্টম লেনদেনের জন্যও (এই বিষয়ে পরে আরো), যখন সলিডিটি একটি স্মার্ট চুক্তি-ভিত্তিক ভাষা।

অনুবাদটি INDEX প্রোটোকল প্রকল্প দল দ্বারা করা হয়েছিল। আমরা আগে অনুবাদ করেছি লিব্রা প্রকল্পের বর্ণনাকারী দুর্দান্ত উপাদান, এখন সময় এসেছে মুভ ল্যাঙ্গুয়েজকে ঘনিষ্ঠভাবে দেখার। অনুবাদটি হ্যাব্রাসারের সাথে একসাথে করা হয়েছিল কুলসিউ

সরানোর একটি মূল বৈশিষ্ট্য হল রৈখিক যুক্তির উপর ভিত্তি করে শব্দার্থবিদ্যার সাহায্যে কাস্টম রিসোর্স প্রকারগুলিকে সংজ্ঞায়িত করার ক্ষমতা: একটি সংস্থান কখনই অনুলিপি করা যায় না বা অন্তর্নিহিতভাবে মুছে ফেলা যায় না, শুধুমাত্র সরানো যায়। কার্যকরীভাবে, এটি মরিচা ভাষার বৈশিষ্ট্যগুলির অনুরূপ। মরিচায় মানগুলি একবারে শুধুমাত্র একটি নামে বরাদ্দ করা যেতে পারে। অন্য নামে একটি মান বরাদ্দ করা এটিকে আগের নামের অধীনে অ্যাক্সেসযোগ্য করে তোলে।

উদাহরণস্বরূপ, নিম্নলিখিত কোড স্নিপেট একটি ত্রুটি ফেলবে: সরানো মান 'x' ব্যবহার করুন। কারণ মরিচায় আবর্জনা সংগ্রহ নেই। যখন ভেরিয়েবলগুলি সুযোগের বাইরে চলে যায়, তারা যে মেমরিটি উল্লেখ করে তাও মুক্ত হয়। সোজা কথায়, তথ্যের শুধুমাত্র একজন "মালিক" হতে পারে। এই উদাহরণে x মূল মালিক এবং তারপর y নতুন মালিক হয়। এখানে এই আচরণ সম্পর্কে আরও পড়ুন..

উন্মুক্ত ব্যবস্থায় ডিজিটাল সম্পদের প্রতিনিধিত্ব

শারীরিক সম্পদের দুটি বৈশিষ্ট্য রয়েছে যা ডিজিটালভাবে উপস্থাপন করা কঠিন:

• অসাধারণত্ব (অভাব, মূলত অভাব)। সিস্টেমে সম্পদের সংখ্যা (নির্গমন) নিয়ন্ত্রণ করতে হবে। বিদ্যমান সম্পদের অনুলিপি অবশ্যই নিষিদ্ধ করা উচিত এবং নতুন তৈরি করা একটি বিশেষাধিকারপ্রাপ্ত কার্যক্রম।
• অ্যাক্সেস নিয়ন্ত্রণ... সিস্টেম অংশগ্রহণকারী অ্যাক্সেস নিয়ন্ত্রণ নীতি ব্যবহার করে সম্পদ রক্ষা করতে সক্ষম হতে হবে।

এই দুটি বৈশিষ্ট্য, যা ভৌত সম্পদের জন্য স্বাভাবিক, ডিজিটাল বস্তুর জন্য প্রয়োগ করতে হবে যদি আমরা তাদের সম্পদ হিসেবে বিবেচনা করতে চাই। উদাহরণস্বরূপ, একটি বিরল ধাতুর একটি প্রাকৃতিক অভাব রয়েছে, এবং কেবলমাত্র আপনার এটির অ্যাক্সেস রয়েছে (উদাহরণস্বরূপ এটি আপনার হাতে ধরে) এবং আপনি এটি বিক্রি বা ব্যয় করতে পারেন।

কিভাবে আমরা এই দুটি বৈশিষ্ট্যে এসেছি তা বোঝানোর জন্য, নিচের বাক্যগুলি দিয়ে শুরু করা যাক:

পরামর্শ # 1: অভাব এবং অ্যাক্সেস নিয়ন্ত্রণ ছাড়াই সহজ নিয়ম

• জি [কে]: = এন একটি কী দ্বারা অ্যাক্সেসযোগ্য সংখ্যার আপডেট বোঝায় К ব্লকচেইনের বৈশ্বিক অবস্থায়, একটি নতুন অর্থ সহ n.
• লেনদেন - এলিস, 100⟩ মানে অ্যালিসের অ্যাকাউন্ট ব্যালেন্স 100 এ সেট করা।

উপরের সমাধানটিতে বেশ কয়েকটি প্রধান সমস্যা রয়েছে:

• অ্যালিস কেবল পাঠানোর মাধ্যমে সীমাহীন সংখ্যক কয়েন পেতে পারে লেনদেন - অ্যালিস, 100⟩
• অ্যালিস ববকে যে কয়েন পাঠায় তা অকেজো, কারণ বব একই কৌশল ব্যবহার করে নিজেকে সীমাহীন সংখ্যক কয়েন পাঠাতে পারে।

পরামর্শ # 2: ঘাটতি বিবেচনা করা

এখন আমরা পরিস্থিতি পর্যবেক্ষণ করছি যাতে কয়েনের সংখ্যা Ka অন্তত সমান ছিল n স্থানান্তর লেনদেনের আগে। যাইহোক, যদিও এটি অভাবের সমস্যার সমাধান করে, অ্যালিসের কয়েন কে পাঠাতে পারে সে সম্পর্কে কোন তথ্য নেই (আপাতত, যে কেউ এটি করতে পারে, মূল জিনিসটি পরিমাণ সীমিত করার নিয়ম লঙ্ঘন করা নয়)।

প্রস্তাব # 3: অভাব এবং অ্যাক্সেস নিয়ন্ত্রণের সমন্বয়

আমরা একটি ডিজিটাল স্বাক্ষর প্রক্রিয়া দ্বারা এই সমস্যার সমাধান করি verify_sig ব্যালেন্স চেক করার আগে, যার মানে হল যে এলিস লেনদেনে স্বাক্ষর করার জন্য তার ব্যক্তিগত কী ব্যবহার করে এবং নিশ্চিত করে যে সে তার মুদ্রার মালিক।

ব্লকচেইন প্রোগ্রামিং ভাষা

বিদ্যমান ব্লকচেইন ভাষাগুলি নিম্নলিখিত সমস্যার মুখোমুখি হয় (এগুলি সব মুভে সমাধান করা হয়েছিল (নোট: দুর্ভাগ্যবশত, নিবন্ধের লেখক শুধুমাত্র তার তুলনা এথেরিয়ামের কাছে আবেদন করেন, তাই শুধুমাত্র এই প্রসঙ্গে তাদের নেওয়া মূল্যবান। উদাহরণস্বরূপ, নিচের অধিকাংশগুলি ইওএস -এও সমাধান করা হয়েছে।)):

সম্পদের পরোক্ষ প্রতিনিধিত্ব. একটি সম্পদ একটি পূর্ণসংখ্যা ব্যবহার করে এনকোড করা হয়, কিন্তু একটি পূর্ণসংখ্যার মান একটি সম্পদের মতো নয়। আসলে, বিটকয়েন / ইথার / <কোনও মুদ্রা> প্রতিনিধিত্বকারী কোন প্রকার বা মান নেই! এটি সম্পদ ব্যবহার করে এমন প্রোগ্রামগুলি লেখা কঠিন এবং ত্রুটি-প্রবণ করে তোলে। পদ্ধতিতে/থেকে সম্পদ পাস করা বা কাঠামোতে সম্পদ সংরক্ষণ করার মতো প্যাটার্নগুলির জন্য ভাষা থেকে বিশেষ সহায়তা প্রয়োজন।

ঘাটতি সম্প্রসারণযোগ্য নয়... ভাষা শুধুমাত্র একটি অপ্রতুল সম্পদের প্রতিনিধিত্ব করে। উপরন্তু, অভাবের বিরুদ্ধে প্রতিকারগুলি সরাসরি ভাষার শব্দার্থবিজ্ঞানেই কঠোরভাবে জড়িত। ডেভেলপার, যদি সে একটি কাস্টম সম্পদ তৈরি করতে চায়, তবে তাকে অবশ্যই সম্পদের সমস্ত দিক সাবধানে নিয়ন্ত্রণ করতে হবে। এগুলি ঠিক ইথেরিয়াম স্মার্ট চুক্তির সমস্যা।

ব্যবহারকারীরা তাদের সম্পদ, ERC-20 টোকেন প্রদান করে, পূর্ণসংখ্যা ব্যবহার করে মান এবং মোট সরবরাহ উভয়ই নির্ধারণ করে। যখনই নতুন টোকেন তৈরি করা হয়, স্মার্ট কন্ট্রাক্ট কোড অবশ্যই স্বাধীনভাবে নির্গমন নিয়মের সাথে সম্মতি যাচাই করে। উপরন্তু, সম্পদের পরোক্ষ উপস্থাপনা কিছু ক্ষেত্রে গুরুতর ত্রুটির দিকে নিয়ে যায় - নকল, দ্বিগুণ ব্যয় বা সম্পদের সম্পূর্ণ ক্ষতি।

নমনীয় অ্যাক্সেস নিয়ন্ত্রণের অভাব... আজকের একমাত্র অ্যাক্সেস কন্ট্রোল নীতি হল অসমীয় ক্রিপ্টোগ্রাফি ব্যবহার করে একটি স্বাক্ষর প্রকল্প। অভাব সুরক্ষার মতো, অ্যাক্সেস নিয়ন্ত্রণ নীতিগুলি ভাষার শব্দার্থে গভীরভাবে আবদ্ধ। কিন্তু কিভাবে প্রোগ্রামারদের তাদের নিজস্ব অ্যাক্সেস কন্ট্রোল পলিসি সংজ্ঞায়িত করার জন্য ভাষা সম্প্রসারণ করা যায় তা প্রায়ই একটি খুব কঠিন কাজ।

এটি Ethereum-এর ক্ষেত্রেও সত্য, যেখানে স্মার্ট চুক্তিতে অ্যাক্সেস নিয়ন্ত্রণের জন্য ক্রিপ্টোগ্রাফির জন্য স্থানীয় সমর্থন নেই। ডেভেলপারদের অবশ্যই ম্যানুয়ালি অ্যাক্সেস কন্ট্রোল লিখতে হবে, উদাহরণস্বরূপ, OnlyOwner modifier ব্যবহার করে।

যদিও আমি Ethereum-এর একজন বড় অনুরাগী, আমি বিশ্বাস করি যে সম্পদের বৈশিষ্ট্যগুলি নিরাপত্তার উদ্দেশ্যে ভাষা দ্বারা স্থানীয়ভাবে সমর্থিত হওয়া উচিত। বিশেষ করে, ইথারকে একটি স্মার্ট চুক্তিতে পাস করা গতিশীল প্রেরণকে সক্ষম করে, যা পুনরায় প্রবেশের দুর্বলতা হিসাবে পরিচিত বাগগুলির একটি নতুন শ্রেণি চালু করেছে। এখানে ডাইনামিক ডিসপ্যাচ মানে কোড এক্সিকিউশন লজিক রান টাইমে (ডাইনামিক) নির্ধারিত হবে এবং কম্পাইল টাইমে (স্ট্যাটিক) নয়।

এইভাবে, সলিডিটিতে, যখন চুক্তি A চুক্তি B এর একটি ফাংশনকে কল করে, তখন চুক্তি B এমন কোড চালাতে পারে যা চুক্তি A এর বিকাশকারীর দ্বারা উদ্দেশ্য ছিল না, যা হতে পারে পুনরায় প্রবেশের দুর্বলতা (চুক্তি A ঘটনাক্রমে অ্যাকাউন্ট থেকে ব্যালেন্স কেটে নেওয়ার আগে টাকা তোলার জন্য চুক্তি B হিসাবে কাজ করে)।

ভাষা ডিজাইনের মৌলিক বিষয়গুলি সরান

প্রথম অর্ডারের সম্পদ

উচ্চ স্তরে, মুভ ল্যাঙ্গুয়েজে মডিউল / রিসোর্স / পদ্ধতির মধ্যে মিথস্ক্রিয়া ক্লাস / অবজেক্ট এবং OOP ল্যাঙ্গুয়েজের পদ্ধতির মধ্যে সম্পর্কের অনুরূপ।
মুভ মডিউলগুলি অন্যান্য ব্লকচেইনের স্মার্ট চুক্তির অনুরূপ। মডিউল ঘোষিত সম্পদ তৈরি, ধ্বংস এবং আপডেট করার নিয়ম সংজ্ঞায়িত রিসোর্সের ধরন এবং পদ্ধতি ঘোষণা করে। কিন্তু এগুলি সবই কেবল কনভেনশন ("অপভাষা") সরানো। আমরা এই পয়েন্টটি একটু পরে ব্যাখ্যা করব।

নমনীয়তা

মুভ স্ক্রিপ্টিংয়ের মাধ্যমে তুলা রাশিতে নমনীয়তা যোগ করে। তুলা রাশির প্রতিটি লেনদেনে একটি স্ক্রিপ্ট অন্তর্ভুক্ত থাকে, যা আসলে লেনদেনের প্রধান পদ্ধতি। স্ক্রিপ্টটি হয় একটি নির্দিষ্ট ক্রিয়া সম্পাদন করতে পারে, উদাহরণস্বরূপ, প্রাপকদের একটি নির্দিষ্ট তালিকায় অর্থপ্রদান করা, বা অন্যান্য সংস্থানগুলি পুনঃব্যবহার করতে পারে, উদাহরণস্বরূপ, সাধারণ যুক্তিকে সংজ্ঞায়িত করে এমন একটি পদ্ধতিকে কল করে। এই কারণেই মুভ লেনদেন স্ক্রিপ্টগুলি অনেক নমনীয়তা অফার করে। একটি স্ক্রিপ্ট এককালীন এবং পুনরাবৃত্তি উভয় আচরণই ব্যবহার করতে পারে, যখন Ethereum শুধুমাত্র পুনরাবৃত্ত স্ক্রিপ্টগুলি চালাতে পারে (একটি একক স্মার্ট চুক্তি পদ্ধতি বলে)। এটিকে "পুনরাবৃত্তি" বলা হয় কারণ স্মার্ট চুক্তির ফাংশন একাধিকবার কার্যকর করা যেতে পারে। (বিঃদ্রঃ: এখানে মুহূর্ত খুব সূক্ষ্ম. একদিকে, বিটকয়েনে সিউডো-বাইটকোড আকারে লেনদেনের স্ক্রিপ্ট রয়েছে। অন্যদিকে, আমি যেমন বুঝি, মুভ এই ভাষাটিকে প্রসারিত করে, প্রকৃতপক্ষে, একটি পূর্ণাঙ্গ স্মার্ট চুক্তি ভাষার স্তরে).

নিরাপত্তা

মুভ এক্সিকিউটেবল ফরম্যাট হল বাইটকোড, যা একদিকে অ্যাসেম্বলারের চেয়ে উচ্চ-স্তরের ভাষা, কিন্তু সোর্স কোডের চেয়ে নিম্ন-স্তরের। একটি বাইটকোড যাচাইকারী ব্যবহার করে সম্পদ, প্রকার এবং মেমরি নিরাপত্তার জন্য রান-টাইম (অন-চেইন) বাইটকোড চেক করা হয় এবং তারপর দোভাষী দ্বারা কার্যকর করা হয়। এই পদ্ধতির সাহায্যে মুভকে সোর্স কোডের নিরাপত্তা প্রদান করা যায়, কিন্তু সংকলন প্রক্রিয়া ছাড়া এবং সিস্টেমে একটি কম্পাইলার যোগ করার প্রয়োজন নেই। একটি বাইটকোড ভাষা সরানো একটি সত্যিই ভাল ধারণা. এটি উত্স থেকে কম্পাইল করার দরকার নেই, যেমন সলিডিটির ক্ষেত্রে, কম্পাইলার অবকাঠামোতে সম্ভাব্য ব্যর্থতা বা আক্রমণ সম্পর্কে চিন্তা করার দরকার নেই।

যাচাই

আমরা চেকগুলিকে যতটা সম্ভব সহজ করার লক্ষ্য রাখি, কারণ এটি সমস্ত চেইনে চলে (দ্রষ্টব্য: অনলাইনে, প্রতিটি লেনদেনের বাস্তবায়নের সময়, তাই যে কোনও বিলম্ব সমগ্র নেটওয়ার্কের মন্দার দিকে পরিচালিত করে), তবে প্রাথমিকভাবে ভাষা নকশা অফ-চেইন স্ট্যাটিক যাচাইকরণ সরঞ্জাম ব্যবহার করার জন্য প্রস্তুত। যদিও এটি আরও বাঞ্ছনীয়, যাচাইকরণ সরঞ্জামগুলির বিকাশ (একটি পৃথক টুলকিট হিসাবে) ভবিষ্যতের জন্য স্থগিত করা হয়েছে, এবং শুধুমাত্র রান-টাইমে (অন-চেইন) গতিশীল যাচাইকরণ বর্তমানে সমর্থিত।

পরিমিতি

মুভ মডিউল ডেটা বিমূর্ততা প্রদান করে এবং সম্পদের উপর সমালোচনামূলক ক্রিয়াকলাপগুলিকে স্থানীয়করণ করে। মডিউল দ্বারা প্রদত্ত এনক্যাপসুলেশন, মুভ টাইপ সিস্টেম দ্বারা প্রদত্ত সুরক্ষার সাথে মিলিত করে, নিশ্চিত করে যে মডিউলের প্রকারের বৈশিষ্ট্যগুলি মডিউলের বাইরের কোড দ্বারা লঙ্ঘন করা যাবে না। এটি একটি মোটামুটি সুচিন্তিত বিমূর্ত নকশা, যার অর্থ চুক্তির ভিতরের ডেটা কেবল চুক্তির কাঠামোর মধ্যেই পরিবর্তিত হতে পারে, কিন্তু বাইরে নয়।

ওভারভিউ সরান

লেনদেনের স্ক্রিপ্টের উদাহরণ দেখায় যে একটি মডিউলের বাইরে একজন প্রোগ্রামার দ্বারা দূষিত বা অসতর্ক কাজগুলি মডিউলের সম্পদের নিরাপত্তার সাথে আপোষ করতে পারে না। পরবর্তীতে, আমরা তুলনা ব্লকচেইন প্রোগ্রাম করার জন্য কিভাবে মডিউল, সম্পদ এবং পদ্ধতি ব্যবহার করা হয় তার উদাহরণ দেখব।

পিয়ার-টু-পিয়ার পেমেন্ট

পরিমাণে নির্দিষ্ট কয়েনের সংখ্যা প্রেরকের ব্যালেন্স থেকে প্রাপকের কাছে স্থানান্তর করা হবে।
এখানে বেশ কয়েকটি নতুন পয়েন্ট রয়েছে (লাল শিলালিপিতে হাইলাইট করা হয়েছে):

• 0x0: অ্যাকাউন্টের ঠিকানা যেখানে মডিউল সংরক্ষণ করা হয়
• মুদ্রা: মডিউল নাম
• মুদ্রা: সম্পদের ধরন
• পদ্ধতি দ্বারা ফেরত মুদ্রা মান 0x0.Currency.Coin প্রকারের একটি সম্পদ মান
• সরান (): মান আবার ব্যবহার করা যাবে না
• অনুলিপি (): মান পরে ব্যবহার করা যেতে পারে

কোডটি বিশ্লেষণ করুন: প্রথম ধাপে, প্রেরক নামে একটি পদ্ধতি কল করে প্রেরক থেকে প্রত্যাহার করুন একটি মডিউল থেকে সংরক্ষিত মুদ্রা. দ্বিতীয় ধাপে, প্রেরক মুদ্রা সম্পদের মূল্য মডিউলের জমা পদ্ধতিতে স্থানান্তর করে প্রাপকের কাছে তহবিল স্থানান্তর করে মুদ্রা.

এখানে কোডে ত্রুটির তিনটি উদাহরণ রয়েছে যা চেক দ্বারা প্রত্যাখ্যান করা হবে:
কল পরিবর্তন করে ডুপ্লিকেট ফান্ড সরান (মুদ্রা) উপর কপি (মুদ্রা). সম্পদ শুধুমাত্র সরানো যেতে পারে. একটি সম্পদের পরিমাণ ডুপ্লিকেট করার চেষ্টা করা হচ্ছে (উদাহরণস্বরূপ, কল করে কপি (মুদ্রা) উপরের উদাহরণে) বাইটকোড চেক করার সময় একটি ত্রুটি হবে।

নির্দিষ্ট করে তহবিলের পুনuseব্যবহার সরান (মুদ্রা) দ্বিগুণ . একটি লাইন যোগ করা হচ্ছে 0x0.Currency.deposit(copy(some_other_payee), move(coin)) উপরের উদাহরণটি প্রেরককে দুইবার কয়েন "ব্যয়" করার অনুমতি দেবে - প্রথমবার প্রাপকের সাথে এবং দ্বিতীয়বার সঙ্গে কিছু_অন্য_প্রদানকারী. এটি একটি অবাঞ্ছিত আচরণ যা শারীরিক সম্পদ দিয়ে সম্ভব নয়। সৌভাগ্যবশত, মুভ এই প্রোগ্রামটি প্রত্যাখ্যান করবে।

অস্বীকারের কারণে তহবিলের ক্ষতি সরান (মুদ্রা). আপনি যদি সংস্থানটি সরান না (উদাহরণস্বরূপ, থাকা লাইনটি সরিয়ে দিয়ে সরান (মুদ্রা)), একটি বাইটকোড যাচাইকরণ ত্রুটি উত্থাপিত হবে। এটি মুভ প্রোগ্রামারদের দুর্ঘটনাজনিত বা ক্ষতিকারক তহবিলের ক্ষতি থেকে রক্ষা করে।

মুদ্রা মডিউল

প্রতিটি অ্যাকাউন্টে 0 বা তার বেশি মডিউল (বাক্স হিসাবে চিত্রিত) এবং এক বা একাধিক সংস্থান মান (সিলিন্ডার হিসাবে চিত্রিত) থাকতে পারে। উদাহরণস্বরূপ, এ একটি অ্যাকাউন্ট 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. পদ্ধতিতে কল করার সময় প্যারামিটারে পাস করা মান দ্বারা কয়েনের সংখ্যার মান পরিবর্তন করা।

নেকোটোরি মুহূর্ত:

• আনপ্যাক, BorrowGlobal - অন্তর্নির্মিত পদ্ধতি
• আনপ্যাক এটি T টাইপ একটি সম্পদ মুছে ফেলার একমাত্র উপায়। পদ্ধতিটি একটি সম্পদকে ইনপুট হিসাবে গ্রহণ করে, এটিকে ধ্বংস করে এবং সম্পদের ক্ষেত্রের সাথে সম্পর্কিত মান প্রদান করে।
• ধার গ্লোবাল ইনপুট হিসাবে একটি ঠিকানা নেয় এবং সেই ঠিকানা দ্বারা প্রকাশিত T এর অনন্য উদাহরণের একটি রেফারেন্স প্রদান করে (মালিকানাধীন)
• &mut মুদ্রা এটি একটি সম্পদের লিঙ্ক মুদ্রা

প্রেরকের_থেকে_উত্তোলন_প্রক্রিয়া করা হচ্ছে

এই পদ্ধতি:

1. একটি অনন্য সম্পদ একটি লিঙ্ক পায় মুদ্রা, প্রেরকের অ্যাকাউন্টের সাথে লিঙ্ক করা হয়েছে
2. সম্পদের মূল্য হ্রাস করে মুদ্রা নির্দিষ্ট পরিমাণের জন্য রেফারেন্স দ্বারা
3. একটি নতুন সংস্থান তৈরি করে এবং ফেরত দেয় মুদ্রা আপডেট ব্যালেন্স সহ।

নেকোটোরি মুহূর্ত:

• আমানত যে কেউ ডাকতে পারে, কিন্তু প্রেরক থেকে প্রত্যাহার করুন শুধুমাত্র কলিং অ্যাকাউন্টের কয়েনে অ্যাক্সেস আছে
• GetTxnSenderAddress অনুরূপ, একই, সমতুল্য msg.sender সংহতি মধ্যে
• RejectUnless অনুরূপ, একই, সমতুল্য প্রয়োজন সংহতি মধ্যে এই চেকটি ব্যর্থ হলে, লেনদেনের সম্পাদন বন্ধ হয়ে যায় এবং সমস্ত পরিবর্তন ফিরিয়ে আনা হয়।
• প্যাক এটি একটি অন্তর্নির্মিত পদ্ধতি যা T টাইপের একটি নতুন সংস্থান তৈরি করে।
• পাশাপাশি আনপ্যাক, প্যাক শুধুমাত্র মডিউলের ভিতরে কল করা যেতে পারে যেখানে সম্পদ ঘোষণা করা হয় T

উপসংহার

আমরা মুভ ভাষার প্রধান বৈশিষ্ট্যগুলি বিশ্লেষণ করেছি, এটিকে ইথেরিয়ামের সাথে তুলনা করেছি এবং স্ক্রিপ্টগুলির মৌলিক সিনট্যাক্সের সাথেও পরিচিত হয়েছি। অবশেষে, আমি অত্যন্ত ব্রাউজিং সুপারিশ আসল সাদা কাগজ. এটি প্রোগ্রামিং ভাষা ডিজাইন নীতি সম্পর্কে অনেক বিবরণ, সেইসাথে অনেক দরকারী লিঙ্ক অন্তর্ভুক্ত।

উত্স: www.habr.com