Taorian'ny roa taona, niverina tany amin'ny bilaogy aho noho ny lahatsoratra izay tsy mitovy amin'ireo lahateny mankaleo mahazatra momba ny Haskell sy ny matematika. Niasa tamin'ny fintech tao amin'ny Vondrona Eoropeana aho tato anatin'ny taona vitsivitsy izay ary toa tonga ny fotoana hanoratana lohahevitra iray izay tsy dia nahasarika ny sain'ny media teknolojia.
Facebook vao haingana no namoaka ilay antsoiny hoe “sehatra tolotra ara-bola vaovao” antsoina hoe Libra. Izy io dia napetraka ho rafi-pandaminana nomerika mifototra amin'ny harona misy vola iraisam-pirenena izay tantanana amin'ny "blockchain" ary voatahiry ao anaty dobo vola tantanana avy any Soisa. Ny tanjon'ny tetikasa dia fatra-paniry laza ary miteraka voka-dratsy ara-jeopolitika lehibe.
В и Lahatsoratra manan-tsaina maro momba ny fiheverana ara-bola sy ara-toekarena tsy mitombina ao ambadiky ny rafitra ara-bola naroso. Saingy tsy ampy ny manam-pahaizana mahay manadihady amin'ny lafiny teknika. Tsy dia maro ny olona miasa amin'ny fotodrafitrasa ara-bola sy miresaka ampahibemaso momba ny asany, noho izany dia tsy dia mahazo fandrakofana betsaka amin'ny haino aman-jery teknolojia ity tetikasa ity, na dia misokatra ho an'izao tontolo izao aza ny atiny. Open source amin'ny repository no tiako lazaina и .
Ny misokatra ho an'izao tontolo izao dia artifact schizophrenic architecturally miaraka amin'ny filazana ho sehatra azo antoka ho an'ny fotodrafitrasa fandoavam-bola manerantany.
Raha mitsoraka ao amin'ny fototry ny fehezan-dalàna, ny tena fampiharana ny rafitra dia misaraka tanteraka amin'ny tanjona voalaza, ary amin'ny fomba hafahafa. Azoko antoka fa manana tantara mahaliana momba ny orinasa ity tetikasa ity. Noho izany dia lojika ny fiheverana fa natao tamin'ny fahazotoana izy io, saingy raha ny marina dia hitako fa misy fanapahan-kevitra ara-javakanto hafahafa izay manimba ny rafitra manontolo ary mampidi-doza ny mpampiasa.
Tsy hihambo ho manana hevitra tsy mitongilana momba ny Facebook amin'ny maha-orinasa azy aho. Vitsy ny olona ao amin'ny indostrian'ny IT no mijery azy amim-pangorahana. Saingy ny fampitahana ny fanambarany sy ny fehezan-dalàna navoaka dia mampiseho mazava fa mamitaka amin'ny fototra ny tanjona voalaza. Raha fintinina, ity tetikasa ity dia tsy manome hery na iza na iza. Hitoetra eo ambany fahefan'ny orinasa iray manana orinasa mpanao dokam-barotra ao anatin'ny fanafintohinana sy ny kolikoly izy ka tsy manan-tsafidy afa-tsy ny manandrana mampiovaova ny fandoavam-bolany sy ny fampindramam-bola mba hivelomana. Ny tanjona maharitra mazava dia ny hiasa amin'ny maha-mpanelanelana data sy mpanelanelana amin'ny fidiran'ny mpanjifa amin'ny trosa mifototra amin'ny angon-drakitra media sosialy manokana. Ity dia tantara mampihoron-koditra sy maizina izay tsy misarika ny saina ho mendrika azy.
Ny hany fahasoavana mahavonjy amin'ity tantara ity dia ny artifact noforonin'izy ireo dia tena mahatsikaiky tsy mifanaraka amin'ny asa eo am-pelatanana ka tsy azo heverina ho toy ny fihetsika feno habibiana fotsiny. Misy lesoka lehibe amin'ny maritrano amin'ity tetikasa ity:
Ny famahana ny olan'ny Jeneraly Byzantine amin'ny tambajotra fanaraha-maso ny fidirana dia endrika tsy mifanaraka
Ny olan'ny jeneraly Byzantine dia faritra tery amin'ny fikarohana momba ny rafitra mizara. Izy io dia mamaritra ny fahafahan'ny rafitra tambajotra iray mahazaka ny tsy fahombiazan'ny singa kisendrasendra eo am-panaovana hetsika fanitsiana manakiana ny fampandehanana ny rafitra. Tsy maintsy mahazaka karazana fanafihana isan-karazany ny tamba-jotra matanjaka iray, ao anatin'izany ny famerenana indray, ny fahatapahan-jiro, ny enta-mavesatra ratsy, ary ny latsa-bato ratsy amin'ny fifidianana mpitarika. Ity no fanapahan-kevitra lehibe ho an'ny maritrano Libra, ary tsy misy dikany mihitsy izany eto.
Miankina amin'ny algorithm ny fahasarotan'ny fotoana amin'ity rafitra fanampiny ity. Be dia be ny literatiora momba ny variana amin'ny protocols Paxos sy Raft mamaha ny olan'ny jeneraly Byzantine, saingy ireo rafitra rehetra ireo dia mampiditra overhead fanampiny ho an'ny fifandraisana. 
mba hitazonana ny kôlejy. Ho an'ny Libra, nisafidy algorithm miaraka amin'ny vidin'ny fifandraisana ambony indrindra izy ireo raha sendra tsy fahombiazana ny fitarihana. Ary misy fanampiny fanampiny avy amin'ny mety ho fifidianana indray ireo mpitarika amin'ny karazana hetsika tsy fahombiazan'ny tambajotra.
Ho an'ny rafitra iray miasa ao anatin'ny fikambanan'ny orinasam-pirenena maro fehezina, izay misy ny mpampiasa rehetra manana kaody nosoniavin'ny Facebook ary ny fidirana amin'ny tambajotra dia fehezin'ny Facebook, tsy mitombina tsotra izao ny fiheverana ireo mpandray anjara ratsy amin'ny ambaratonga marimaritra iraisana. Tsy fantatra mazava hoe nahoana ity rafitra ity no hamaha ny olan'ny jeneraly Byzantine, fa tsy ny fitazonana ny fanaraha-maso tsy tapaka fotsiny mba hanamarinana ny fanarahan-dalàna. Ny mety hisian'ny node Libra tantanan'ny Mastercard na Andressen Horrowitz tampoka manomboka mihazakazaka kaody ratsy dia toe-javatra hafahafa tokony hokarakaraina ary tsara kokoa hodinihina amin'ny alàlan'ny fiantohana ny fahamendrehan'ny protocol sy ny fomba tsy ara-teknika (izany hoe ara-dalàna).
Ny fijoroana vavolombelona ho an'ny Kongresy dia nanome ny vokatra ho mpifaninana amin'ny protocols fandoavam-bola iraisam-pirenena vaovao toa an'i WeChat, Alipay ary M-Pesa. Na izany aza, tsy misy amin'ireo rafitra ireo no natao hihazakazaka amin'ny dobo validator hamahana ny olan'ny jeneraly Byzantine. Izy ireo dia natao tsotra fotsiny amin'ny fiara fitateram-bahoaka manana bandwidth avo lenta izay manao tariby mifanaraka amin'ny fitsipika napetraka. Fomba voajanahary amin'ny famolavolana rafitra fandoavam-bola izany. Namboarina tsara ny rafitra fandoavam-bola dia tsy hiatrika ny olana amin'ny fandaniana avo roa heny sy ny forks.
Ny ambony amin'ny algorithm consensus dia tsy mamaha olana ary mametra fotsiny ny fidirana amin'ny rafitra tsy misy antony afa-tsy ny kolontsaina entana an'ny blockchain ho an'ny daholobe, izay tsy natao ho an'ity tranga ity.
Libra dia tsy manana tsiambaratelo momba ny fifanakalozana
Araka ny antontan-taratasy, ny rafitra dia natao amin'ny fiheverana solon'anarana, izany hoe ny adiresy ampiasaina amin'ny protocole dia azo avy amin'ny fanalahidin'ny daholobe amin'ny curve elliptic ary tsy misy metadata momba ny kaonty. Na izany aza, tsy misy na aiza na aiza ao amin'ny famaritana ny rafi-pitantanana ho an'ny fikambanana na ao amin'ny protocol mihitsy no manondro ny fomba hanafenana ny angon-drakitra ara-toekarena tafiditra amin'ny fifampiraharahana amin'ny mpanamarina. Ny rafitra dia natao hamerenana ny fifampiraharahana amin'ny sehatra lehibe amin'ireo antoko ivelany izay, araka ny lalàna momba ny tsiambaratelon'ny banky eoropeanina sy amerikana, dia tsy tokony hojerena ny antsipiriany ara-toekarena.
Sarotra ny fandrindrana ny politikan'ny angon-drakitra manerana ny firenena, indrindra fa ireo lalàna sy fitsipika samihafa any amin'ny faritra samihafa manana fomba fijery ara-kolontsaina samihafa momba ny fiarovana ny angon-drakitra sy ny fiainana manokana. Ny protocol mihitsy dia misokatra tanteraka ho an'ny mpikambana consortium, izay lesoka ara-teknika mazava izay tsy mahafeno ny fepetra nandrafetana azy.
Libra HotStuff BFT dia tsy afaka mahatratra ny fidirana ilaina amin'ny rafitra fandoavam-bola
Any UK, ny rafitra fanadiovana toa an'i BAC dia mahazaka fifampiraharahana manodidina ny 580 isam-bolana. Amin'izay fotoana izay ihany koa, ny rafitra tena optimized toa an'i Visa dia afaka manao fifampiraharahana 000 isan'andro. Miovaova arakaraka ny haben'ny fifampiraharahana, ny fandalovan'ny tambajotra, ny enta-mavesatry ny rafitra, ary (fanafody famotsiam-bola, famotsiam-bola).
Ny Libra dia miezaka mamaha olana izay tsy tena olana amin'ny fifindrana an-trano, satria ny firenena dia nanavao ny fotodrafitrasa fanadiovana azy nandritra ny folo taona lasa. Ho an'ny mpanjifa antsinjarany ao amin'ny Vondrona Eoropeana dia tsy olana mihitsy ny fampidinana vola. Amin'ny fotodrafitrasa nentim-paharazana dia azo atao amin'ny smartphone mahazatra ao anatin'ny segondra. Ho an'ny famindrana orinasa lehibe dia misy rafitra sy fitsipika isan-karazany mifandraika amin'ny famindrana vola be.
Tsy misy antony ara-teknika tsy azo atao eo no ho eo ihany koa ny fandoavam-bola miampita sisintany, ankoatra ny fahasamihafan'ny fitsipika sy ny fepetra takiana eo amin'ny sehatra mifandraika amin'izany. Raha toa ka atao imbetsaka amin'ny dingana samihafa amin'ny rojom-pandraharahana ny fepetra fisorohana ilaina (fahazotoana amin'ny mpanjifa, fisavana sazy, sns.), dia mety hiteraka fahatarana ny fifampiraharahana izany. Na izany aza, io fahatarana io dia asan'ny lalàna mifehy sy fanarahan-dalàna fotsiny, fa tsy teknolojia.
Ho an'ny mpanjifa, tsy misy antony mahatonga ny fifampiraharahana UK tsy hazava ao anatin'ny segondra vitsy. Ny varotra antsinjarany ao amin'ny Vondrona Eoropeana dia tena miadana tokoa (Fantaro ny mpanjifanao) sy ny famerana AML napetraky ny governemanta sy ny mpandrindra, izay mihatra amin'ny fandoavam-bola amin'ny Libra. Na dia handresy ny sakana amin'ny fifindrana miampita sisintany sy ny famindrana angon-drakitra manokana aza ny Facebook, ny modely natolotra dia an-jatony taona miala amin'ny fifampiraharahana manerantany ary mety mila havaozina hatrany am-boalohany.
Diso ny fiteny Libra Move
Ny taratasy fotsy dia manao fanambarana feno fahasahiana momba ny fiteny vaovao tsy voasedra antsoina hoe Move. Ireo fanambarana ireo dia tena mampiahiahy amin'ny fomba fijerin'ny teôlôjian'ny fiteny fandaharana (PLT).
Move dia fiteny fandaharana vaovao amin'ny fampiharana ny lojikan'ny fifanakalozana mahazatra sy ny fifanarahana marani-tsaina amin'ny blockchain Libra. Satria mikendry ny hanompo olona an'arivony tapitrisa ny Libra indray andro any, ny Move dia natao ho laharam-pahamehana amin'ny fiarovana.
Ny endri-javatra manan-danja amin'ny Move dia ny fahafahana mamaritra karazana loharano tsy misy dikany miaraka amin'ny semantika aingam-panahy avy amin'ny lojika tsipika.
Ao amin'ny blockchains ho an'ny daholobe, ny fifanarahana marani-tsaina dia miatrika ny lojikan'ny tambajotram-bahoaka misy kaonty escrow, famotsiam-bola, famoahana marika OTC ary filokana. Izany rehetra izany dia atao amin'ny fiteny tsy dia misy dikany loatra antsoina hoe Solidity, izay avy amin'ny fomba fijery akademika dia mahatonga ny mpanoratra PHP ho toy ny manam-pahaizana. Mahagaga fa toa tsy misy ifandraisany amin'ireo teknolojia ireo ny fiteny vaovao avy amin'ny Facebook, satria izy io dia fiteny fanoratana natao ho an'ny tanjona orinasa tsy fantatra.
Ao amin'ny bokikely zaraina tsy miankina, ny fifanarahana marani-tsaina dia iray amin'ireo teny navoakan'ny mpanolo-tsaina tsy miraharaha firy ny famaritana na tanjona mazava. Ny mpanolo-tsaina rindrambaiko orinasa dia mazàna mahazo vola amin'ny tsy mazava, ary ny fifanarahana marani-tsaina dia ny apotheose amin'ny obscurantism orinasa satria azo faritana ho ara-bakiteny na inona na inona.
Rehefa avy nanao fanambarana momba ny fiarovana azy isika dia mila mijery ny semantika amin'ny fiteny. Ny marina amin'ny teôlôjian'ny fiteny fandaharana dia matetika misy porofo roa samy hafa: "fandrosoana" sy "fitehirizana", izay mamaritra ny firindran'ny habaka manontolo amin'ny fitsipika fanombanana ny fiteny. Amin'ny ankapobeny, amin'ny teoria karazana, ny fiasa dia "linear" raha mampiasa ny tohan-kevitr'izy ireo indray mandeha izy, ary "affine" raha mampiasa azy io indray mandeha. Ny rafitra karazana linear dia manome antoka static fa ny asa an-tariby nambara dia tena linear amin'ny alàlan'ny fanomezana karazana ho an'ny subexpressions asa rehetra sy ny fitazonana ny toerana nanaovana ny antso. Ity dia fananana an-kolaka mba hanaporofoana ary tsy mora ampiharina amin'ny programa iray manontolo. Ny fanoratana tsipika dia mbola sehatra fianarana be dia be, voataonan'ny karazana tsy manam-paharoa amin'ny Clean sy ny fananana karazana ao amin'ny Rust. Misy soso-kevitra mialoha ny fampidirana karazana tsipika amin'ny Glasgow Haskell Compiler.
Ny fanambaran'i Move momba ny fampiasana karazana tsipika dia toa tsy misy dikany amin'ny mpanangona, satria teo . Araka ny fantatra dia mitanisa literatiora kanônika avy amin'i Girard sy Peirce ilay taratasy fotsy, ary tsy misy mitovy amin'izany amin'ny fampiharana tena izy.
Fanampin'izany, tsy hita na aiza na aiza ao amin'ny fampiharana na ny antontan-taratasy ny semantika ofisialy amin'ny fiteny heverina ho azo antoka. Kely ny fiteny mba hahitana porofo feno momba ny semantika marina ao amin'ny Coq na Isabelle. Raha ny tena izy dia azo atao tsara ny mampihatra amin'ny fitaovana maoderina noforonina tao anatin'ny folo taona farany ny compiler fiovam-po feno amin'ny farany miaraka amin'ny famindrana porofo amin'ny bytecode. Fantatray ny fomba hanaovana izany, manomboka amin'ny niverina tamin'ny taona 1996.
Avy amin'ny fomba fijery teoria amin'ny fiteny fandaharana, tsy azo atao ny mitsapa ny filazana fa fiteny azo itokisana sy azo antoka ny Move, satria ireo filazana ireo dia mitovitovy amin'ny fanofahofa tanana sy fivarotana madiodio fa tsy porofo tena izy. Toe-javatra mampiahiahy ho an'ny tetikasa fiteny iray izay angatahina hikarakarana ny fifampiraharahana an-davitrisa dolara.
Misy lesoka ny kriptografika Libra
Ny fananganana rafitra crypto azo antoka dia olana ara-teknika tena sarotra, ary tsara indrindra ny manatona miasa miaraka amin'ny code mampidi-doza miaraka amin'ny fatran'ny paranoia mahasalama. Misy fandrosoana lehibe amin'ity sehatra ity, toa ny tetikasa Microsoft Everest, izay manangana fiarovana azo hamarinina . Efa misy ny fitaovana hamoronana primitive azo hamarinina. Na dia lafo aza izany, mazava ho azy fa tsy mihoatra ny fahafahan'ny Facebook ara-toekarena izany. Na izany aza, nanapa-kevitra ny tsy handray anjara amin'ny tetikasa ny ekipa, izay nambara ho fototra azo antoka ho an'ny rafitra ara-bola manerantany.
tetikasa libra avy amin'ny trano famakiam-boky vaovao maromaro ho an'ny famoronana rafitra crypto andrana izay vao niseho tato anatin'ny taona vitsivitsy. Tsy azo atao ny milaza raha azo antoka na tsia ny fiankinan-doha amin'ireto fitaovana manaraka ireto, satria tsy misy na iray aza amin'ireo trano famakiam-boky ireo no voamarina ary tsy manana politikam-pamoahana mahazatra. Indrindra indrindra, ho an'ny tranomboky fototra sasany dia tsy misy antoka momba ny fiarovana amin'ny fanafihana amin'ny sisiny sy ny fanafihana ara-potoana.
Ny trano famakiam-boky libra dia lasa andrana kokoa ary mihoatra lavitra , fampiharana teknika tena vaovao toy ny verifiable random functions (VRFs), bilinear pairs, ary sonia tokonam-baravarana. Mety ho ara-dalàna ireo fomba sy tranomboky ireo, saingy miteraka ahiahy lehibe momba ny velaran'ny fanafihana ny fampifangaroana azy rehetra ho rafitra iray. Ny fitambaran'ireo fitaovana sy teknika vaovao rehetra ireo dia mampitombo be ny fahasarotan'ny fanaporofoana ny fiarovana.
Tokony hoheverina fa ity stack kriptografika iray manontolo ity dia mora voan'ny fanafihana isan-karazany mandra-pahatongan'ny fanaporofoana fa tsy izany. Ny maodely malaza 'Move Fast and Break Things' malaza ao amin'ny Facebook dia tsy azo ampiharina amin'ny fitaovana kriptografika izay manodina ny angona ara-bola ho an'ny mpanjifa.
Libra dia tsy mahavita mampihatra ny fomba fiarovana ny mpanjifa
Ny mampiavaka ny rafitra fandoavam-bola dia ny fahafahana mamerina ny fifampiraharahana raha nofoanan'ny fitsarana ny fandoavam-bola na mitarika ho amin'ny tsy fahombiazan'ny rafitra. Ny rafitra Libra dia natao ho "feno" ary tsy misy karazana fifanakalozana amin'ny fanafoanana ny fandoavam-bola. Any UK, ny fandoavam-bola rehetra eo anelanelan'ny £ 100 sy £ 30,000 dia iharan'ny Lalàna momba ny trosan'ny mpanjifa. Midika izany fa ny rafitra fandoavam-bola dia mizara andraikitra amin'ny mpivarotra raha misy olana amin'ny vokatra novidina na raha tsy manome ny serivisy ny mpandray ny fandoavam-bola. Mihatra amin'ny EU, Azia ary Amerika Avaratra ny fitsipika mitovy amin'izany.
Ny famolavolana an'i Libra amin'izao fotoana izao dia tsy misy protocole hanarahana ireo lalàna ireo ary tsy manana drafitra mazava amin'ny famoronana iray. Ny ratsy kokoa aza, amin'ny fomba fijery ara-javakanto, ny fahataperan'ny firafitry ny angon-drakitra voamarina ao amin'ny kernel, mifototra amin'ny toetry ny fiara Merkle, dia tsy mamela mekanika hamorona protocol toy izany raha tsy mamolavola ny kernel.
Rehefa avy nanao famerenana ara-teknika an'ity tetikasa ity isika dia afaka manatsoaka hevitra fa tsy handalo fotsiny izany amin'ny fikarohana momba ny rafitra zaraina na diary ara-bola. Mba hanandramana hanova ny politikan'ny vola maneran-tany, dia mila asa ara-teknika be dia be mba hamoronana tambajotra azo antoka sy azo antoka ny fanodinana ny angon-drakitra mpampiasa izay azon'ny besinimaro sy ny mpandrindra azo itokisana.
Tsy hitako izay antony hinoana fa nanao ny asa ilaina amin'ny famolavolana azy ny Facebook mba handresena ireo olana ara-teknika ireo na manana tombony ara-teknika amin'ny fotodrafitrasa ankehitriny. Ny filazana fa ny orinasa iray dia mila flexibility amin'ny fanaraha-maso ny fanavaozana dia tsy fialan-tsiny tsy hanaovana izany aloha.
Source: www.habr.com