Às deidh dà bhliadhna, thill mi chun bhlog airson post a tha eadar-dhealaichte bho na h-òraidean àbhaisteach dòrainneach mu Haskell agus matamataig. Tha mi air a bhith ag obair air fintech san EU airson na beagan bhliadhnaichean a dh’ fhalbh agus tha e coltach gu bheil an t-àm ann sgrìobhadh mu chuspair nach d’ fhuair mòran aire bho na meadhanan teignigeach.
O chionn ghoirid leig Facebook a-mach rud ris an canar “àrd-ùrlar seirbheisean ionmhais ùr” ris an canar Libra. Tha e air a shuidheachadh mar shiostam tuineachaidh didseatach stèidhichte air basgaid de airgeadan eadar-nàiseanta a tha air an riaghladh air “blockchain” agus air a stòradh ann an amar airgid air a riaghladh bhon Eilbheis. Tha amasan a’ phròiseict glòir-mhiannach agus a’ toirt a-steach builean geo-poilitigeach air sgèile mhòr.
В и Tòrr artaigilean ciallach mu na barailean neo-chinnteach airgid is eaconamach a tha air cùl an t-siostam ionmhais a thathar a’ moladh. Ach chan eil gu leòr eòlaichean comasach air mion-sgrùdadh bho shealladh teicnigeach. Chan eil mòran dhaoine ag obair air bun-structar ionmhais agus a’ bruidhinn gu poblach mun obair aca, agus mar sin chan eil am pròiseact seo a’ faighinn mòran còmhdaich anns na meadhanan teignigeach, ged a tha na togalaichean aige fosgailte don t-saoghal. Tha mi a’ ciallachadh stòr fosgailte ann an stòran и .
Is e an rud a tha fosgailte don t-saoghal artifact a thaobh ailtireachd schizophrenic le tagraidhean a bhith na àrd-ùrlar tèarainte airson bun-structar pàighidh cruinneil.
Ma thèid thu a-steach don bhunait còd, bidh fìor bhuileachadh an t-siostaim gu tur eadar-dhealaichte bhon amas ainmichte, agus anns na dòighean as annasaiche. Tha mi cinnteach gu bheil eachdraidh chorporra inntinneach aig a’ phròiseact seo. Mar sin tha e loidsigeach a bhith den bheachd gun deach a dhealbhadh le beagan dìcheall, ach gu fìrinneach tha mi a’ faicinn seata fìor neònach de cho-dhùnaidhean ailtireil a bhriseas an siostam gu lèir agus a chuireas luchd-cleachdaidh ann an cunnart.
Cha leig mi a-mach gu bheil beachd cothromach agam mu Facebook mar chompanaidh. Is e glè bheag de dhaoine anns a’ ghnìomhachas IT a bhios a’ coimhead oirre le co-fhaireachdainn. Ach tha coimeas eadar na h-aithrisean aige agus an còd foillsichte a’ sealltainn gu soilleir gu bheil an adhbhar ainmichte gu bunaiteach meallta. Ann an ùine ghoirid, chan eil am pròiseact seo a 'toirt cumhachd do dhuine sam bith. Fuirichidh e gu tur fo smachd companaidh aig a bheil gnìomhachas sanasachd cho mòr ann an sgainneal agus coirbeachd is nach eil roghainn aca ach feuchainn ri na pàighidhean agus an sgòradh creideis aca iomadachadh gus a bhith beò. Is e an amas soilleir san fhad-ùine a bhith mar broker dàta agus eadar-mheadhanair ann an ruigsinneachd luchd-cleachdaidh air creideas stèidhichte air an dàta meadhanan sòisealta pearsanta aca. Is e sgeulachd gu tur oillteil agus dorcha a tha seo nach eil a’ faighinn an aire a tha airidh air.
Is e an aon ghràs sàbhalaidh a tha san sgeulachd seo, gu bheil an obair-ealain a chruthaich iad cho iongantach mì-fhreagarrach don obair a tha an làthair is nach fhaicear e ach mar ghnìomh brosnachaidh. Tha grunn phrìomh mhearachdan ailtireachd sa phròiseact seo:
Is e dealbhadh neo-chunbhalach a th’ ann a bhith a’ fuasgladh duilgheadas Seanalair Byzantine ann an Lìonra Smachd Ruigsinneachd
Tha duilgheadas nan seanalairean Byzantine na raon rannsachaidh caran cumhang air siostaman sgaoilte. Tha e ag innse mu chomas siostam lìonraidh seasamh an aghaidh fàilligidhean co-phàirteach air thuaiream fhad ‘s a tha e a’ gabhail gnìomhan ceartachaidh a tha deatamach airson obrachadh an t-siostaim. Feumaidh lìonra tapaidh seasamh ri grunn sheòrsan ionnsaighean, a’ gabhail a-steach ath-thòiseachadh, briseadh a-mach, luchdan droch-rùnach, agus bhòtadh droch-rùnach ann an taghaidhean ceannardais. Is e seo am prìomh cho-dhùnadh airson ailtireachd Libra, agus tha e gu tur gun bhrìgh.
Tha iom-fhillteachd ùine an structair a bharrachd seo an urra ris an algairim. Tha tòrr litreachas ann air caochlaidhean de phròtacalan Paxos agus Raft a’ fuasgladh duilgheadas coitcheann Byzantine, ach tha na structaran sin uile a’ toirt a-steach cosgaisean a bharrachd airson conaltradh thairis air. 
gus cuòram a chumail. Airson Libra, thagh iad algorithm leis a 'chosgais conaltraidh as àirde ann an cùis fàilligeadh ceannardais. Agus tha cosgais a bharrachd ann bho ath-thaghadh stiùirichean a dh’ fhaodadh a bhith ann thairis air grunn sheòrsaichean de thachartasan fàiligeadh lìonra.
Airson siostam a tha ag obair taobh a-staigh co-bhanntachd de chompanaidhean ioma-nàiseanta làn-riaghlaichte, far a bheil còd air a shoidhnigeadh le Facebook air a h-uile neach-cleachdaidh agus gu bheil cothrom air an lìonra fo smachd Facebook, chan eil e dìreach ciallach beachdachadh air com-pàirtichean droch-rùnach aig ìre co-aontachd. Chan eil e soilleir carson a bhiodh an siostam seo eadhon a’ fuasgladh duilgheadas seanalairean Byzantine, an àite a bhith dìreach a’ cumail slighe sgrùdaidh cunbhalach gus sùil a chumail air gèilleadh. Tha an comas air nód Libra air a ruith le Mastercard no Andressen Horrowitz gu h-obann a’ tòiseachadh a’ ruith còd droch-rùnach na shuidheachadh neònach airson planadh air a shon agus tha e nas fheàrr dèiligeadh ris le bhith dìreach a’ dèanamh cinnteach à ionracas protocol agus dòighean neo-theicnigeach (ie laghail).
Thug fianais don Chòmhdhail cunntas air an toradh mar cho-fharpaiseach do phròtacalan pàighidh eadar-nàiseanta ùra leithid WeChat, Alipay agus M-Pesa. Ach, chan eil gin de na siostaman sin air an dealbhadh gus ruith air amaran dearbhaidh gus fuasgladh fhaighinn air duilgheadas seanalairean Byzantine. Tha iad dìreach air an dealbhadh air bus àrd-bann-leathann traidiseanta a bhios a’ dèanamh uèirleadh a rèir seata riaghailtean stèidhichte. Is e dòigh nàdarra a tha seo airson siostam pàighidh a dhealbhadh. Air a dheagh dhealbhadh cha bhith an siostam pàighidh dìreach a’ tighinn tarsainn air an duilgheadas a thaobh caitheamh dùbailte agus forc.
Chan eil os cionn an algairim co-aontachd a ’fuasgladh duilgheadas sam bith agus chan eil e a’ cuingealachadh ach tro chuir a-steach an t-siostam airson adhbhar sam bith ach a-mhàin cult cargo an blockchain poblach, nach eil san amharc airson a ’chùis cleachdaidh seo.
Chan eil prìobhaideachd malairt aig Libra
A rèir na sgrìobhainnean, tha an siostam air a dhealbhadh le aire ainm-brèige, is e sin, gheibhear na seòlaidhean a thathar a’ cleachdadh sa phròtacal bho iuchraichean poblach air lùban elliptic agus chan eil meata-dàta ann mu chunntasan. Ach, chan eil àite sam bith anns an tuairisgeul air structar riaghlaidh na buidhne no anns a’ phròtacal fhèin a’ nochdadh mar a bhios an dàta eaconamach a tha an sàs ann an gnothaichean falaichte bho luchd-dearbhaidh. Tha an siostam air a dhealbhadh gus gnothaichean ath-aithris air sgèile mhòr gu raon de phàrtaidhean bhon taobh a-muigh nach bu chòir, fo laghan dìomhaireachd banca Eòrpach agus na SA a th’ ann mar-thà, a bhith dìomhair don fhiosrachadh eaconamach.
Tha e duilich poileasaidhean dàta thar dhùthchannan a cho-òrdanachadh, gu sònraichte leis gu bheil laghan agus riaghailtean eadar-dhealaichte ann an diofar uachdranasan le diofar bheachdan cultarach air dìon dàta agus prìobhaideachd. Tha am protocol fhèin gu bunaiteach fosgailte gu tur do bhuill a’ cho-bhanntachd, rud a tha na easbhaidh teignigeach soilleir nach eil a’ coinneachadh ris na riatanasan airson a bheil e air a dhealbhadh.
Chan urrainn dha Libra HotStuff BFT an gluasad a tha riatanach airson siostam pàighidh a choileanadh
Anns an RA, tha siostaman glanaidh mar BAC comasach air timcheall air 580 gnothach a làimhseachadh gach mìos. Aig an aon àm, faodaidh siostaman làn-leasaichte leithid Visa 000 gnothach a phròiseasadh gach latha. Bidh coileanadh ag atharrachadh a rèir meud malairt, slighe lìonra, luchd siostam, agus (an-aghaidh airgead-airgid, sgeamaichean airgead-airgid).
Tha Libra a’ feuchainn ri fuasgladh fhaighinn air duilgheadasan nach eil nan fìor dhuilgheadasan airson gluasadan dachaigheil, leis gu bheil stàitean nàiseantach air am bun-structar glanaidh ùrachadh thar nan deich bliadhna a dh’ fhalbh. Do luchd-ceannach reic san Aonadh Eòrpach, chan eil gluasad airgead na dhuilgheadas idir. Air bun-structar traidiseanta, faodar seo a dhèanamh le fòn cliste àbhaisteach ann an diogan. Airson gluasadan corporra mòra, tha diofar dhòighean agus riaghailtean co-cheangailte ri gluasad suimean mòra airgid.
Chan eil adhbhar teicnigeach sam bith ann nach urrainnear pàighidhean thar-chrìochan a làimhseachadh sa bhad, ach a-mhàin eadar-dhealachaidhean ann an riaghailtean agus riatanasan eadar na h-uachdranasan iomchaidh. Ma thèid na ceumannan casg riatanach (dìcheall iomchaidh teachdaiche, sgrùdaidhean smachd-bhannan, msaa) a dhèanamh iomadh uair aig diofar ìrean den t-sèine malairt, dh’ fhaodadh seo leantainn gu dàil sa ghnothach. Ach, tha an dàil seo dìreach mar dhleastanas air reachdas riaghlaidh agus gèilleadh, chan e teicneòlas.
Do luchd-cleachdaidh, chan eil adhbhar sam bith nach biodh gnothach san RA soilleir ann am beagan dhiog. Tha gnothaichean reic san EU gu dearbh a’ fàs nas slaodaiche (Know Your Customer) agus cuingealachaidhean AML a chuir riaghaltasan agus riaghladairean an sàs, a tha co-ionann ri pàighidhean Libra. Eadhon ged a bhiodh Facebook a’ faighinn thairis air na cnapan-starra a thaobh gluasadan thar-chrìochan agus gluasadan dàta prìobhaideach, tha am modail a thathar a’ moladh ceudan de bhliadhnaichean air falbh bho thoraidhean malairt cruinneil agus tha coltas ann gum feumadh e ath-dhealbhadh bhon fhìor thoiseach.
Tha cànan Libra Move ceàrr
Tha am pàipear geal a’ dèanamh casaidean dàna mu chànan ùr nach deach a dhearbhadh leis an t-ainm Move. Tha na h-aithrisean sin gu math amharasach a thaobh teòiridh cànan prògramadh (PLT).
Is e cànan prògramadh ùr a th’ ann an Move airson loidsig malairt àbhaisteach agus cùmhnantan snasail a chuir an gnìomh air blockchain Libra. Leis gu bheil Libra ag amas air aon latha seirbheis a thoirt do bhilleanan de dhaoine, tha Move air a dhealbhadh le tèarainteachd mar phrìomhachas.
Is e prìomh fheart de Move an comas air seòrsachan ghoireasan neo-riaghailteach a mhìneachadh le semantics air am brosnachadh le loidsig sreathach.
Ann an blockchains poblach, tha cùmhnantan snasail an aghaidh loidsig lìonraidhean poblach le cunntasan escrow, airgead a’ nighe, toirt a-mach comharran OTC, agus gambling. Tha seo uile air a dhèanamh ann an cànan air leth droch dhealbhadh ris an canar Solidity, a tha bho shealladh acadaimigeach a’ toirt air ùghdar PHP a bhith coltach ri sàr-ghin. Gu h-annasach gu leòr, tha e coltach nach eil gnothach aig a’ chànan ùr bho Facebook ris na teicneòlasan sin, leis gur e cànan sgrìobhaidh a th’ ann airson adhbharan iomairt neo-shoilleir.
Ann an leabhraichean-cunntais sgaoilte prìobhaideach, tha cùmhnantan snasail mar aon de na teirmean sin a tha luchd-comhairle a’ tilgeil timcheall gun mòran aire do mhìneachadh no adhbhar soilleir. Mar as trice bidh luchd-comhairleachaidh bathar-bog iomairt a 'dèanamh airgead bho neo-chinnteachd, agus tha cùmhnantan snasail mar apotheosis de neo-shoilleireachd corporra oir is urrainn dhaibh a bhith air am mìneachadh mar rud sam bith gu litireil.
Às deidh dhuinn tagraidhean a dhèanamh mu a thèarainteachd, feumaidh sinn coimhead air semantics a’ chànain. Tha ceartachd ann an teòiridh cànan prògramadh mar as trice a’ toirt a-steach dà dhearbhadh eadar-dhealaichte: “adhartas” agus “gleidheadh”, a tha a’ dearbhadh cunbhalachd raon iomlan nan riaghailtean measaidh airson a’ chànain. Gu sònraichte, ann an teòiridh seòrsa, tha gnìomh “sreathach” ma chleachdas e an argamaid aige dìreach aon turas, agus “affine” ma chleachdas e e aig a’ char as motha aon uair. Tha an siostam seòrsa sreathach a’ toirt seachad gealltanas statach gu bheil gnìomh sreathach dearbhte dha-rìribh sreathach le bhith a’ sònrachadh sheòrsan do gach fo-aithris gnìomh agus a’ cumail sùil air far a bheil fiosan gan dèanamh. Is e seilbh seòlta a tha seo ri dhearbhadh agus chan eil e furasta a chuir an gnìomh airson prògram slàn. Tha clò-sgrìobhadh sreathach fhathast na raon sgrùdaidh fìor acadaimigeach, le buaidh bho bhith a’ cur an gnìomh seòrsa sònraichte ann an seilbh glan agus seòrsa ann an Rust. Tha cuid de mholaidhean tòiseachaidh ann airson seòrsaichean sreathach a chur ris an Glasgow Haskell Compiler.
Tha e coltach gu bheil aithris Move mu bhith a’ cleachdadh seòrsaichean sreathach mar dàibheadh gun adhbhar a-steach don inneal-cruinneachaidh, bhon uairsin . Cho fad ‘s as urrainn dhuinn innse, tha am pàipear geal ag ainmeachadh litreachas canonical bho Girard agus Peirce, agus chan eil dad coltach ris anns a’ bhuileachadh fhèin.
A bharrachd air an sin, chan eil semantics foirmeil a’ chànain a tha còir a bhith tèarainte a’ nochdadh an dàrna cuid anns a’ bhuileachadh no anns an sgrìobhainn. Tha an cànan beag gu leòr airson dearbhadh iomlan a lorg air semantics ceart ann an Coq no Isabelle. Ann an da-rìribh, tha e comasach gu leòr inneal tionndaidh làn deireadh-gu-deireadh le gluasad dearbhaidh gu bytecode a chuir an gnìomh le innealan ùr-nodha a chaidh a chruthachadh anns na deich bliadhna a dh’ fhalbh. Tha fios againn mar a nì sinn e, a 'tòiseachadh le air ais ann an 1996.
Bho shealladh teòiridh cànan prògramadh, tha e do-dhèanta an tagradh a dhearbhadh gur e cànan earbsach is tèarainte a th’ ann an Move, leis gu bheil na tagraidhean sin a’ ciallachadh crathadh làimhe agus margaidheachd fìor seach fìor fhianais. Is e suidheachadh eagallach a tha seo airson pròiseact cànain a thathas ag iarraidh air billeanan dolar de ghnothaichean a phròiseasadh.
Tha cryptography Libra lochtach
Tha togail cryptosystems tèarainte na dhuilgheadas innleadaireachd gu math duilich, agus tha e an-còmhnaidh nas fheàrr a bhith ag obair le còd cunnartach le dòs math de paranoia fallain. Tha adhartas mòr san raon seo, leithid pròiseact Microsoft Everest, a tha a’ togail tèarmann dearbhaidh . Tha innealan ann mu thràth gus primitives dearbhaidh a chruthachadh. Ged a tha seo daor, tha e soilleir nach eil e nas fhaide na comasan eaconamach Facebook. Ach, cho-dhùin an sgioba gun a bhith an sàs sa phròiseact, a chaidh ainmeachadh mar bhunait earbsach airson siostam ionmhais na cruinne.
pròiseact leabharlainn bho ghrunn leabharlannan gu math ùr airson siostaman crypto deuchainneach a chruthachadh nach do nochd ach anns na beagan bhliadhnaichean a dh’ fhalbh. Tha e do-dhèanta a ràdh a bheil na h-eisimeileachd air na h-innealan a leanas sàbhailte no nach eil, leis nach deach gin de na leabharlannan sin a sgrùdadh agus nach eil poileasaidhean foillseachaidh àbhaisteach aca. Gu sònraichte, airson cuid de phrìomh leabharlannan chan eil cinnt sam bith ann a thaobh dìon an aghaidh ionnsaighean taobh-seanail agus ionnsaighean tìm.
Bidh an leabharlann libra a 'fàs eadhon nas deuchainneach agus a' dol nas fhaide air falbh , a’ cleachdadh dhòighean fìor ùr leithid gnìomhan air thuaiream dearbhaidh (VRFn), paidhrichean dà-thaobhach, agus ainmean stairsnich. Faodaidh na dòighean agus na leabharlannan sin a bhith reusanta, ach le bhith gan cur còmhla ann an aon shiostam tha draghan mòra ann mu raon uachdar ionnsaigh. Tha an cothlamadh de na h-innealan agus dòighean ùra sin gu mòr a’ meudachadh iom-fhillteachd dearbhadh tèarainteachd.
Bu chòir gabhail ris gu bheil an stac criptografach seo gu lèir ann an cunnart bho dhiofar ionnsaighean gus an tèid a chaochladh a dhearbhadh. Chan urrainnear am modal ainmeil ‘Move Fast and Break Things’ aig Facebook a chuir an sàs ann an innealan criptografach a bhios a’ làimhseachadh dàta ionmhais teachdaiche.
Chan eil Libra a’ cur an gnìomh dòighean dìon luchd-cleachdaidh
Is e feart sònraichte den t-siostam pàighidh an comas gnothach a thoirt air ais ma thèid am pàigheadh a chuir dheth le cùis-lagha no ma dh’ adhbhraicheas tubaist tubaist no fàilligeadh san t-siostam. Tha an siostam Libra air a dhealbhadh gus a bhith “coileanta” agus chan eil e a’ toirt a-steach seòrsa malairt airson cuir às do phàigheadh. Anns an RA, tha a h-uile pàigheadh eadar £ 100 agus £ 30,000 fo ùmhlachd Achd Creideas Luchd-cleachdaidh. Tha seo a’ ciallachadh gu bheil an siostam pàighidh a’ roinn uallach leis an neach-reic ma tha duilgheadas ann leis an toradh a chaidh a cheannach no mura toir an neach a gheibh am pàigheadh seachad an t-seirbheis. Tha riaghailtean coltach ris a’ buntainn ris an EU, Àisia agus Ameireagadh a Tuath.
Chan eil dealbhadh gnàthach Libra a’ toirt a-steach protocol gus cumail ris na laghan sin agus chan eil plana soilleir ann airson fear a chruthachadh. Nas miosa na bu mhiosa, bho shealladh ailtireil, chan eil crìoch structar dàta dearbhte an kernel, stèidhichte air staid an dràibhidh Merkle, a 'ceadachadh dòigh sam bith airson a leithid de phròtacal a chruthachadh gun a bhith ag ath-dhealbhadh an kernel.
Às deidh dhuinn ath-sgrùdadh teignigeach a dhèanamh air a’ phròiseact seo, faodaidh sinn a cho-dhùnadh nach tèid e seachad air cruinneachadh ann an rannsachadh siostaman sgaoilte sam bith no iris innleadaireachd ionmhais. Gus feuchainn ri poileasaidh airgid cruinneil atharrachadh, feumar tòrr obair theicnigeach a dhèanamh gus lìonra earbsach a chruthachadh agus giollachd tèarainte de dhàta luchd-cleachdaidh anns am faod am poball agus luchd-riaghlaidh earbsa a bhith ann.
Chan eil mi a’ faicinn adhbhar sam bith a bhith a’ creidsinn gu bheil Facebook air an obair riatanach a dhèanamh na dhealbhadh gus faighinn seachad air na duilgheadasan teicnigeach sin no gu bheil buannachdan teicnigeach sam bith aige thairis air a’ bhun-structar gnàthach. Chan eil a bhith ag ràdh gu bheil feum aig companaidh air sùbailteachd riaghlaidh gus innleachdan a sgrùdadh na leisgeul airson gun a bhith gan dèanamh an toiseach.
Source: www.habr.com