Mgbe afọ abụọ gachara, m laghachiri na blọọgụ maka ọkwa dị iche na nkuzi na-agwụ ike na mbụ gbasara Haskell na mgbakọ na mwepụ. Anọ m na-arụ ọrụ na fintech na EU n'ime afọ ole na ole gara aga ma ọ dị ka oge eruola ide banyere isiokwu na-enweta obere nlebara anya site na mgbasa ozi teknụzụ.
Facebook wepụtara n'oge na-adịbeghị anya ihe ọ kpọrọ "usoro ọrụ ego ọhụrụ" a na-akpọ Libra. A na-edobe ya dị ka usoro nhazi dijitalụ dabere na nkata nke ego mba ụwa nke a na-achịkwa na "blockchain" ma chekwaa na ọdọ mmiri ego ejiri na Switzerland. Ebumnobi nke oru ngo a nwere oke ochicho ma na-ebute nsonaazụ geopolitical buru ibu.
В и Ọtụtụ akụkọ ezi uche dị na ya banyere echiche ego na-adịghị mma na nke akụ na ụba n'azụ usoro ego a chọrọ. Mana ọ nweghị ndị ọkachamara zuru oke nwere ike nyocha site na echiche teknụzụ. Ọ bụghị ọtụtụ ndị na-arụ ọrụ na akụrụngwa ego ma na-ekwu okwu n'ihu ọha banyere ọrụ ha, ya mere, ọrụ a anaghị enweta ọtụtụ mkpuchi na mgbasa ozi teknụzụ, ọ bụ ezie na innards ya na-emeghe ụwa. M pụtara mepere emepe na ebe nchekwa и .
Ihe ghere oghe nye ụwa bụ ihe arụrụ arụ schizophrenic na-ekwu na ọ bụ ebe nchekwa maka akụrụngwa ịkwụ ụgwọ zuru ụwa ọnụ.
Ọ bụrụ na ị banye n'ime koodu koodu ahụ, mmejuputa iwu nke usoro ahụ na-apụ kpamkpam site na ebumnuche ekwuru, na n'ụzọ kachasị njọ. Eji m n'aka na ọrụ a nwere akụkọ ụlọ ọrụ na-adọrọ mmasị. Ya mere, ọ bụ ihe ezi uche dị na ya iche na e mere ya na ụfọdụ ịdị uchu, ma n'ezie m na-ahụ a n'ezie iju set nke ụkpụrụ ụlọ na-agbaji dum usoro na-etinye ọrụ n'ihe ize ndụ.
Agaghị m eme ka m nwere ebumnuche ebumnuche gbasara Facebook dịka ụlọ ọrụ. Ọ bụ mmadụ ole na ole nọ na ụlọ ọrụ IT na-ele ya anya na ọmịiko. Ma ntụnyere okwu ya na koodu e bipụtara na-egosi n'ụzọ doro anya na ebumnuche ekwuru bụ aghụghọ n'ụzọ bụ isi. Na nkenke, ọrụ a anaghị enye onye ọ bụla ike. Ọ ga-anọgide kpamkpam n'okpuru nchịkwa nke ụlọ ọrụ mgbasa ozi mgbasa ozi ya jupụtara na nrụrụ aka na nrụrụ aka nke na ọ nweghị ihe ọzọ ọ ga-eme ma ọ bụghị ịgbalị ịgbasa ụgwọ ya na akara kredit ka ọ dị ndụ. Ebumnuche doro anya ogologo oge bụ ime ihe dị ka onye na-ere ahịa data na onye na-ahụ maka ndị na-azụ ahịa nweta kredit dabere na data mgbasa ozi ọha mmadụ nkeonwe ha. Nke a bụ akụkọ na-atụ egwu nke ukwuu nke na-adịghị enweta nlebara anya kwesịrị ya.
Naanị amara nzọpụta nke akụkọ a bụ na artifact ha kere na-atọ ụtọ nke na-adabaghị na ọrụ dị n'aka nke na enwere ike ịhụ ya dị ka ihe ngosi. Enwere ọtụtụ nnukwu mperi ụkpụrụ ụlọ na ọrụ a:
Ịdozi nsogbu ndị isi Byzantine n'ime netwọk njikwa ohere bụ ihe na-ekwekọghị ekwekọ
Nsogbu nke ndị isi Byzantine bụ mpaghara dị warara nke nyocha nke sistemụ kesara. Ọ na-akọwa ikike nke sistemụ netwọkụ iji guzogide ọdịda akụrụngwa na-enweghị usoro ka ọ na-eme ihe ndozi dị oke mkpa maka ịrụ ọrụ nke sistemụ. Netwọk na-agbanwe agbanwe ga-anagide ụdị ọgụ dị iche iche, gụnyere ịmalitegharị, ọpụpụ, ibu ọjọọ, na ntuli aka ọjọọ na ntuli aka ndị isi. Nke a bụ mkpebi bụ isi maka ihe owuwu Libra, na ọ nweghị isi ebe a.
Ogologo oge dị mgbagwoju anya nke usoro mgbakwunye a dabere na algọridim. Enwere ọtụtụ akwụkwọ na ụdị dị iche iche nke usoro Paxos na Raft na-edozi nsogbu ndị isi ndị Byzantium, mana ihe ndị a niile na-ewebata ihe ndị ọzọ maka nkwurịta okwu. 
idowe quorum. Maka Libra, ha họọrọ algọridim nwere ọnụ ahịa nkwukọrịta kachasị elu l'ọ -bụru lẹ ndu-ishi ndu ojọgu. Ma enwere ego ọzọ site na nhọpụta ọzọ nke ndị isi n'ofe ọtụtụ ụdị mmemme ọdịda netwọkụ.
Maka sistemụ na-arụ ọrụ n'ime njikọ nke ụlọ ọrụ dị iche iche na-achịkwa nke ukwuu, ebe ndị ọrụ niile nwere koodu Facebook bịanyere aka na ịnweta netwọk na Facebook na-achịkwa, ọ bụghị ihe ezi uche dị na ya ịtụle ndị sonyere n'omume ọjọọ na ọkwa nkwekọrịta. O doghị anya ihe kpatara na usoro a ga-edozi nsogbu nke ndị isi Byzantine, kama ịnọgide na-enwe usoro nyocha na-agbanwe agbanwe iji lelee nnabata. Ohere nke oghere Libra nke Mastercard ma ọ bụ Andressen Horrowitz na-agba na mberede na-amalite na-agba ọsọ koodu ọjọọ bụ ọnọdụ dị njọ iji mee atụmatụ maka ma na-edozi ya nke ọma site n'ịhụ na iguzosi ike n'ezi ihe na usoro na-abụghị nke nkà na ụzụ (ya bụ iwu) pụtara.
Akaebe ndị Congress gbara ụgwọ ngwaahịa ahụ dị ka onye na-asọmpi na usoro ịkwụ ụgwọ mba ụwa ọhụrụ dị ka WeChat, Alipay na M-Pesa. Otú ọ dị, ọ dịghị nke ọ bụla n'ime usoro ndị a e mere ka ọ na-agba ọsọ na ọdọ mmiri ndị kwadoro iji dozie nsogbu ndị isi Byzantine. Emebere ha naanị na bọs nwere bandwidth ọdịnala ọdịnala nke na-eme wiring dịka usoro iwu edobere siri dị. Nke a bụ ụzọ ebumpụta ụwa maka imepụta usoro ịkwụ ụgwọ. Haziri nke ọma usoro ịkwụ ụgwọ agaghị ezute nsogbu nke mmefu ego okpukpu abụọ na ndụdụ.
N'elu nke nkwekọrịta nkwekọrịta algorithm adịghị edozi nsogbu ọ bụla ma na-egbochi ntinye nke usoro ahụ n'enweghị ihe ọ bụla ọzọ karịa òtù nzuzo nke blockchain ọha, nke na-abụghị maka ikpe a.
Libra enweghị nzuzo azụmahịa
Dị ka akwụkwọ ahụ si kwuo, a na-emepụta usoro ahụ na-eburu n'uche pseudonymity, ya bụ, adrees ndị a na-eji na protocol enwetara site na igodo ọha na mgbanaka elliptic na enweghị metadata gbasara akaụntụ. Otú ọ dị, ọ dịghị ebe ọ bụla na nkọwa nke usoro ọchịchị maka nzukọ ma ọ bụ na protocol n'onwe ya ka ọ na-egosi otú a ga-esi zoo data akụ na ụba na-etinye aka na azụmahịa n'aka ndị nkwado. Emebere usoro a iji megharịa azụmahịa n'ọtụtụ buru ibu gaa n'ọtụtụ ndị ọzọ na-apụ apụ bụ ndị, n'okpuru iwu nzuzo ụlọ akụ nke Europe na US, ekwesịghị ịnọ na nzuzo na nkọwa akụ na ụba.
Amụma data n'ofe mba siri ike ịhazi, ọkachasị nyere iwu na ụkpụrụ dị iche iche na ikike dị iche iche nwere echiche ọdịbendị dị iche iche na nchekwa data na nzuzo. Usoro ahụ n'onwe ya na-emeghe kpamkpam nye ndị otu nkwekọrịta, nke bụ mmejọ teknụzụ doro anya nke na-emezughị ihe achọrọ maka ya.
Libra HotStuff BFT enweghị ike imezu mmepụta ihe achọrọ maka usoro ịkwụ ụgwọ
Na UK, usoro ikpochapụ dị ka BAC nwere ike ijikwa azụmahịa 580 kwa ọnwa. N'otu oge ahụ, usoro kachasị mma dị ka Visa nwere ike ịhazi azụmahịa 000 kwa ụbọchị. Ịrụ ọrụ dịgasị iche dabere na nha azụmahịa, ụzọ netwọkụ, ibu sistemu, na (mgbochi mpụ ego, atụmatụ ịkwanye ego).
Libra na-anwa idozi nsogbu ndị na-abụghị ezigbo nsogbu maka mbufe ụlọ, dịka mba mba emezigharịrị akụrụngwa mkpochapụ ha n'ime afọ iri gara aga. Maka ndị ahịa na-ere ahịa na European Union, ịkwaga ego abụghị nsogbu ma ọlị. Na akụrụngwa ọdịnala, enwere ike iji ekwentị ọkọlọtọ mee nke a na sekọnd. Maka nnukwu nnyefe ụlọ ọrụ, e nwere usoro dị iche iche na iwu metụtara ịkwaga nnukwu ego.
Enweghị ọrụ aka mere na enweghịkwa ike ịhazi ịkwụ ụgwọ n'oke ala ozugbo, karịa ndịiche na iwu na ihe achọrọ n'etiti ikike ndị dị mkpa. Ọ bụrụ na a na-eme ihe mgbochi ndị dị mkpa (nleba anya nke ndị ahịa, nlele mmachi, wdg) ọtụtụ ugboro na ọkwa dị iche iche nke usoro azụmahịa, nke a nwere ike ịkpata igbu oge na azụmahịa ahụ. Agbanyeghị, igbu oge a bụ naanị ọrụ nke usoro iwu na nnabata, ọ bụghị teknụzụ.
Maka ndị na-azụ ahịa, ọ nweghị ihe kpatara na azụmahịa UK agaghị ekpochapụ n'ime ihe nke sekọnd. Azụmahịa azụmaahịa na EU na-eji nwayọ nwayọ n'ezie (Mara onye ahịa gị) yana mmachi AML nke gọọmentị na ndị na-achị achị nyere, nke na-emetụta nha nha na ịkwụ ụgwọ Libra. Ọbụlagodi na Facebook ga-emeri ihe mgbochi ndị na-enyefefe oke na nnyefe data nkeonwe, ihe atụ a tụrụ aro bụ ọtụtụ narị afọ mmadụ site na ntinye azụmahịa zuru ụwa ọnụ, ọ ga-abụkwa na ọ ga-adị mkpa ka emegharịa ya site na ọkọ.
Asụsụ Move Libra ezighi ezi
Akwụkwọ ọcha ahụ na-ekwupụta nkwuwa okwu gbasara asụsụ ọhụrụ a na-anwalebeghị nke a na-akpọ Move. Okwu ndị a na-enyo enyo site n'echiche nke usoro asụsụ mmemme (PLT).
Move bụ asụsụ mmemme ọhụrụ maka mmejuputa mgbagha azụmahịa omenala yana nkwekọrịta smart na Libra blockchain. N'ihi na Libra chọrọ otu ụbọchị ijere ọtụtụ ijeri mmadụ ozi, e mere Move na nchekwa dị ka ihe kacha mkpa.
Otu akụkụ dị mkpa nke Move bụ ikike ịkọwapụta ụdị akụrụngwa na-ezighi ezi na semantics sitere n'echiche ziri ezi.
N'ime blockchains ọha, nkwekọrịta smart na-eche echiche nke netwọk ọha na eze nwere akaụntụ escrow, ịkwanye ego, nnyefe OTC, na ịgba chaa chaa. A na-eme ihe ndị a niile n'asụsụ a haziri nke ọma nke na-adịghị mma nke a na-akpọ Solidity, nke sitere n'ihe ọmụmụ na-eme ka onye dere PHP dị ka onye nwere ọgụgụ isi. N'ụzọ dị ịtụnanya, asụsụ ọhụrụ sitere na Facebook yiri ka ọ nweghị ihe jikọrọ ya na teknụzụ ndị a, ebe ọ bụ n'ezie asụsụ ederede ezubere maka ebumnuche ụlọ ọrụ nzuzo.
N'ime akwụkwọ akụkọ na-ekesa nkeonwe, nkwekọrịta smart bụ otu n'ime okwu ndị ọkachamara tụbara gburugburu na-enweghị nkwanye ùgwù maka nkọwa ma ọ bụ ebumnuche doro anya. Ndị na-ahụ maka sọftụwia na-ahụ maka ụlọ ọrụ na-enweta ego site na enweghị mgbagha, na nkwekọrịta smart bụ apotheosis nke ụlọ ọrụ obscurantism n'ihi na enwere ike ịkọwa ha dị ka ihe ọ bụla.
Mgbe anyị kwuchara maka nchekwa ya, anyị kwesịrị ileba anya na semantics nke asụsụ ahụ. Izizi na tiori asụsụ mmemme na-enwekarị ihe akaebe abụọ dị iche iche: “ọganihu” na “ichekwa”, nke na-ekpebi nkwekọ nke ohere niile nke iwu nleba anya maka asụsụ ahụ. Kpọmkwem, na ụdị tiori, ọrụ bụ "linear" ma ọ bụrụ na ọ na-eji arụmụka ya kpọmkwem otu ugboro, na "affine" ma ọ bụrụ na ọ na-eji ya ọtụtụ ugboro. Usoro ụdị ahịrị ahụ na-enye nkwa kwụ ọtọ na ọrụ ahịrị akpọpụtara bụ ahịrị n'ezie site n'ịnye ụdị na nkọwapụta ọrụ niile yana idobe ebe a na-akpọ oku. Nke a bụ ihe aghụghọ iji gosipụta na ọ dịghị mfe imejuputa maka mmemme dum. Mpempe akwụkwọ n'ahịrị ka bụ ngalaba mmụta nke ukwuu, na-emetụta mmejuputa ụdị pụrụiche dị na Clean na ụdị nwe na nchara. Enwere ụfọdụ atụmatụ mbido maka ịgbakwunye ụdị ahịrị na Glasgow Haskell Compiler.
Nkwupụta Move gbasara iji ụdị ahịrị dị ka imikpu na-enweghị isi n'ime mkpokọta, ebe ọ bụ . Dị ka mmadụ nwere ike isi kwuo, akwụkwọ ọcha na-ede akwụkwọ edemede sitere na Girard na Peirce, ọ dịghịkwa ihe yiri ya na mmejuputa ya.
N'ịgbakwụnye, semantics nke asụsụ a na-eche na echedoro adịghị apụta ebe ọ bụla na mmejuputa ya ma ọ bụ akwụkwọ. Asụsụ ahụ pere mpe iji chọta ihe akaebe zuru oke nke usoro ọmụmụ na Coq ma ọ bụ Isabelle. N'ezie, ihe nchịkọta ntụgharị zuru oke na njedebe na njedebe yana ịnyefe ihe akaebe na bytecode ga-ekwe omume iji ngwa ọgbara ọhụrụ emepụtara n'ime afọ iri gara aga. Anyị maara ka esi eme ya, malite na laa azụ na 1996.
Site n'echiche asụsụ mmemme, ọ gaghị ekwe omume ịnwale nzọrọ na Move bụ asụsụ a pụrụ ịdabere na ya na nke echekwara, ebe nkwuputa ndị a na-enye aka dị ọcha na ịre ahịa karịa ihe akaebe n'ezie. Nke a bụ ọnọdụ dị egwu maka ọrụ asụsụ nke a na-arịọ ka ọ hazie ọtụtụ ijeri dollar nke azụmahịa.
Ihe nzuzo libra adịghị mma
Iwulite sistemu crypto echekwara echekwabara bụ nsogbu injinia siri ike, yana ọ kachasị mma ịbịaru nso na koodu dị ize ndụ yana ezigbo paranoia ahụike. Enwere nnukwu ọganiihu na mpaghara a, dị ka ọrụ Microsoft Everest, nke na-ewulite ntụkwasị obi enwere ike . Ngwa dị adịlarị iji mepụta primitives nwere ike ịnwapụta. Ọ bụ ezie na nke a dị oke ọnụ, o doro anya na ọ bụghị karịa ike akụ na ụba Facebook. Otú ọ dị, ndị otu ahụ kpebiri na ha agaghị etinye aka na ọrụ ahụ, bụ nke a mara ọkwa dị ka ntọala a pụrụ ịdabere na ya maka usoro ego zuru ụwa ọnụ.
libra oru ngo site n'ọtụtụ ọba akwụkwọ dị ọhụrụ maka ịmepụta usoro nyocha nke pụtara naanị n'ime afọ ole na ole gara aga. Ọ gaghị ekwe omume ikwu ma ndabere na ngwaọrụ ndị a dị mma ma ọ bụ na ọ nweghị, ebe ọ bụ na ọ nweghị ụlọ ọba akwụkwọ ndị a enyochala ma enweghị ụkpụrụ ngosi ọkọlọtọ. Karịsịa, maka ụfọdụ ọba akwụkwọ ndị bụ isi enweghị ntụkwasị obi gbasara nchebe megide mwakpo ọwa akụkụ yana mwakpo oge.
Ọbá akwụkwọ ọba akwụkwọ na-aghọwanye nnwale ma gafere , itinye usoro ọhụrụ dị ka verifiable random function (VRFs), bilinear pairs, and threshold mbinye aka. Ụzọ na ọba akwụkwọ ndị a nwere ike ịbụ ndị ezi uche dị na ya, mana ijikọta ha niile n'otu usoro na-ewelite nchegbu siri ike banyere mpaghara ọgụ. Nchikota nke ngwa na usoro ohuru a nile na-abawanye mgbagwoju anya nke igosi nchekwa.
Ekwesịrị icheta na mkpokọta nzuzo a niile nwere ike ịnweta mwakpo dị iche iche ruo mgbe egosipụtara na ọ bụghị. Enweghị ike itinye ihe ngosi Facebook ama ama 'Move Fast and Break Things' na ngwaọrụ cryptographic nke na-ahazi data ego ndị ahịa.
Libra anaghị emejuputa usoro nchebe ndị ahịa
Akụkụ pụrụ iche nke usoro ịkwụ ụgwọ bụ ikike ịtụgharị azụmaahịa ma ọ bụrụ na akagbuo ịkwụ ụgwọ ahụ site na ikpe ma ọ bụ na-eduga na mberede ma ọ bụ ọdịda sistemụ. Emebere sistemụ Libra ka ọ bụrụ “zuru oke” na anaghị etinye ụdị azụmahịa maka ịkagbu ịkwụ ụgwọ. Na UK, ịkwụ ụgwọ niile dị n'etiti £100 na £30,000 nọ n'okpuru Iwu Ebe E Si Nweta Ndị Ahịa. Nke a pụtara na usoro ịkwụ ụgwọ na-ekerịta ọrụ n'aka onye na-ere ahịa ma ọ bụrụ na enwere nsogbu na ngwaahịa a zụrụ ma ọ bụ ma ọ bụrụ na onye natara ụgwọ anaghị enye ọrụ ahụ. Iwu ndị yiri ya na-emetụta na EU, Asia na North America.
Nhazi nke Libra ugbu a anaghị agụnye protocol iji soro iwu ndị a ma enweghị atụmatụ doro anya maka ịmepụta otu. Ọbụna nke ka njọ, site n'ọdịdị ụkpụrụ ụlọ, njedebe nke nhazi data kernel enwetara, dabere na steeti Merkle mbanye, anaghị ekwe ka usoro ọ bụla mepụta ụkpụrụ dị otú ahụ na-enweghị imegharị kernel.
Mgbe emechara nyocha teknụzụ nke ọrụ a, anyị nwere ike ikwubi na ọ gaghị agafe na nyocha sistemụ ọ bụla a na-akwanyere ùgwù ma ọ bụ akwụkwọ injinịa ego. Iji gbalịa ịgbanwe amụma ego ego zuru ụwa ọnụ, ọ dị mkpa ka a rụọ ọrụ ọrụ nkà na ụzụ dị ukwuu iji mepụta netwọk a pụrụ ịdabere na ya na nhazi nke data onye ọrụ nke ọha na eze na ndị nchịkwa nwere ike ịtụkwasị obi.
Ahụghị m ihe mere m ga-eji kwenye na Facebook emeela ọrụ dị mkpa na nhazi ya iji merie nsogbu ndị a na nkà na ụzụ ma ọ bụ na ọ nwere uru nkà na ụzụ ọ bụla karịa akụrụngwa dị ugbu a. Ịsị na ụlọ ọrụ chọrọ mgbanwe nhazi usoro iji chọpụta ihe ọhụrụ abụghị ihe ngọpụ maka ịmeghị ha mbụ.
isi: www.habr.com