Kamora lilemo tse peli, ke ile ka khutlela blog bakeng sa poso e fapaneng le lipuo tse tloaelehileng tse tenang ka Haskell le lipalo. Ke 'nile ka sebetsa ho fintech ho EU lilemong tse' maloa tse fetileng 'me ho bonahala eka ke nako e ntle ea ho ngola ka sehlooho se fumaneng tlhokomelo e fokolang ho tsoa mecheng ea litaba tsa theknoloji.
Facebook e sa tsoa lokolla seo e se bitsang "sethala se secha sa lits'ebeletso tsa lichelete" se bitsoang Libra. E behiloe e le mokhoa oa ho rarolla dijithale o ipapisitseng le basketeng ea lichelete tsa machabeng tse laoloang ho "blockchain" le ho bolokoa letamong la chelete le tsamaisoang ho tsoa Switzerland. Lipheo tsa morero ke tse kholo ebile li kenyelletsa litlamorao tse kholo tsa lipolotiki.
В и Lingoliloeng tse ngata tse nang le kelello mabapi le menahano e sa nepahalang ea lichelete le moruo ka mor'a tsamaiso e reriloeng ea lichelete. Empa ha ho na litsebi tse lekaneng tse khonang ho hlahloba ho latela pono ea tekheniki. Ha se batho ba bangata ba sebetsang litsing tsa lichelete le ho bua phatlalatsa ka mosebetsi oa bona, kahoo morero ona ha o fumanehe haholo mecheng ea litaba tsa theknoloji, le hoja li-innards tsa eona li bulehetse lefatše. Ke bolela mohloli o bulehileng libakeng tsa polokelo и .
Seo se bulehetseng lefats'e ke seqapi sa meralo sa schizophrenic se nang le likopo tsa hore ke sethala se sireletsehileng bakeng sa lits'ebetso tsa lefats'e tsa litefo.
Haeba u kenella ka har'a motheo oa khoutu, ts'ebetsong ea sebele ea tsamaiso e fapana ka ho feletseng le sepheo se boletsoeng, le ka litsela tse makatsang ka ho fetisisa. Ke na le bonnete ba hore projeke ena e na le nalane e khahlisang ea khoebo. Kahoo hoa utloahala ho nahana hore e entsoe ka boitelo bo itseng, empa ha e le hantle ke bona liqeto tse makatsang tsa meralo tse senyang tsamaiso eohle le ho beha basebelisi kotsing.
Nke ke ka iketsa eka ke na le maikutlo a sepheo ka Facebook joalo ka k'hamphani. Ke batho ba fokolang ba indasteri ea IT ba mo shebang ka kutloelo-bohloko. Empa papiso ea lipolelo tsa eona le khoutu e hatisitsoeng e bontša ka ho hlaka hore morero o boletsoeng o thetsa haholo. Ka bokhutšoanyane, morero ona ha o matlafatse mang kapa mang. O tla lula a le tlas'a taolo ea k'hamphani eo khoebo ea eona ea papatso e qoetseng mahlabisa-lihlong le bobolu hoo e se nang boikhethelo haese ho leka ho fapanyetsana litefo tsa eona le lintlha tsa mokitlane hore e phele. Sepheo se hlakileng sa nako e telele ke ho sebetsa e le morekisi oa data le mokena-lipakeng oa phihlello ea bareki ho mokoloto ho latela data ea bona ea litaba tsa sechaba. Ena ke pale e nyarosang le e lefifi haholo e sa fumaneng tlhokomelo e lokelang.
Mohau o le mong feela o pholosang oa pale ena ke hore lintho tse entsoeng ka matsoho tseo ba li entseng ha li tšoanelehe ka mokhoa o makatsang bakeng sa mosebetsi oo li ka bonoang feela e le ketso ea hubris. Ho na le liphoso tse 'maloa tse kholo tsa meralo morerong ona:
Ho Rarolla Bothata ba Baokameli ba Byzantine ho Network Control Control Network ke Moralo o sa Ts'oanelang
Bothata ba balaoli ba mabotho a Byzantine ke sebaka se moqotetsane sa lipatlisiso tsa litsamaiso tse ajoang. E hlalosa bokhoni ba tsamaiso ea marang-rang ho mamella ho hlōleha ha likarolo tse sa reroang ha ho ntse ho etsoa liketso tsa ho lokisa tse bohlokoa ho ts'ebetsong ea tsamaiso. Marang-rang a tsitsitseng a tlameha ho mamella litlhaselo tsa mefuta e mengata, ho kenyeletsoa ho qala bocha, ho tima, meroalo e lonya, le ho vouta ka lonya likhethong tsa boetapele. Ena ke qeto ea mantlha bakeng sa meralo ea Libra, 'me ha e na moelelo ho hang mona.
Nako ea ho rarahana ka holim'a mohaho ona o eketsehileng o itšetlehile ka algorithm. Ho na le lingoliloeng tse ngata mabapi le mefuta e fapaneng ea liprothokholo tsa Paxos le Raft tse rarollang bothata ba balaoli ba Byzantine, empa meaho ena kaofela e hlahisa lintlha tse eketsehileng bakeng sa puisano. 
ho boloka quorum. Bakeng sa Libra, ba khethile algorithm e nang le litšenyehelo tse phahameng ka ho fetisisa tsa puisano ha ho hloleha boetapele. 'Me ho na le lintlha tse eketsehileng tse tsoang ho khetho e ka 'nang ea e-ba teng ea baeta-pele ho pholletsa le mefuta e mengata ea liketsahalo tsa ho hlōleha ha marang-rang.
Bakeng sa tsamaiso e sebetsang ka har'a consortium ea mekhatlo ea machaba e laoloang haholo, moo basebelisi bohle ba nang le khoutu e saenneng ke Facebook le ho fihlella marang-rang ho laoloa ke Facebook, ha ho utloahale ho nahana ka barupeluoa ba nang le lonya boemong ba tumellano. Ha ho hlake hore na ke hobane'ng ha tsamaiso ena e ka rarolla bothata ba balaoli ba mabotho a Byzantine, ho e-na le ho boloka mokhoa o tsitsitseng oa ho hlahloba ho hlahloba hore na o latela melao. Monyetla oa Libra node e tsamaisoang ke Mastercard kapa Andressen Horrowitz ka tšohanyetso ho qala ho sebelisa khoutu e mpe ke boemo bo sa tloaelehang boo u lokelang ho bo rera 'me bo rarolloa hamolemo ka ho netefatsa feela botšepehi ba protocol le mekhoa e seng ea theknoloji (e leng ea molao).
Bopaki ho Congress bo lefisitse sehlahisoa joalo ka tlholisano ea liprothokholo tse ncha tsa tefo ea machabeng joalo ka WeChat, Alipay le M-Pesa. Leha ho le joalo, ha ho le e 'ngoe ea litsamaiso tsena e etselitsoeng ho sebetsa matamo a validator ho rarolla bothata ba balaoli ba Byzantine. Li entsoe feela ka bese ea setso e phahameng ea bandwidth e etsang wiring ho latela melao e tsitsitseng. Ena ke mokhoa oa tlhaho oa ho qapa mokhoa oa ho lefa. E entsoe hantle mokhoa oa ho lefa o ke ke oa kopana le bothata ba ho sebelisa chelete habeli le lifereko.
Bokaholimo ba algorithm ea tumellano ha bo rarolle bothata bofe kapa bofe mme bo fokotsa feela ts'ebetso ea sistimi ntle le lebaka le leng ntle le bolumeli ba thepa ea blockchain ea sechaba, e sa rereloang nyeoeng ena ea ts'ebeliso.
Libra ha e na boinotši ba transaction
Ho ea ka litokomane, tsamaiso e etselitsoe ho ela hloko lebitso la boikaketsi, ke hore, liaterese tse sebelisoang ho protocol li fumanoa ho tsoa ho linotlolo tsa sechaba ho li-elliptic curves 'me ha li na metadata mabapi le litlaleho. Leha ho le joalo, ha ho kae kapa kae tlhaloso ea sebopeho sa puso bakeng sa mokhatlo kapa protocol ka boeona e bontšang hore na lintlha tsa moruo tse amehang litšebelisanong li tla patoa joang ho li-validators. Sistimi e etselitsoe ho pheta-pheta litšebelisano ka tekanyo e kholo ho mekha e mengata ea kantle eo, tlas'a melao e teng ea lekunutu ea libanka tsa Europe le US, ba sa lokelang ho tseba lintlha tsa moruo.
Ho thata ho hokahanya melaoana ea litaba ho pholletsa le linaha, haholo ha ho fanoe ka melao le melaoana e fapaneng libakeng tse fapaneng tse nang le maikutlo a fapaneng a setso mabapi le ts'ireletso ea data le lekunutu. Protocol ka boeona e bulehile ka botlalo ho litho tsa consortium, e leng bofokoli bo hlakileng ba tekheniki bo sa fihlelleng litlhoko tseo e etselitsoeng tsona.
Libra HotStuff BFT ha e khone ho fihlela tšebetso e hlokahalang bakeng sa sistimi ea ho lefa
UK, lits'ebetso tsa ho hlakola tse kang BAC li khona ho sebetsana le litšebelisano tse ka bang 580 ka khoeli. Ka nako e ts'oanang, lits'ebetso tse ntlafalitsoeng haholo joalo ka Visa li ka sebetsana le litšebelisano tse 000 ka letsatsi. Ts'ebetso e fapana ho latela boholo ba transaction, routing ea marang-rang, mojaro oa sistimi, le (maano a kgahlanong le tshebediso ya tjhelete, maano a ho qhekella tjhelete).
Libra e leka ho rarolla mathata ao e seng mathata a phetisetso ea malapeng, kaha linaha li ntlafalitse meaho ea tsona ea ho hloekisa lilemong tse leshome tse fetileng. Bakeng sa bareki ba mabenkele ho European Union, ho tsamaisa chelete ha se bothata ho hang. Ho lisebelisoa tsa setso, sena se ka etsoa ka smartphone e tloaelehileng ka metsotsoana. Bakeng sa phetisetso e kholo ea likhoebo, ho na le mekhoa le melao e fapaneng e amanang le ho tsamaisa chelete e ngata.
Ha ho na lebaka la tekheniki le etsang hore litefo tsa ho tšela meeli le tsona li se ke tsa sebetsoa hang-hang, ntle le phapang ea melao le litlhoko lipakeng tsa libaka tse amehang. Haeba mehato e hlokahalang ea thibelo (boitsebelo ba bareki, licheke tsa likotlo, joalo-joalo) li etsoa ka makhetlo a mangata ka mekhahlelo e fapaneng ea ketane ea transaction, sena se ka baka tieho ea thekiso. Leha ho le joalo, tieho ena e mpa e le mosebetsi oa melao ea tsamaiso le ho latela melao, eseng theknoloji.
Bakeng sa bareki, ha ho na lebaka leo ka lona transaction ea UK e neng e ke ke ea hlaka ka metsotsoana. Lits'ebetso tsa thekiso ho EU li ntse li fokotseha (Itse Moreki oa Hao) le lithibelo tsa AML tse behiloeng ke mebuso le balaoli, tse sebetsang ka ho lekana litefong tsa Libra. Leha Facebook e ne e ka hlola litšitiso tsa phetisetso ea meeli le phetisetso ea data ea poraefete, mofuta o reriloeng o hole le batho ba makholo a lilemo ho tloha tšebetsong ea lefats'e mme o kanna oa hloka ho hlophisoa bocha ho tloha qalong.
Puo ea Libra Move e fosahetse
Pampiri e tšoeu e bua ka sebete ka puo e ncha, e sa lekoeng e bitsoang Move. Lipolelo tsena lia belaetsa ho latela pono ea theory ea puo ea lenaneo (PLT).
Move ke puo e ncha ea lenaneo bakeng sa ho kenya ts'ebetsong logic ea transaction le likonteraka tse bohlale ho Libra blockchain. Hobane Libra e ikemiselitse ho sebeletsa batho ba limilione tse likete ka letsatsi le leng, Move e entsoe ka ts'ireletso e le eona ntho e tlang pele.
Karolo ea bohlokoa ea Move ke bokhoni ba ho hlalosa mefuta ea lisebelisoa tse sa reroang ka li-semantics tse bululetsoeng ke linear logic.
Ho li-blockchains tsa sechaba, likonteraka tse bohlale li tobana le mohopolo oa marang-rang a sechaba a nang le li-account tsa escrow, ho qhekella chelete, ho fana ka token ea OTC, le papali ea chelete. Sena sohle se etsoa ka puo e entsoeng hampe ka mokhoa o makatsang e bitsoang Solidity, eo ho ea ka pono ea thuto e etsang hore mongoli oa PHP a shebahale joalo ka motho ea bohlale. Ka mokhoa o makatsang, puo e ncha e tsoang ho Facebook e bonahala e sa amane le mahlale ana, kaha ha e le hantle ke puo ea mongolo e reretsoeng merero e sa bonahaleng ea khoebo.
Libukeng tse ajoang tsa poraefete, likonteraka tse bohlale ke e 'ngoe ea mantsoe a fetisoang ke baeletsi ho sa natse tlhaloso e hlakileng kapa morero. Baeletsi ba software ea likhoebo hangata ba etsa chelete ka ho se utloisisehe, 'me likonteraka tse bohlale ke apotheosis ea corporate obscurantism hobane li ka hlalosoa e le eng kapa eng.
Ka mor'a ho etsa lipolelo mabapi le ts'ireletso ea eona, re hloka ho sheba semantics ea puo. Ho nepahala ha khopolo ea puo ea lenaneo ka tloaelo ho na le mapaki a mabeli a fapaneng: "tsoelopele" le "polokeho", tse khethollang ho lumellana ha sebaka sohle sa melao ea tlhahlobo bakeng sa puo. Haholo-holo, mohopolong oa mofuta, tšebetso e "linear" ha e sebelisa khang ea eona hang, le "affine" haeba e e sebelisa hang. Sistimi ea mofuta oa linear e fana ka tiisetso e tsitsitseng ea hore ts'ebetso e phatlalalitsoeng ea linear e hlile e le mola ka ho abela mefuta ho li-subexpressions tsohle tsa ts'ebetso le ho boloka tlaleho ea moo mehala e etsoang teng. Ena ke thepa e poteletseng ho paka 'me ha ho bonolo ho e sebelisa bakeng sa lenaneo lohle. Ho thaepa ka mela e ntse e le karolo ea thuto e phahameng haholo, e susumetsoang ke ho kengoa tšebetsong ha mofuta o ikhethileng ho Hloekileng le mofuta oa botho ho Rust. Ho na le litlhahiso tsa pele tsa ho kenyelletsa mefuta ea mela ho Glasgow Haskell Compiler.
Polelo ea Move mabapi le ho sebelisa mefuta ea mela e bonahala e le ho qoela ho sa hlokahale ka har'a komporo, ho tloha moo . Ho ea kamoo motho a ka bolelang kateng, whitepaper e qotsa lingoliloeng tsa canonical tse tsoang ho Girard le Peirce, 'me ha ho letho le tšoanang le ts'ebetsong ea sebele.
Ho feta moo, semantics ea molao ea puo eo ho thoeng e bolokehile ha e hlahe kae kapa kae ts'ebetsong kapa tokomaneng. Puo e nyane ho lekana ho fumana bopaki bo felletseng ba semantics e nepahetseng ho Coq kapa Isabelle. Ha e le hantle, moqapi oa phetoho e feletseng oa ho qetela o nang le bopaki ho bytecode o ka khona ho kenya ts'ebetsong ka lisebelisoa tsa morao-rao tse qapiloeng lilemong tse leshome tse fetileng. Re tseba ho e etsa, ho qala ka morao ka 1996.
Ho latela pono ea theory ea puo ea lenaneo, ha ho khonehe ho leka tseko ea hore Move ke puo e tšepahalang le e sireletsehileng, kaha liqoso tsena li lekana le ho tsoka matsoho le ho bapatsa ho fapana le bopaki ba 'nete. Ena ke boemo bo tšosang bakeng sa morero oa puo o kōptjoang ho sebetsana le litšebelisano tsa libilione tsa lidolara.
Libra cryptography e fosahetse
Ho aha li-cryptosystems tse sireletsehileng ke bothata bo boima haholo ba boenjiniere, 'me ho molemo ho atamela ho sebetsa ka khoutu e kotsi ka tekanyetso e ntle ea paranoia e phetseng hantle. Ho na le lintlafatso tse kholo sebakeng sena, joalo ka projeke ea Microsoft Everest, e hahang sebaka se sireletsehileng se netefalitsoeng. . Lisebelisoa li se li le teng ho theha li-primitives tse netefalitsoeng. Le hoja sena se theko e boima, ho hlakile hore ha se ka holimo ho matla a moruo a Facebook. Leha ho le joalo, sehlopha se ile sa etsa qeto ea ho se kenye letsoho morerong ona, o phatlalalitsoeng e le motheo o ka tšeptjoang oa tsamaiso ea lichelete ea lefats'e.
morero oa libra ho tsoa lilaebraring tse 'maloa tse ncha bakeng sa ho theha li-cryptosystem tsa liteko tse hlahileng lilemong tse' maloa tse fetileng. Ha ho khonehe ho bolela hore na ho itšetleha ka lisebelisoa tse latelang ho bolokehile kapa che, kaha ha ho le e 'ngoe ea lilaebrari tsena e hlahlobiloeng ebile ha e na maano a tloaelehileng a phatlalatso. Haholo-holo, bakeng sa lilaebrari tse ling tsa mantlha ha ho na bonnete mabapi le ts'ireletso khahlanong le litlhaselo tsa liteishene tse lehlakoreng le litlhaselo tsa nako.
Laeborari ea libra e fetoha liteko le ho feta mme e fetela ka nqane , ho sebelisa mekhoa e mecha e kang verrifiable random functions (VRFs), li-bilinear pair, le li-signature tsa threshold. Mekhoa ena le lilaebrari li ka 'na tsa utloahala, empa ho li kopanya kaofela hore e be tsamaiso e le' ngoe ho hlahisa matšoenyeho a tebileng mabapi le sebaka sa tlhaselo. Motsoako oa lisebelisoa tsena tsohle tse ncha le mekhoa e eketsa haholo ho rarahana ha ho paka ts'ireletso.
Ho lokela ho nahanoa hore stack ena eohle ea cryptographic e kotsing ea litlhaselo tse fapaneng ho fihlela ho netefalitsoe ka tsela e fapaneng. Moetso o tummeng oa Facebook oa 'Move Fast and Break Things' o ke ke oa sebelisoa ho lithulusi tsa cryptographic tse sebetsanang le lintlha tsa lichelete tsa bareki.
Libra e hloleha ho kenya ts'ebetsong mekhoa ea ts'ireletso ea bareki
Karolo e ikhethang ea sistimi ea ho lefa ke bokhoni ba ho khutlisa transaction haeba tefo e hlakotsoe ke nyeoe kapa e lebisa ho hloleheng ka phoso kapa sistimi. Sistimi ea Libra e etselitsoe ho "fella" 'me ha e kenyelletse mofuta oa transaction bakeng sa ho hlakoloa ha tefo. UK, litefo tsohle tse lipakeng tsa £100 le £30,000 li tlas'a Molao oa Mokoloto oa Bareki. Sena se bolela hore sistimi ea tefo e arolelana boikarabello le morekisi ha ho ka ba le bothata ka sehlahisoa se rekiloeng kapa haeba moamoheli oa tefo a sa fane ka litšebeletso. Melao e ts'oanang e sebetsa ho EU, Asia le Amerika Leboea.
Moralo oa hajoale oa Libra ha o kenyelle protocol ea ho latela melao ena ebile ha e na moralo o hlakileng oa ho e theha. Ho hobe le ho feta, ho latela pono ea meralo, ho qetela ha sebopeho sa data se netefalitsoeng sa kernel, se ipapisitseng le boemo ba Merkle drive, ha se lumelle mokhoa ofe kapa ofe oa ho theha protocol e joalo ntle le ho hlophisa bocha kernel.
Kamora ho etsa tlhahlobo ea botekgeniki ea projeke ena, re ka fihlela qeto ea hore e ke ke ea atleha ho feta leha e le efe e hlomphuoang ea lipatlisiso tsa litsamaiso tse ajoang kapa koranta ea boenjiniere ba lichelete. Ho leka ho fetola pholisi ea lichelete tsa lefats'e, mosebetsi o mongata oa tekheniki o lokela ho etsoa ho theha marang-rang a tšepahalang le ts'ebetso e sireletsehileng ea data ea basebelisi eo sechaba le balaoli ba ka e tšepang.
Ha ke bone lebaka la ho lumela hore Facebook e entse mosebetsi o hlokahalang moralong oa eona ho hlola mathata ana a tekheniki kapa hore e na le melemo ea tekheniki ho feta meaho ea hajoale. Ho re k'hamphani e hloka taolo e feto-fetohang bakeng sa ho hlahloba mekhoa e mecha ha se lebaka la ho se e etse pele.
Source: www.habr.com