دوه کاله وروسته، زه د یو پوسټ لپاره بلاګ ته راستون شوم چې د هاسکل او ریاضیاتو په اړه د معمول ستړي لیکونو څخه توپیر لري. زه په تیرو څو کلونو کې په EU کې په فنټیک کار کوم او داسې بریښي چې د یوې موضوع په اړه لیکلو وخت راغلی چې د ټیک میډیا لخوا لږ پام ورته شوی.
فیسبوک پدې وروستیو کې هغه څه خپاره کړل چې دا د "نوي مالي خدماتو پلیټ فارم" نومیږي چې لیبرا نومیږي. دا د ډیجیټل تصفیې سیسټم په توګه موقعیت لري د نړیوالو اسعارو د باسکیټ پراساس چې په "بلاکچین" کې اداره کیږي او د پیسو په حوض کې زیرمه شوي چې له سویس څخه اداره کیږي. د پروژې موخې د پام وړ دي او په لویه پیمانه جیو پولیټیکل پایلو ته اړتیا لري.
В и د وړاندیز شوي مالي سیسټم تر شا د ناامنه پیسو او اقتصادي انګیرنو په اړه ډیری معقول مقالې. مګر په کافي اندازه متخصصین شتون نلري چې د تخنیکي نظر څخه تحلیل وکړي. ډیری خلک په مالي زیربنا کار نه کوي او د دوی د کار په اړه په عامه توګه خبرې کوي، نو دا پروژه په تخنیکي رسنیو کې ډیر پوښښ نه ترلاسه کوي، که څه هم د هغې داخلي نړۍ ته خلاص دي. زما مطلب په ذخیره کې خلاص سرچینه ده и .
هغه څه چې نړۍ ته خلاص دي د معمارۍ له پلوه شیزوفرینک آثار دي چې ادعا کوي د نړیوال تادیې زیربنا لپاره خوندي پلیټ فارم دی.
که تاسو د کوډ بیس ته ډوب کړئ ، د سیسټم ریښتیني پلي کول په بشپړ ډول له ټاکل شوي هدف څخه توپیر کوي ، او په خورا عجیب لارو کې. زه ډاډه یم چې دا پروژه په زړه پورې کارپوریټ تاریخ لري. نو دا منطقي ده چې فرض کړئ چې دا د یو څه لیوالتیا سره ډیزاین شوی ، مګر په حقیقت کې زه د معماري پریکړو یو واقعی عجیب سیټ ګورم چې ټول سیسټم ماتوي او کارونکي یې په خطر کې اچوي.
زه به د یو شرکت په توګه د فیسبوک په اړه د هدف نظر څرګند نه کړم. د معلوماتي ټکنالوجۍ په صنعت کې لږ خلک هغې ته په خواخوږۍ ګوري. مګر د هغې د بیاناتو او خپاره شوي کوډ پرتله کول په څرګنده توګه ښیې چې بیان شوی هدف اساسا فریب دی. په لنډه توګه، دا پروژه هیڅوک نه ځواکوي. هغه به په بشپړه توګه د هغه شرکت تر کنټرول لاندې پاتې شي چې د اعلاناتو سوداګرۍ دومره په فساد او فساد کې ډوب دی چې د ژوندي پاتې کیدو لپاره د خپلو تادیاتو او کریډیټ سکورونو تنوع کولو هڅه کولو پرته بله چاره نه لري. روښانه اوږدمهاله هدف دا دی چې د ډیټا بروکر او منځګړی په توګه عمل وکړي کریډیټ ته د پیرودونکو لاسرسي کې د دوی شخصي ټولنیزو رسنیو ډیټا پراساس. دا په بشپړه توګه وحشتناکه او تیاره کیسه ده چې پام ورته نه کیږي.
د دې کیسې یوازینۍ ژغورنه دا ده چې هغه هنري اثار چې دوی یې رامینځته کړي دومره په زړه پورې ډول د کار لپاره مناسب ندي چې دا یوازې د حبس عمل په توګه لیدل کیدی شي. پدې پروژه کې ډیری لوی معماري غلطۍ شتون لري:
د لاسرسي کنټرول شبکې کې د بازنطین جنرالانو ستونزې حل کول یو متضاد ډیزاین دی
د بازنطیني جنرالانو ستونزه د ویشل شوي سیسټمونو د څیړنې یوه ډیره محدوده ساحه ده. دا د شبکې سیسټم وړتیا تشریح کوي چې د تصادفي اجزاو ناکامیو سره مقاومت وکړي پداسې حال کې چې د سیسټم عملیاتو لپاره اړین اصلاحي اقدامات ترسره کوي. یو انعطاف لرونکی شبکه باید د ډیری ډول بریدونو سره مقاومت وکړي، پشمول د بیا پیل کول، بندول، ناوړه بارونه، او د مشرتابه په ټاکنو کې ناوړه رایې ورکول. دا د لیبرا معمارۍ لپاره اصلي پریکړه ده، او دا په بشپړه توګه بې معنی ده.
د دې اضافي جوړښت په سر کې د وخت پیچلتیا په الګوریتم پورې اړه لري. د پاکسوس او رافټ پروتوکولونو په اړه ډیر ادب شتون لري چې د بازنطینی جنرالانو ستونزې حل کوي، مګر دا ټول جوړښتونه د اړیکو لپاره اضافي سر معرفي کوي. 
د نصاب د ساتلو لپاره. د لیبرا لپاره، دوی یو الګوریتم غوره کړ چې د اړیکو ترټولو لوړ لګښت سره د مشرتابه د ناکامۍ په صورت کې. او د شبکې د ناکامۍ پیښو ډیری ډولونو کې د مشرانو احتمالي بیا انتخاب څخه اضافي سروې شتون لري.
د یو سیسټم لپاره چې د خورا تنظیم شوي څو ملي شرکتونو په کنسورشیم کې فعالیت کوي ، چیرې چې ټول کارونکي د فیسبوک لخوا لاسلیک شوي کوډ لري او شبکې ته لاسرسی د فیسبوک لخوا کنټرول کیږي ، دا په ساده ډول د توافق په کچه ناوړه ګډون کونکو ته پام کول معنی نلري. دا روښانه نده چې ولې دا سیسټم به حتی د بیزانتین جنرالانو ستونزه حل کړي، د دې پر ځای چې د موافقت چک کولو لپاره د پلټنې دوامداره لار وساتي. د لیبرا نوډ احتمال چې د ماسټرکارډ یا اندریسسن هورویټز لخوا په ناڅاپي ډول د ناوړه کوډ چلولو پیل کول د پلان کولو لپاره یوه عجیب سناریو ده او په ساده ډول د پروتوکول بشپړتیا او غیر تخنیکي (لکه قانوني) وسیلو ډاډ ترلاسه کولو سره غوره حل کیږي.
کانګرس ته شاهدي محصول د نوي نړیوال تادیې پروتوکولونو لکه WeChat ، Alipay او M-Pesa لپاره د سیالي په توګه بیل کړی. په هرصورت، د دې سیسټمونو څخه هیڅ یو داسې ډیزاین شوی نه دی چې د بایزنټین جنرالانو ستونزې حل کولو لپاره د اعتبار په حوضونو کې پرمخ بوځي. دوی په ساده ډول په دودیز لوړ بینډ ویت بس کې ډیزاین شوي چې د مقرراتو مقرراتو سره سم تارونه جوړوي. دا د تادیې سیسټم ډیزاین کولو لپاره طبیعي لاره ده. ښه ډیزاین شوی د تادیې سیسټم به په ساده ډول د دوه ځله لګښتونو او فورکس ستونزې سره مخ نشي.
د توافق الګوریتم سر هیڅ ستونزه نه حل کوي او یوازې د عامه بلاکچین کارګو کلټ پرته د کوم دلیل لپاره د سیسټم انډول محدودوي ، کوم چې د دې کارونې قضیې لپاره ندي.
لیبرا د راکړې ورکړې محرمیت نلري
د اسنادو له مخې، سیسټم په پام کې نیولو سره ډیزاین شوی تخلص، دا دی، هغه پتې چې په پروتوکول کې کارول کیږي د عامه کلیدونو څخه په بیضوي منحلو کې ترلاسه کیږي او د حسابونو په اړه میټاډاټا نلري. په هرصورت، د سازمان لپاره د حکومتوالۍ جوړښت یا پروتوکول په تشریح کې هیڅ ځای دا نه په ګوته کوي چې څنګه په معاملو کې ښکیل اقتصادي معلومات به د اعتبار کونکو څخه پټ شي. سیسټم د دې لپاره ډیزاین شوی چې په لویه پیمانه د یو لړ بهرنیو ګوندونو لپاره لیږدونه نقل کړي چې د اوسني اروپا او متحده ایالاتو بانکي محرمیت قوانینو سره سم، باید د اقتصادي توضیحاتو محرم نه وي.
په هیوادونو کې د معلوماتو پالیسۍ همغږي کول ستونزمن دي، په ځانګړې توګه د معلوماتو د ساتنې او محرمیت په اړه د بیلابیلو کلتوري نظریاتو سره په مختلفو قضایاوو کې متفاوت قوانین او مقررات. پروتوکول پخپله د ډیفالټ لخوا د کنسورشیم غړو لپاره په بشپړ ډول خلاص دی ، کوم چې روښانه تخنیکي نیمګړتیا ده چې هغه اړتیاوې نه پوره کوي چې دا ډیزاین شوی.
Libra HotStuff BFT نشي کولی د تادیې سیسټم لپاره اړین ټرپټ ترلاسه کړي
په انګلستان کې، د BAC په څیر د پاکولو سیسټمونه په میاشت کې شاوخوا 580 لیږدونو اداره کولو توان لري. په ورته وخت کې، د ویزې په څیر خورا مطلوب سیسټمونه کولی شي هره ورځ 000 لیږدونه پروسس کړي. فعالیت د راکړې ورکړې اندازې، د شبکې روټینګ، سیسټم بار، او پورې اړه لري (د پیسو مینځلو ضد، د پیسو مینځلو سکیمونه).
لیبرا هڅه کوي هغه ستونزې حل کړي چې واقعیا د کورني لیږد لپاره ستونزې ندي ، ځکه چې د ملت دولتونو په تیرو لسیزو کې د دوی د پاکولو زیربنا عصري کړې. په اروپایی اتحادیه کې د پرچون مصرف کونکو لپاره ، د پیسو حرکت کول هیڅ ستونزه نده. په دودیز زیربنا کې، دا په ثانیو کې د معیاري سمارټ فون سره ترسره کیدی شي. د لویو شرکتونو لیږد لپاره، مختلف میکانیزمونه او مقررات شتون لري چې د ډیرو پیسو لیږدولو پورې تړاو لري.
هیڅ تخنیکي دلیل شتون نلري چې ولې د پولې هاخوا تادیات هم په سمدستي توګه پروسس کیدی نشي، پرته له دې چې د اړونده قضاوتونو ترمینځ د مقرراتو او اړتیاو توپیر شتون ولري. که چیرې اړین مخنیوي اقدامات (د پیرودونکي له امله لیوالتیا، د بندیزونو چک، او نور) د لیږد سلسلې په مختلفو مرحلو کې څو ځله ترسره شي، نو دا ممکن د لیږد ځنډ لامل شي. په هرصورت، دا ځنډ په بشپړه توګه د تنظیمي قوانینو او موافقت دنده ده، نه ټیکنالوژي.
د مرصفوونکو لپاره، هیڅ دلیل شتون نلري چې ولې د انګلستان لیږد به په ثانیو کې روښانه نشي. په اروپايي اتحادیه کې پرچون لیږد واقعیا ورو کیږي (خپل پیرودونکي وپیژنئ) او د AML محدودیتونه د حکومتونو او تنظیم کونکو لخوا وضع شوي ، کوم چې د لیبرا تادیاتو باندې مساوي پلي کیږي. حتی که فیسبوک د پولې هاخوا د لیږد او شخصي ډیټا لیږد په وړاندې خنډونه له منځه یوسي، وړاندیز شوی ماډل د نړیوال لیږد له لارې سل کاله لرې دی او احتمال لري چې له پیل څخه بیا ډیزاین شي.
د لیبرا حرکت ژبه غلطه ده
سپینه کاغذ د حرکت په نوم د یوې نوې، نه ازمویل شوې ژبې په اړه زړورې ادعاوې کوي. دا بیانات د پروګرام کولو ژبې تیوري (PLT) له نظره خورا مشکوک دي.
حرکت د لیبرا بلاکچین کې د دودیز لیږد منطق او سمارټ قراردادونو پلي کولو لپاره د برنامې نوې ژبه ده. ځکه چې لیبرا موخه دا ده چې یوه ورځ ملیاردونو خلکو ته خدمت وکړي، حرکت د لوړ لومړیتوب په توګه د امنیت سره ډیزاین شوی.
د حرکت کلیدي ځانګړتیا د خطي منطق لخوا هڅول شوي سیمانټیکونو سره د خپلسري سرچینو ډولونو تعریف کولو وړتیا ده.
په عامه بلاکچینونو کې، سمارټ قراردادونه د عامه شبکو منطق سره د ایسکرو حسابونو، پیسو مینځلو، د OTC ټوکن صادرول، او قمار سره مخ دي. دا ټول د سولیډیټی په نوم په حیرانتیا سره په کمزوري ډیزاین شوي ژبه کې ترسره شوي، کوم چې د اکادمیک نظر څخه د PHP لیکوال د یو باصلاحیت په څیر ښکاري. په عجیبه توګه، د فیسبوک نوې ژبه داسې ښکاري چې د دې ټیکنالوژیو سره هیڅ تړاو نلري، ځکه چې دا په حقیقت کې د سکریپټ ژبه ده چې د ناڅرګند تصدۍ موخو لپاره ټاکل شوې.
په خصوصي ویشل شوي لیجرونو کې، سمارټ قراردادونه یو له هغو شرایطو څخه دی چې د مشاورینو لخوا د واضح تعریف یا هدف په پام کې نیولو پرته اچول کیږي. د تصدۍ سافټویر مشاورین معمولا د ابهام څخه پیسې ګټي، او سمارټ قراردادونه د کارپوریټ ناڅرګندتیا اپوټوسیس دي ځکه چې دوی د لفظي هر څه په توګه تعریف کیدی شي.
د هغې د خوندیتوب په اړه د ادعاوو وروسته، موږ باید د ژبې سیمانټیک وګورو. د پروګرامینګ ژبې تیوري کې درستیت عموما دوه مختلف ثبوتونه لري: "پرمختګ" او "ساتنه"، کوم چې د ژبې لپاره د ارزونې قواعدو ټول ځای ثبات ټاکي. په ځانګړې توګه، د ډول تیوري کې، یو فنکشن "لینیر" دی که چیرې دا خپل دلیل په سمه توګه یو ځل کاروي، او "affine" که دا په یوځل کې کاروي. د خطي ډول سیسټم جامد تضمین چمتو کوي چې اعلان شوی خطي فعالیت واقعیا خطي دی د ټولو فنکشن سب اکسپریشنونو ته د ډولونو په ټاکلو او د دې تعقیب کولو سره چې تلیفونونه کیږي. دا د ثابتولو لپاره فرعي ملکیت دی او د ټول برنامه پلي کول اسانه ندي. خطي ټایپ کول لاهم د مطالعې خورا اکاډمیک ډګر دی ، په کلین کې د ډول انفرادیت پلي کولو او په زنګ کې د ډول ملکیت پلي کولو لخوا اغیزمن شوی. د ګالسکو هاسکل کمپیلر ته د خطي ډولونو اضافه کولو لپاره ځینې لومړني وړاندیزونه شتون لري.
د خطي ډولونو کارولو په اړه د حرکت بیان داسې بریښي چې په کمپیلر کې غیر ضروري ډوب دی ، له هغه ځایه . تر هغه ځایه چې یو څوک ویلای شي، سپینه پاڼه د ګیرارډ او پیرس څخه کانونیکي ادبیاتو ته اشاره کوي، او په ریښتینې تطبیق کې ورته هیڅ شی شتون نلري.
برسیره پردې، د باور وړ خوندي ژبې رسمي سیمانټیکونه په پلي کولو یا سند کې هیڅ ځای نه ښکاري. ژبه دومره کوچنۍ ده چې په Coq یا Isabelle کې د سم سیمانټیک بشپړ ثبوت ومومي. په واقعیت کې، بایټ کوډ ته د ثبوت لیږد سره د پای څخه تر پای پورې بشپړ تبادلې کمپیلر په تیرو لسیزو کې اختراع شوي عصري وسیلو سره پلي کول خورا ممکن دي. موږ پوهیږو چې دا څنګه وکړو، د پیل سره بیرته په 1996 کې.
د پروګرامینګ ژبې تیورۍ له نظره، دا ناشونې ده چې دا ادعا وڅیړئ چې حرکت یوه معتبره او خوندي ژبه ده، ځکه چې دا ادعاګانې د حقیقي شواهدو په پرتله خالص لاسي حرکت او بازار موندنه ده. دا د یوې ژبې پروژې لپاره خطرناک حالت دی چې د ملیاردونو ډالرو معاملې پروسس کولو غوښتنه کیږي.
د لیبرا کریپټوګرافي نیمګړتیا ده
د خوندي کریپټو سیسټمونو رامینځته کول خورا ستونزمن انجینري ستونزه ده ، او دا تل غوره ده چې د صحي پارونیا ښه خوراک سره د خطرناک کوډ سره کار کولو ته مراجعه وکړئ. په دې برخه کې لوی بریالیتوبونه شتون لري، لکه د مایکروسافټ ایوریسټ پروژه، چې د تایید وړ خوندي جوړول دي . وسیلې لا دمخه شتون لري ترڅو د تایید وړ لومړني توکي رامینځته کړي. که څه هم دا ګرانه ده، دا په څرګنده توګه د فیسبوک له اقتصادي وړتیاوو څخه بهر نه ده. په هرصورت، ټیم پریکړه وکړه چې په پروژه کې برخه وانخلي، کوم چې د نړیوال مالي سیسټم لپاره د باور وړ بنسټ په توګه اعلان شوی.
libra پروژه د تجربوي کریپټو سیسټمونو رامینځته کولو لپاره د ډیری کافي نوي کتابتونونو څخه چې یوازې په تیرو څو کلونو کې څرګند شوي. دا ناممکنه ده چې ووایو چې ایا په لاندې وسیلو باندې انحصار خوندي دی که نه، ځکه چې د دې کتابتونونو څخه هیڅ یو نه دی پلټل شوی او د افشا کولو معیاري پالیسۍ نلري. په ځانګړې توګه، د ځینو اصلي کتابتونونو لپاره د اړخ چینل بریدونو او د وخت بریدونو په وړاندې د خوندیتوب په اړه هیڅ ډاډ شتون نلري.
د کتابتون کتابتون نور هم تجربه کوي او هاخوا ته ځي ، د خورا نوي تخنیکونو پلي کول لکه د تایید وړ تصادفي افعال (VRFs) ، دوه اړخیز جوړه ، او د حد لاسلیکونه. دا میتودونه او کتابتونونه ممکن معقول وي، مګر دا ټول په یو سیسټم کې یوځای کول د برید سطحې ساحې په اړه جدي اندیښنې راپورته کوي. د دې ټولو نویو وسیلو او تخنیکونو ترکیب د امنیت ثابتولو پیچلتیا خورا زیاته کوي.
دا باید فرض شي چې دا ټول کریپټوګرافیک سټیک د مختلف بریدونو لپاره زیان منونکی دی تر هغه چې بل ډول ثابت نشي. د فیسبوک مشهور 'موو فاسټ او بریک شینګز' ماډل په کریپټوګرافیک وسیلو کې نشي پلي کیدی چې د پیرودونکي مالي ډیټا پروسس کوي.
لیبرا د مصرف کونکي محافظت میکانیزم پلي کولو کې پاتې راغلی
د تادیې سیسټم یو ځانګړی ځانګړتیا د لیږد بیرته راګرځولو وړتیا ده که چیرې تادیه د محاکمې لخوا لغوه شي یا د تصادفي یا سیسټم ناکامۍ لامل شي. د لیبرا سیسټم د "بشپړ" لپاره ډیزاین شوی او د تادیې لغوه کولو لپاره د لیږد ډول شامل نه دی. په انګلستان کې، د £ 100 او £ 30,000 ترمنځ ټول تادیات د مصرف کونکي کریډیټ قانون تابع دي. دا پدې مانا ده چې د تادیې سیسټم د پیرود شوي محصول سره د ستونزې په صورت کې د پلورونکي سره مسؤلیت شریکوي یا که د تادیې ترلاسه کونکی خدمت نه وړاندې کوي. ورته قوانین په اروپا، آسیا او شمالي امریکا کې پلي کیږي.
د لیبرا اوسنۍ ډیزاین د دې قوانینو سره سم عمل کولو پروتوکول شامل نه کوي او د جوړولو لپاره روښانه پلان نلري. حتی بدتر، د معمارۍ له نظره، د کرنل د مستند شوي ډیټا جوړښت پای، د میرکل ډرایو حالت پراساس، هیڅ میکانیزم ته اجازه نه ورکوي چې دا ډول پروتوکول رامینځته کړي پرته له دې چې د کرنل بیا ډیزاین کړي.
د دې پروژې تخنیکي بیاکتنې ترسره کولو وروسته، موږ کولی شو دې پایلې ته ورسیږو چې دا به په ساده ډول د توزیع شوي سیسټمونو څیړنې یا مالي انجینرۍ ژورنال کې راټول نشي. د نړیوالې پولي پالیسۍ د بدلولو هڅه کولو لپاره، د باور وړ شبکې رامینځته کولو او د کاروونکو معلوماتو خوندي پروسس کولو لپاره خورا لوی تخنیکي کار ته اړتیا ده چې خلک او تنظیم کونکي باور کولی شي.
زه د دې باور لپاره هیڅ دلیل نه وینم چې فیسبوک د دې تخنیکي ستونزو د لرې کولو لپاره په خپله ډیزاین کې اړین کار کړی دی یا دا چې دا د اوسني زیربنا په اړه کومې تخنیکي ګټې لري. دا ویل چې یو شرکت د نوښتونو سپړلو لپاره تنظیمي انعطاف ته اړتیا لري د لومړي نه کولو لپاره عذر ندی.
سرچینه: www.habr.com