موږ د اوږدې مودې لپاره په کریپټو اسعارو کې د نوم نه ښودلو موضوع سره علاقه لرو او هڅه کوو پدې برخه کې د ټیکنالوژیو پراختیا تعقیب کړو. زموږ په مقالو کې موږ دمخه د عملیاتو اصولو په اړه په تفصیل سره بحث کړی دی په Monero کې، او هم ترسره شوي په دې برخه کې موجود ټیکنالوژي. په هرصورت، نن ورځ ټول نامعلوم کریپټو اسعارو د Bitcoin لخوا وړاندیز شوي ډیټا ماډل باندې جوړ شوي - د نه مصرف شوي لیږد محصول (له دې وروسته UTXO). د حساب میشته بلاکچینونو لپاره لکه ایتیریم، د نوم او محرمیت پلي کولو لپاره موجود حلونه (د مثال په توګه، او یا ) هڅه وکړه چې په سمارټ قراردادونو کې د UTXO ماډل نقل کړي.
د 2019 په فبروري کې، د سټینفورډ پوهنتون او د ویزا څیړنې د څیړونکو یوه ډله خپور شوی "زیتر: د سمارټ قراردادونو نړۍ کې د محرمیت په لور." لیکوالان لومړی و چې د حساب پر اساس بلاکچینونو کې د نوم نه ښودلو ډاډ ترلاسه کولو لپاره یوه تګلاره وړاندیز کړه او د سمارټ قرارداد دوه نسخې یې وړاندې کړې: د محرم (د بیلانس پټول او د لیږد مقدار) او نامعلوم (د ترلاسه کونکي او لیږونکي پټول) لیږدونه. موږ وړاندیز شوې ټیکنالوژي په زړه پوري ګورو او غواړو د هغې ډیزاین شریک کړو ، په بیله بیا د دې په اړه وغږیږو چې ولې د حساب میشته بلاکچینونو کې د نوم نه ښودلو ستونزه خورا ستونزمن ګڼل کیږي او ایا لیکوالان یې په بشپړ ډول حل کړي.
د دې ډیټا ماډلونو جوړښت په اړه
د UTXO ماډل کې، معامله د "انپوټس" او "آؤټ پټ" څخه جوړه ده. د "آؤټ پټ" مستقیم انالوګ ستاسو په بټوه کې بیلونه دي: هر "آؤټ پټ" یو څه ارزښت لري. کله چې تاسو یو چا ته تادیه کوئ (د راکړې ورکړې بڼه) تاسو یو یا ډیر "محصولات" مصرف کوئ، په دې حالت کې دوی د لیږد "انپوټس" کیږي، او بلاکچین دوی د مصرف شوي په توګه په نښه کوي. په دې حالت کې، ستاسو د تادیې ترلاسه کوونکي (یا تاسو پخپله، که تاسو بدلون ته اړتیا لرئ) نوي تولید شوي "پایلي" ترلاسه کوي. دا کولی شي په لاندې ډول په سکیمیک ډول استازیتوب وکړي:
د حساب پر بنسټ بلاکچینونه ستاسو د بانکي حساب په څیر جوړ شوي دي. دوی یوازې ستاسو په حساب کې مقدار او د لیږد مقدار سره معامله کوي. کله چې تاسو د خپل حساب څخه یو څه پیسې لیږدئ، تاسو هیڅ "آواز" نه سوځوئ، شبکه اړتیا نلري چې یاد وساتي چې کومې سکې مصرف شوي او کومې ندي. په ساده حالت کې، د لیږد تصدیق د لیږونکي لاسلیک او د هغه په بیلانس کې د پیسو چک کولو لپاره راځي:
د ټیکنالوژۍ تحلیل
بیا، موږ به په دې اړه وغږیږو چې څنګه زیتر د لیږد اندازه، ترلاسه کوونکی، او لیږونکی پټوي. لکه څنګه چې موږ د دې عملیاتو اصول بیانوو، موږ به په محرم او نامعلوم نسخو کې توپیرونه یاد کړو. څرنګه چې د حساب پر بنسټ بلاکچینونو کې د محرمیت ډاډ ترلاسه کول خورا اسانه دي، د نوم نه اخیستلو لخوا لګول شوي ځینې محدودیتونه به د ټیکنالوژۍ محرم نسخه لپاره اړونده نه وي.
د بیلانس پټول او د لیږد مقدار
د کوډ کولو سکیم په Zether کې د بیلانس کوډ کولو او مقدارونو لیږد لپاره کارول کیږي . دا په لاندې ډول کار کوي. کله چې ایلیس غواړي باب ولیږدوي b د پتې په واسطه سکې (د هغې عامه کیلي) Y، هغه یو تصادفي شمیره غوره کوي r او مقدار کوډ کوي:
چې C - کوډ شوی مقدار، D - د دې مقدار د تشریح کولو لپاره اړین مرستندویه ارزښت، G - په بیضوي وکر کې یو ثابت ټکی، کله چې د پټ کیلي لخوا ضرب شي، عامه کیلي ترلاسه کیږي.
کله چې باب دا ارزښتونه ترلاسه کوي، نو هغه په ساده ډول دا په خپل کوډ شوي توازن کې په ورته ډول اضافه کوي، له همدې امله دا سکیم مناسب دی.
په ورته ډول، الیس د خپل توازن څخه ورته ارزښتونه کموي، یوازې په توګه Y ستاسو عامه کیلي کاروي.
د ترلاسه کونکي او لیږونکي پټول
په UTXO کې د "پایلو" بدلول د کریپټو اسعارو لومړیو ورځو پورې اړه لري او د لیږونکي پټولو کې مرسته کوي. د دې کولو لپاره، لیږونکی پخپله، کله چې لیږد کوي، په بلاکچین کې تصادفي "پایښتونه" راټولوي او د خپل ځان سره یې مخلوط کوي. بیا، هغه د حلقې لاسلیک سره "آؤټ پټس" لاسلیک کوي - یو کریپټوګرافیک میکانیزم چې هغه ته اجازه ورکوي چې تصدیق کونکي قانع کړي چې د لیږونکي سکې د "آتوپټ" په مینځ کې شتون لري. پخپله مخلوط سکې، البته، نه لګول کیږي.
په هرصورت، موږ به ونه توانیږو چې د ترلاسه کونکي پټولو لپاره جعلي محصول تولید کړو. له همدې امله، په UTXO کې، هر "آؤټ پوټ" خپل ځانګړی پته لري، او دا په کریپټوګرافیک ډول د دې سکې ترلاسه کونکي پته سره تړلې ده. په اوس وخت کې، د ځانګړي محصول پتې او ترلاسه کونکي پته تر مینځ د اړیکو پیژندلو لپاره هیڅ لاره شتون نلري پرته له دې چې پټې کیلي پوه شي.
د حساب پر بنسټ موډل کې، موږ نشو کولی د یو وخت پته وکاروو (که نه نو دا به دمخه د " وتلو" ماډل وي). له همدې امله ، ترلاسه کونکی او لیږونکی باید په بلاکچین کې د نورو حسابونو ترمینځ مخلوط شي. په دې حالت کې، د کوډ شوي 0 سکې د مخلوط حسابونو څخه ډیبیټ کیږي (یا 0 اضافه کیږي که چیرې ترلاسه کونکي مخلوط وي)، پرته له دې چې د دوی اصلي بیلانس بدل کړي.
څرنګه چې لیږونکی او ترلاسه کوونکی دواړه تل یو دایمي پته لري، نو اړینه ده چې ورته ادرسونو ته د لیږدولو په وخت کې د اختلاط لپاره ورته ګروپونه وکاروئ. دا اسانه ده چې دا د مثال په توګه وګورو.
راځئ چې ووایو الیس پریکړه کوي چې د باب خیرات کې مرسته وکړي، مګر غوره کوي چې لیږد یو بهرني څارونکي ته نامعلوم پاتې شي. بیا، د لیږونکي په ډګر کې د ځان پټولو لپاره، هغه د آدم او عادل حسابونو ته هم ننوځي. او د باب پټولو لپاره، د ترلاسه کونکي ساحه کې د بین او بل حسابونه اضافه کړئ. د بلې مرستې په کولو سره، الیس پریکړه وکړه چې د هغې تر څنګ الیکس او آمندا، او بروس او بینجن د باب تر څنګ ولیکي. پدې حالت کې ، کله چې د بلاکچین تحلیل کول ، پدې دوه لیږدونو کې د ګډون کونکو یوازې یوه متقابل جوړه شتون لري - ایلیس او باب ، کوم چې دا لیږدونه بې نومه کوي.
د راکړې ورکړې سیالۍ
لکه څنګه چې موږ مخکې یادونه وکړه، د حساب پر بنسټ سیسټمونو کې ستاسو بیلانس پټولو لپاره، کاروونکي خپل بیلانس او د لیږد مقدار کوډ کوي. په ورته وخت کې، هغه باید ثابته کړي چې د هغه په حساب کې توازن غیر منفي پاتې دی. ستونزه دا ده چې کله د لیږد رامینځته کول ، کارونکي د خپل اوسني حساب حالت په اړه ثبوت رامینځته کوي. څه پیښیږي که باب الیس ته لیږد واستوي، او دا د الیس لخوا لیږل شوي مخکې منل کیږي؟ بیا د ایلیس معامله به باطله وګڼل شي، ځکه چې د باب د معاملې د منلو دمخه د توازن ثبوت جوړ شوی و.
لومړۍ پریکړه چې په داسې حالت کې راځي د حساب کنګل کول دي تر هغه چې معامله ترسره نشي. مګر دا طریقه مناسبه نه ده، ځکه چې په ویشل شوي سیسټم کې د ورته ستونزې د حل کولو پیچلتیا سربیره، په یو نامعلوم سکیم کې دا به روښانه ونلري چې د چا حساب به بند شي.
د دې ستونزې د حل لپاره، ټیکنالوژي راتلونکی او بهر لیږدونه جلا کوي: لګښتونه په بیلانس شیټ کې سمدستي اغیزه لري، پداسې حال کې چې رسیدونه ځنډیدلي اغیزه لري. د دې کولو لپاره، د "epoch" مفهوم معرفي شو - د ټاکل شوي اندازې د بلاکونو یوه ډله. اوسنی "ایپوچ" د ګروپ اندازې لخوا د بلاک لوړوالی ویشلو سره ټاکل کیږي. کله چې د لیږد پروسس کول، شبکه سمدلاسه د لیږونکي بیلانس تازه کوي او د ترلاسه کونکي فنډونه د ذخیره کولو ټانک کې ذخیره کوي. جمع شوي فنډونه یوازې هغه وخت تادیه کونکي ته چمتو کیږي کله چې یو نوی "دور" پیل شي.
د پایلې په توګه، کاروونکي کولی شي لیږدونه واستوي پرته له دې چې څومره فنډونه ترلاسه شي (تر هغه چې د هغه بیلانس اجازه ورکوي، البته). د دورې اندازه د دې پراساس ټاکل کیږي چې بلاکونه څومره ژر د شبکې له لارې خپریږي او څومره ژر چې معامله یو بلاک ته ننوځي.
دا حل د محرم لیږد لپاره ښه کار کوي، مګر د نامعلوم لیږد سره، لکه څنګه چې موږ به وروسته وګورو، دا جدي ستونزې رامنځته کوي.
د بیا ځلي بریدونو پروړاندې محافظت
د حساب پر بنسټ بلاکچینونو کې، هر لیږد د لیږونکي شخصي کیلي لخوا لاسلیک کیږي، کوم چې تصدیق کوونکی قانع کوي چې لیږد ندی بدل شوی او د دې کیلي مالک لخوا رامینځته شوی. مګر که چیرې یو برید کونکی چې د لیږد چینل ته یې غوږ نیولی و دا پیغام مداخله وکړي او په سمه توګه ورته دویم پیغام واستوي؟ تصدیق کونکی به د راکړې ورکړې لاسلیک تصدیق کړي او د هغې د لیکوالۍ په اړه به قانع شي، او شبکه به د لیږونکي بیلانس څخه ورته مقدار بیا لیکي.
دا برید د بیا ځلي برید په نوم یادیږي. په UTXO ماډل کې، دا ډول بریدونه اړین ندي، ځکه چې برید کونکی به هڅه وکړي چې مصرف شوي محصولات وکاروي، کوم چې پخپله د اعتبار وړ ندي او د شبکې لخوا رد شوي.
د دې څخه د مخنیوي لپاره، د تصادفي معلوماتو سره یو ساحه په راکړه ورکړه کې جوړه شوې، کوم چې غیر یا په ساده ډول "مالګه" بلل کیږي. کله چې د مالګې سره معامله بیا واستول شي، تصدیق کونکی ګوري چې ایا دا نونس مخکې کارول شوی او که نه، معامله اعتبار لري. د دې لپاره چې په بلاکچین کې د کارونکي نانسس ټول تاریخ ذخیره نه کړئ ، معمولا په لومړي لیږد کې دا د صفر سره مساوي ټاکل کیږي ، او بیا د یو لخوا لوړیږي. شبکه یوازې کولی شي وګوري چې د نوي لیږد نشتوالی د تیر څخه یو له بل سره توپیر لري.
د نامناسب لیږد سکیم کې، د لیږد د اعتبار کولو ستونزه رامنځته کیږي. موږ نشو کولی په ښکاره ډول د لیږونکي پته پورې تړلی ونیسو، ځکه چې په ښکاره ډول، دا د لیږد نوم پټوي. موږ نشو کولی د ټولو برخه اخیستونکو حسابونو په غیرقانوني حسابونو کې یو اضافه کړو، ځکه چې دا کیدای شي د نورو لیږدونو سره په ټکر کې وي چې پروسس کیږي.
د زیتر لیکوالان وړاندیز کوي چې د "عصر" پورې اړه لري ، په کریپټوګرافیک ډول ناننس رامینځته کړي. د مثال په ډول:
دا x د لیږونکي پټ کیلي ده، او Gepoch - د دورې لپاره یو اضافي جنراتور، چې د "زیتر +" فورمې د تار په هش کولو سره ترلاسه شوی. اوس داسې ښکاري چې ستونزه حل شوې ده - موږ د لیږونکي بې ځایه نه څرګندوو او د غیر ښکیل ګډون کونکو په ناورین کې مداخله نه کوو. مګر دا طریقه یو جدي محدودیت وضع کوي: یو حساب نشي کولی په هر "عصر" کې له یو څخه زیات لیږد واستوي. دا ستونزه، له بده مرغه، حل شوې نه ده، او دا مهال د Zether بې نومه نسخه جوړوي، زموږ په اند، د کارولو لپاره په سختۍ سره مناسب دی.
د صفر پوهې ثبوتونو پیچلتیا
په UTXO کې، لیږونکی باید شبکې ته ثابت کړي چې هغه منفي پیسې نه لګوي، که نه نو دا ممکنه ده چې د پتلی هوا څخه نوي سکې تولید کړي (ولې دا ممکنه ده، موږ په تیرو کې لیکلي. ). او همدا رنګه د ګوتو لاسلیک سره "انپټس" لاسلیک کړئ ترڅو ثابت کړي چې د سکې په مینځ کې مخلوط شوي فنډونه شتون لري چې د هغه پورې اړه لري.
د حساب میشته بلاکچین په نامعلومه نسخه کې ، د ثبوت لپاره څرګندونې خورا پیچلې دي. لیږونکی دا ثابتوي چې:
- لیږل شوی مقدار مثبت دی؛
- توازن غیر منفي پاتې کیږي؛
- لیږونکي په سمه توګه د لیږد مقدار (په شمول د صفر) کوډ کړی؛
- د بیلانس بیلانس یوازې د لیږونکي او ترلاسه کونکي لپاره بدلیږي؛
- لیږونکی د خپل حساب شخصي کیلي لري او هغه واقعیا د لیږونکو په لیست کې دی (د هغو کسانو په مینځ کې چې پکې شامل دي)؛
- په راکړه ورکړه کې کارول شوی Nonce په سمه توګه جوړ شوی.
د داسې پیچلي ثبوت لپاره، لیکوالان یو مخلوط کاروي (یو لیکوال، په لاره کې، د هغې په جوړولو کې برخه اخیستې وه) او ، کوم چې د سیګما ګولۍ په نوم یادیږي. د داسې بیان رسمي ثبوت یو ستونزمن کار دی، او دا د ټیکنالوژۍ پلي کولو لپاره د خلکو شمیر خورا محدودوي.
په پای کې څه شی دی؟
زموږ په نظر ، د زیتر برخه چې د حساب پراساس بلاکچینونو ته محرمیت راوړي همدا اوس کارول کیدی شي. مګر په اوس وخت کې، د ټیکنالوژۍ بې نومه نسخه د هغې په کارولو جدي محدودیتونه وضع کوي، او د هغې په پلي کولو کې پیچلتیا. په هرصورت، دا باید له پامه ونه غورځول شي چې لیکوالانو دا یوازې څو میاشتې مخکې خپور کړی، او ممکن بل څوک به د نن ورځې ستونزو ته د حل لاره ومومي. په هرصورت، دا څنګه ساینس ترسره کیږي.
سرچینه: www.habr.com