Tar éis dhá bhliain, d'fhill mé ar an bhlag le haghaidh post atá difriúil ó na gnáth léachtaí leadránach faoi Haskell agus matamaitic. Tá mé ag obair ar fintech san AE le blianta beaga anuas agus is cosúil go bhfuil an t-am tagtha chun scríobh faoi ábhar nach bhfuair mórán airde ó na meáin theicneolaíochta.
D'eisigh Facebook le déanaí "ardán seirbhísí airgeadais nua" ar a dtugtar Libra. Tá sé suite mar chóras socraíochta digiteach atá bunaithe ar chiseán airgeadraí idirnáisiúnta a bhainistítear ar “blockchain” agus a stóráiltear i linn airgid arna bhainistiú ón Eilvéis. Tá spriocanna an tionscadail uaillmhianach agus bíonn iarmhairtí geopolitical ar scála mór i gceist leo.
В и Go leor alt ciallmhar faoi na boinn tuisceana neamhfhónta airgeadaíochta agus eacnamaíocha taobh thiar den chóras airgeadais atá beartaithe. Ach níl go leor speisialtóirí ann atá in ann anailís a dhéanamh ó thaobh teicniúil de. Ní bhíonn mórán daoine ag obair ar bhonneagar airgeadais agus ag caint go poiblí faoina gcuid oibre, mar sin ní fhaigheann an tionscadal seo mórán clúdach sna meáin theicneolaíochta, cé go bhfuil a chuid istigh oscailte don domhan mór. Ciallaíonn mé foinse oscailte i stórtha и .
Is éard atá oscailte don domhan ná déantán scitsifréine ó thaobh na hailtireachta le héilimh a bheith ina ardán slán don bhonneagar íocaíochta domhanda.
Má tá tú ag Léim isteach an bonn cód, an cur i bhfeidhm iarbhír an chórais go hiomlán difriúil ón sprioc atá luaite, agus ar na bealaí is aisteach. Táim cinnte go bhfuil stair chorparáideach spéisiúil ag an tionscadal seo. Mar sin tá sé loighciúil glacadh leis go ndearnadh é a dhearadh le dúthracht áirithe, ach i ndáiríre feicim sraith iontach aisteach de chinntí ailtireachta a bhriseann an córas iomlán agus a chuireann úsáideoirí i mbaol.
Ní ligfidh mé orm go bhfuil tuairim oibiachtúil agam faoi Facebook mar chuideachta. Is beag duine sa tionscal TF a bhreathnaíonn uirthi le comhbhá. Ach léiríonn comparáid idir a ráitis agus an cód foilsithe go soiléir go bhfuil an cuspóir luaite go bunúsach mealltach. I mbeagán focal, ní chuireann an tionscadal seo ar chumas duine ar bith. Fanfaidh sé go hiomlán faoi smacht cuideachta a bhfuil a gnó fógraíochta chomh mór sin sa scannal agus sa chaimiléireacht nach bhfuil de rogha aici ach iarracht a dhéanamh a cuid íocaíochtaí agus scór creidmheasa a éagsúlú le maireachtáil. Is é an sprioc fhadtéarmach soiléir ná gníomhú mar bhróicéir sonraí agus mar idirghabhálaí maidir le rochtain tomhaltóirí ar chreidmheas bunaithe ar a sonraí pearsanta ar na meáin shóisialta. Is scéal uafásach dorcha é seo nach bhfaigheann an aird atá tuillte aige.
Is é an t-aon ghrásta shábháilte a bhaineann leis an scéal seo ná go bhfuil an déantúsán a chruthaigh siad chomh mí-oiriúnach don tasc atá idir lámha acu nach féidir féachaint air ach mar bhruscar. Tá roinnt earráidí móra ailtireachta sa tionscadal seo:
Is Dearadh Neamhréireach é Fadhb na nGinearálta Byzantine a Réiteach i Líonra Rialaithe Rochtana
Réimse cúng taighde ar chórais dáilte is ea fadhb na n-ard Byzantine. Déanann sé cur síos ar chumas córais líonra chun teipeanna randamacha comhpháirte a sheasamh agus bearta ceartaitheacha á ndéanamh atá ríthábhachtach d'fheidhmiú an chórais. Ní mór do líonra athléimneach roinnt cineálacha ionsaithe a sheasamh, lena n-áirítear atosuithe, bristeacha, ualaí mailíseacha, agus vótáil mhailíseach i dtoghcháin cheannaireachta. Is é seo an príomhchinneadh d'ailtireacht Mheá, agus tá sé go hiomlán gan brí anseo.
Braitheann castacht ama forchostais an struchtúir bhreise seo ar an algartam. Tá go leor litríochta ar leaganacha éagsúla de phrótacail Paxos agus Raft a réitíonn fadhb an Ghinearáil Byzantine, ach tugann na struchtúir seo go léir forchostais bhreise isteach le haghaidh cumarsáide. 
chun córam a choinneáil. Maidir le Libra, roghnaigh siad algartam leis an gcostas cumarsáide is airde is féidir i gcás teip na ceannaireachta. Agus tá forchostais bhreise ag baint le haththoghadh ceannairí a d’fhéadfadh a bheith ann thar iliomad cineálacha teagmhas teip líonra.
Maidir le córas a oibríonn laistigh de chuibhreannas de chorparáidí ilnáisiúnta an-rialaithe, ina bhfuil cód sínithe ag Facebook ag gach úsáideoir agus ina bhfuil rochtain ar an líonra á rialú ag Facebook, ní dhéanann sé ciall ach rannpháirtithe mailíseacha a mheas ag leibhéal an chomhaontaithe. Níl sé soiléir cén fáth a réiteodh an córas seo fadhb na nginearálta Byzantine fiú, seachas rian iniúchta comhsheasmhach a choinneáil chun comhlíonadh a sheiceáil. Is cás aisteach é an fhéidearthacht go dtosóidh nód Mheá á reáchtáil ag Mastercard nó Andressen Horowitz go tobann ag rith cód mailíseach le pleanáil dó agus tugtar aghaidh níos fearr air trí sláine prótacail agus modhanna neamhtheicniúla (i.e. dlíthiúil) a chinntiú.
Bhronn Fianaise ar an gComhdháil an táirge mar iomaitheoir ar phrótacail íocaíochta idirnáisiúnta nua mar WeChat, Alipay agus M-Pesa. Mar sin féin, níl aon cheann de na córais seo deartha chun rith ar linnte bailíochtaithe chun fadhb na nGinearálta Byzantine a réiteach. Tá siad deartha go simplí ar bhus traidisiúnta ard-bandaleithead a dhéanann sreangú de réir sraith seasta rialacha. Is cur chuige nádúrtha é seo chun córas íocaíochta a dhearadh. Deartha go maith ní bheidh an córas íocaíochta ag teacht ar fhadhb an chaiteachais dhúbailte agus na forcanna.
Ní réitíonn forchostais an algartam comhthoil aon fhadhb agus ní chuireann sé teorainn le tréchur an chórais ach ar chúis ar bith seachas cultas lasta na blockchain poiblí, nach bhfuil beartaithe don chás úsáide seo.
Níl aon phríobháideachas idirbhirt ag Libra
De réir na doiciméid, tá an córas deartha ag cur san áireamh pseudainm, is é sin, faightear na seoltaí a úsáidtear sa phrótacal ó eochracha poiblí ar chuair éilipseacha agus níl meiteashonraí faoi chuntais iontu. Mar sin féin, níl in iúl in áit ar bith sa tuairisc ar struchtúr rialachais na heagraíochta ná sa phrótacal féin conas a bheidh na sonraí eacnamaíocha a bhaineann le hidirbhearta ceilte ar bhailitheoirí. Tá an córas deartha chun idirbhearta ar scála mór a mhacasamhlú do raon páirtithe seachtracha nár cheart, faoi dhlíthe rúndachta bainc na hEorpa agus SAM atá ann cheana, na sonraí eacnamaíocha a bheith acu.
Is deacair beartais sonraí ar fud na dtíortha a chomhordú, go háirithe i bhfianaise dlíthe agus rialacháin éagsúla i ndlínsí éagsúla a bhfuil dearcthaí cultúrtha éagsúla acu ar chosaint sonraí agus ar phríobháideachas. De réir réamhshocraithe, tá an prótacal féin oscailte go hiomlán do chomhaltaí an chuibhreannais, ar easnamh teicniúil soiléir é nach gcomhlíonann na ceanglais dá bhfuil sé deartha.
Níl Libra HotStuff BFT in ann an tréchur a theastaíonn do chóras íocaíochta a bhaint amach
Sa RA, tá córais imréitigh cosúil le BAC in ann thart ar 580 idirbheart a láimhseáil in aghaidh na míosa. Ag an am céanna, is féidir le córais an-uasmhéadaithe cosúil le Visa 000 idirbheart a phróiseáil in aghaidh an lae. Athraíonn feidhmíocht ag brath ar mhéid an idirbhirt, ródú líonra, ualach córais, agus (frith-sciúradh airgid, scéimeanna sciúradh airgid).
Tá Libra ag iarraidh fadhbanna a réiteach nach fadhbanna iad i ndáiríre maidir le haistrithe intíre, toisc go bhfuil náisiúnstáit tar éis a mbonneagar imréitigh a nuachóiriú le deich mbliana anuas. I gcás tomhaltóirí miondíola san Aontas Eorpach, ní fadhb ar bith é airgead a aistriú. Ar bhonneagar traidisiúnta, is féidir é seo a dhéanamh le fón cliste caighdeánach i soicindí. I gcás aistrithe móra corparáideacha, tá meicníochtaí agus rialacha éagsúla ann a bhaineann le suimeanna móra airgid a aistriú.
Níl aon chúis theicniúil ann nach féidir íocaíochtaí trasteorann a phróiseáil láithreach freisin, seachas difríochtaí i rialacha agus ceanglais idir na dlínsí ábhartha. Má dhéantar na bearta coisctheacha is gá (dícheall cuí do chustaiméirí, seiceálacha smachtbhannaí, etc.) go minic ag céimeanna éagsúla den slabhra idirbhirt, d’fhéadfadh moill a bheith ar an idirbheart dá bharr. Mar sin féin, is feidhm de chuid na reachtaíochta rialála agus an chomhlíonta amháin an mhoill seo, ní an teicneolaíocht.
I gcás tomhaltóirí, níl aon chúis nach soiléireodh idirbheart RA i gceann soicind. Tá idirbhearta miondíola san AE ag moilliú go deimhin (Know Your Customer) agus srianta AML arna bhforchur ag rialtais agus rialtóirí, a bhaineann go cothrom le híocaíochtaí Mheá. Fiú dá sáródh Facebook na constaicí ar aistrithe trasteorann agus ar aistrithe príobháideacha sonraí, tá an tsamhail atá beartaithe na céadta bliain ar shiúl ó thréchur idirbheart domhanda agus is dócha go mbeadh gá le hathdhearadh ón tús.
Tá teanga Libra Move mícheart
Déanann an páipéar bán maíomh dána faoi theanga nua nár tástáladh ar a dtugtar Move. Tá na ráitis seo sách amhrasach ó thaobh theoiric na teanga ríomhchlárúcháin (PLT).
Is teanga cláir nua é Move chun loighic idirbhearta saincheaptha agus conarthaí cliste a chur i bhfeidhm ar blockchain Mheá. Toisc go bhfuil sé mar aidhm ag Libra freastal ar na billiúin daoine lá amháin, tá Move deartha le slándáil mar phríomhthosaíocht.
Príomhghné de Move is ea an cumas cineálacha acmhainne treallach a shainiú le séimeantaic spreagtha ag loighic líneach.
I blockchains poiblí, tugann conarthaí cliste aghaidh ar loighic líonraí poiblí le cuntais eascró, sciúradh airgid, eisiúint comharthaí thar an gcuntar, agus cearrbhachas. Déantar é seo go léir i dteanga ar a dtugtar Solidity droch-dheartha, rud a fhágann go bhfuil cuma genius ar údar PHP ó thaobh cúrsaí acadúil de. Is aisteach go leor, is cosúil nach bhfuil baint ar bith ag an teanga nua ó Facebook leis na teicneolaíochtaí seo, ós rud é gur teanga scriptithe í i ndáiríre atá ceaptha chun críocha fiontraíochta doiléir.
I mórleabhair dáilte phríobháideacha, tá conarthaí cliste ar cheann de na téarmaí sin a chaitear timpeall ag comhairleoirí gan mórán aird a thabhairt ar shainiú nó ar chuspóir soiléir. De ghnáth déanann comhairleoirí bogearraí fiontair airgead ó athbhrí, agus is éard atá i gconarthaí cliste ná apotheosis an doiléire corparáideach mar is féidir iad a shainmhíniú mar rud ar bith go litriúil.
Tar éis dúinn éilimh a dhéanamh faoina slándáil, caithfimid breathnú ar shéimeantaic na teanga. Go hiondúil bíonn dhá chruthúnas éagsúla i dteoiric na teanga ríomhchlárúcháin: “dul chun cinn” agus “caomhnú”, a chinneann comhsheasmhacht spás iomlán na rialacha meastóireachta don teanga. Go sonrach, i dteoiric cineáil, tá feidhm "líneach" má úsáideann sé a argóint go díreach uair amháin, agus "aifín" má úsáideann sé í uair amháin ar a mhéad. Soláthraíonn an córas cineál líneach ráthaíocht statach go bhfuil feidhm líneach dearbhaithe fíor-líneach trí chineálacha a shannadh do gach fo-léiriú feidhm agus súil a choinneáil ar an áit a ndéantar glaonna. Is airí caolchúiseach é seo le cruthú agus ní furasta é a chur i bhfeidhm do chlár iomlán. Tá clóscríobh líneach fós ina réimse staidéir an-acadúil, a bhfuil tionchar ag cur i bhfeidhm uathúlacht cineáil in úinéireacht ghlan agus cineál i Rust. Tá roinnt réamh-mholtaí ann chun cineálacha líneacha a chur le Tiomsaitheoir Glaschú Haskell.
Is cosúil gur tumadh isteach sa tiomsaitheoir gan údar é ráiteas Move maidir le cineálacha líneacha a úsáid, ó shin i leith . Chomh fada agus is féidir a insint, luann an páipéar bán litríocht chanónach ó Girard agus Peirce, agus níl aon rud cosúil leis sa chur i bhfeidhm iarbhír.
Ina theannta sin, ní fheictear seimeantaic fhoirmiúil na teanga atá slán sábháilte in áit ar bith sa chur i bhfeidhm nó sa doiciméad. Tá an teanga beag go leor chun cruthúnas iomlán ar shéimeantaic cheart a fháil in Coq nó Isabelle. I ndáiríre, is féidir tiomsaitheoir comhshó iomlán deireadh le deireadh le haistriú cruthúnais go bytecode a chur i bhfeidhm le huirlisí nua-aimseartha a ceapadh le deich mbliana anuas. Tá a fhios againn conas é a dhéanamh, ag tosú le ar ais i 1996.
Ó thaobh theoiric na teanga ríomhchlárúcháin de, ní féidir an t-éileamh gur teanga iontaofa agus shlán í Move a thástáil, ós rud é gurb ionann na héilimh sin agus lámhchnámhaireacht agus margaíocht íon seachas fíorfhianaise. Is cás scanrúil é seo do thionscadal teanga a bhfuiltear ag iarraidh air na billiúin dollar idirbhearta a phróiseáil.
Tá cripteagrafaíocht Mheá lochtach
Is fadhb innealtóireachta an-deacair é cripte-chórais slán a thógáil, agus is fearr i gcónaí dul i ngleic le hoibriú le cód contúirteach le dáileog maith de paranóia sláintiúil. Tá dul chun cinn mór sa réimse seo, cosúil le tionscadal Microsoft Everest, atá ag tógáil slán infhíoraithe . Tá uirlisí ann cheana chun primitives infhíoraithe a chruthú. Cé go bhfuil sé seo costasach, is léir nach bhfuil sé níos faide ná cumais eacnamaíocha Facebook. Mar sin féin, chinn an fhoireann gan páirt a ghlacadh sa tionscadal, a fógraíodh mar bhunús iontaofa don chóras airgeadais domhanda.
tionscadal leabharlainne ó roinnt leabharlann cothrom nua chun cripte-chórais turgnamhacha a chruthú nach bhfuil le feiceáil ach le cúpla bliain anuas. Ní féidir a rá an bhfuil na spleáchais ar na huirlisí seo a leanas sábháilte nó nach bhfuil, ós rud é nach ndearnadh iniúchadh ar aon cheann de na leabharlanna sin agus nach bhfuil polasaithe caighdeánacha nochta acu. Go háirithe, i gcás roinnt leabharlanna lárnacha níl aon chinnteacht maidir le cosaint i gcoinne ionsaithe taobh-chainéil agus ionsaithe uainiúcháin.
Éiríonn leabharlann na leabharlainne níos turgnamhaí fós agus téann sé níos faide , teicnící an-nua a chur i bhfeidhm amhail feidhmeanna randamacha infhíoraithe (VRFanna), péirí déneacha, agus sínithe tairsí. D’fhéadfadh na modhanna agus na leabharlanna seo a bheith réasúnta, ach má dhéantar iad go léir a chomhcheangal in aon chóras amháin, ardaítear imní mhór faoi achar dromchla an ionsaithe. Méadaíonn meascán na n-uirlisí agus na teicnící nua seo go mór an chastacht a bhaineann le slándáil a chruthú.
Ba cheart glacadh leis go bhfuil an chairn iomlán cripteagrafach seo i mbaol ionsaithe éagsúla go dtí go gcruthaítear a mhalairt. Ní féidir samhail cháiliúil Facebook 'Move Fast and Break Things' a chur i bhfeidhm ar uirlisí cripteagrafacha a phróiseálann sonraí airgeadais custaiméirí.
Teipeann ar Mheá meicníochtaí cosanta tomhaltóirí a chur i bhfeidhm
Gné shainiúil den chóras íocaíochta is ea an cumas idirbheart a rolladh siar má dhéantar an íocaíocht a chealú trí dhlíthe nó má chliseann de thaisme nó teip córais mar thoradh air. Tá córas Mheá deartha le bheith “iomlán” agus ní áirítear ann cineál idirbhirt le haghaidh cealú íocaíochta. Sa RA, tá gach íocaíocht idir £100 agus £30,000 faoi réir an Achta um Chreidmheas do Thomhaltóirí. Ciallaíonn sé seo go roinneann an córas íocaíochta freagracht leis an díoltóir i gcás fadhb leis an táirge ceannaithe nó mura soláthraíonn faighteoir na híocaíochta an tseirbhís. Tá rialacha comhchosúla i bhfeidhm san AE, san Áise agus i Meiriceá Thuaidh.
Ní chuimsíonn dearadh reatha Mheá prótacal chun cloí leis na dlíthe seo agus níl plean soiléir ann chun ceann a chruthú. Níos measa fós, ó thaobh na hailtireachta de, ní cheadaíonn críochnúlacht struchtúr sonraí fíordheimhnithe an eithne, bunaithe ar staid tiomáint Merkle, aon mheicníocht chun prótacal den sórt sin a chruthú gan an eithne a athdhearadh.
Tar éis dúinn athbhreithniú teicniúil a dhéanamh ar an tionscadal seo, is féidir linn a thabhairt i gcrích nach n-éireoidh leis ach in aon iris taighde córais dáilte nó innealtóireachta airgeadais a bhfuil meas air. Chun iarracht a dhéanamh beartas airgeadaíochta domhanda a athrú, ní mór méid ollmhór oibre teicniúla a dhéanamh chun líonra iontaofa agus próiseáil shlán sonraí úsáideoirí a chruthú a bhféadfaidh an pobal agus rialtóirí muinín a bheith acu as.
Ní fheicim aon chúis a chreidiúint go bhfuil an obair riachtanach déanta ag Facebook ina dhearadh chun na fadhbanna teicniúla seo a shárú nó go bhfuil buntáistí teicniúla ar bith aige maidir leis an mbonneagar reatha. Ní leithscéal é a rá go dteastaíonn solúbthacht rialála ó chuideachta chun nuálaíocht a iniúchadh gan iad a dhéanamh ar dtús.
Foinse: will.com