Tom qab ob xyoos, kuv tau rov qab mus rau blog rau ib qho kev tshaj tawm uas txawv ntawm cov lus qhuab qhia boring ib txwm hais txog Haskell thiab lej. Kuv tau ua haujlwm ntawm fintech hauv EU ob peb xyoos dhau los thiab zoo li lub sijhawm tau los sau txog cov ncauj lus uas tau txais kev mloog me ntsis los ntawm kev tshaj xov xwm tech.
Facebook tsis ntev los no tau tshaj tawm qhov nws hu ua "kev pabcuam nyiaj txiag tshiab" hu ua Libra. Nws yog positioned raws li ib tug digital kev daws teeb meem raws li ib tug pob tawb ntawm cov nyiaj txiag thoob ntiaj teb uas tau tswj nyob rau hauv ib tug "blockchain" thiab khaws cia nyob rau hauv ib tug nyiaj txiag pas dej ua ke tswj los ntawm Switzerland. Lub hom phiaj ntawm qhov project yog ambition thiab entail loj-scale geopolitical txim.
В и Muaj ntau cov lus pom zoo hais txog qhov tsis zoo ntawm cov nyiaj txiag thiab kev xav txog nyiaj txiag tom qab qhov kev thov nyiaj txiag. Tab sis tsis muaj cov kws tshaj lij txaus muaj peev xwm txheeb xyuas los ntawm kev pom zoo. Tsis muaj coob tus neeg ua haujlwm ntawm kev tsim kho nyiaj txiag thiab hais tawm rau pej xeem txog lawv txoj haujlwm, yog li qhov project no tsis tau txais kev pabcuam ntau hauv cov xov xwm thev naus laus zis, txawm hais tias nws cov innards qhib rau lub ntiaj teb. Kuv txhais tau tias qhib qhov chaw nyob rau hauv repositories и .
Dab tsi yog qhib rau lub ntiaj teb no yog ib qho architecturally schizophrenic artifact nrog cov neeg pab leg ntaubntawv los ua ib tug ruaj ntseg platform rau lub ntiaj teb no kev them nyiaj infrastructure.
Yog tias koj dhia mus rau hauv cov cai hauv paus, qhov kev siv tiag tiag ntawm qhov system tag nrho diverges ntawm lub hom phiaj tau teev tseg, thiab nyob rau hauv txoj kev txawv txawv tshaj plaws. Kuv paub tseeb tias qhov project no muaj keeb kwm kev lag luam nthuav dav. Yog li nws yog qhov xav tau los xav tias nws tau tsim nrog qee qhov kev mob siab rau, tab sis qhov tseeb kuv pom ib qho kev coj txawv txawv ntawm kev txiav txim siab ntawm vaj tse uas tawg tag nrho cov kab ke thiab ua rau cov neeg siv muaj kev pheej hmoo.
Kuv yuav tsis ua txuj tias muaj lub hom phiaj xav txog Facebook ua ib lub tuam txhab. Tsawg tus neeg hauv kev lag luam IT saib nws nrog kev khuv leej. Tab sis kev sib piv ntawm nws cov nqe lus thiab cov cai luam tawm kom meej meej qhia tau hais tias lub hom phiaj tau teev tseg yog kev dag ntxias. Nyob rau hauv luv luv, qhov project no tsis txhawb nqa leej twg. Nws yuav nyob twj ywm hauv kev tswj hwm ntawm lub tuam txhab uas nws cov lag luam tshaj tawm tau ua rau muaj kev tsis txaus ntseeg thiab kev noj nyiaj txiag uas nws tsis muaj kev xaiv tab sis sim ua kom muaj kev sib txawv ntawm nws cov nyiaj them thiab cov qhab nia qiv kom muaj sia nyob. Lub hom phiaj ntev ntev yog ua raws li cov ntaub ntawv broker thiab tus neeg nruab nrab hauv cov neeg siv khoom nkag mus rau credit raws li lawv tus kheej cov ntaub ntawv xov xwm. Qhov no yog ib zaj dab neeg txaus ntshai thiab tsaus ntuj uas tsis tau txais kev mloog nws tsim nyog.
Txoj kev cawm seej nkaus xwb ntawm zaj dab neeg no yog tias cov khoom cuav uas lawv tsim yog qhov lom zem heev tsis haum rau txoj haujlwm ntawm tes uas nws tsuas yog pom tau tias yog kev ua ntawm hubris. Muaj ntau ntau qhov yuam kev architectural hauv qhov project no:
Kev daws qhov teeb meem ntawm Byzantine Generals hauv Kev Tswj Xyuas Kev Nkag Nkag yog qhov tsim tsis raug
Qhov teeb meem ntawm Byzantine generals yog ib qho chaw nqaim ntawm kev tshawb fawb ntawm kev faib tshuab. Nws piav qhia txog lub peev xwm ntawm lub network system los tiv thaiv kev ua haujlwm tsis zoo thaum ua haujlwm kho qhov tseem ceeb rau kev ua haujlwm ntawm lub system. Lub network muaj zog yuav tsum tiv taus ntau hom kev tawm tsam, suav nrog kev rov pib dua, kev tawm tsam, kev ua phem, thiab kev pov npav tsis zoo hauv kev xaiv tsa thawj coj. Qhov no yog qhov kev txiav txim siab tseem ceeb rau Libra architecture, thiab nws tsis muaj nuj nqis kiag li ntawm no.
Lub sij hawm complexity overhead ntawm no ntxiv qauv nyob ntawm lub algorithm. Muaj ntau cov ntaub ntawv ntawm kev sib txawv ntawm Paxos thiab Raft cov txheej txheem daws teeb meem Byzantine generals, tab sis tag nrho cov qauv no qhia ntxiv nyiaj siv ua haujlwm rau kev sib txuas lus. 
tswj pawg pawg. Rau Libra, lawv xaiv ib qho algorithm nrog tus nqi sib txuas lus siab tshaj plaws nyob rau hauv rooj plaub ntawm kev ua thawj coj ua tsis tiav. Thiab muaj nyiaj siv ua haujlwm ntxiv los ntawm qhov muaj peev xwm rov xaiv tsa cov thawj coj thoob plaws ntau hom kev ua tsis tiav hauv lub network.
Rau ib qho kev khiav hauj lwm hauv ib lub koom haum ntawm ntau lub koom haum tswj hwm ntau lub teb chaws, qhov twg txhua tus neeg siv tau kos npe los ntawm Facebook thiab nkag mus rau hauv lub network yog tswj los ntawm Facebook, nws tsuas yog tsis muaj txiaj ntsig los txiav txim siab cov neeg koom nrog kev pom zoo ntawm qib kev pom zoo. Nws tsis paub meej tias vim li cas qhov system no txawm yuav daws qhov teeb meem ntawm Byzantine cov thawj coj, tsis yog tsuas yog tswj xyuas txoj kev tshawb xyuas zoo ib yam los tshawb xyuas kev ua raws cai. Qhov muaj peev xwm ntawm Libra node khiav los ntawm Mastercard lossis Andressen Horrowitz mam li nco dheev pib khiav cov cai tsis zoo yog qhov txawv txav los npaj rau thiab tau hais zoo dua los ntawm kev ua kom ntseeg tau raws li kev ncaj ncees thiab tsis yog txheej txheem (xws li kev cai lij choj) txhais tau tias.
Cov lus tim khawv rau Congress tau sau cov khoom lag luam raws li kev sib tw rau cov txheej txheem them nyiaj thoob ntiaj teb tshiab xws li WeChat, Alipay thiab M-Pesa. Txawm li cas los xij, tsis muaj ib qho ntawm cov tshuab no tau tsim los khiav ntawm cov pas dej validator los daws qhov teeb meem Byzantine generals. Lawv tsuas yog tsim los ntawm ib lub tsheb npav loj-bandwidth uas ua rau kev xaim hluav taws xob raws li cov txheej txheem ruaj khov. Qhov no yog ib txoj hauv kev los tsim ib qho kev them nyiaj. Zoo tsim qhov kev them nyiaj tsuas yog yuav tsis ntsib teeb meem ntawm kev siv nyiaj ob npaug thiab rab rawg.
Cov nyiaj siv ua haujlwm ntawm qhov kev pom zoo algorithm tsis daws qhov teeb meem thiab tsuas yog txwv qhov kev nkag mus ntawm lub kaw lus tsis muaj laj thawj dab tsi tshaj li cov khoom thauj ntawm pej xeem blockchain, uas tsis yog rau qhov kev siv no.
Libra tsis muaj kev lag luam ntiag tug
Raws li cov ntaub ntawv, lub system yog tsim los rau hauv tus account npe pseudonym, uas yog, qhov chaw nyob siv nyob rau hauv cov txheej txheem yog tau los ntawm pej xeem cov yuam sij ntawm elliptic nkhaus thiab tsis muaj metadata txog cov nyiaj. Txawm li cas los xij, tsis muaj qhov twg hauv cov lus piav qhia ntawm cov qauv kev tswj hwm rau lub koom haum lossis hauv cov txheej txheem nws tus kheej tsis qhia tias cov ntaub ntawv nyiaj txiag koom nrog hauv kev lag luam yuav raug zais ntawm cov neeg siv khoom siv li cas. Lub kaw lus tau tsim los ua kom rov ua dua cov kev lag luam loj rau ntau yam ntawm cov neeg sab nrauv uas, raws li cov cai lij choj nyob sab Europe thiab Asmeskas cov ntaub ntawv zais cia, yuav tsum tsis txhob ua tus kheej rau cov ntsiab lus nyiaj txiag.
Cov ntaub ntawv txoj cai thoob plaws lub tebchaws yog qhov nyuaj rau kev sib koom tes, tshwj xeeb tshaj yog muab cov kev cai lij choj thiab cov kev cai sib txawv hauv cov cheeb tsam sib txawv nrog cov kev coj noj coj ua sib txawv ntawm kev tiv thaiv cov ntaub ntawv thiab kev ceev ntiag tug. Tus txheej txheem nws tus kheej yog los ntawm lub neej ntawd qhib tag nrho rau cov tswv cuab koom nrog, uas yog qhov kev tsis txaus ntseeg uas tsis ua raws li qhov yuav tsum tau ua rau nws tsim.
Libra HotStuff BFT tsis tuaj yeem ua tiav qhov kev xav tau rau kev them nyiaj
Hauv tebchaws Askiv, cov txheej txheem tshem tawm zoo li BAC muaj peev xwm tuav tau ib puag ncig 580 kev hloov pauv hauv ib hlis. Nyob rau tib lub sijhawm, kev ua kom zoo tshaj plaws xws li Visa tuaj yeem ua 000 kev hloov pauv ib hnub. Kev ua tau zoo sib txawv nyob ntawm qhov loj me, kev sib txuas hauv network, qhov system load, thiab (anti-nyiaj laundering, nyiaj laundering schemes).
Libra tab tom sim daws cov teeb meem uas tsis yog teeb meem tiag tiag rau kev hloov pauv hauv tsev, raws li lub teb chaws tau hloov kho lawv cov kev tsim kho vaj tse nyob hauv kaum xyoo dhau los. Rau cov neeg muag khoom muag hauv European Union, txav nyiaj tsis yog qhov teeb meem txhua. Ntawm cov txheej txheem ib txwm muaj, qhov no tuaj yeem ua tiav nrog tus qauv smartphone hauv vib nas this. Rau cov tuam txhab kev hloov pauv loj, muaj ntau yam txheej txheem thiab cov cai cuam tshuam nrog kev txav nyiaj ntau.
Tsis muaj laj thawj vim li cas vim li cas kev them nyiaj hla ciam teb kuj tseem tsis tuaj yeem ua tiav tam sim ntawd, tsis yog qhov sib txawv ntawm cov cai thiab cov cai ntawm cov cai tswj hwm. Yog tias qhov kev tiv thaiv tsim nyog (kev mob siab rau cov neeg siv khoom, kev kuaj xyuas kev nplua, thiab lwm yam) tau ua ntau zaus ntawm ntau theem ntawm cov saw hlau sib txuas, qhov no yuav ua rau muaj kev ncua sij hawm. Txawm li cas los xij, qhov kev ncua no tsuas yog ua haujlwm ntawm kev cai lij choj thiab kev ua raws cai, tsis yog thev naus laus zis.
Rau cov neeg siv khoom, tsis muaj laj thawj vim li cas UK kev lag luam yuav tsis meej nyob rau hauv ib lub vib nas this. Kev muag khoom muag hauv EU yog qhov tseeb qeeb los ntawm (Paub Koj Cov Neeg Siv Khoom) thiab AML txwv los ntawm tsoomfwv thiab cov tswj hwm, uas siv sib npaug rau Libra cov nyiaj them. Txawm hais tias Facebook yuav tsum kov yeej cov teeb meem ntawm kev hla ciam teb thiab kev hloov pauv cov ntaub ntawv ntiag tug, tus qauv npaj siab yog ntau pua tus neeg-xyoos deb ntawm kev lag luam thoob ntiaj teb thiab yuav zoo li yuav tsum tau kho dua tshiab los ntawm kos.
Libra Move lus tsis raug
Daim ntawv dawb ua rau cov lus tsis txaus ntseeg hais txog ib hom lus tshiab, tsis muaj kev sim hu ua Move. Cov nqe lus no yog qhov tsis txaus ntseeg heev los ntawm qhov pom ntawm qhov programming lus theory (PLT).
Tsiv yog cov lus programming tshiab rau kev siv cov kev cai hloov pauv thiab cov ntawv cog lus ntse ntawm Libra blockchain. Vim Libra lub hom phiaj rau ib hnub pab ntau lab tus tib neeg, Tsiv yog tsim los nrog kev ruaj ntseg yog qhov tseem ceeb tshaj plaws.
Ib qho tseem ceeb ntawm Tsiv yog lub peev xwm los txhais cov peev txheej tsis txaus ntseeg nrog cov lus hais tau tshwm sim los ntawm cov lus qhia tawm.
Hauv cov pej xeem blockchains, cov ntawv cog lus ntse ntsib cov laj thawj ntawm pej xeem kev sib txuas nrog cov nyiaj escrow, nyiaj laundering, OTC token muab, thiab kev twv txiaj. Tag nrho cov no tau ua tiav hauv cov lus tsim tsis zoo nkauj hu ua Solidity, uas los ntawm qhov kev xav ntawm kev kawm ua rau tus sau PHP zoo li tus neeg txawj ntse. Oddly txaus, cov lus tshiab los ntawm Facebook zoo li tsis muaj dab tsi cuam tshuam nrog cov thev naus laus zis no, vim tias nws yog ib hom lus sau rau kev lag luam tsis pom tseeb.
Hauv cov ntaub ntawv ntiag tug, cov ntawv cog lus ntse yog ib qho ntawm cov ntsiab lus pov tseg los ntawm cov kws pab tswv yim yam tsis muaj kev xav paub meej meej lossis lub hom phiaj. Cov kws pab tswv yim lag luam software feem ntau tau txais nyiaj los ntawm qhov tsis meej, thiab cov ntawv cog lus ntse yog qhov tsis txaus ntseeg ntawm kev lag luam vim lawv tuaj yeem txhais tau tias yog dab tsi.
Tom qab ua kev thov txog nws txoj kev ruaj ntseg, peb yuav tsum tau saib cov semantics ntawm cov lus. Kev ua kom raug hauv cov lus piav qhia feem ntau muaj ob qhov pov thawj sib txawv: "kev nce qib" thiab "kev khaws cia", uas txiav txim siab qhov sib xws ntawm tag nrho qhov chaw ntawm kev soj ntsuam cov cai rau cov lus. Tshwj xeeb tshaj yog, nyob rau hauv hom kev xav, ib qho kev ua haujlwm yog "linear" yog tias nws siv nws cov lus sib cav raws nraim ib zaug, thiab "affine" yog tias nws siv feem ntau ib zaug. Lub linear type system muab kev lees paub zoo li qub tias qhov kev tshaj tawm txoj haujlwm yog linear tiag tiag los ntawm kev muab hom rau txhua qhov kev ua haujlwm subexpressions thiab ua raws li qhov chaw hu. Qhov no yog cov cuab yeej hloov maj mam los ua pov thawj thiab tsis yooj yim rau kev siv rau tag nrho cov haujlwm. Linear typing tseem yog ib qho kev kawm txuj ci tseem ceeb ntawm kev kawm, cuam tshuam los ntawm kev siv hom kev tsis sib xws hauv Clean thiab hom tswv cuab hauv Rust. Muaj qee qhov kev pom zoo ua ntej rau kev ntxiv hom kab rau Glasgow Haskell Compiler.
Tsiv cov lus hais txog kev siv hom kab tawm zoo li qhov tsis muaj kev cuam tshuam rau hauv lub compiler, txij li muaj . Raws li ib tug tuaj yeem qhia tau, daim ntawv dawb hais txog cov ntaub ntawv canonical los ntawm Girard thiab Peirce, thiab tsis muaj ib yam dab tsi zoo sib xws hauv qhov kev siv tiag tiag.
Tsis tas li ntawd, cov ntsiab lus tseem ceeb ntawm cov lus muaj kev ruaj ntseg zoo li tsis pom qhov twg hauv qhov kev siv lossis cov ntaub ntawv. Cov lus me me kom pom cov pov thawj tiav ntawm cov lus tseeb hauv Coq lossis Isabelle. Hauv kev muaj tiag, qhov kawg-rau-kawg kev hloov pauv tag nrho nrog cov ntaub ntawv pov thawj hloov mus rau bytecode yog qhov ua tau zoo los siv nrog cov cuab yeej niaj hnub tsim nyob rau hauv kaum xyoo dhau los. Peb paub yuav ua li cas, pib nrog rov qab rau xyoo 1996.
Los ntawm qhov kev xav ntawm lub programming lus txoj kev xav, nws tsis tuaj yeem sim qhov kev thov tias Move yog ib hom lus uas muaj kev ntseeg siab thiab ruaj ntseg, vim tias cov lus thov no muaj txiaj ntsig rau kev siv tes dawb huv thiab kev lag luam ntau dua li cov pov thawj tseeb. Qhov no yog qhov xwm txheej txaus ntshai rau ib txoj haujlwm hais lus uas tau hais kom ua tiav ntau lab daus las ntawm kev lag luam.
Libra cryptography yog flawed
Tsim kom muaj kev ruaj ntseg cryptosystems yog ib qho teeb meem nyuaj engineering, thiab nws yog ib qho zoo tshaj plaws los mus ua haujlwm nrog cov cai txaus ntshai nrog koob tshuaj noj qab haus huv paranoia. Muaj kev tawg loj hauv cheeb tsam no, zoo li Microsoft Everest qhov project, uas yog tsim kom muaj kev ruaj ntseg . Cov cuab yeej twb muaj lawm los tsim cov txheej txheem tseeb. Txawm hais tias qhov no yog kim, nws yog qhov tseeb tsis dhau Facebook lub peev xwm nyiaj txiag. Txawm li cas los xij, pab pawg tau txiav txim siab tsis koom nrog hauv txoj haujlwm, uas tau tshaj tawm tias yog lub hauv paus txhim khu kev qha rau lub ntiaj teb nyiaj txiag system.
libra project los ntawm ntau lub tsev qiv ntawv tshiab ncaj ncees rau kev tsim kev sim cryptosystems uas tsuas yog tshwm sim hauv ob peb xyoos dhau los. Nws tsis tuaj yeem hais tias qhov kev cia siab ntawm cov cuab yeej hauv qab no muaj kev nyab xeeb lossis tsis zoo, vim tias tsis muaj ib lub tsev qiv ntawv no tau raug tshuaj xyuas thiab tsis muaj cov txheej txheem qhia tawm. Tshwj xeeb, rau qee lub tsev qiv ntawv tseem ceeb tsis muaj qhov tseeb txog kev tiv thaiv kev tawm tsam sab-channel thiab lub sijhawm tawm tsam.
Lub tsev qiv ntawv libra dhau los ua kev sim ntau dua thiab dhau mus , siv cov tswv yim tshiab heev xws li kev txheeb xyuas qhov tseeb (VRFs), cov khub bilinear, thiab qhov pib kos npe. Cov txheej txheem thiab cov tsev qiv ntawv no yuav tsim nyog, tab sis kev sib koom ua ke tag nrho rau hauv ib qho system ua rau muaj kev txhawj xeeb loj txog thaj chaw nres. Kev sib xyaw ua ke ntawm tag nrho cov cuab yeej tshiab no thiab cov tswv yim zoo heev ua rau qhov nyuaj ntawm kev ua pov thawj kev ruaj ntseg.
Nws yuav tsum tau xav tias tag nrho cov cryptographic pawg no muaj kev cuam tshuam rau ntau yam kev tawm tsam kom txog thaum muaj pov thawj lwm yam. Facebook tus naas ej 'Move Fast and Break Things' qauv tsis tuaj yeem siv rau cov cuab yeej cryptographic uas ua cov ntaub ntawv nyiaj txiag rau cov neeg siv khoom.
Libra tsis siv cov txheej txheem tiv thaiv neeg siv khoom
Ib qho tshwj xeeb ntawm cov nyiaj them poob haujlwm yog lub peev xwm rov qab thim rov qab yog tias qhov kev them nyiaj raug tshem tawm los ntawm kev foob lossis ua rau muaj kev sib tsoo lossis kev ua tsis tiav. Lub Libra system yog tsim los ua "ua tiav" thiab tsis suav nrog hom kev sib pauv rau kev rho nyiaj. Hauv tebchaws Askiv, txhua qhov kev them nyiaj nruab nrab ntawm £ 100 thiab £ 30,000 yog raws li Txoj Cai Consumer Credit Act. Qhov no txhais tau hais tias cov nyiaj them poob haujlwm koom nrog lub luag haujlwm nrog tus muag khoom thaum muaj teeb meem nrog cov khoom yuav khoom lossis yog tias tus neeg tau txais kev them nyiaj tsis muab kev pabcuam. Cov kev cai zoo sib xws siv hauv EU, Asia thiab North America.
Kev tsim qauv tam sim no ntawm Libra tsis suav nrog cov txheej txheem ua raws li cov cai no thiab tsis muaj lub tswv yim meej rau kev tsim ib qho. Txawm li cas los xij, los ntawm qhov kev xav ntawm kev tsim vaj tsev, qhov kawg ntawm kernel cov ntaub ntawv pov thawj cov ntaub ntawv pov thawj, raws li lub xeev ntawm Merkle tsav, tsis tso cai rau ib qho txheej txheem los tsim cov txheej txheem zoo li no yam tsis tau hloov kho lub kernel.
Tom qab ua qhov kev tshuaj xyuas txog qhov project no, peb tuaj yeem txiav txim siab tias nws tsuas yog yuav tsis dhau muster hauv kev tshawb fawb txog kev faib khoom lossis nyiaj txiag engineering phau ntawv xov xwm. Txhawm rau sim hloov txoj cai tswjfwm nyiaj txiag thoob ntiaj teb, kev ua haujlwm loj heev yuav tsum tau ua los tsim kom muaj kev ntseeg siab thiab kev nyab xeeb ntawm cov neeg siv cov ntaub ntawv uas cov pej xeem thiab cov tswj hwm tuaj yeem ntseeg tau.
Kuv pom tsis muaj laj thawj ntseeg tias Facebook tau ua tiav cov haujlwm tsim nyog hauv nws cov qauv tsim kom kov yeej cov teeb meem kev lag luam lossis tias nws muaj qhov zoo tshaj plaws ntawm cov txheej txheem tam sim no. Hais tias lub tuam txhab xav tau kev tswj hwm yooj yim los tshawb nrhiav kev tsim kho tshiab tsis yog kev zam rau kev ua tsis tau ua ntej.
Tau qhov twg los: www.hab.com