Apre dezan, mwen te retounen nan blog la pou yon pòs ki diferan de konferans abityèl raz yo sou Haskell ak matematik. Mwen te travay sou fintech nan Inyon Ewopeyen an pou kèk ane ki sot pase yo e li sanble tankou lè a rive ekri sou yon sijè ki te resevwa ti atansyon nan medya yo teknoloji.
Facebook dènyèman te pibliye sa li rele yon "nouvo platfòm sèvis finansye" ki rele Libra. Li pozisyone kòm yon sistèm règleman dijital ki baze sou yon panyen lajan entènasyonal ki jere sou yon "blockchain" epi ki estoke nan yon pisin lajan jere soti nan Swis. Objektif pwojè a se anbisye epi yo gen gwo konsekans jeopolitik.
В и Anpil atik sansib sou sipozisyon monetè ak ekonomik ki pa bon dèyè sistèm finansye yo pwopoze a. Men, pa gen ase espesyalis ki kapab analize nan yon pwen de vi teknik. Pa gen anpil moun ki travay sou enfrastrikti finansye ak pale piblikman sou travay yo, kidonk pwojè sa a pa jwenn anpil kouvèti asirans nan medya teknoloji yo, byenke anndan li yo ouvè a mond lan. Mwen vle di sous louvri nan depo и .
Ki sa ki ouvè a mond lan se yon zafè eskizofrenik achitekti ak reklamasyon yo dwe yon platfòm an sekirite pou enfrastrikti peman mondyal la.
Si ou plonje nan baz kòd la, aplikasyon aktyèl la nan sistèm nan konplètman diverge de objektif la deklare, ak nan fason ki pi ra. Mwen sèten ke pwojè sa a gen yon istwa antrepriz enteresan. Se konsa, li lojik yo asime ke li te fèt ak kèk dilijans, men an reyalite mwen wè yon seri reyèlman etranj nan desizyon achitekti ki kraze tout sistèm nan epi mete itilizatè yo nan risk.
Mwen pa pral pretann gen yon opinyon objektif sou Facebook kòm yon konpayi. Gen kèk moun nan endistri IT a gade li ak senpati. Men, yon konparezon nan deklarasyon li yo ak kòd la pibliye montre klèman ke objektif la deklare se fondamantalman twonpe. Nan ti bout tan, pwojè sa a pa bay pèsonn pouvwa. Li pral rete antyèman anba kontwòl yon konpayi ki gen biznis piblisite tèlman anliye nan eskandal ak koripsyon ke li pa gen okenn chwa ke eseye divèsifye peman li yo ak nòt kredi yo siviv. Objektif klè alontèm se aji kòm yon koutye done ak entèmedyè nan aksè konsomatè yo nan kredi ki baze sou done pèsonèl medya sosyal yo. Sa a se yon istwa absoliman terib ak nwa ki pa jwenn atansyon a li merite.
Sèl favè sove nan istwa sa a se ke zafè yo te kreye a tèlman hilarioously inadapte nan travay la nan men yo ke li ka sèlman wè li kòm yon zak ibris. Gen plizyè gwo erè achitekti nan pwojè sa a:
Rezoud pwoblèm jeneral Bizanten yo nan yon rezo kontwòl aksè se yon konsepsyon ki pa konsistan
Pwoblèm jeneral Bizanten yo se yon zòn nan rechèch nan sistèm distribiye olye etwat. Li dekri kapasite yon sistèm rezo pou kenbe tèt ak echèk eleman o aza pandan y ap pran aksyon korektif kritik nan operasyon an nan sistèm nan. Yon rezo fleksib dwe kenbe tèt ak plizyè kalite atak, tankou rekòmanse, pann, chaj move, ak vòt move nan eleksyon lidèchip yo. Sa a se desizyon prensipal la pou achitekti Libra a, epi li konplètman san sans isit la.
Konpleksite tan anlè estrikti adisyonèl sa a depann de algorithm la. Gen anpil literati sou varyant pwotokòl Paxos ak Raft ki rezoud pwoblèm jeneral Bizanten yo, men tout estrikti sa yo entwodui plis sou tèt pou kominikasyon. 
pou kenbe kowòm. Pou Libra, yo te chwazi yon algorithm ak pri kominikasyon ki pi wo posib nan ka echèk nan lidèchip. Epi gen plis depans anplis nan potansyèl re-eleksyon lidè yo atravè plizyè kalite evènman echèk rezo a.
Pou yon sistèm opere nan yon konsòsyòm nan kòporasyon miltinasyonal trè reglemante, kote tout itilizatè yo gen kòd siyen pa Facebook epi aksè a rezo a se kontwole pa Facebook, li tou senpleman pa fè sans pou konsidere patisipan move nan nivo konsansis. Li pa klè poukisa sistèm sa a ta menm rezoud pwoblèm jeneral Bizanten yo, olye ke tou senpleman kenbe yon santye odit ki konsistan pou tcheke konfòmite. Posiblite pou yon nœuds Libra dirije pa Mastercard oswa Andressen Horrowitz toudenkou kòmanse kouri kòd move se yon senaryo enpè pou planifye pou epi li pi byen adrese pa senpleman asire entegrite pwotokòl ak mwayen ki pa teknik (sa vle di legal).
Temwayaj bay Kongrè a voye bòdwo pwodwi a kòm yon konkiran nan nouvo pwotokòl peman entènasyonal tankou WeChat, Alipay ak M-Pesa. Sepandan, pa youn nan sistèm sa yo fèt pou kouri sou pisin validateur pou rezoud pwoblèm jeneral Bizanten yo. Yo tou senpleman fèt sou yon otobis tradisyonèl ki gen gwo lajè ki fè fil elektrik dapre yon seri règ fiks. Sa a se yon apwòch natirèl nan konsepsyon yon sistèm peman. Byen fèt sistèm nan peman tou senpleman pa pral rankontre pwoblèm nan nan depans doub ak fouchèt.
Anlè algorithm konsansis la pa rezoud okenn pwoblèm epi sèlman limite debi sistèm lan pou okenn lòt rezon pase kil kago blockchain piblik la, ki pa fèt pou ka itilize sa a.
Libra pa gen okenn vi prive tranzaksyon
Dapre dokiman an, se sistèm nan fèt pran an kont psedonim, se sa ki, adrès yo itilize nan pwotokòl la yo jwenn nan kle piblik sou koub eliptik epi yo pa gen metadata sou kont yo. Sepandan, okenn kote nan deskripsyon estrikti gouvènans òganizasyon an oswa nan pwotokòl la li menm li endike kijan done ekonomik ki enplike nan tranzaksyon yo pral kache pou validatè yo. Sistèm nan fèt pou repwodui tranzaksyon yo sou yon gwo echèl bay yon seri pati ekstèn ki, dapre lwa ki egziste deja sou sekrè labank Ewopeyen yo ak Etazini yo, pa ta dwe konnen detay ekonomik yo.
Politik done atravè peyi yo difisil pou kowòdone, sitou si yo bay lwa ak règleman diferan nan diferan jiridiksyon ak opinyon kiltirèl diferan sou pwoteksyon done ak vi prive. Pwotokòl la li menm se pa default konplètman ouvè a manm consortium, ki se yon enpèfeksyon teknik klè ki pa satisfè kondisyon yo pou ki li fèt.
Libra HotStuff BFT pa kapab reyalize debi ki nesesè pou yon sistèm peman
Nan UK a, sistèm netwaye tankou BAC yo kapab manyen anviwon 580 tranzaksyon pa mwa. An menm tan an, sistèm trè optimize tankou Visa ka trete 000 tranzaksyon pa jou. Pèfòmans varye selon gwosè tranzaksyon, routage rezo, chaj sistèm, ak (anti-lajan blanchi, plan blanchiman lajan).
Libra ap eseye rezoud pwoblèm ki pa reyèlman pwoblèm pou transfè domestik, kòm eta nasyon yo te modènize enfrastrikti netwaye yo pandan dènye dekad la. Pou konsomatè Yo Vann an Detay nan Inyon Ewopeyen an, deplase lajan se pa yon pwoblèm nan tout. Sou enfrastrikti tradisyonèl yo, sa ka fèt ak yon smartphone estanda an segonn. Pou gwo transfè antrepriz, gen divès mekanis ak règ ki asosye ak deplase gwo kantite lajan.
Pa gen okenn rezon teknik ki fè peman transfontyè yo pa kapab tou trete imedyatman, lòt pase diferans nan règ ak kondisyon ant jiridiksyon ki enpòtan yo. Si mezi prevantif ki nesesè yo (dilijans kliyan, chèk sanksyon, elatriye) yo fèt plizyè fwa nan diferan etap nan chèn tranzaksyon an, sa ka lakòz yon reta nan tranzaksyon an. Sepandan, reta sa a se piman yon fonksyon nan lejislasyon regilasyon ak konfòmite, pa teknoloji.
Pou konsomatè yo, pa gen okenn rezon ki fè yon tranzaksyon UK pa ta klè nan yon kesyon de segonn. Tranzaksyon Yo Vann an Detay nan Inyon Ewopeyen an yo tout bon ralanti pa (Konnen Kliyan ou) ak restriksyon AML enpoze pa gouvènman yo ak regilatè yo, ki aplike egalman ak peman Libra. Menm si Facebook ta simonte obstak yo nan transfè transfwontyè ak transfè done prive, modèl yo pwopoze a se dè santèn de ane moun lwen debi tranzaksyon mondyal epi li ta gen anpil chans bezwen yo dwe reamenaje nan grate.
Langaj Libra Move pa kòrèk
Papye blan an fè reklamasyon fonse sou yon nouvo lang ki pa teste ki rele Move. Deklarasyon sa yo byen enzitan nan pwen de vi teyori langaj pwogramasyon (PLT).
Move se yon nouvo langaj pwogramasyon pou aplike lojik tranzaksyon koutim ak kontra entelijan sou blockchain Libra. Paske Libra vize pou yon jou sèvi plizyè milya moun, Move fèt ak sekirite kòm yon pi gwo priyorite.
Yon karakteristik kle nan Move se kapasite nan defini kalite resous abitrè ak semantik enspire pa lojik lineyè.
Nan blockchains piblik yo, kontra entelijan fè fas a lojik rezo piblik yo ak kont escrow, blanchi lajan, emisyon siy OTC, ak jwèt aza. Tout bagay sa yo fèt nan yon lang étourdissement mal conçu ki rele Solidity, ki nan yon pwendvi akademik fè otè PHP parèt tankou yon jeni. Etranj ase, nouvo lang ki soti nan Facebook sanble pa gen anyen fè ak teknoloji sa yo, paske li se aktyèlman yon lang scripting ki fèt pou rezon antrepriz fènwa.
Nan liv distribiye prive yo, kontra entelijan yo se youn nan tèm konsiltan yo voye jete san anpil atansyon pou definisyon klè oswa objektif. Konsiltan lojisyèl antrepriz tipikman fè lajan nan anbigwite, ak kontra entelijan yo se apoteoz nan obscurantism antrepriz paske yo ka defini kòm literalman anyen.
Apre nou fin fè reklamasyon sou sekirite li yo, nou bezwen gade semantik lang nan. Correct nan teyori langaj pwogramasyon tipikman konsiste de de prèv diferan: "pwogrè" ak "konsèvasyon", ki detèmine konsistans nan tout espas règ evalyasyon pou lang lan. Plis espesifikman, nan teyori tip, yon fonksyon se "lineyè" si li sèvi ak agiman li egzakteman yon fwa, ak "afine" si li itilize li omwen yon fwa. Sistèm nan kalite lineyè bay garanti estatik ke yon fonksyon lineyè deklare se vrèman lineyè lè li bay kalite nan tout sou-ekspresyon fonksyon epi kenbe tras de kote apèl yo fè. Sa a se yon pwopriyete sibtil pou pwouve epi li pa fasil pou aplike pou tout yon pwogram. Sezisman lineyè se toujou yon domèn etid trè akademik, enfliyanse pa aplikasyon kalite inik nan pwòp ak pwopriyetè kalite nan Rust. Gen kèk pwopozisyon preliminè pou ajoute kalite lineyè nan Glasgow Haskell Compiler la.
Deklarasyon Move sou lè l sèvi avèk kalite lineyè sanble tankou yon plonje san rezon nan du a, depi la . Jan yon moun ka di, liv blanch la site literati kanonik Girard ak Peirce, e pa gen anyen ki sanble nan aplikasyon aktyèl la.
Anplis de sa, semantik fòmèl lang swadizan sekirite a pa parèt okenn kote nan aplikasyon an oswa nan dokiman an. Lang lan piti ase pou jwenn yon prèv konplè sou semantik kòrèk nan Coq oswa Isabelle. An reyalite, yon konpilatè konvèsyon konplè fen-a-fen ak transfè prèv nan bytecode se byen posib pou aplike ak zouti modèn envante nan dènye dekad la. Nou konnen ki jan fè li, kòmanse ak tounen an 1996.
Soti nan yon pèspektiv teyori langaj pwogramasyon, li enposib teste reklamasyon an ke Move se yon lang serye ak an sekirite, depi reklamasyon sa yo se pi bon kalite balanse men ak maketing olye ke prèv aktyèl. Sa a se yon sitiyasyon alarmant pou yon pwojè lang ke yo te mande pou trete plizyè milya dola nan tranzaksyon.
Libra kriptografik se defo
Bati sistèm kriptografik an sekirite se yon pwoblèm jeni trè difisil, epi li toujou pi bon pou apwoche travay ak kòd danjere ak yon bon dòz paranoya an sante. Gen gwo dekouvèt nan zòn sa a, tankou pwojè Microsoft Everest la, ki ap konstwi yon sekirite ki verifye. . Zouti deja egziste pou kreye primitif verifyab. Malgre ke sa a se chè, li klèman pa depase kapasite ekonomik Facebook la. Sepandan, ekip la deside pa patisipe nan pwojè a, ki te anonse kòm yon fondasyon serye pou sistèm finansye mondyal la.
pwojè libra soti nan plizyè bibliyotèk jistis nouvo pou kreye kriptosistèm eksperimantal ki te parèt sèlman nan dènye ane yo. Li enposib pou di si depandans yo sou zouti sa yo an sekirite oswa ou pa, paske pa gen okenn nan bibliyotèk sa yo te odit epi yo pa gen règleman estanda divilgasyon. An patikilye, pou kèk bibliyotèk debaz pa gen okenn sètitid konsènan pwoteksyon kont atak bò-chanèl ak atak distribisyon.
Bibliyotèk la vin menm plis eksperimantal epi li ale pi lwen , aplike teknik trè nouvo tankou fonksyon o aza verifyab (VRFs), pè bilineyè, ak siyati papòt. Metòd sa yo ak bibliyotèk yo ka rezonab, men konbine yo tout nan yon sèl sistèm ogmante enkyetid grav sou zòn sifas atak. Konbinezon tout nouvo zouti ak teknik sa yo ogmante anpil konpleksite pou pwouve sekirite.
Li ta dwe sipoze ke tout pil kriptografik sa a vilnerab a divès atak jiskaske pwouve otreman. Pi popilè modèl Facebook 'Move Fast and Break Things' pa ka aplike nan zouti kriptografik ki trete done finansye kliyan yo.
Libra pa aplike mekanis pwoteksyon konsomatè yo
Yon karakteristik diferan nan sistèm peman an se kapasite nan woule tounen yon tranzaksyon si peman an anile pa yon pwosè oswa mennen nan yon aksidan oswa echèk sistèm. Sistèm Libra a fèt pou "konplè" epi li pa genyen yon kalite tranzaksyon pou anile peman. Nan UK a, tout peman ant £100 ak £30,000 yo sijè a Lwa sou Kredi Konsomatè. Sa vle di ke sistèm peman an pataje responsablite ak vandè a nan ka yon pwoblèm ak pwodwi achte a oswa si moun k ap resevwa peman an pa bay sèvis la. Règ menm jan an aplike nan Inyon Ewopeyen an, Azi ak Amerik di Nò.
Konsepsyon aktyèl Libra pa genyen yon pwotokòl pou konfòme yo ak lwa sa yo epi li pa gen yon plan klè pou kreye youn. Menm pi mal, nan yon pèspektiv achitekti, finalite a nan estrikti done otantifye nwayo a, ki baze sou eta a nan kondwi a Merkle, pa pèmèt pou okenn mekanis yo kreye yon pwotokòl konsa san yo pa redesign nwayo a.
Apre yo fin fè yon revizyon teknik nan pwojè sa a, nou ka konkli ke li tou senpleman pa pral pase rasanbleman nan nenpòt ki respekte sistèm distribye rechèch oswa jounal jeni finansye. Pou eseye chanje politik monetè mondyal la, yo bezwen fè yon gwo kantite travay teknik pou kreye yon rezo serye ak pwosesis sekirite done itilizatè ke piblik la ak regilatè yo ka fè konfyans.
Mwen pa wè okenn rezon pou mwen kwè ke Facebook te fè travay ki nesesè nan konsepsyon li yo simonte pwoblèm teknik sa yo oswa ke li gen nenpòt avantaj teknik sou enfrastrikti aktyèl la. Di ke yon konpayi bezwen fleksibilite regilasyon yo eksplore inovasyon se pa yon eskiz pou pa fè yo an premye.
Sous: www.habr.com