Piştî du salan, ez vegeriyam blogê ji bo postek ku ji dersên bêzar ên gelemperî yên di derbarê Haskell û matematîkê de cûda dibe. Ez van çend salên borî li YE li ser fintech dixebitim û wusa dixuye ku dem hatiye ku ez li ser mijarek binivîsim ku hindik bala medyaya teknolojiyê kişandiye.
Facebook vê dawiyê ya ku jê re "platformek karûbarên darayî ya nû" bi navê Libra jê re vedibêje. Ew wekî pergalek danûstendina dîjîtal li ser bingeha selikek diravên navneteweyî ku li ser "zincîra blokê" têne rêvebirin û di hewzek drav a ku ji Swîsreyê ve tê rêvebirin de têne hilanîn tête cîh kirin. Armancên projeyê azwerî ne û encamên jeopolîtîk ên mezin pêk tîne.
В и Gelek gotarên maqûl ên li ser texmînên diravî û aborî yên nerast ên li pişt pergala darayî ya pêşniyarkirî. Lê ne bes pisporên ku bikaribin ji hêla teknîkî ve analîz bikin hene. Ne pir kes li ser binesaziya darayî dixebitin û bi gelemperî li ser xebata xwe diaxivin, ji ber vê yekê ev proje di medyaya teknolojiyê de zêde cîh nagire, her çend hundurê wê ji cîhanê re vekirî ye. Mebesta min çavkaniya vekirî ya di depoyan de ye и .
Ya ku ji cîhanê re vekirî ye hunerek mîmarî ya şîzofrenîkî ye ku bi îdiaya ku ew platformek ewledar e ji bo binesaziya dravdana gerdûnî.
Ger hûn di binyada kodê de bikevin, pêkanîna rastîn a pergalê bi tevahî ji armanca diyarkirî, û bi awayên herî ecêb dûr dikeve. Ez bawer im ku ev proje xwedan dîrokek pargîdaniyek balkêş e. Ji ber vê yekê mentiqî ye ku meriv texmîn bike ku ew bi hûrgulî hatî sêwirandin, lê di rastiyê de ez komek biryarên mîmarî yên bi rastî ecêb dibînim ku tevahiya pergalê dişkîne û bikarhêneran dixe xeterê.
Ez ê wekî pargîdaniyek li ser Facebook-ê xwedan ramanek objektîf nekim. Di pîşesaziya IT-ê de hindik kes bi sempatî li wê dinêrin. Lê berawirdkirina daxuyaniyên wê û koda weşandî bi zelalî nîşan dide ku armanca diyarkirî di bingeh de xapandin e. Bi kurtasî ev proje hêzê nade tu kesî. Ew ê bi tevahî di bin kontrola pargîdaniyek de bimîne ku karsaziya reklama wê ew qas di nav skandal û gendeliyê de ye ku ji bilî hewldana cûrbecûrkirina drav û krediya xwe ji bo saxbûnê neçar e. Armanca zelal a demdirêj ew e ku meriv di gihandina xerîdaran a krediyê de li ser bingeha daneyên medyaya civakî ya kesane wekî brokerek daneyê û navbeynkar tevbigere. Ev çîrokek bêkêmasî tirsnak û tarî ye ku bala xwe nagire ku heq dike.
Tenê xêra rizgariya vê çîrokê ev e ku hunera ku wan afirandiye ew qas bi kêfî ji peywira di dest de negunca ye ku ew tenê dikare wekî kiryarek hovîtiyê were dîtin. Di vê projeyê de çend xeletiyên mîmarî yên mezin hene:
Çareserkirina Pirsgirêka Generalên Bîzansî di Tora Kontrola Gihîştinê de Sêwiranek Nakok e
Pirsgirêka generalên Bîzansî deverek pir teng a lêkolîna pergalên belavbûyî ye. Ew şiyana pergalek torê diyar dike ku li hember têkçûnên pêkhateyên bêserûber bisekine dema ku kiryarên rastkirinê ji bo xebata pergalê krîtîk digire. Pêdivî ye ku torgilokek berxwedêr li hember çend celeb êrîşan bisekinin, di nav de ji nû ve destpêkirin, qutbûn, barkirinên xirab, û dengdana xerab di hilbijartinên serokatiyê de. Ev biryara sereke ji bo mîmariya Libra ye, û li vir bi tevahî bêwate ye.
Tevliheviya demê ya vê avahiyek zêde bi algorîtmayê ve girêdayî ye. Li ser guhertoyên protokolên Paxos û Raft ên ku pirsgirêka generalên Bîzansî çareser dikin, gelek wêje hene, lê van hemî avahî ji bo ragihandinê sermayek zêde didin. 
ji bo parastina quorumê. Ji bo Libra, wan algorîtmayek bi lêçûna ragihandinê ya herî bilind hilbijart di rewşa têkçûna serokatiyê de. Û ji nû-hilbijartina potansiyel a serokan li seranserê cûrbecûr bûyerên têkçûna torê sermayek zêde heye.
Ji bo pergalek ku di nav konsorsiyûmek pargîdaniyên pirneteweyî yên pir bi rêkûpêk de dixebite, ku hemî bikarhêner xwedan kodek ji hêla Facebook-ê ve hatî îmze kirin û gihîştina torê ji hêla Facebook ve tê kontrol kirin, bi tenê ne wate ye ku meriv beşdarên xerab di asta lihevkirinê de bihesibîne. Ne diyar e çima ev pergal dê pirsgirêka generalên Bîzansî jî çareser bike, ne ku tenê şopek kontrolê ya domdar biparêze da ku lihevhatinê kontrol bike. Ihtîmala ku girêkek Libra ku ji hêla Mastercard an Andressen Horrowitz ve ji nişka ve dest bi xebitandina koda xirab bike, senaryoyek ecêb e ku meriv jê re plansaz dike û bi tenê bi misogerkirina yekparebûna protokolê û rêyên ne-teknîkî (ango qanûnî) çêtir tête çareser kirin.
Şahidiya Kongreyê hilberek wekî hevrikek protokolên dravdana navneteweyî yên nû yên wekî WeChat, Alipay û M-Pesa binav kir. Lêbelê, yek ji van pergalan nehatine sêwirandin ku li ser hewzên erêkirinê bixebitin da ku pirsgirêka generalên Bîzansî çareser bikin. Ew bi tenê li ser otobusek kevneşopî ya bi firehiya bilind a kevneşopî têne sêwirandin ku têl li gorî rêzek qaîdeyên sabît çêdike. Ev nêzîkatiyek xwezayî ye ji bo sêwirana pergalek dravdanê. Baş dîzaynkirin pergala dravdanê bi tenê dê pirsgirêka lêçûnên ducarî û forksê çênebe.
Zêdebûna algorîtmaya lihevhatinê tu pirsgirêkê çareser nake û tenê rêça pergalê bêyî sedemek din ji xeynî kulta bargiraniya bloka giştî, ya ku ji bo vê doza karanîna ne armanc e, sînordar dike.
Libra nepeniya danûstendinê tune
Li gorî belgeyan, pergal li ber çavan hatiye çêkirin pseudonymity, ango navnîşanên ku di protokolê de têne bikar anîn ji bişkokên gelemperî yên li ser kelûpelên elîptîk têne wergirtin û metadata li ser hesaban nagirin. Lêbelê, li ti deverek di danasîna strukturên rêvebirinê de ji bo rêxistinê an di protokolê de bixwe de nayê destnîşan kirin ka daneyên aborî yên ku di danûstendinan de têkildar in dê çawa ji erêkeran werin veşartin. Pergal hatiye dîzaynkirin ku danûstendinên di asteke mezin de ji gelek aliyên derve re dubare bike ku, li gorî qanûnên heyî yên nepeniya bankê yên Ewropî û Dewletên Yekbûyî, divê ji hûrguliyên aborî nepenî bin.
Hevrêzkirina polîtîkayên daneyê li seranserê welatan dijwar e, nemaze ji ber qanûn û rêzikên cihêreng ên di dadwerên cihêreng de bi nêrînên çandî yên cihêreng ên li ser parastina daneyan û nepenîtiyê têne dayîn. Protokol bixwe bi xweber bi tevahî ji endamên konsorsiyumê re vekirî ye, ku ev kêmasiyek teknîkî ya zelal e ku daxwazên ku ji bo wan hatî sêwirandin pêk nayê.
Libra HotStuff BFT nekare rêgezek ku ji bo pergalek dravdanê hewce dike bi dest bixe
Li Keyaniya Yekbûyî, pergalên paqijkirinê yên mîna BAC dikarin mehê bi qasî 580 danûstendinan bikin. Di heman demê de, pergalên pir xweşbînkirî yên mîna Visa dikarin rojane 000 danûstandinan bikin. Performansa li gorî mezinahiya danûstendinê, rêvekirina torê, barkirina pergalê, û (dijî şûştina pereyan, planên şûştina pereyan).
Libra hewl dide ku pirsgirêkên ku bi rastî ji bo veguheztinên navxweyî ne pirsgirêk in çareser bike, ji ber ku dewletên netewe di deh salên borî de binesaziya paqijkirina xwe nûjen kirine. Ji bo xerîdarên firotanê yên li Yekîtiya Ewropî, barkirina drav qet ne pirsgirêk e. Li ser binesaziya kevneşopî, ev dikare bi têlefonek standard di nav saniyan de were kirin. Ji bo veguheztinên pargîdaniyên mezin, mekanîzma û rêzikên cihêreng ên ku bi barkirina mîqdarên mezin ên drav ve girêdayî ne hene.
Ti sedemek teknîkî tine ye ku çima dravdanên der-sînor jî nekarin tavilê werin pêvajo kirin, ji bilî cûdahiyên di rêzik û hewcedariyên di navbera dadweriyên têkildar de. Ger di qonaxên cihêreng ên zincîra danûstendinê de tedbîrên pêşîlêgirtinê yên pêwîst (lêkolîna xerîdar, kontrolên cezayan, hwd.) gelek caran bêne kirin, dibe ku ev yek bibe sedema derengkirina danûstendinê. Lêbelê, ev dereng bi tenê fonksiyonek qanûnên birêkûpêk û lihevhatinê ye, ne teknolojiyê.
Ji bo xerîdaran, sedemek tune ku danûstendinek Keyaniya Yekbûyî di çend hûrdeman de zelal nebe. Danûstandinên firotanê yên li YE bi rastî hêdî dibin (Xerîdarê xwe nas bikin) û qedexeyên AML-ê yên ku ji hêla hukûmet û sazûmanan ve hatine ferz kirin, ku bi heman rengî li ser dravdanên Libra-yê têne sepandin. Tewra ku Facebook astengiyên li hember veguheztinên der-sînor û veguheztinên daneya taybet derbas bike, modela pêşniyarkirî bi sedan kes-sal dûrî danûstendina gerdûnî ye û dibe ku hewce bike ku ji nû ve were sêwirandin.
Zimanê Libra Move çewt e
Kaxeza spî li ser zimanek nû, neceribandinî ya bi navê Move îdîayên wêrek dike. Van gotinan ji hêla teoriya zimanê bernamekirinê (PLT) ve pir gumanbar in.
Move ji bo pêkanîna mantiqa danûstendina xwerû û peymanên biaqil ên li ser zincîra bloka Libra, zimanek bernamenûsek nû ye. Ji ber ku Libra armanc dike ku rojekê ji bi mîlyaran mirovan re xizmet bike, Move bi ewlehiyê wekî pêşînek sereke hatî sêwirandin.
Taybetmendiyek sereke ya Move ev e ku meriv bi semantîkên ku ji mentiqê xêzikî ve hatî îlhama kirin celebên çavkaniyê yên kêfî diyar bike.
Di zincîreyên giştî de, peymanên jîr bi mantiqa torên giştî yên bi hesabên escrow, şûştina drav, weşandina token OTC, û qumar re rû bi rû dimînin. Hemî ev bi zimanek bêkêmasî hatî sêwirandin bi navê Solidity, ku ji hêla akademîk ve nivîskarê PHP-ê wekî jêhatî xuya dike. Pir ecêb e, zimanê nû ji Facebookê dixuye ku ti têkiliya wan bi van teknolojiyên re tune ye, ji ber ku ew bi rastî zimanek nivîsandinê ye ku ji bo mebestên pargîdaniya ne diyar e.
Di defterên belavkirî yên taybet de, peymanên biaqil yek ji wan şertan in ku ji hêla şêwirmendan ve bêyî girîngîdana pênase an armancek zelal têne avêtin. Şêwirmendên nermalava pargîdaniyê bi gelemperî ji nezelaliyê drav didin, û peymanên biaqil apotheoza tarîtiya pargîdanî ne ji ber ku ew dikarin bi rastî wekî her tiştî bêne destnîşan kirin.
Piştî ku em îdiayên li ser ewlekariya wê dikin, divê em li semantîka ziman binihêrin. Rastiya di teoriya zimanê bernamesaziyê de bi gelemperî ji du delîlên cûda pêk tê: "pêşketin" û "parastin", ku hevahengiya tevahiya cîhê rêzikên nirxandina ziman diyar dikin. Bi taybetî, di teoriya celebê de, fonksiyonek "xêz" e heke ew argumana xwe tam carekê bikar bîne, û "affine" heke herî zêde carekê bikar bîne. Pergala tîpa xêzikî garantiya statîk peyda dike ku fonksiyonek xêzikî ya diyarkirî bi rastî xêz e, bi veqetandina celeban li hemî jêrbêjên fonksiyonê û şopandina cihê ku bang lê têne kirin. Ev taybetmendiyek nazik e ku îsbat dike û ne hêsan e ku meriv ji bo tevahî bernameyek bicîh bîne. Tîpkirina xêzik hîn jî qadek lêkolînê ya pir akademîk e, ku di bin bandora pêkanîna taybetmendiya celebê li Paqij û xwedaniya celebê li Rust de ye. Hin pêşniyarên pêşîn hene ku ji bo lêzêdekirina celebên xêzik li Berhevkara Glasgow Haskell.
Daxuyaniya Move ya di derbarê karanîna celebên xêzik de mîna davêtinek nederbasdar di berhevkerê de xuya dike, ji wir . Bi qasî ku meriv dikare bibêje, papirtik wêjeya kanonîkî ji Girard û Peirce vedibêje, û di pêkanîna rastîn de tiştek wusa tune.
Wekî din, semantîka fermî ya zimanê bi guman ewledar ne di pêkanîn û ne jî di belgeyê de xuya nake. Ziman têra xwe piçûk e ku di Coq an Isabelle de delîlek bêkêmasî ya semantîka rast bibîne. Di rastiyê de, berhevkarek veguheztina tevahî ya dawî-bi-dawî bi veguheztina delîl berbi bytecode bi amûrên nûjen ên ku di deh salên paşîn de hatine vedîtin pir gengaz e ku were bicîh kirin. Em dizanin çawa bikin, dest pê bikin dîsa di sala 1996 de.
Ji perspektîfa teoriya zimanê bernamesaziyê, ne mimkûn e ku meriv îdîaya ku Move zimanek pêbawer û ewledar e biceribîne, ji ber ku ev îddîa ji bilî delîlên rastîn bi destan û kirrûbirra paqij in. Ev rewşek metirsîdar e ji bo projeyek zimanî ku tê xwestin ku bi mîlyaran dolar danûstendinan bike.
Krîptografiya Libra xelet e
Avakirina krîptosîstemên ewledar pirsgirêkek endezyariyê pir dijwar e, û her gav çêtirîn e ku meriv bi dozek baş a paranoya saxlem nêzikî xebata bi kodek xeternak bibe. Di vî warî de serketinên mezin hene, mîna projeya Microsoft Everest, ku ewlehiyek verastkirî ava dike . Amûrên jixwe hene ji bo afirandina primitives verastkirî. Her çend ev biha ye, ew eşkere ne ji kapasîteyên aborî yên Facebookê wêdetir e. Lêbelê, tîmê biryar da ku beşdarî projeyê nebe, ku wekî bingehek pêbawer ji bo pergala darayî ya cîhanî hate ragihandin.
projeya pirtûkxaneyê ji çend pirtûkxaneyên pir nû ji bo afirandina pergalên krîpto yên ceribandinê yên ku tenê di van çend salên dawî de derketine. Ne gengaz e ku meriv bêje ka girêdayî amûrên jêrîn ewle ne an na, ji ber ku yek ji van pirtûkxaneyan nehatine kontrol kirin û ne xwediyê polîtîkayên eşkerekirina standard in. Bi taybetî, ji bo hin pirtûkxaneyên bingehîn di derbarê parastina li dijî êrişên kanala alî û êrişên demkî de bê guman tune.
Pirtûkxane hîn bêhtir ezmûnî dibe û wêdetir diçe , sepandina teknîkên pir nû yên wekî fonksiyonên rasthatî yên verastkirî (VRFs), cotên dualî, û îmzeyên sînor. Dibe ku ev rêbaz û pirtûkxane maqûl bin, lê berhevkirina wan hemî di yek pergalê de fikarên cidî di derbarê qada êrişê de zêde dike. Kombûna van hemî amûr û teknîkên nû tevliheviya îsbatkirina ewlehiyê pir zêde dike.
Pêdivî ye ku meriv texmîn bike ku ev tevahiya stoka krîptografî ji êrîşên cûrbecûr xeternak e heya ku berevajî îsbat bike. Modela navdar a 'Tiştên Bilez Biçe û Bişkîne' ya Facebook-ê nikare li ser amûrên krîptografî yên ku daneyên darayî yên xerîdar pêvajoyê dikin were sepandin.
Libra nekare mekanîzmayên parastina xerîdar bicîh bîne
Taybetmendiyek cihêreng a pergala dravdanê ev e ku meriv karibe danûstendinek paşde vegerîne heke drav bi dozek betal bibe an bibe sedema têkçûnek qezayî an pergalê. Pergala Libra wekî "temam" hatî sêwirandin û celebek danûstendinê ji bo betalkirina dravdanê nagire. Li Keyaniya Yekbûyî, hemî dravê di navbera 100 £ û 30,000 £ de girêdayî Qanûna Krediya Serfkaran e. Ev tê vê wateyê ku pergala dravdanê di bûyera pirsgirêkek hilbera kirî de an ger wergirê drav karûbar peyda neke berpirsiyariyê bi firoşker re parve dike. Rêgezên bi vî rengî li YE, Asya û Amerîkaya Bakur derbas dibin.
Sêwirana heyî ya Librayê protokolek ku li gorî van qanûnan tevnegere û ji bo afirandina yekê nexşeyek zelal tune. Ya xirabtir jî, ji perspektîfek mîmarî, dawîbûna strukturên daneya pejirandî ya kernelê, ku li ser bingeha rewşa ajokera Merkle-yê ye, rê nade ku tu mekanîzmayek wusa protokolek bêyî dîzaynkirina kernelê biafirîne.
Piştî ku vekolînek teknîkî ya vê projeyê, em dikarin encam bidin ku ew ê tenê di lêkolînek pergalên belavkirî yên rêzdar an kovara endezyariya darayî de derbas nebe. Ji bo ku hûn hewl bidin ku polîtîkaya diravî ya gerdûnî biguhezînin, pêdivî ye ku xebatek teknîkî ya pir mezin were kirin da ku torgilokek pêbawer û pêvajoyek ewledar a daneyên bikarhêner ku gel û sazûman dikarin pê bawer bin were afirandin.
Ez tu sedemek nabînim ku ez bawer bikim ku Facebook di sêwirana xwe de xebata pêwîst kiriye da ku van pirsgirêkên teknîkî derbas bike an jî ku ew xwedan avantajên teknîkî li ser binesaziya heyî ye. Dibêjin ku pargîdaniyek pêdivî bi nermbûnek birêkûpêk heye da ku nûjeniyan keşif bike, ne hincet e ku pêşî wan neke.
Source: www.habr.com