Laba sano ka dib, waxaan u soo noqday blog-ga qoraal ka duwan casharradii caajiska ahaa ee caadiga ahaa ee ku saabsan Haskell iyo xisaabta. Waxaan ka shaqeynayay fintech ee Midowga Yurub dhowrkii sano ee la soo dhaafay waxayna u egtahay in la gaaray waqtigii wax laga qori lahaa mawduuc ka helay dareenka yar ee warbaahinta farsamada.
Facebook ayaa dhawaan soo saartay waxa ay ugu yeertay "madal adeegyo maaliyadeed oo cusub" oo lagu magacaabo Libra. Waxaa loo dhigaa habka dejinta dhijitaalka ah oo ku salaysan dambiisha lacagaha caalamiga ah ee lagu maamulo "blockchain" laguna kaydiyo barkad lacageed oo laga maamulo Switzerland. Hadafka mashruucu waa hami waxayna dhalinayaan cawaaqib juqraafiyeed baaxad weyn.
Π ΠΈ Maqaallo badan oo macquul ah oo ku saabsan male-awaalka lacageed iyo dhaqaale ee aan fiicnayn ee ka dambeeya nidaamka maaliyadeed ee la soo jeediyay. Laakiin ma jiraan khabiiro ku filan oo awood u leh inay falanqeeyaan marka laga eego dhinaca farsamada. Dad badan ma shaqeeyaan kaabayaasha dhaqaalaha oo si fagaare ah uga hadlaan shaqadooda, sidaa darteed mashruucan ma ahan mid si weyn looga hadal hayo warbaahinta teknoolojiyadda, inkastoo gudaha gudaha uu u furan yahay adduunka. Waxaan ula jeedaa il furan oo kayd ah ΠΈ .
Waxa adduunka u furan waa farshaxan schizophrenic qaab dhismeed leh oo leh sheegasho in ay tahay goob sugan oo kaabayaasha lacag bixinta caalamiga ah.
Haddii aad dhex gasho saldhigga koodhka, hirgelinta dhabta ah ee nidaamka ayaa gebi ahaanba ka duwan yoolka la sheegay, iyo siyaabaha ugu yaabka badan. Waxaan hubaa in mashruucani leeyahay taariikh shirkadeed oo xiiso leh. Markaa waa macquul in la qiyaaso in loogu talagalay dadaal, laakiin dhab ahaantii waxaan arkayaa go'aano la yaab leh oo runtii la yaab leh oo nidaamka oo dhan jebiya oo khatar geliya isticmaaleyaasha.
Ma iska dhigi doono inaan fikrad ujeedo leh ka leeyahay Facebook shirkad ahaan. Dad yar oo ku jira warshadaha IT-ga ayaa u eega iyada si naxariis leh. Laakiin isbarbardhigga odhaahdeeda iyo xeerka la daabacay ayaa si cad u muujinaya in ujeedada la sheegay ay asal ahaan khiyaano tahay. Marka la soo koobo, mashruucani cidna awood uma laha. Waxa uu gabi ahaanba sii ahaan doonaa gacanta shirkad ganacsigeeda xayaysiisku uu hareeyay fadeexado iyo musuq-maasuq taas oo aan lahayn wax kale oo aan ahayn in ay isku daydo in ay kala duwanaato lacagaha ay bixiso iyo dhibcaha deynta si ay u sii noolaato. Hadafka cad ee mustaqbalka fog waa in uu u dhaqmo sidii dallaal xogeed iyo dhexdhexaadiye marin u helka macaamiisha ee ku salaysan xogtooda warbaahinta bulshada. Tani waa sheeko naxdin leh oo naxdin leh oo aan helin dareenka ay mudan tahay.
Nimcada kaliya ee lagu badbaadinayo sheekadan ayaa ah in farshaxanimada ay sameeyeen ay tahay mid aad u qosol badan oo aan ku habboonayn hawsha ay hayaan oo kaliya loo arki karo fal hubanti ah. Waxa jira dhawr khaladaad oo waaweyn oo xagga dhismaha ah oo ku jira mashruucan:
Xallinta Dhibaatada Guud ee Byzantine ee Shabakadda Xakamaynta Helitaanka waa Naqshad Aan Waafaqsanayn
Dhibaatada guud ee Byzantine waa aag cidhiidhi ah oo cilmi baaris ah oo ku saabsan hababka la qaybiyey. Waxay qeexaysaa awoodda nidaamka shabakadu u leeyahay in uu u adkaysto fashilinta qaybaha random iyadoo la qaadayo tallaabooyin sax ah oo muhiim u ah hawlgalka nidaamka. Shabakad adkeysi leh waa in ay u adkeysato dhowr nooc oo weeraro ah, oo ay ku jiraan dib u bilaabashada, maqnaanshaha, culeysyada xaasidnimada ah, iyo codeynta xaasidnimada leh ee doorashada hoggaanka. Tani waa go'aanka ugu muhiimsan ee naqshadaha Libra, oo gebi ahaanba halkan macno ma leh.
Kakanaanta wakhtiga ka sarreeya qaabkan dheeraadka ah waxay ku xiran tahay algorithm. Waxaa jira suugaan badan oo ku saabsan noocyada Paxos iyo Raft borotokoollada lagu xallinayo dhibaatada guud ee Byzantine, laakiin dhammaan dhismayaashan waxay soo bandhigayaan madax dheeraad ah oo loogu talagalay isgaarsiinta 
si loo ilaaliyo kooramka Libra, waxay doorteen algorithm leh qiimaha isgaadhsiinta ee suurtogalka ah ee ugu sarreeya haddii ay dhacdo fashil hoggaamineed. Waxaana jira kharash dheeraad ah oo ka iman kara dib-u-doorashada hoggaamiyeyaasha dhammaan noocyada kala duwan ee dhacdooyinka fashilka shabakada.
Nidaamka ka dhex shaqeeya shirkado caalami ah oo si heer sare ah loo nidaamiyay, halkaas oo dhammaan isticmaalayaashu ay haystaan ββkood ay saxeexeen Facebook oo gelitaanka shabakadda ay maamusho Facebook, macno ma samaynayso in la tixgeliyo ka qaybgalayaasha xaasidnimada ah heerka la isku raacsan yahay. Ma cadda sababta nidaamkani uu xitaa u xalin lahaa dhibaatada guud ee Byzantine, halkii si fudud loo ilaalin lahaa raad hanti-dhawr joogto ah si loo hubiyo u hoggaansanaanta. Suurtagalnimada in nambarka Libra uu maamulo Mastercard ama Andressen Horrowitz si lama filaan ah u bilaabaya socodsiinta kood xaasidnimo ah waa xaalad aan fiicneyn oo la qorsheynayo waxaana si wanaagsan wax looga qabtaa iyadoo si fudud loo hubinayo daacadnimada borotokoolka iyo kuwa aan farsamo ahayn (ie. sharci) macnaheedu waa.
Markhaati-furka Koongarasku waxay ku dalacday badeecada sidii tartame borotokoolka lacag-bixinta caalamiga ah ee cusub sida WeChat, Alipay iyo M-Pesa. Si kastaba ha noqotee, nidaamyadan midkoodna looma qaabayn inuu ku shaqeeyo barkadaha ansaxinaya si loo xalliyo dhibaatada guud ee Byzantine. Waxa si fudud loogu nashqadeeyey baska-bandwidth-ka sare ee dhaqameed kaas oo ka dhigaya xargaha si waafaqsan xeerar go'an. Tani waa hab dabiici ah oo loogu talagalay qaabaynta nidaamka lacag bixinta. Si wanaagsan ayaa loo qaabeeyey nidaamka lacag-bixinta si fudud ula kulmi maayo dhibaatada kharashka laba jibaaran iyo fargeeto.
Dulmarka algorithm-ka la isku raacsan yahay ma xalliyo wax dhibaato ah oo kaliya xaddidaya soo saarista nidaamka sabab la'aan marka laga reebo caabbinta xamuulka ee blockchain dadweynaha, taas oo aan loogu talagalin kiiskan isticmaalka.
Libra ma laha wax sir ah oo wax kala iibsi
Marka loo eego dukumeentiyada, nidaamka waxaa loo qaabeeyey iyadoo la tixgelinayo magac been abuur ah, taas oo ah, ciwaanada lagu isticmaalo hab-maamuuska waxa laga helay furayaasha dad waynaha ee ku yaal qalooca elliptical oo kuma jiraan xog badan oo ku saabsan xisaabaadka. Si kastaba ha ahaatee, ma jirto meel lagu sharraxay qaab-dhismeedka maamulka ee ururka ama borotokoolka laftiisa oo tilmaamaya sida xogta dhaqaale ee ku lug leh wax kala iibsiga laga qarin doono kuwa ansaxiyay. Nadaamka waxa loo qaabeeyey in uu ku celceliyo wax kala iibsiga oo baaxad weyn dhinacyo badan oo dibadda ah kuwaas oo, marka la eego sharciyada sirta bangiyada Yurub iyo Maraykanka ee jira, waa in aanay si gaar ah u ogaan tafaasiisha dhaqaalaha.
Siyaasadaha xogta ee dalalka oo dhan way adagtahay in la isku duwo, gaar ahaan la siiyo sharciyo iyo qawaaniin kala duwan oo ka jira xukuno kala duwan oo leh aragtiyo dhaqameed oo kala duwan oo ku saabsan ilaalinta xogta iyo sirta. Hab-maamuuska laftiisa ayaa sida caadiga ah si buuxda u furan xubnaha isbahaysiga, taas oo ah cillad farsamo oo cad oo aan buuxin shuruudihii loogu talagalay.
Libra HotStuff BFT ma awoodo inay gaadho wax soo saarka looga baahan yahay nidaamka lacag bixinta
Gudaha Boqortooyada Midowday, nidaamyada nadiifinta sida BAC waxay awoodaan inay wax ka qabtaan ku dhawaad ββββ580 macaamil ganacsi bishii. Isla mar ahaantaana, nidaamyada aadka loo hagaajiyay sida Visa waxay socodsiin karaan 000 macaamil ganacsi maalintii. Waxqabadku wuu kala duwan yahay iyadoo ku xiran cabbirka wax kala iibsiga, marinka shabakada, culeyska nidaamka, iyo (ka-hortagga lacagta la dhaqay, nidaamyada lacagta la dhaqay).
Libra waxa ay isku dayaysaa in ay xalliso mashaakilaadka aan runtii dhibaato ku ahayn wareejinta gudaha, maadaama dawladaha qaranku ay casriyeeyeen kaabayaashooda nadiifinta tobankii sano ee la soo dhaafay. Macaamiisha tafaariiqda ee Midowga Yurub, dhaqaaqa lacagta dhib kuma aha haba yaraatee. Kaabayaasha dhaqameed, tan waxaa lagu samayn karaa casriga caadiga ah ilbiriqsiyo gudahood. Xawilaadaha waaweyn ee shirkadaha, waxaa jira habab iyo xeerar kala duwan oo la xiriira dhaqdhaqaaqa lacag badan.
Ma jirto sabab farsamo oo keenaysa in lacag-bixinta xudduudaha aan sidoo kale isla markiiba loo hawlgelin karin, marka laga reebo kala duwanaanshaha xeerarka iyo shuruudaha u dhexeeya awoodaha khuseeya. Haddii tallaabooyinka ka-hortagga lagama maarmaanka ah (ku dadaalnaanta macaamiisha, hubinta cunaqabataynta, iwm.) lagu sameeyo dhowr jeer marxaladaha kala duwan ee silsiladda wax kala iibsiga, tani waxay keeni kartaa dib u dhac ku yimaada macaamilka. Si kastaba ha ahaatee, daahitaankani waa kaliya shaqada sharci dejinta iyo u hoggaansanaanta, maaha tignoolajiyada.
Macaamiisha, ma jirto sabab uu wax kala beddelashada UK ku caddayn karin ilbiriqsiyo gudaheed. Wax kala iibsiga tafaariiqda ee Midowga Yurub ayaa runtii ah mid gaabis ah (Ogow macmiilkaaga) iyo xayiraadaha AML ee ay soo rogeen dawladaha iyo maamulayaasha, kuwaas oo si isku mid ah u khuseeya lacagaha Libra-da. Xitaa haddii Facebook ay ka gudbi lahayd caqabadaha ku wajahan wareejinta xudduudaha iyo wareejinta xogta gaarka ah, qaabka la soo jeediyay ayaa boqollaal sano ka fog wax-soo-saarka macaamil ganacsi ee caalamiga ah waxayna u badan tahay inuu u baahan yahay in dib loo naqshadeeyo.
Luqadda Dhaqdhaqaaqa Libra waa khalad
Warqadda cadi waxay sheeganaysaa hadal geesinimo leh oo ku saabsan luqad cusub, oo aan la tijaabin oo la yiraahdo dhaqaaq. Odhaahyadani waa kuwo shaki ku jiro marka loo eego aragtida barnaamijka luuqadda (PLT).
Dhaqdhaqaaqa waa luuqad cusub oo barnaamij ah oo loogu talagalay hirgelinta macquulka ah ee macaamil ganacsi iyo qandaraasyo caqli gal ah oo ku saabsan blockchain Libra. Sababtoo ah Libra waxay higsaneysaa inay hal maalin u adeegto balaayiin qof, Dhaqdhaqaaqa waxaa loogu talagalay amniga oo ah mudnaanta koowaad.
Tilmaamaha ugu muhiimsan ee Dhaqdhaqaaqa waa awooda lagu qeexo noocyada kheyraadka aan sabab lahayn ee semantics ay dhiirigelisay macquulka toosan.
Blockchains-ka dadweynaha, qandaraasyada caqliga leh waxay la kulmaan macquulnimada shabakadaha dadweynaha ee leh xisaabaadka escrow, lacagta la dhaqay, soo saarista calaamada OTC, iyo khamaarka. Waxaas oo dhan waxa lagu sameeyaa luuqad si cajiib ah u qaabaysan oo loo yaqaan Solidity, taas oo marka laga eego dhinaca akadeemiyada ka dhigaysa qoraaga PHP-ga inuu u ekaado hal-abuur. Si la yaab leh, luqadda cusub ee Facebook-ga waxay u muuqataa inaysan waxba ku lahayn teknoolojiyaddan, maadaama ay dhab ahaantii tahay luqad qoraal ah oo loogu talagalay ujeedooyin ganacsi oo qarsoon.
Buugaagta gaarka ah ee loo qaybiyo, qandaraasyada caqli-galku waa mid ka mid ah ereyada ay ku tuuraan la-taliyayaasha iyada oo aan loo eegin qeexitaan cad ama ujeeddo. La-taliyayaasha software-ka ganacsiga ayaa sida caadiga ah lacag ka sameeya madmadowga, iyo qandaraasyada caqli-gal ah ayaa ah apotheosis ee mugdiga shirkadaha sababtoo ah waxaa lagu qeexi karaa wax kasta.
Kadib marka aan sheegno amnigeeda, waxaan u baahanahay inaan eegno semantiga luqadda. Saxnaanta aragtida luuqadda barnaamijku waxay caadi ahaan ka kooban tahay laba caddayn oo kala duwan: "horumar" iyo "ilaalin", kuwaas oo go'aaminaya joogteynta dhammaan xeerarka qiimeynta luqadda. Gaar ahaan, aragtida nooca, shaqadu waa "linear" haddii ay isticmaasho doodeeda saxda ah hal mar, iyo "affine" haddii ay isticmaasho ugu badnaan hal mar. Nidaamka nooca tooska ah wuxuu bixiyaa dammaanad joogto ah oo ah in shaqada toosan ee la sheegay ay run ahaantii toosan tahay iyadoo lagu meeleynayo noocyada dhammaan qoraallada hoosaadka shaqada iyo la socodka meelaha wicitaannada laga sameeyo. Tani waa hanti daahsoon in la caddeeyo mana fududa in la fuliyo barnaamij dhan. Qorista tooska ah ayaa weli ah goob waxbarasho oo aad u cilmi badan, oo ay saamaysay hirgelinta nooca u gaarka ah ee Nadiif ah iyo nooca lahaanshaha ee Rust. Waxaa jira hindise horudhac ah oo lagu daro noocyada toosan ee Glasgow Haskell Compiler.
Hadalka dhaqaaqa ee ku saabsan adeegsiga noocyada tooska ah wuxuu u eg yahay quusasho aan loo baahnayn isku-dubaridiyaha, tan iyo halkaas . Ilaa inta la sheegi karo, warqadda cad waxay soo xiganeysaa suugaanta canonical ee Girard iyo Peirce, mana jiraan wax la mid ah hirgelinta dhabta ah.
Intaa waxaa dheer, semantiga rasmiga ah ee luqadda la filayo inay ka muuqdaan meel-marin ama dukumeenti midna. Luqadda waa yar tahay in lagu helo caddayn dhammaystiran oo semantics sax ah gudaha Coq ama Isabelle. Xaqiiqda, dhame-ilaa-dhammaad isku-dubarid dhammaystiran oo beddelaad ah oo leh wareejinta caddaynta bytecode waa suurtogal in la hirgeliyo qalab casri ah oo la hindisay tobankii sano ee la soo dhaafay. Waan ognahay sida loo sameeyo, laga bilaabo dib u 1996.
Marka loo eego aragtida aragtida barnaamijka, suurtagal maaha in la tijaabiyo sheegashada ah in Dhaqdhaqaaqu yahay luqad la isku halayn karo oo sugan, maadaama sheegashooyinkani ay yihiin gacan-ku-haynta saafi ah iyo suuqgeyn halkii caddayn dhab ah laga heli lahaa. Tani waxay xaalad naxdin leh ku tahay mashruuc luqadeed oo la waydiinayo inuu ka shaqeeyo balaayiin doolar oo wax kala iibsiga ah.
Sifeynta miinada waa cillad
Dhisidda nidaamyo qarsoodi ah oo ammaan ah waa mushkilad injineernimo oo aad u adag, waxaana had iyo jeer ugu wanaagsan in la wajaho la shaqaynta koodka khatarta ah oo leh qiyaas wanaagsan oo miyir-beeleed caafimaad qaba. Waxaa jira horumarro waaweyn oo aaggan ah, sida mashruuca Microsoft Everest, kaas oo dhisaya ammaan la xaqiijin karo . Qalab ayaa horeba u jiray si loo abuuro waxyaabo hore oo la xaqiijin karo. Inkasta oo ay tani qaali tahay, haddana waxa iska cad in aanay dhaafin awoodaha dhaqaale ee Facebook. Si kastaba ha ahaatee, kooxda ayaa go'aansatey in aysan ka qaybgalin mashruuca, kaas oo lagu dhawaaqay inuu yahay aasaas la isku halleyn karo oo loogu talagalay nidaamka maaliyadeed ee caalamiga ah.
mashruuca maktabadda laga soo bilaabo dhowr maktabadood oo cadaalad ah oo cusub oo loogu talagalay abuurista nidaamyada crypto-tijaabinta ee soo muuqday dhowrkii sano ee la soo dhaafay. Suuragal maaha in la sheego in ku tiirsanaanta qalabkan soo socdaa ay badbaado yihiin iyo in kale, mar haddii mid ka mid ah maktabadahaas aan la hubin oo aanay lahayn siyaasadaha siidaynta caadiga ah. Gaar ahaan, maktabadaha xudunta u ah qaar ka mid ah ma jiraan wax hubaal ah oo ku saabsan ka ilaalinta weerarrada kanaalka-dhinacyada iyo weerarrada waqtiga.
Maktabadu waxay noqotaa mid tijaabo ah oo ka sii gudubta , adeegsiga farsamooyin cusub oo ay ka mid yihiin hawlo random ah oo la xaqiijin karo (VRFs), lammaane laba-labo ah, iyo saxeexyada bilowga. Hababkan iyo maktabadahani waxay noqon karaan kuwo macquul ah, laakiin isku darka dhamaantood hal nidaam ayaa kor u qaadaya walaacyo halis ah oo ku saabsan aagga dusha sare ee weerarka. Isku darka dhammaan qalabkan cusub iyo farsamooyinka ayaa si weyn u kordhinaya kakanaanta caddaynta amniga.
Waa in la qiyaasaa in dhammaan kaydkan cryptographic ay u nugul yihiin weeraro kala duwan ilaa laga caddeeyo si kale. Qaabka caanka ah ee 'Move Fast and Break Things' ee Facebook laguma dabaqi karo aaladaha sirta ah ee socodsiiya xogta maaliyadeed ee macaamiisha.
Miisaanka ayaa ku guuldareysta inay fuliso hababka ilaalinta macaamiisha
Sifada gaarka ah ee nidaamka lacag-bixinta waa awoodda dib-u-soo-celinta wax kala iibsiga haddii lacag-bixinta lagu baabiiyo dacwad ama ay horseeddo shil ama nidaam fashil. Nidaamka Miisaanka waxaa loo qaabeeyey inuu "dhameystiran yahay" oo kuma jiro nooca wax kala iibsiga ee joojinta lacag bixinta. Boqortooyada Midowday (UK), dhammaan lacagaha u dhexeeya Β£100 iyo Β£30,000 waxay hoos imaanayaan sharciga amaahda macaamiisha. Tani waxay ka dhigan tahay in nidaamka lacag bixinta uu la wadaago mas'uuliyadda iibiyaha haddii ay dhacdo dhibaato alaabta la soo iibsaday ama haddii qaataha lacag bixinta uusan bixin adeegga. Xeerar la mid ah ayaa ka jira Midowga Yurub, Aasiya iyo Waqooyiga Ameerika.
Naqshadaynta Libra ee hadda kuma jirto hab-maamuus lagu dhaqmo sharciyadan mana lahan qorshe cad oo mid lagu abuurayo. Xitaa ka sii daran, marka loo eego qaab-dhismeedka, kama dambaysta ah ee qaab dhismeedka xogta la xaqiijiyay ee kernel, ee ku salaysan xaaladda wadista Merkle, ma ogola wax farsamo ah oo lagu abuurayo borotokoolka noocaas ah iyada oo aan dib loo habeynin kernel-ka.
Ka dib marka aan samayno dib u eegis farsamo ee mashruucan, waxaan ku soo gabagabeyn karnaa in aysan si fudud u gudbin doonin cilmi baarista nidaamyada la ixtiraamo ee la ixtiraamo ama joornaalka injineernimada maaliyadeed. Si loo isku dayo in la beddelo siyaasadda lacagta caalamiga ah, shaqo farsamo oo aad u badan ayaa loo baahan yahay in la sameeyo si loo abuuro shabakad la isku halayn karo iyo habayn sugan oo xogta isticmaalaha ah oo dadweynaha iyo maamulayaashu ku kalsoonaan karaan.
Ma arko sabab aan ku rumaysto in Facebook ay samaysay shaqadii lagama maarmaanka u ahayd naqshadeeda si ay uga gudubto dhibaatooyinkan farsamo ama inay leedahay faa'iidooyin farsamo marka loo eego kaabayaasha hadda jira. In la sheego in shirkaddu ay u baahan tahay dabacsanaan sharciyeed si ay u sahamiso hal-abuurnimada ma aha cudur daar ah in aan marka hore la samayn.
Source: www.habr.com