Пас аз ду сол, ман ба блог барои мақолае баргаштам, ки аз лексияҳои маъмулии дилгиркунанда дар бораи Ҳаскелл ва математика фарқ мекунад. Ман дар тӯли чанд соли охир дар ИА дар бораи финтех кор мекардам ва ба назар чунин мерасад, ки вақти навиштан дар бораи мавзӯъе расидааст, ки аз ҷониби ВАО-и технологӣ таваҷҷӯҳи кам пайдо кардааст.
Facebook ба наздикӣ он чизеро, ки онро "платформаи нави хидматрасонии молиявӣ" номид, бо номи Libra нашр кард. Он ҳамчун як системаи ҳисоббаробаркуниҳои рақамӣ дар асоси сабади асъорҳои байналмилалӣ ҷойгир шудааст, ки дар “блокчейн” идора карда мешаванд ва дар ҳавзи пулӣ аз Швейтсария идора карда мешаванд. Ҳадафҳои лоиҳа шӯҳратпараст буда, оқибатҳои бузурги геополитикӣ доранд.
В и Бисёр мақолаҳои оқилона дар бораи фарзияҳои ғайриқонунии пулӣ ва иқтисодӣ дар паси системаи молиявии пешниҳодшуда. Аммо мутахасси-соне, ки аз чихати техникй тахлил карда метавонанд, кофй нестанд. Бисёр одамон дар инфрасохтори молиявӣ кор намекунанд ва дар бораи кори худ ба таври оммавӣ сӯҳбат мекунанд, аз ин рӯ, ин лоиҳа дар ВАО-и технологӣ инъикоси зиёд пайдо намекунад, гарчанде ки ботини он барои ҷаҳон боз аст. Ман манбаи кушодаро дар анборҳо дар назар дорам и .
Он чизе, ки барои ҷаҳон боз аст, як артефакти меъмории шизофрения мебошад, ки даъво дорад, ки платформаи амн барои инфрасохтори ҷаҳонии пардохт бошад.
Агар шумо ба пойгоҳи код ғарқ шавед, татбиқи воқеии система аз ҳадафи зикршуда ва бо роҳҳои аҷибтарин комилан фарқ мекунад. Ман боварӣ дорам, ки ин лоиҳа таърихи ҷолиби корпоративӣ дорад. Аз ин рӯ, мантиқист, ки он бо ҷидду ҷаҳд тарҳрезӣ шудааст, аммо дар асл ман маҷмӯи воқеан аҷиби қарорҳои меъмориро мебинам, ки тамоми системаро вайрон мекунанд ва корбаронро зери хатар мегузоранд.
Ман вонамуд намекунам, ки дар бораи Facebook ҳамчун ширкат андешаи объективӣ дошта бошам. Теъдоди ками одамон дар соҳаи технологияи иттилоотӣ ба ӯ бо ҳамдардӣ менигаранд. Аммо мукоисаи гуфтахои он ва кодекси нашршуда равшан нишон медихад, ки максади зикршуда аслан фиребанда аст. Хулоса, ин лоиҳа ба касе қудрат намедиҳад. Вай комилан зери назорати ширкате хоҳад монд, ки тиҷорати таблиғотиаш ба ҳадде дар ҷанҷол ва фасод печида аст, ки илоҷе ба ҷуз кӯшиши диверсификатсияи пардохтҳо ва рейтинги кредитии худро барои зинда мондан дигар надорад. Ҳадафи равшани дарозмуддат ин амал кардан ба сифати брокери маълумот ва миёнарав дар дастрасии истеъмолкунандагон ба кредит дар асоси маълумоти шахсии васоити ахбори иҷтимоӣ мебошад. Ин як ҳикояи комилан даҳшатнок ва торик аст, ки диққати сазовори онро намегирад.
Ягона файзи наҷотбахши ин ҳикоя дар он аст, ки артефакти офаридаи онҳо ба таври хандаовар ба вазифаи дар пеш гузошташуда номувофиқ аст, ки онро танҳо ҳамчун як амали худсарона дидан мумкин аст. Дар ин лоиҳа як қатор хатогиҳои асосии меъморӣ мавҷуданд:
Ҳалли мушкилоти генералҳои Византия дар шабакаи назорати дастрасӣ тарҳи номувофиқ аст
Проблемаи генералҳои Византия як соҳаи хеле танги таҳқиқоти системаҳои тақсимшуда мебошад. Он қобилияти системаи шабакаро барои муқовимат ба нокомии ҷузъҳои тасодуфӣ ҳангоми андешидани амалҳои ислоҳкунандаи барои кори система муҳим тавсиф мекунад. Шабакаи устувор бояд ба якчанд намуди ҳамлаҳо тоб оварад, аз ҷумла аз нав оғоз кардан, қатъшавӣ, борҳои зараровар ва овоздиҳии шубҳанок дар интихоботи роҳбарият. Ин қарори асосӣ барои меъмории Libra аст ва дар ин ҷо комилан бемаънӣ аст.
Мушкилии вақти изофаи ин сохтори иловагӣ аз алгоритм вобаста аст. Дар бораи вариантҳои протоколҳои Paxos ва Raft, ки мушкилоти генералҳои Византияро ҳал мекунанд, адабиёти зиёде мавҷуд аст, аммо ҳамаи ин сохторҳо барои иртибот ба таври иловагӣ хароҷоти иловагиро ҷорӣ мекунанд. 
барои нигоҳ доштани кворум. Барои Libra, онҳо алгоритмеро бо арзиши баландтарини алоқа интихоб карданд дар сурати нобарории рохбарй. Ва аз интихоби дубораи эҳтимолии роҳбарон дар як қатор навъҳои ҳодисаҳои нокомии шабака хароҷоти иловагӣ вуҷуд дорад.
Барои системае, ки дар доираи консорсиуми корпоратсияҳои фаромиллии хеле танзимшаванда амал мекунад, ки дар он ҳама корбарон рамзи имзои Фейсбук доранд ва дастрасӣ ба шабака аз ҷониби Фейсбук назорат мешавад, баррасии иштирокчиёни бадхоҳ дар сатҳи консенсус маъно надорад. Маълум нест, ки чаро ин система ҳатто мушкилоти генералҳои Византияро ҳал мекунад, на танҳо нигоҳ доштани пайгирии пайвастаи аудит барои санҷиши мувофиқат. Имконияти як гиреҳи Libra, ки аз ҷониби Mastercard ё Andressen Horrowitz идора карда мешавад, ногаҳон оғоз кардани рамзи зараровар як сенарияи аҷибест барои банақшагирӣ ва бо роҳи таъмини якпорчагии протокол ва воситаҳои ғайритехникӣ (яъне ҳуқуқӣ) беҳтар ҳал карда мешавад.
Шаҳодат ба Конгресс ин маҳсулотро ҳамчун рақиб ба протоколҳои нави байналмилалии пардохт, аз қабили WeChat, Alipay ва M-Pesa муаррифӣ кард. Аммо, ҳеҷ яке аз ин системаҳо барои кор кардан дар ҳавзҳои валидаторӣ барои ҳалли мушкилоти генералҳои Византия тарҳрезӣ нашудаанд. Онҳо танҳо дар автобуси анъанавии фарохмаҷрои баланд тарҳрезӣ шудаанд, ки ноқилҳоро мувофиқи маҷмӯи қоидаҳои муқарраршуда месозад. Ин як равиши табиӣ ба тарҳрезии системаи пардохт аст. Хуб тарҳрезӣ шудааст системаи пардохт танҳо бо мушкилоти хароҷоти дукарата ва форкҳо дучор нахоҳад шуд.
Сарбории алгоритми консенсус ҳеҷ гуна мушкилотро ҳал намекунад ва танҳо интиқоли системаро бе ягон сабаб маҳдуд мекунад, ба ғайр аз парастиши боркаши блокчейни ҷамъиятӣ, ки барои ин парванда пешбинӣ нашудааст.
Libra махфияти транзаксия надорад
Мувофиқи ҳуҷҷатҳо, система бо назардошти ба назар гирифта шудааст тахаллуси, яъне суроғаҳои дар протокол истифодашуда аз калидҳои оммавӣ дар хатҳои эллиптикӣ гирифта мешаванд ва дар бораи ҳисобҳо метамаълумот надоранд. Бо вуҷуди ин, дар ҳеҷ ҷои тавсифи сохтори идоракунӣ барои созмон ё дар худи протокол нишон дода нашудааст, ки чӣ гуна маълумоти иқтисодие, ки дар муомилот иштирок мекунанд, аз валидаторҳо пинҳон карда мешаванд. Система барои такрор кардани транзаксияҳо дар миқёси калон ба як қатор ҷонибҳои беруна тарҳрезӣ шудааст, ки тибқи қонунҳои мавҷудаи сирри бонкии Аврупо ва ИМА набояд ба ҷузъиёти иқтисодӣ огоҳ бошанд.
Ҳамоҳангсозии сиёсатҳои додаҳо дар саросари кишварҳо душвор аст, бахусус бо назардошти қонунҳо ва қоидаҳои гуногун дар қаламравҳои гуногун бо ақидаҳои фарҳангии гуногун оид ба ҳифзи додаҳо ва махфият. Худи протокол ба таври нобаёнӣ барои аъзоёни консорсиум комилан кушода аст, ки ин як камбудии равшани техникӣ мебошад, ки ба талаботе, ки барои он тарҳрезӣ шудааст, ҷавобгӯ нест.
Libra HotStuff BFT қодир нест, ки қобилияти интиқоли барои системаи пардохтро талаб кунад
Дар Британияи Кабир, системаҳои клирингӣ ба монанди BAC қодиранд тақрибан 580 транзаксияҳоро дар як моҳ анҷом диҳанд. Ҳамзамон, системаҳои хеле оптимизатсияшуда ба монанди Visa метавонанд дар як рӯз 000 000 150 транзаксияро коркард кунанд. Иҷрои кор вобаста ба андозаи транзаксия, масири шабака, сарбории система ва (муборизаи зидди пулшӯӣ, нақшаҳои шустушӯи пул).
Либра кӯшиш мекунад, ки мушкилотеро ҳал кунад, ки воқеан барои интиқоли дохилӣ мушкил нестанд, зеро давлатҳои миллӣ дар тӯли даҳсолаи охир инфрасохтори тозакунии худро навсозӣ кардаанд. Барои истеъмолкунандагони чакана дар Иттиҳоди Аврупо интиқоли пул умуман мушкиле нест. Дар инфрасохтори анъанавӣ ин корро бо смартфони стандартӣ дар сонияҳо анҷом додан мумкин аст. Барои интиқоли корпоративии калон механизмҳо ва қоидаҳои гуногун мавҷуданд, ки бо интиқоли миқдори зиёди пул алоқаманданд.
Ҳеҷ як сабаби техникӣ вуҷуд надорад, ки пардохтҳои фаромарзӣ низ фавран коркард карда намешаванд, ба истиснои фарқиятҳо дар қоидаҳо ва талабот байни қаламравҳои дахлдор. Агар чораҳои зарурии пешгирикунанда (санҷиши зарурии муштариён, санҷишҳои таҳримот ва ғ.) дар марҳилаҳои гуногуни занҷири транзаксия якчанд маротиба анҷом дода шаванд, ин метавонад боиси таъхири транзаксия гардад. Аммо, ин таъхир танҳо як вазифаи қонунгузории танзимкунанда ва риоя аст, на технология.
Барои истеъмолкунандагон, ягон сабабе нест, ки муомилоти Бритониё дар тӯли чанд сония равшан намешавад. Муомилоти чакана дар ИА воқеан суст шуда истодааст (Муштарии худро бидонед) ва маҳдудиятҳои AML, ки аз ҷониби ҳукуматҳо ва танзимгарон муқаррар карда шудаанд, ки ба пардохтҳои Libra баробар татбиқ мешаванд. Ҳатто агар Facebook монеаҳои интиқоли фаромарзӣ ва интиқоли маълумоти хусусиро паси сар кунад, модели пешниҳодшуда аз интиқоли транзаксияҳои ҷаҳонӣ садҳо сол дур аст ва эҳтимол бояд аз сифр дубора тарҳрезӣ шавад.
Забони Move Libra нодуруст аст
Дар коғази сафед даъвоҳои далерона дар бораи забони нави санҷиданашуда бо номи Move. Ин изҳорот аз нуқтаи назари назарияи забони барномасозӣ (PLT) хеле шубҳаноканд.
Move як забони нави барномасозӣ барои татбиқи мантиқи транзаксияҳои фармоишӣ ва шартномаҳои интеллектуалӣ дар blockchain Libra мебошад. Азбаски Libra ҳадаф дорад, ки як рӯз ба миллиардҳо одамон хидмат кунад, Move бо амният ҳамчун авлавияти аввалиндараҷа тарҳрезӣ шудааст.
Хусусияти асосии Move қобилияти муайян кардани намудҳои захираҳои ихтиёрӣ бо семантикаи илҳомёфтаи мантиқи хатӣ мебошад.
Дар блокчейнҳои ҷамъиятӣ, шартномаҳои интеллектуалӣ бо мантиқи шабакаҳои ҷамъиятӣ бо ҳисобҳои эскроу, шустушӯи пул, барориши аломатҳои OTC ва қимор рӯбарӯ мешаванд. Ҳамаи ин бо забони аҷиб тарҳрезишуда бо номи Solidity анҷом дода мешавад, ки аз нуқтаи назари академикӣ муаллифи PHP-ро ба як нобиға монанд мекунад. Тааҷҷубовар аст, ки забони нави Facebook ба ин технологияҳо ҳеҷ иртиботе надорад, зеро он воқеан як забони скрипт аст, ки барои мақсадҳои норавшани корхона пешбинӣ шудааст.
Дар китобҳои хусусии тақсимшуда, шартномаҳои интеллектуалӣ яке аз он истилоҳҳоест, ки мушовирон бидуни таваҷҷуҳ ба таъриф ё ҳадафи возеҳ партофта шудаанд. Мушовирони нармафзори корпоративӣ маъмулан аз номуайянӣ пул кор мекунанд ва шартномаҳои интеллектуалӣ апотеози тирашавии корпоративӣ мебошанд, зеро онҳоро аслан ҳама чиз муайян кардан мумкин аст.
Пас аз иддао дар бораи амнияти он мо бояд ба семантикаи забон назар кунем. Дурустӣ дар назарияи забони барномасозӣ маъмулан аз ду далели гуногун иборат аст: “пешрафт” ва “нигоҳдорӣ”, ки мувофиқати тамоми фазои қоидаҳои арзёбии забонро муайян мекунанд. Аниқтараш, дар назарияи намуд, функсия "хаттӣ" аст, агар он далели худро маҳз як маротиба истифода барад ва "аффин" агар онро ҳадди аксар як маротиба истифода барад. Системаи навъи хатӣ кафолати статикиро медиҳад, ки функсияи хаттии эълоншуда воқеан хаттӣ аст, тавассути таъин кардани намудҳо ба ҳамаи зерифротҳои функсия ва пайгирии куҷои зангҳо. Ин як моликияти нозукест, ки исбот кардан лозим аст ва татбиқи тамоми барнома осон нест. Навиштани хатӣ то ҳол як соҳаи хеле академии омӯзиш аст, ки ба татбиқи беназирии намуд дар тоза ва моликияти тип дар Rust таъсир мерасонад. Баъзе пешниҳодҳои пешакӣ барои илова кардани намудҳои хатӣ ба Compiler Glasgow Haskell мавҷуданд.
Изҳороти Move дар бораи истифодаи навъҳои хатӣ ба як мубталоёни беасос ба компилятор ба назар мерасад, зеро он ҷо . То ҷое ки метавон гуфт, дар варақаи сафед иқтибос аз адабиёти каноникӣ аз Ҷирард ва Пирс оварда шудааст ва дар татбиқи воқеии он чизе монанд нест.
Илова бар ин, семантикаи расмии забони гӯё бехатар дар ҳеҷ ҷое дар татбиқ ё ҳуҷҷат пайдо намешавад. Забон ба қадри кофӣ хурд аст, то далели пурраи семантикаи дурустро дар Coq ё Isabelle пайдо кунад. Дар асл, компилятори мукаммали конверсионӣ бо интиқоли исбот ба байткод комилан имконпазир аст, ки бо асбобҳои муосири дар даҳсолаи охир ихтироъшуда амалӣ карда шавад. Мо медонем, ки чӣ тавр ин корро, сар карда бозгашт дар 1996.
Аз нуқтаи назари назарияи забони барномасозӣ, санҷиши иддаъо дар бораи Move забони боэътимод ва бехатар аст, ғайриимкон аст, зеро ин иддаоҳо на далели воқеӣ, балки ба мавҷи поки дастӣ ва маркетинг мебошанд. Ин як ҳолати нигаронкунанда барои лоиҳаи забон аст, ки барои коркарди миллиардҳо доллар муомилот дархост карда мешавад.
Криптографияи Libra камбудиҳо дорад
Сохтани криптосистемаҳои бехатар як мушкили муҳандисии хеле душвор аст ва ҳамеша беҳтар аст, ки ба кор бо рамзи хатарнок бо миқдори хуби паранойияи солим наздик шавед. Дар ин соҳа пешрафтҳои калон мавҷуданд, ба монанди лоиҳаи Microsoft Everest, ки бехатарии тасдиқшавандаро месозад . Асбобҳо барои эҷоди ибтидоии тасдиқшаванда аллакай мавҷуданд. Гарчанде ки ин гарон аст, он бешубҳа аз имкониятҳои иқтисодии Facebook берун нест. Бо вуҷуди ин, даста тасмим гирифт, ки дар лоиҳае, ки ҳамчун заминаи боэътимоди системаи молиявии ҷаҳонӣ эълон шуд, ширкат накунад.
лоиҳаи libra аз якчанд китобхонаҳои хеле нав барои эҷоди криптосистемаҳои таҷрибавӣ, ки танҳо дар чанд соли охир пайдо шудаанд. Гуфтан ғайриимкон аст, ки вобастагӣ аз абзорҳои зерин бехатар аст ё не, зеро ҳеҷ яке аз ин китобхонаҳо санҷида нашудаанд ва сиёсати стандартии ифшо надоранд. Махсусан, барои баъзе китобхонаҳои асосӣ дар бораи муҳофизат аз ҳамлаҳои паҳлӯӣ ва ҳамлаҳои вақт ягон итминон вуҷуд надорад.
Китобхонаи libra боз ҳам таҷрибавӣ мешавад ва берун аз он мегузарад , истифодаи усулҳои хеле нав, ба монанди функсияҳои тасодуфии тафтишшаванда (VRFs), ҷуфтҳои билинеарӣ ва имзоҳои ҳадди аксар. Ин усулҳо ва китобхонаҳо метавонанд оқилона бошанд, аммо якҷоя кардани ҳамаи онҳо дар як система нигарониҳои ҷиддиро дар бораи майдони ҳамла ба вуҷуд меорад. Омезиши ҳамаи ин абзорҳо ва усулҳои нав мураккабии исботи амниятро хеле зиёд мекунад.
Фарз кардан лозим аст, ки ин тамоми стеки криптографӣ то даме ки тартиби дигаре исбот нашавад, ба ҳамлаҳои гуногун осебпазир аст. Модели машҳури Facebook "Move Fast and Break Things" -ро ба абзорҳои криптографие, ки маълумоти молиявии муштариёнро коркард мекунанд, татбиқ кардан мумкин нест.
Libra механизмҳои ҳифзи истеъмолкунандагонро татбиқ намекунад
Хусусияти фарқкунандаи системаи пардохт ин қобилияти баргардонидани транзаксия мебошад, ки агар пардохт бо даъво бекор карда шавад ё боиси нокомии тасодуфӣ ё система гардад. Системаи Libra барои "пурра" тарҳрезӣ шудааст ва намуди транзаксияро барои бекор кардани пардохт дар бар намегирад. Дар Британияи Кабир, ҳама пардохтҳо аз £100 то 30,000 фунт стерлинг тибқи Санади қарзи истеъмолӣ мебошанд. Ин маънои онро дорад, ки системаи пардохт дар сурати мушкилот бо маҳсулоти харидашуда ё агар гирандаи пардохт хидматро пешниҳод накунад, масъулиятро бо фурӯшанда тақсим мекунад. Қоидаҳои шабеҳ дар Иттиҳоди Аврупо, Осиё ва Амрикои Шимолӣ татбиқ мешаванд.
Тарҳи кунунии Libra протоколеро барои риояи ин қонунҳо дар бар намегирад ва нақшаи дақиқи эҷоди он надорад. Ҳатто бадтар аз нуқтаи назари меъморӣ, ниҳоии сохтори маълумоти тасдиқшудаи ядро, ки ба ҳолати гардонандаи Merkle асос ёфтааст, имкон намедиҳад, ки ягон механизм бидуни тарҳрезии ядрои чунин протокол эҷод кунад.
Пас аз гузаронидани баррасии техникии ин лоиҳа, мо метавонем ба хулосае ояд, ки он танҳо дар ҳама гуна таҳқиқоти системаҳои тақсимшуда ё маҷаллаи муҳандисии молиявӣ аз ҷамъбаст намегузарад. Барои кӯшиши тағир додани сиёсати ҷаҳонии пулию қарзӣ, барои эҷоди як шабакаи боэътимод ва коркарди бехатари маълумоти корбарон, ки ҷомеа ва танзимгарон метавонанд ба онҳо эътимод дошта бошанд, бояд миқдори зиёди корҳои техникӣ анҷом дода шаванд.
Ман ҳеҷ асос намебинам, ки бовар кунем, ки Facebook дар тарҳрезии худ кори заруриро барои рафъи ин мушкилоти фаннӣ анҷом додааст ва ё бартарии фаннӣ нисбат ба инфрасохтори кунунӣ дорад. Гуфта мешавад, ки ширкат барои омӯхтани инноватсия ба чандирии танзим ниёз дорад, баҳона барои иҷро накардани онҳо дар аввал нест.
Манбаъ: will.com