Ina ua mavae le lua tausaga, sa ou toe foi i le blog mo se meli e ese mai le masani masani lauga le manaia e uiga ia Haskell ma le matematika. Sa ou galue i le fintech i le EU mo nai tausaga ua tuanaʻi ma e foliga mai ua oʻo mai le taimi e tusi ai e uiga i se autu e leʻi faʻaalia e le aufaasālalau tekinolosi.
Talu ai nei na faʻasalalau ai e Facebook le mea e taʻua o se "faʻavae auaunaga tau tupe fou" e taʻua o le Libra. O loʻo faʻatulagaina e avea o se faiga faʻatulagaina numera e faʻavae i luga o se ato o tupe faʻavaomalo o loʻo pulea i luga o se "blockchain" ma teuina i totonu o se vaitaele tupe e pulea mai Suiselani. O sini o le poloketi e fa'atauva'a ma e aofia ai fa'ai'uga fa'a-geopolitical tetele.
В и Le tele o tala fa'apitoa e uiga i le le sa'o o fa'amatalaga tau tupe ma le tamaoaiga i tua atu o le faiga tau tupe. Ae e le lava tagata tomai faapitoa e mafai ona suʻesuʻeina mai se tulaga faʻapitoa. E le toʻatele tagata e galulue i mea tau tupe ma talanoa faʻalauaʻitele e uiga ia latou galuega, o lea e le tele ai le faʻasalalauina o lenei poloketi i faʻasalalauga faʻatekonolosi, e ui lava o loʻo avanoa ona totonu i le lalolagi. O le uiga o la'u tala tatala i fale teu oloa и .
O le mea o lo'o tatala i le lalolagi o se fa'ata'ita'iga fa'ata'ita'i fa'apitoa ma fa'apea e avea ma fa'amautu fa'amautu mo atina'e totogi o le lalolagi.
Afai e te faʻafefe i totonu o le code base, o le faʻatinoga moni o le faiga e matua ese lava mai le sini faʻaalia, ma i auala sili ona mataʻutia. Ou te mautinoa o lenei poloketi o loʻo i ai se talaʻaga faʻapitoa faʻapisinisi. O lea e talafeagai le manatu na mamanuina ma sina filiga, ae o le mea moni ou te vaʻai i se seti uiga ese o faʻataʻitaʻiga faʻataʻitaʻiga e malepe ai le faiga atoa ma tuʻu ai tagata faʻaoga i se tulaga lamatia.
O le a ou le faafoliga e i ai se manatu faʻamoemoe e uiga i le Facebook o se kamupani. E toʻaitiiti tagata i le pisinisi IT e tilotilo atu ia te ia ma le alofa. Ae o se faʻatusatusaga o ana faʻamatalaga ma le faʻasalalauga faʻasalalau e faʻaalia manino ai o le faʻamoemoega ua taʻua e matua taufaasese. I se faapuupuuga, o lenei poloketi e le faʻamalosia ai se tasi. O le a tumau atoatoa o ia i lalo o le pulega a se kamupani o ana pisinisi o faasalalauga ua matua lofia i le taufaaleaga ma faiga pi’opi’o ua leai ai se isi filifiliga ae na o le taumafai e fa’aeseese ana tupe totogi ma fa’ailoga aitalafu e ola ai. O le fa'amoemoe mamao umi o le galue lea o se tagata e faia fa'amatalaga fa'amatalaga ma fa'auilavea i le avanoa o tagata fa'atau i fa'aaitalafu e fa'atatau i a latou fa'amatalaga fa'asalalau fa'aagafesootai. Ose tala e matua mata'utia ma pogisa e le'i fa'alogoina ai.
Pau lava le alofa fa'aola o lenei tala o le meafaitino na latou fatuina e matua'i le fetaui ma le galuega o lo'o i ai ma e mafai ona va'aia o se gaioiga fa'atauva'a. E tele ni fa'aletonu tetele fa'afale i lenei poloketi:
Fo'ia o le Fa'afitauli a le Byzantine Generals i totonu o le Access Control Network o se Fuafuaga Le fetaui
O le faʻafitauli o le au Byzantine o se vaega vaapiapi o suʻesuʻega o faiga tufatufaina. O lo'o fa'amatala mai ai le malosi o se faiga feso'ota'iga e fa'asagatau ai fa'aletonu vaega fa'afuase'i a'o faia ni fa'asa'oga taua i le fa'agaioiga o le faiga. O se feso'ota'iga malosi e tatau ona tatalia le tele o ituaiga o osofa'iga, e aofia ai le toe amataina, ta'oto, uta leaga, ma palota leaga i faiga palota ta'ita'i. O le filifiliga autu lea mo le fausaga o le Libra, ma e matua leai lava se uiga.
Ole lavelave ole taimi i luga ole laiga ole fausaga faaopoopo e faalagolago ile algorithm. O loʻo i ai le tele o tusitusiga e uiga i fesuiaiga o Paxos ma Raft protocols e foʻia ai le faʻafitauli lautele o Byzantine, ae o nei fausaga uma e faʻaalia ai faʻaopoopoga faaopoopo mo fesoʻotaʻiga i luga. 
ia faatumauina le korama. Mo le Libra, na latou filifilia se algorithm e sili ona maualuga tau fesoʻotaʻiga i le tulaga o le toilalo o le taitaiga. Ma o lo'o i ai fa'aopoopoga fa'aopoopo mai le toe filifilia o ta'ita'i i le tele o ituaiga o fa'alavelave fa'aletonu.
Mo se faiga o loʻo faʻaogaina i totonu o se faʻapotopotoga o faʻalapotopotoga faʻavaomalo faʻatulafonoina, lea o loʻo i ai i tagata faʻaoga uma le faʻailoga e sainia e le Facebook ma le avanoa i le fesoʻotaʻiga o loʻo pulea e Facebook, e le talafeagai le mafaufauina o tagata auai leaga i le tulaga maliliega. E le o manino pe aisea e foia ai e lenei faiga le faʻafitauli a le au taʻitaʻi o Byzantine, nai lo le naʻo le tausisia o se suʻega suʻega faifai pea e siaki ai le tausisia. Ole avanoa ole Libra node o loʻo faʻatautaia e Mastercard poʻo Andressen Horrowitz faʻafuaseʻi ona amata faʻaogaina tulafono leaga o se faʻaaliga uiga ese e fuafua mo ma e sili atu ona faʻafeiloaʻi e ala i le faʻamautinoaina o le amio saʻo ma le le faʻaogaina (i.e. tulafono).
O le molimau i le Konekeresi na fa'atauina le oloa e fai ma fa'atauva i tulafono fou fa'ava-o-malo e pei o WeChat, Alipay ma M-Pesa. Ae ui i lea, e leai se tasi o nei faiga ua mamanuina e tamoʻe i luga o vaituloto faʻamaonia e foia ai le faʻafitauli lautele o Byzantine. E na'o le fa'atulagaina i luga o se pasi fa'aleaganu'u maualuga-bandwidth lea e fai ai uaea e tusa ai ma se seti o tulafono. O se faiga masani lea i le fuafuaina o se faiga totogi. Lelei le fuafuaina o le faiga totogi na o le a le fetaiai ma le faafitauli o le faaluaina o tupe faaalu ma tui.
O le pito i luga ole algorithm consensus e le foia ai soʻo se faʻafitauli ma naʻo le faʻatapulaʻaina o le faʻaogaina o le faiga e aunoa ma se mafuaʻaga e ese mai i le utaga a le lautele poloka poloka, lea e le o faʻamoemoeina mo lenei faʻaoga.
Libra e leai se fa'alilolilo tau fefa'ataua'iga
E tusa ai ma faʻamaumauga, ua mamanuina le faiga e faʻatatau fa'aigoa, o lona uiga, o tuatusi o loʻo faʻaaogaina i totonu o le protocol e maua mai ki lautele i luga o le elliptic curves ma e le o iai metadata e uiga i tala. Ae ui i lea, e leai se mea i le faʻamatalaga o le pulega pulega mo le faʻalapotopotoga poʻo le faʻasalalauga lava ia e faʻaalia ai pe faʻapefea ona natia faʻamatalaga tau tamaoaiga o loʻo aʻafia i fefaʻatauaiga mai tagata faʻamaonia. O le faiga ua mamanuina e toe faia ai fefaʻatauaiga i luga o se fua tele i le tele o vaega i fafo o loʻo i lalo o tulafono faalilolilo a le faletupe a Europa ma Amerika, e le tatau ona faʻamaonia i auiliiliga tau tamaoaiga.
O faiga fa'avae fa'amaumauga i atunu'u uma e faigata ona fa'amaopoopo, aemaise lava le tu'ufa'atasia o tulafono ma fa'atonuga i fa'afa'afa'afa'afa'afaufa'a eseese ma manatu fa'aleaganu'u 'ese'ese ile puipuiga o fa'amaumauga ma le le faalauaiteleina. O le protocol lava ia e le mafai ona tatala atoatoa i sui o le consortium, o se faʻaletonu faʻapitoa faʻapitoa e le fetaui ma manaʻoga na fuafuaina.
Libra HotStuff BFT e le mafai ona ausia le gaosiga e manaʻomia mo se faiga totogi
I totonu o Peretania, o faiga faʻamama e pei o le BAC e mafai ona faʻatautaia le 580 fefaʻatauaiga i le masina. I le taimi lava e tasi, o faiga sili ona lelei e pei o Visa e mafai ona faʻatautaia 000 fefaʻatauaiga i le aso. O fa'atinoga e fesuisuia'i e fa'atatau i le tele o fefa'ataua'iga, fa'asologa o feso'otaiga, uta o le faiga, ma (anti-money laundering, money launders schemes).
O loʻo taumafai le Libra e foia faʻafitauli e le o ni faʻafitauli moni mo femalagaiga i totonu o le atunuʻu, ona o setete o malo ua faʻaonaponei a latou galuega faʻamamaina i le sefulu tausaga talu ai. Mo tagata fa'atau oloa i totonu o le Iuni a Europa, o le felauaiga o tupe e le'o se fa'afitauli. I luga o atinaʻe masani, e mafai ona faia lenei mea i se telefoni feaveaʻi i sekone. Mo fefa'ataua'iga tetele, o lo'o i ai faiga ma tulafono 'ese'ese e feso'ota'i ma le felauaiga o tupe tetele.
E leai se mafua'aga fa'apitoa e le mafai ai ona fa'agasolo vave tupe totogi i tua'oi, e ese mai le eseesega i tulafono ma mana'oga i le va o pulega fa'afaamasinoga talafeagai. Afai o faiga puipuia talafeagai (tagata fa'atau oloa, siaki fa'asalaga, ma isi) e fa'atinoina i le tele o taimi i la'asaga eseese o le filifili fefa'ataua'iga, e ono i'u ai i le tuai o fefa'atauaiga. Peita'i, o lenei fa'atuai e na'o se galuega a le tulafono fa'atonutonu ma le tausisia, ae le o tekinolosi.
Mo tagata faʻatau, e leai se mafuaʻaga e le faʻamaonia ai se fefaʻatauaiga a Peretania i se mataupu o sekone. O fefa'ataua'iga fa'atau i totonu o le EU o lo'o fa'agesegese lava (Iloa Lau Tagata Fa'atau) ma AML tapula'a fa'atulafonoina e malo ma fa'atonu, lea e fa'atatau tutusa i totogi a le Libra. E tusa lava pe fa'ato'ilaloina e le Facebook ia fa'alavelave i felauaiga i tua'oi ma felauaiga fa'amatalaga patino, o le fa'ata'ita'iga fa'ata'ita'iga e fia selau tagata-tausaga le mamao mai le fa'aogaina o fefa'ataua'iga i le lalolagi ma e ono mana'omia le toe fa'atulagaina mai le amataga.
E le sa'o le gagana Libra Move
O le pepa pa'epa'e o lo'o fa'ailoa mai e uiga i se gagana fou e le'i fa'ata'ita'iina e ta'ua o le Move. O nei faʻamatalaga e fai si masalosalo mai le manatu o le polokalame gagana aʻoaʻoga (PLT).
Move o se gagana fou polokalame mo le faʻatinoina o fefaʻatauaiga masani ma konekarate atamai ile Libra blockchain. Talu ai o le Libra e faʻamoemoe e tasi le aso e tautua ai le faitau piliona o tagata, o le Move ua mamanuina ma le saogalemu e avea o se faʻamuamua maualuga.
O se vaega autu o le Move o le mafai lea ona fa'amatalaina ituaiga o punaoa faʻatasi ma semantics faʻaosoina e le laina laina.
I totonu o poloka poloka a le lautele, o konekarate atamai e feagai ma le faʻaogaina o fesoʻotaʻiga lautele ma faʻamatalaga escrow, faʻasalaga tupe, faʻasalalauga faʻailoga OTC, ma taaloga faitupe. O nei mea uma e faia i se gagana e le lelei le fuafuaina e taʻua o Solidity, lea mai se tulaga faʻaleaʻoaʻoga e foliga mai ai le tusitala o le PHP o se tagata atamai. O le mea e ese ai, o le gagana fou mai le Facebook e foliga mai e leai se mea e fesoʻotaʻi ma nei tekinolosi, talu ai o le mea moni o se gagana tusitusi e faʻamoemoe mo faʻamoemoega tau atinaʻe.
I totonu o tusi fa'asalalau fa'apitoa, o konekarate atamai o se tasi lea o tu'utu'uga ua lafoa'i e faufautua e aunoa ma le manatu tele i fa'amatalaga manino po'o le fa'amoemoe. E masani lava ona maua e le au faufautua faakomepiuta pisinisi ni tupe mai le le mautonu, ma o konekarate atamai o le apotheosis o le faʻalavelave faʻapitoa aua e mafai ona faʻamatalaina o soʻo se mea.
A maeʻa ona fai ni faʻamatalaga e uiga i lona saogalemu, e tatau ona tatou vaʻavaʻai i le semantics o le gagana. O le sa'o i le polokalame o le gagana e masani ona aofia ai ni fa'amaoniga eseese se lua: "agai i luma" ma le "fa'asaoina", lea e fuafua ai le tutusa o le avanoa atoa o tulafono o iloiloga mo le gagana. Aemaise lava, i le ituaiga aʻoaʻoga, o se galuega o le "linear" pe a faʻaaoga lana finauga i le tasi, ma le "affine" pe a faʻaaogaina i le sili atu i le tasi. O le faiga o le laina laina e maua ai le faʻamautinoaga faʻamaonia e faʻapea o se galuega laina faʻaalia e moni laina e ala i le tuʻuina atu o ituaiga i faʻamatalaga galuega uma ma le siakiina o mea e fai ai telefoni. Ose meatotino fa'apitoa e fa'amaonia ma e le faigofie ona fa'atinoina mo se polokalame atoa. O le fa'asologa o laina o lo'o avea pea ma matata fa'aa'oa'oga o su'esu'ega, fa'aa'afia i le fa'atinoina o le tulaga tulaga ese i le Mama ma le pule fa'ailoga i Rust. O loʻo i ai nisi o talosaga muamua mo le faʻaopoopoina o laina laina i le Glasgow Haskell Compiler.
O le faʻamatalaga a Move e uiga i le faʻaogaina o ituaiga laina e foliga mai o se faʻafefeteina i totonu o le tuʻufaʻatasia, talu ai iina . I le mamao e mafai ona taʻu atu e se tasi, o le pepa paʻepaʻe o loʻo taʻua ai tusitusiga faʻapitoa mai Girard ma Peirce, ma e leai se mea e tutusa i le faʻatinoga moni.
E le gata i lea, e le o aliali mai semantics aloa'ia o le gagana e fa'apea e malupuipuia i le fa'atinoga po'o le pepa. E la'ititi le gagana e su'e ai se fa'amaoniga atoatoa o fa'auiga sa'o ile Coq po'o Isabelle. O le mea moni, o le fa'amutaina atoa o le liua fa'atasi ma fa'amaoniga fa'afeiloa'i i le bytecode e mafai lava ona fa'atinoina ma meafaigaluega fa'aonaponei na fausia i le sefulu tausaga talu ai. Matou te iloa le auala e fai ai, amata mai i tua i le 1996.
Mai le manatu o le gagana polokalame, e le mafai ona faʻataʻitaʻiina le faʻamatalaga o le Move o se gagana faʻalagolago ma malupuipuia, talu ai o nei tagi e faʻatatau i le talotalo lima mama ma le maketi nai lo faʻamaoniga moni. O se tulaga mata'utia lea mo se poloketi o le gagana lea o lo'o talosagaina e fa'agasolo le faitau piliona tala o fefa'atauaiga.
Libra cryptography e sese
O le fausiaina o cryptosystems saogalemu o se faʻafitauli faigata faʻainisinia, ma e sili ona lelei le faʻalatalata atu e galue faʻatasi ma tulafono matautia ma se fua lelei o le paranoia maloloina. O loʻo i ai faʻalavelave tetele i lenei vaega, e pei o le Microsoft Everest project, lea o loʻo fausia ai se faʻamaonia saogalemu . Meafaigaluega ua uma ona i ai e fatu ai fa'amatalaga fa'amaonia. E ui lava e taugata lenei mea, e manino lava e le sili atu i le gafatia tau tamaoaiga a Facebook. Ae ui i lea, na filifili le au e le auai i le poloketi, lea na faalauiloaina o se faavae faatuatuaina mo le faiga tau tupe a le lalolagi.
galuega faatino libra mai le tele o faletusi fou mo le fatuina o faʻataʻitaʻiga cryptosystems na faatoa faʻaalia i nai tausaga talu ai. E le mafai ona ta'u atu pe saogalemu pe leai se fa'alagolago i mea faigaluega nei, talu ai e leai se tasi o nei faletusi na su'eina ma e leai ni faiga fa'avae fa'alauiloa. Aemaise lava, mo nisi faletusi autu e leai se mautinoa e uiga i le puipuiga mai osofaʻiga itu-ala ma osofaʻiga taimi.
O le faletusi a le libra ua sili atu ona faʻataʻitaʻi ma sili atu , fa'aogaina o auala fou e pei ole fa'amaonia fa'afuase'i galuega (VRFs), lua lua, ma saini fa'ailoga. O nei metotia ma faletusi atonu e talafeagai, ae o le tuʻufaʻatasia uma i le tasi faiga e faʻatupu ai popolega ogaoga e uiga i osofaʻiga i luga o le eleele. O le tu'ufa'atasiga o nei mea faigaluega fou ma auala e fa'ateleina ai le lavelave o le fa'amaonia o le saogalemu.
E tatau ona fa'apea o lenei fa'aputuga fa'aputuga atoa o lo'o fa'aletonu i osofa'iga eseese se'ia fa'amaonia i se isi itu. Le fa'ata'ita'iga ta'uta'ua a Facebook 'Move Fast and Break Things' e le mafai ona fa'aoga i meafaigaluega fa'ata'oto e fa'agasolo ai fa'amatalaga tau tupe a tagata fa'atau.
Ua le mafai e le Libra ona fa'atinoina ni auala e puipuia ai tagata fa'atau
O se vaega fa'apitoa o le faiga o le totogiina o le mafai lea ona toe fa'afo'i se fefa'ataua'iga pe a fa'aleaogaina le totogiina e se fa'amasinoga pe ta'ita'i atu ai i se fa'alavelave fa'afuase'i po'o se faiga fa'aletonu. O le Libra system ua mamanuina ina ia "atoa" ma e le aofia ai se ituaiga fefaʻatauaʻiga mo le faʻaleaogaina o totogi. I Peretania, o totogi uma i le va o le £ 100 ma le £ 30,000 o loʻo faʻatatau i le Tulafono o Faʻatauga Faʻatau. O lona uiga o le faiga o totogi e faʻasoa faʻatasi ma le tagata faʻatau pe a tupu se faʻafitauli i le oloa faʻatau pe afai e le tuʻuina atu e le tagata e mauaina le totogi le auaunaga. O tulafono fa'atusa e fa'aoga i le EU, Asia ma Amerika i Matu.
O le mamanu o loʻo i ai nei o le Libra e le o aofia ai se maliega e tausisia ai nei tulafono ma e leai se fuafuaga manino mo le fatuina o se tasi. E sili atu le leaga, mai se faʻataʻitaʻiga faʻataʻitaʻiga, o le faʻaiʻuga o le faʻamaumauga faʻamaonia o le kernel, e faʻavae i luga o le setete o le Merkle drive, e le faʻatagaina soʻo se masini e faia ai sea faʻasalalauga e aunoa ma le toe faʻatulagaina o le fatu.
A mae'a ona faia se iloiloga fa'apitoa o lenei poloketi, e mafai ona tatou fa'ai'u o le a le mafai ona fa'aulu i so'o se su'esu'ega fa'apitoa fa'asalalauina po'o tusi talaaga fa'ainisinia tau tupe. Ina ia taumafai e suia faiga faʻavae tau tupe a le lalolagi, e manaʻomia le tele o galuega faʻapitoa e fausia ai se fesoʻotaʻiga faʻalagolago ma faʻamautinoa le faʻaogaina o faʻamatalaga a tagata e mafai ona faʻatuatuaina e tagata lautele ma tagata faʻatonu.
Ou te le iloa se mafuaaga e talitonu ai ua faia e le Facebook le galuega talafeagai i lana mamanu e foia ai nei faafitauli faʻapitoa poʻo e iai ni mea faʻapitoa faʻapitoa i luga o atinaʻe o loʻo i ai nei. Fai mai e manaʻomia e le kamupani le fetuutuunai faʻatonutonu e suʻesuʻe mea fou e le o se 'alofaga mo le le faia muamua.
puna: www.habr.com