بل ، موږ به په تفصیل سره د حرکت ژبې اصلي ځانګړتیاوې په پام کې ونیسو او د سمارټ قراردادونو لپاره د بل ، دمخه مشهورې ژبې سره د دې کلیدي توپیرونه څه دي - یووالي (په ایتیروم پلیټ فارم کې). مواد د آنلاین 26 پا pageو سپینې کاغذ د مطالعې پراساس دي.
پېژندنه
حرکت د اجرا وړ بایټکوډ ژبه ده چې د کارونکي لیږدونو او سمارټ قراردادونو اجرا کولو لپاره کارول کیږي. مهرباني وکړئ دوه ټکي په پام کې ونیسئ:
- پداسې حال کې چې حرکت یوه د بایټ کوډ ژبه ده چې په مستقیم ډول د حرکت مجازی ماشین کې اجرا کیدی شي ، سولیډیټی (د ایتیروم سمارټ تړون ژبه) د لوړې کچې ژبه ده چې لومړی په EVM (ایتیروم مجازی ماشین) کې پلي کیدو دمخه بایټ کوډ ته مرتب شوې.
- حرکت نه یوازې د سمارټ قراردادونو پلي کولو لپاره کارول کیدی شي ، بلکه د ګمرکي معاملو لپاره هم (پدې اړه نور وروسته) ، پداسې حال کې چې سولیډیټ یوازې د سمارټ تړون ژبه ده.
ژباړه د INDEX پروتوکول پروژې ټیم لخوا ترسره شوې. موږ لا دمخه ژباړلی دی ، اوس د دې وخت دی چې د حرکت ژبه په یو څه نور تفصیل سره وګورو. ژباړه د هابراوزر سره په ګډه ترسره شوې
د حرکت کلیدي ځانګړتیا د لینر منطق پراساس د سیمانټیکونو سره د دودیز سرچینو ډولونو تعریف کولو وړتیا ده: سرچینه هیڅکله کاپي یا په واضح ډول حذف کیدی نشي ، یوازې لیږدول کیدی شي. په فعاله توګه، دا د زنګ ژبې وړتیاوو ته ورته دی. په زنګ کې ارزښتونه یوازې په یو وخت کې یو نوم ته ټاکل کیدی شي. بل نوم ته د ارزښت ټاکل دا د مخکیني نوم لاندې شتون نلري.
د مثال په توګه ، لاندې کوډ سنیپټ به یوه تېروتنه وکړي: د حرکت شوي ارزښت 'x' کارول. دا ځکه چې په زنگ کې د کثافاتو راټولول شتون نلري. کله چې تغیرات له ساحې بهر شي ، هغه حافظه چې دوی ورته اشاره کوي هم خلاصیږي. په ساده ډول ، دلته یوازې د معلوماتو یو "مالک" کیدی شي. په دې مثال کې x اصلي مالک دی او بیا y نوی مالک کیږي. .
په خلاص سیسټمونو کې د ډیجیټل شتمنیو نمایندګي
د فزیکي شتمنیو دوه ملکیتونه شتون لري چې په ډیجیټل ډول یې نمایندګي کول مشکل دي:
- بې اهمیته (کمښت ، په اصل کې کمبود). په سیسټم کې د شتمنیو (اخراج) شمیر باید کنټرول شي. د موجوده شتمنیو نقل کول باید منع شي ، او د نویو رامینځته کول یو امتیازي عملیات دي.
- د لاسرسي کنټرول... د سیسټم برخه اخیستونکی باید د لاسرسي کنټرول پالیسیو په کارولو سره د شتمنیو ساتنه وکړي.
دا دوه ځانګړتیاوې ، کوم چې د فزیکي شتمنیو لپاره طبیعي دي ، باید د ډیجیټل شیانو لپاره پلي شي که موږ غواړو دوی د شتمنیو په توګه په پام کې ونیسو. د مثال په توګه ، یو نادر فلز طبیعي کمښت لري ، او یوازې تاسو دې ته لاسرسی لرئ (دا ستاسو په لاسونو کې ونیسئ ، د مثال په توګه) او تاسو یې پلورلی یا مصرف کولی شئ.
د دې روښانه کولو لپاره چې موږ دې دوه ملکیتونو ته څنګه رسیدلي یو ، راځئ چې لاندې جملو سره پیل وکړو:
وړاندیز # 1: د کموالي او لاسرسي کنټرول پرته ترټولو ساده قاعده
- G [K]: = n د یوې کیلي له لارې د لاسرسي وړ شمیرې تازه کول په ګوته کوي К د بلاکچین نړیوال حالت کې ، د نوي معنی سره n.
- معامله - ایلیس ، 100⟩ پدې معنی چې د ایلیس حساب توازن 100 ته تنظیم کړئ.
پورته حل څو لویې ستونزې لري:
- الیس کولی شي د لیږلو له لارې نامحدود سکې ترلاسه کړي معامله - ایلیس ، 100⟩.
- هغه سکې چې ایلیس باب ته لیږي بې ګټې دي ، ځکه چې باب کولی شي ځان ته د ورته تخنیک په کارولو سره نامحدود سکې ولیږي.
وړاندیز # 2: د کسر په پام کې نیولو سره
اوس موږ وضعیت څارنه کوو ترڅو د سکې شمیر Ka لږترلږه مساوي و n د لیږد لیږد دمخه. په هرصورت ، پداسې حال کې چې دا د کمښت ستونزه حل کوي ، پدې اړه هیڅ معلومات شتون نلري چې څوک کولی شي د ایلیس سکې ولیږي (د اوس لپاره ، هرڅوک کولی شي دا وکړي ، اصلي شی د مقدار محدودولو قانون سرغړونه نه ده).
وړاندیز # 3: د کمبود او لاسرسي کنټرول ترکیب
موږ دا ستونزه د ډیجیټل لاسلیک میکانیزم سره حل کوو تصدیق_sig مخکې لدې چې توازن چیک کړئ ، د دې معنی دا ده چې ایلیس د معاملې لاسلیک کولو لپاره خپله شخصي کیلي کاروي او تاییدوي چې هغه د هغې د سکې مالک ده.
د بلاکچین برنامې ژبې
موجوده بلاکچین ژبې لاندې ستونزو سره مخ دي (دا ټولې په حرکت کې حل شوې (یادونه: بدبختانه ، د مقالې لیکوال یوازې د هغه پرتله کولو کې ایتیروم ته اپیل کوي ، نو دا یوازې پدې شرایطو کې د دوی اخیستو ارزښت لري. د مثال په توګه ، ډیری لاندې په EOS کې هم حل کیږي.)):
د شتمنیو غیر مستقیم نمایندګي. یوه شتمني د انټیجر په کارولو سره کوډ شوې ده، مګر یو عدد د شتمنۍ په څیر نه دی. په حقیقت کې، هیڅ ډول یا ارزښت شتون نلري چې د Bitcoin/Ether/<کوم سکه> استازیتوب کوي! دا د لیکلو پروګرامونه رامینځته کوي چې شتمنۍ کاروي ستونزمن او د خطا خطر لري. نمونې لکه پروسیجرونو ته د شتمنیو لیږدول یا په جوړښتونو کې د شتمنیو ذخیره کول د ژبې ځانګړي ملاتړ ته اړتیا لري.
کسر د پراخیدو وړ ندی... ژبه یوازې یوه کمه شتمني وړاندې کوي. سربیره پردې ، د کمبود پروړاندې درمل مستقیم پخپله د ژبې سیمانټیک کې سخت شوي. پراختیا کونکی ، که هغه وغواړي دودیز شتمنۍ رامینځته کړي ، باید د سرچینې ټول اړخونه په دقت سره کنټرول کړي. دا دقیقا د ایتیروم سمارټ قراردادونو ستونزې دي.
کارونکي خپلې شتمنۍ ، د ERC-20 ټوکن خپروي ، د ارزښت او ټول عرضه دواړه مشخص کولو لپاره د انټيجرونو په کارولو سره. هرکله چې نوي ټوکنونه رامینځته کیږي ، د سمارټ قرارداد کوډ باید په خپلواک ډول د اخراج مقرراتو سره مطابقت تصدیق کړي. سربیره پردې ، د شتمنیو غیر مستقیم پریزنټشن ، په ځینو مواردو کې جدي غلطیو ته لار هواروي - نقل ، دوه ځله مصرف یا حتی د شتمنیو بشپړ زیان.
د انعطاف وړ لاسرسي کنټرول نشتوالی... د لاسرسي یوازینۍ پالیسي چې دا مهال په کار کې ده د غیر متناسب کریپټوګرافي په کارولو سره د لاسلیک سکیم دی. د کمبود محافظت په څیر ، د لاسرسي کنټرول پالیسۍ د ژبې په سیمنټیکونو کې ژور ځای لري. مګر د ژبې غځولو څرنګوالی چې برنامو ته اجازه ورکړي د دوی لاسرسي کنټرول پالیسۍ تعریف کړي اکثرا یو خورا ستونزمن کار وي.
دا په ایتیروم کې هم ریښتیا ده ، چیرې چې سمارټ قراردادونه د لاسرسي کنټرول لپاره اصلي کریپټوګرافي ملاتړ نلري. پراختیا کونکي باید په لاسي ډول د لاسرسي کنټرول مشخص کړي ، د مثال په توګه ، یوازې د مالک ترمیم کونکي کارول.
که څه هم زه د Ethereum لوی پرستار یم، زه باور لرم چې د شتمنیو ملکیتونه باید په اصلي توګه د امنیت موخو لپاره د ژبې لخوا ملاتړ شي. په ځانګړې توګه، یو سمارټ قرارداد ته د ایتر لیږدول د متحرک لیږد شامل دي، کوم چې د بیا ننوتلو زیانونو په نوم پیژندل شوي د بګ نوې ټولګي معرفي کړي. دلته د متحرک لیږلو معنی دا ده چې د کوډ اجرا کولو منطق به د رن ټایم (متحرک) پر ځای د تالیف وخت (جامد) کې ټاکل کیږي.
په دې توګه، په پیوستون کې، کله چې قرارداد A په قرارداد B کې فعالیت بولي، قرارداد B ممکن کوډ پرمخ بوځي چې د قرارداد A د پراختیا کونکي لخوا نه و ټاکل شوی، چې پایله یې کیدای شي (قرارداد A په تصادفي توګه د B د قرارداد په توګه عمل کوي ترڅو پیسې وباسي مخکې لدې چې د حساب بیلانس په حقیقت کې کم شي).
د ژبې ډیزاین اساسات حرکت وکړئ
د لومړي امر سرچینې
په لوړه کچه ، په حرکت ژبه کې د ماډلونو / سرچینو / پروسیژرونو ترمینځ تعامل په OOP ژبو کې د ټولګیو / شیانو او میتودونو ترمینځ اړیکې سره خورا ورته دی.
د حرکت ماډلونه په نورو بلاکچینونو کې سمارټ قراردادونو ته ورته دي. ماډل د سرچینو ډولونه او پروسیجرونه اعلانوي چې د اعلان شوي سرچینو رامینځته کولو ، ویجاړولو او نوي کولو لپاره مقررات تعریفوي. مګر دا ټول یوازې کنوانسیونونه دي ("بېړۍ") په حرکت کې. موږ به دا ټکی یو څه وروسته روښانه کړو.
انعطاف
حرکت د سکریپټینګ له لارې لیبرا ته انعطاف اضافه کوي. په لیبرا کې هره معامله یو سکریپټ لري، کوم چې په اصل کې د لیږد اصلي کړنلاره ده. سکریپټ کولی شي یا یو مشخص عمل ترسره کړي، د بیلګې په توګه، د ترلاسه کونکو مشخص لیست ته تادیات، یا نورې سرچینې بیا کارول - د بیلګې په توګه، د یوې کړنالرې په واسطه چې عمومي منطق مشخص شوی. له همدې امله د لیږد لیږد سکریپټونه ډیر انعطاف وړاندیز کوي. یو سکریپټ کولی شي دواړه یو ځل او تکرار چلندونه وکاروي، پداسې حال کې چې ایتیروم کولی شي یوازې د تکرار وړ سکریپټ اجرا کړي (د سمارټ قرارداد په طریقه کې د یوې طریقې غږ کول). دلیل چې دا د "بیا کارونې وړ" بلل کیږي دا دی چې د سمارټ قرارداد دندې څو ځله اجرا کیدی شي. (یادونه: دلته ټکی خورا نازک دی. له یوې خوا، د pseudo-bytecode په بڼه د لیږد سکریپټونه هم په Bitcoin کې شتون لري. له بلې خوا، لکه څنګه چې زه پوهیږم، حرکت دا ژبه پراخوي، په حقیقت کې، د بشپړ سمارټ قرارداد ژبې کچې ته).
امنیت
د حرکت اجرا وړ بڼه بایټ کوډ ده، کوم چې له یوې خوا، د مجلس ژبې په پرتله د لوړې کچې ژبه ده، مګر د سرچینې کوډ څخه ټیټه کچه. بایټ کوډ د بایټ کوډ تصدیق کونکي په کارولو سره د سرچینو ، ډولونو او حافظې خوندیتوب لپاره د چلولو وخت (آن چین) کې چیک شوی ، او بیا د ژباړونکي لخوا اجرا کیږي. دا طریقه حرکت ته اجازه ورکوي چې د سرچینې کوډ امنیت چمتو کړي، مګر د تالیف پروسې او سیسټم ته د کمپیلر اضافه کولو اړتیا پرته. د بایټکوډ ژبې حرکت کول واقعیا ښه حل دی. دا د سرچینې څخه تالیف کیدو ته اړتیا نلري ، لکه څنګه چې د سولیډیټي قضیه ده ، او د کمپیلر زیربنا باندې د احتمالي ناکامیو یا بریدونو په اړه اندیښنه ته اړتیا نشته.
تاييدول
موږ د امکان تر حده په اسانۍ سره د چکونو ترسره کولو هدف یو، ځکه چې دا ټول په زنځیر کې ترسره کیږي (یادونه: آنلاین ، د هرې معاملې اجرا کولو پرمهال ، نو هر ډول ځنډ د ټولې شبکې ورو کیدو لامل کیږيپه هرصورت، په پیل کې د ژبې ډیزاین د غیر زنځیر جامد تایید وسیلو کارولو لپاره چمتو دی. که څه هم دا ډیر غوره دی، د اوس لپاره د تصدیق وسیلو پراختیا (د جلا توکیټ کټ په توګه) راتلونکي ته ځنډول شوې، او اوس یوازې د چلولو وخت (آن-چین) کې متحرک تایید ملاتړ کیږي.
ماډولیت
د حرکت ماډلونه د ډیټا خلاصه چمتو کوي او په سرچینو انتقادي عملیات ځایي کوي. د ماډل لخوا چمتو شوي انکسیپولیشن ، د حرکت ډول سیسټم لخوا چمتو شوي محافظت سره یوځای ، ډاډ ترلاسه کوي چې د ماډل ډولونو کې ټاکل شوي ملکیتونه د ماډل بهر کوډ لخوا سرغړونه نشي کیدی. دا په کافي اندازه ښه فکر شوی خلاص خلاص ډیزاین دی ، پدې معنی چې د تړون دننه معلومات یوازې د تړون چوکاټ کې بدلون موندلی شي ، مګر بهر نه.
عمومي کتنې ته حرکت ورکړئ
د راکړې ورکړې سکریپټ مثال ښیې چې د ماډل څخه بهر د برنامه کونکي لخوا ناوړه یا بې پروا عمل د ماډل سرچینو امنیت سره موافقت نشي کولی. بل ، موږ به د مثالونو وګورو چې څنګه د لیبرا بلاکچین برنامې لپاره ماډلونه ، سرچینې او پروسیجرونه کارول کیږي.
د پیر څخه تر ملګرو پورې تادیات
په مقدار کې مشخص شوي سکې شمیر به د لیږونکي بیلانس څخه ترلاسه کونکي ته لیږدول کیږي.
دلته یو څو نوي شیان شتون لري (په سور کې روښانه شوي):
- 0x0: د حساب پته چیرې چې ماډل زیرمه شوی
- د اسعارو: د ماډل نوم
- Coin: د سرچینې ډول
- د پروسې لخوا بیرته راستانه شوي سکې ارزښت د 0x0.Currency.Coin ډول سرچینې ارزښت دی
- حرکت (): ارزښت بیا نشي کارول کیدی
- کاپي (): ارزښت وروسته کارول کیدی شي
کوډ پارس کړئ: په لومړي مرحله کې ، لیږونکی د پروسیجر په نوم غږ کوي له لیږل شوي څخه_لیږونکی له ذخیره شوي ماډل څخه 0x0. کرنسي. په دویمه مرحله کې، لیږونکی د پیسو د زیرمو ارزښت د ماډل د زیرمه کولو طرزالعمل ته لیږدولو سره ترلاسه کونکي ته پیسې لیږدوي. 0x0. کرنسي.
دلته په کوډ کې د غلطیو درې مثالونه دي چې د چکونو لخوا به رد شي:
د تلیفون بدلولو سره فنډونه نقل کړئ حرکت (سکه) په کاپي (سکه). سرچینې یوازې لیږدول کیدی شي. د یوې سرچینې مقدار نقل کولو هڅه کول (د مثال په توګه، د زنګ وهلو له لارې کاپي (سکه) په پورتني مثال کې) به د بایټ کوډ چیک کولو پرمهال د غلطۍ پایله ولري.
د مشخص کولو سره د فنډونو بیا کارول حرکت (سکه) دوه ځله . د کرښې اضافه کول 0x0.Currency.deposit (کاپي (some_other_payee)، حرکت وکړئ (سکه) د مثال په توګه، پورته به لیږونکي ته اجازه ورکړي چې سکې دوه ځله مصرف کړي - لومړی ځل د تادیه کونکي سره، او دویم ځل سره ځینې_نور_پیسې. دا یو ناغوښتل شوی چلند دی چې د فزیکي شتمنۍ سره امکان نلري. خوشبختانه، حرکت به دا پروګرام رد کړي.
د انکار له امله د پیسو ضایع کول حرکت (سکه). که تاسو سرچینې نه حرکت کوئ (د بیلګې په توګه، د لاین په ړنګولو سره حرکت (سکه))، د بایټکوډ تایید تېروتنه به وغورځول شي. دا د حرکت پروګرام کونکي د فنډونو له ناڅاپي یا ناوړه زیان څخه ساتي.
د اسعارو ماډل
هر حساب کولی شي 0 یا ډیر ماډلونه ولري (د مستطیل په توګه ښودل شوي) او یو یا ډیرو سرچینو ارزښتونه (د سلنډر په توګه ښودل شوي). د مثال په توګه، په یو حساب کې 0x0 ماډل لري 0x0. کرنسي او د سرچینې ډول ارزښت 0x0.Currency.Coin. په پته حساب 0x1 دوه سرچینې او یو ماډل لري؛ په پته حساب 0x2 دوه ماډلونه او د یوې سرچینې ارزښت لري.
د نیکمرغه شیبې:
- د راکړې ورکړې سکریپټ اټومي دی - یا دا په بشپړ ډول اجرا کیږي یا په بشپړ ډول نه.
- ماډل د کوډ یوه اوږده برخه ده چې په نړیواله کچه د لاسرسي وړ ده.
- نړیوال حالت د هش میز په توګه جوړ شوی، چیرته چې کلیدي د حساب پته ده
- حسابونه نشي کولی د ورکړل شوي ډول له یو څخه ډیر سرچینې ارزښت ولري او د ورکړل شوي نوم سره له یو څخه ډیر ماډل نه وي (په حساب کې 0x0 نشي کولی اضافي سرچینې ولري 0x0.Currency.Coin یا بل ماډل نومول شوی د اسعارو)
- د اعلان شوي ماډل پته د ډول برخه ده (0x0.Currency.Coin и 0x1.Currency.Coin جلا ډولونه دي چې نشي کولی د تبادلې وړ وکارول شي)
- برنامه کونکي کولی شي د دې ډول سرچینې ډیری مثالونه په حساب کې د دوی دودیز سرچینې په تعریف کولو سره ذخیره کړي - (سرچینه دوه کوین {c1: 0x0.Currency.Coin، c2: 0x0.Currency.Coin})
- تاسو کولی شئ پرته له شخړو پرته سرچینې ته د هغې په نوم مراجعه وکړئ، د بیلګې په توګه تاسو کولی شئ د دوو سرچینو په کارولو سره مراجعه وکړئ TwoCoins.c1 и TwoCoins.c2.
د سکې سرچینې اعلامیه
ماډل نومول شوی د اسعارو او د سرچینې ډول نومول شوی Coin
د نیکمرغه شیبې:
- Coin یو جوړښت دی چې یو ډول ساحه لري u64 (64-bit نه لاسلیک شوی عدد)
- یوازې د ماډل طرزالعملونه د اسعارو کولی شي د ډول ارزښتونه رامینځته کړي یا ویجاړ کړي Coin.
- نور ماډلونه او سکریپټونه یوازې د ارزښت ساحه د ماډل لخوا چمتو شوي عامه پروسیجرونو له لارې لیکل یا حواله کولی شي.
د امانت خرڅلاو
دا کړنلاره یوه سرچینه مني Coin د ننوتلو په توګه او دا د سرچینې سره یوځای کوي Coinد ترلاسه کونکي حساب کې زیرمه شوي:
- د ننوت سرچینې سکې له مینځه وړل او د هغې ارزښت ثبت کول.
- د ترلاسه کونکي په حساب کې زیرمه شوي ځانګړي سکې سرچینې ته د لینک ترلاسه کول.
- د پروسیجر زنګ وهلو په وخت کې په پیرامیټر کې تیر شوي ارزښت لخوا د سکې شمیرې ارزښت بدلول.
د نیکمرغه شیبې:
- خلاص کړئ، نړیوال پور واخلئ - جوړ شوي طرزالعملونه
- خلاص کړئ دا یوازینۍ لار ده چې د T ډول سرچینې حذف کړي. کړنلاره سرچینه د ان پټ په توګه اخلي، ویجاړوي، او د سرچینې ساحو پورې تړلي ارزښت بیرته راولي.
- نړیوال پور واخلئ پته د ان پټ په توګه اخلي او د دې پتې لخوا خپاره شوي (ملکیت) د T ځانګړي مثال ته حواله ورکوي
- &mut سکه دا د سرچینې سره اړیکه ده Coin
د ویستلو_فرم_لیږونکي پلي کول
دا کړنلاره:
- د یوې ځانګړې سرچینې لپاره لینک ترلاسه کوي Coin، د لیږونکي حساب سره تړلی
- د سرچینې ارزښت کموي Coin د ټاکل شوي مقدار لپاره د لینک له لارې
- نوې سرچینه جوړوي او بیرته راګرځوي Coin د تازه توازن سره.
د نیکمرغه شیبې:
- کان د کیدی شي د هر چا لخوا رامینځته شي، مګر له لیږل شوي څخه_لیږونکی یوازې د زنګ وهلو حساب سکې ته لاسرسی لري
- GetTxnSenderAdress سره ورته msg.lender په پیوستون کې
- بې له دې چې رد کړي سره ورته اړتیا لري په پیوستون کې. که دا چک ناکام شي، معامله بنده شوې او ټول بدلونونه بیرته راګرځول کیږي.
- پیک دا یو جوړ شوی طرزالعمل هم دی چې د T ډوله نوې سرچینه رامینځته کوي.
- همدارنګه خلاص کړئ, پیک یوازې د ماډل دننه ویل کیدی شي چیرې چې سرچینې تشریح شوي T
پایلې
موږ د حرکت ژبې اصلي ځانګړتیاوې معاینه کړې، د ایتیروم سره یې پرتله کړې، او د سکریپټونو اساسي ترکیب سره هم آشنا شو. په نهایت کې ، زه په کلکه د چیک کولو وړاندیز کوم . پدې کې د پروګرام کولو ژبې ډیزاین اصولو په اړه ډیری توضیحات شامل دي، او همدارنګه ډیری ګټورې لینکونه.
سرچینه: www.habr.com