Lẹhin ọdun meji, Mo pada si bulọọgi fun ifiweranṣẹ ti o yatọ si awọn ikowe alaidun deede nipa Haskell ati mathimatiki. Mo ti n ṣiṣẹ lori fintech ni EU fun awọn ọdun diẹ sẹhin ati pe o dabi pe akoko ti de lati kọ nipa koko kan ti o ti gba akiyesi diẹ lati ọdọ awọn media tekinoloji.
Laipẹ Facebook ṣe idasilẹ ohun ti o pe “Syeed awọn iṣẹ inawo tuntun” ti a pe ni Libra. O wa ni ipo bi eto idasile oni-nọmba kan ti o da lori agbọn ti awọn owo nina kariaye ti o ṣakoso lori “blockchain” ati ti o fipamọ sinu adagun owo ti a ṣakoso lati Switzerland. Awọn ibi-afẹde ti iṣẹ akanṣe jẹ itara ati fa awọn abajade geopolitical nla.
В и Ọpọlọpọ awọn nkan ti o ni oye nipa owo ti ko dun ati awọn igbero ọrọ-aje lẹhin eto eto inawo ti a dabaa. Ṣugbọn ko si awọn alamọja ti o lagbara lati ṣe itupalẹ lati oju wiwo imọ-ẹrọ. Kii ṣe ọpọlọpọ eniyan ṣiṣẹ lori awọn amayederun inawo ati sọrọ ni gbangba nipa iṣẹ wọn, nitorinaa iṣẹ akanṣe yii ko ni agbegbe pupọ ni media tekinoloji, botilẹjẹpe innards rẹ ṣii si agbaye. Mo tumọ si orisun ṣiṣi ni awọn ibi ipamọ и .
Ohun ti o ṣii si agbaye jẹ ohun-ọṣọ schizophrenic ti ayaworan pẹlu awọn iṣeduro lati jẹ pẹpẹ ti o ni aabo fun awọn amayederun isanwo agbaye.
Ti o ba tẹ sinu ipilẹ koodu, imuse gangan ti eto naa yapa patapata lati ibi-afẹde ti a sọ, ati ni awọn ọna iyalẹnu julọ. Mo ni idaniloju pe iṣẹ akanṣe yii ni itan-akọọlẹ ajọṣepọ ti o nifẹ. Nitorinaa o jẹ ohun ọgbọn lati ro pe o jẹ apẹrẹ pẹlu aisimi diẹ, ṣugbọn ni otitọ Mo rii eto ajeji pupọ ti awọn ipinnu ayaworan ti o fọ gbogbo eto ati fi awọn olumulo sinu eewu.
Emi kii yoo dibọn lati ni ero to peye nipa Facebook gẹgẹbi ile-iṣẹ kan. Awọn eniyan diẹ ninu ile-iṣẹ IT n wo i pẹlu aanu. Ṣugbọn lafiwe ti awọn alaye rẹ ati koodu ti a tẹjade fihan ni kedere pe idi ti a sọ jẹ ẹtan ni ipilẹ. Ni kukuru, iṣẹ akanṣe yii ko fun ẹnikẹni ni agbara. Oun yoo wa ni igbọkanle labẹ iṣakoso ti ile-iṣẹ kan ti iṣowo ipolowo rẹ ti wa ninu itanjẹ ati ibajẹ ti ko ni yiyan bikoṣe lati gbiyanju lati ṣe iyatọ awọn sisanwo rẹ ati igbelewọn kirẹditi lati ye. Ibi-afẹde igba pipẹ ti o han gbangba ni lati ṣiṣẹ bi alagbata data ati agbedemeji ni iraye si awọn alabara si kirẹditi ti o da lori data media awujọ ti ara ẹni. Eyi jẹ itan ibanilẹru patapata ati dudu ti ko gba akiyesi ti o tọ si.
Oore-ọfẹ igbala nikan ti itan yii ni pe ohun-ọṣọ ti wọn ṣẹda jẹ iyalẹnu ti ko baamu si iṣẹ-ṣiṣe ti o wa ni ọwọ ti o le rii nikan bi iṣe ti hubris. Ọpọlọpọ awọn aṣiṣe ayaworan pataki ni o wa ninu iṣẹ akanṣe yii:
Imudani Isoro Awọn Gbogbogbo Byzantine ni Nẹtiwọọki Iṣakoso Wiwọle jẹ Apẹrẹ aisedede
Iṣoro ti awọn gbogbogbo Byzantine jẹ agbegbe dín kuku ti iwadii ti awọn eto pinpin. O ṣe apejuwe agbara ti eto nẹtiwọọki lati koju awọn ikuna paati laileto lakoko ṣiṣe awọn iṣe atunṣe to ṣe pataki si iṣẹ ti eto naa. Nẹtiwọọki resilient gbọdọ koju ọpọlọpọ awọn iru ikọlu, pẹlu awọn atunbẹrẹ, awọn ijade, awọn ẹru irira, ati idibo irira ni awọn idibo adari. Eyi ni ipinnu akọkọ fun faaji Libra, ati pe ko ni itumọ patapata nibi.
Idiju akoko ti o kọja ti eto afikun yii da lori algorithm. Ọpọlọpọ awọn iwe-iwe wa lori awọn iyatọ ti awọn ilana Paxos ati Raft ti n yanju iṣoro gbogbogbo Byzantine, ṣugbọn gbogbo awọn ẹya wọnyi ṣafihan afikun afikun fun ibaraẹnisọrọ lori 
lati ṣetọju iyege. Fun Libra, wọn yan algorithm kan pẹlu idiyele ibaraẹnisọrọ to ṣeeṣe ti o ga julọ ni irú ti ikuna ti olori. Ati pe afikun afikun wa lati yiyan tun-idibo ti awọn oludari kọja ọpọlọpọ awọn iṣẹlẹ ikuna nẹtiwọọki.
Fun eto ti n ṣiṣẹ laarin ẹgbẹ kan ti awọn ile-iṣẹ orilẹ-ede ti o ni ofin pupọ, nibiti gbogbo awọn olumulo ti ni koodu ti o fowo si nipasẹ Facebook ati iraye si nẹtiwọọki jẹ iṣakoso nipasẹ Facebook, o rọrun ko ni oye lati gbero awọn olukopa irira ni ipele ipohunpo. Ko ṣe kedere idi ti eto yii yoo paapaa yanju iṣoro ti awọn gbogbogbo Byzantine, kuku ju mimu mimu itọpa iṣayẹwo deede lati ṣayẹwo ibamu. O ṣeeṣe ti ipade Libra kan ti o ṣiṣẹ nipasẹ Mastercard tabi Andressen Horrowitz lojiji ti o bẹrẹ ṣiṣiṣẹ koodu irira jẹ oju iṣẹlẹ ti ko dara lati gbero fun ati pe o dara julọ ni aridaju iduroṣinṣin ilana ati ọna ti kii ṣe imọ-ẹrọ (ie ofin).
Ijẹri si Ile asofin ijoba ṣe idiyele ọja naa bi oludije si awọn ilana isanwo kariaye tuntun bii WeChat, Alipay ati M-Pesa. Bibẹẹkọ, ko si ọkan ninu awọn ọna ṣiṣe wọnyi ti a ṣe lati ṣiṣẹ lori awọn adagun-omi afọwọsi lati yanju iṣoro gbogbogbo Byzantine. Wọn jẹ apẹrẹ ni irọrun lori ọkọ akero bandiwidi giga ti aṣa ti o ṣe wiwọ ni ibamu si awọn ofin ti o wa titi. Eyi jẹ ọna adayeba lati ṣe apẹrẹ eto isanwo kan. Ti ṣe apẹrẹ daradara eto isanwo nirọrun kii yoo koju iṣoro ti inawo meji ati awọn orita.
Ipilẹ ti algorithm ifọkanbalẹ ko yanju eyikeyi iṣoro ati pe o ṣe opin iwọn lilo ti eto naa laisi idi miiran ju ẹru ẹru ti blockchain ti gbogbo eniyan, eyiti ko pinnu fun ọran lilo yii.
Libra ko ni ikọkọ idunadura
Ni ibamu si awọn iwe, awọn eto ti wa ni apẹrẹ mu sinu iroyin oruko apeso, iyẹn ni, awọn adirẹsi ti a lo ninu ilana naa ni a gba lati awọn bọtini ita gbangba lori awọn igun elliptic ati pe ko ni metadata nipa awọn akọọlẹ. Bibẹẹkọ, ko si ibikibi ninu ijuwe ti ilana iṣakoso fun ajo tabi ni ilana funrararẹ ti o tọka bi data eto-ọrọ ti o wa ninu awọn iṣowo yoo farapamọ lati ọdọ awọn olufọwọsi. Eto naa jẹ apẹrẹ lati tun ṣe awọn iṣowo ni iwọn nla si ọpọlọpọ awọn ẹgbẹ ita ti o, labẹ awọn ofin aṣiri ile-ifowopamọ Yuroopu ati AMẸRIKA, ko yẹ ki o jẹ ikọkọ si awọn alaye eto-ọrọ aje.
Awọn eto imulo data kọja awọn orilẹ-ede nira lati ṣe ipoidojuko, ni pataki ti a fun ni awọn ofin ati ilana ti o yatọ ni awọn sakani oriṣiriṣi pẹlu awọn iwo aṣa oriṣiriṣi lori aabo data ati aṣiri. Ilana naa funrararẹ jẹ nipasẹ aiyipada ni ṣiṣi silẹ patapata si awọn ọmọ ẹgbẹ ẹgbẹ, eyiti o jẹ aito imọ-ẹrọ ti o han gbangba ti ko ni ibamu awọn ibeere fun eyiti a ṣe apẹrẹ rẹ.
Libra HotStuff BFT ko lagbara lati ṣaṣeyọri ilosi ti o nilo fun eto isanwo kan
Ni UK, awọn eto imukuro bi BAC ni agbara lati mu ni ayika awọn iṣowo 580 fun oṣu kan. Ni akoko kanna, awọn ọna ṣiṣe iṣapeye pupọ bii Visa le ṣe ilana awọn iṣowo 000 fun ọjọ kan. Iṣẹ ṣiṣe yatọ da lori iwọn idunadura, ipa ọna nẹtiwọọki, fifuye eto, ati (egboogi-owo laundering, owo laundering Siso).
Libra n gbiyanju lati yanju awọn iṣoro ti kii ṣe awọn iṣoro gaan fun awọn gbigbe inu ile, bi awọn ipinlẹ orilẹ-ede ti ṣe imudojuiwọn awọn amayederun imukuro wọn ni ọdun mẹwa sẹhin. Fun awọn onibara soobu ni European Union, gbigbe owo kii ṣe iṣoro rara. Lori awọn amayederun ibile, eyi le ṣee ṣe pẹlu foonuiyara boṣewa ni iṣẹju-aaya. Fun awọn gbigbe ile-iṣẹ nla, ọpọlọpọ awọn ọna ṣiṣe ati awọn ofin ti o ni nkan ṣe pẹlu gbigbe awọn oye nla ti owo.
Ko si idi imọ-ẹrọ idi ti awọn sisanwo-aala ko le tun ṣe ni ilọsiwaju lẹsẹkẹsẹ, yatọ si awọn iyatọ ninu awọn ofin ati awọn ibeere laarin awọn sakani ti o yẹ. Ti awọn igbese idena ti o yẹ (alabara nitori aisimi, awọn sọwedowo ijẹniniya, ati bẹbẹ lọ) ni a ṣe ni awọn akoko pupọ ni awọn ipele oriṣiriṣi ti pq idunadura, eyi le ja si idaduro ninu idunadura naa. Bibẹẹkọ, idaduro yii jẹ iṣẹ akanṣe ti ofin ilana ati ibamu, kii ṣe imọ-ẹrọ.
Fun awọn onibara, ko si idi idi ti iṣowo UK kan kii yoo ṣalaye ni ọrọ ti awọn aaya. Awọn iṣowo soobu ni EU n fa fifalẹ nitootọ nipasẹ (Mọ Onibara Rẹ) ati awọn ihamọ AML ti paṣẹ nipasẹ awọn ijọba ati awọn olutọsọna, eyiti o kan deede si awọn sisanwo Libra. Paapaa ti Facebook ba bori awọn idiwọ si awọn gbigbe aala ati awọn gbigbe data ikọkọ, awoṣe ti a dabaa jẹ awọn ọgọọgọrun eniyan-ọdun ti o jinna si iṣowo iṣowo agbaye ati pe yoo nilo lati tun ṣe lati ibere.
Libra Move ede ko tọ
Iwe funfun naa ṣe awọn ẹtọ igboya nipa ede tuntun kan, ti a ko ni idanwo ti a pe ni Gbe. Awọn alaye wọnyi jẹ ṣiyemeji pupọ lati oju wiwo ti ilana ede siseto (PLT).
Gbigbe jẹ ede siseto tuntun fun imuse ilana iṣaro iṣowo aṣa ati awọn adehun ọlọgbọn lori blockchain Libra. Nitori Libra ṣe ifọkansi lati sin awọn ọkẹ àìmọye eniyan ni ọjọ kan, Gbe jẹ apẹrẹ pẹlu aabo bi pataki pataki.
Ẹya bọtini ti Gbe ni agbara lati ṣalaye awọn iru orisun lainidii pẹlu awọn itumọ-ọrọ ti o ni atilẹyin nipasẹ ọgbọn laini.
Ni awọn blockchains ti gbogbo eniyan, awọn iwe adehun ti o gbọngbọn dojukọ ọgbọn ti awọn nẹtiwọọki gbogbogbo pẹlu awọn akọọlẹ escrow, jijẹ owo, ipinfunni ami ami OTC, ati ayokele. Gbogbo eyi ni a ṣe ni ede ti a ṣe apẹrẹ ti ko dara ti a pe ni Solidity, eyiti lati oju iwoye ẹkọ jẹ ki onkọwe PHP dabi oloye-pupọ. Ni iyalẹnu, ede tuntun lati Facebook dabi ẹni pe ko ni nkankan lati ṣe pẹlu awọn imọ-ẹrọ wọnyi, niwọn bi o ti jẹ ede kikọ nitootọ ti a pinnu fun awọn idi iṣowo ti ko boju mu.
Ni awọn iwe afọwọkọ ti a pin kaakiri, awọn iwe adehun ọlọgbọn jẹ ọkan ninu awọn ofin wọnyẹn ti a sọ kakiri nipasẹ awọn alamọran laisi iyi pupọ fun asọye tabi idi. Awọn alamọran sọfitiwia ti ile-iṣẹ ṣe owo ni igbagbogbo lati inu aibikita, ati awọn adehun ọlọgbọn jẹ apotheosis ti obscurantism ajọ nitori wọn le ṣe asọye bi ohunkohun gangan.
Lẹhin ṣiṣe awọn ẹtọ nipa aabo rẹ, a nilo lati wo awọn atunmọ ti ede naa. Atunse ninu eto eto ede ni igbagbogbo ni awọn ẹri oriṣiriṣi meji: “ilọsiwaju” ati “itọju”, eyiti o pinnu ibamu ti gbogbo aaye ti awọn ofin igbelewọn fun ede naa. Ni pataki diẹ sii, ni imọ-ẹrọ oriṣi, iṣẹ kan jẹ “laini” ti o ba lo ariyanjiyan rẹ ni ẹẹkan, ati “affine” ti o ba lo ni ẹẹkan pupọ. Eto iru laini n pese iṣeduro aimi pe iṣẹ laini ti a kede jẹ laini nitootọ nipa fifi awọn iru si gbogbo awọn isọ-ipinnu iṣẹ ati titọju ibi ti awọn ipe ti ṣe. Eyi jẹ ohun-ini arekereke lati jẹrisi ati pe ko rọrun lati ṣe fun gbogbo eto kan. Titẹ laini tun jẹ aaye ikẹkọ ti ẹkọ pupọ, ti o ni ipa nipasẹ imuse iru alailẹgbẹ ni Mimọ ati iru nini ni Rust. Diẹ ninu awọn igbero alakoko wa fun fifi awọn iru laini kun si Glasgow Haskell Compiler.
Gbólóhùn Gbe nipa lilo awọn iru laini dabi ẹni pe ko ni ẹri sinu alakojọ, lati ibẹ . Gẹgẹ bi ẹnikan ti le sọ, iwe funfun naa tọka si awọn iwe-akọọlẹ ti Girard ati Peirce, ati pe ko si nkankan ti o jọra ninu imuse gangan.
Ni afikun, awọn atunmọ ilana ti ede ti o ni aabo ko han nibikibi ninu imuse tabi iwe. Ede naa kere to lati wa ẹri pipe ti awọn atunmọ ti o pe ni Coq tabi Isabelle. Ni otitọ, olupilẹṣẹ iyipada ni kikun ipari-si-opin pẹlu gbigbe ẹri si bytecode ṣee ṣe pupọ lati ṣe pẹlu awọn irinṣẹ ode oni ti a ṣẹda ni ọdun mẹwa to kọja. A mọ bi a ṣe le ṣe, bẹrẹ pẹlu pada ni 1996.
Lati iwoye ẹkọ ede siseto, ko ṣee ṣe lati ṣe idanwo ẹtọ pe Gbe jẹ ede ti o gbẹkẹle ati aabo, niwọn igba ti awọn ẹtọ wọnyi jẹ gbigbe ọwọ mimọ ati titaja dipo ẹri gidi. Eyi jẹ ipo iyalẹnu fun iṣẹ akanṣe ede kan ti a beere lọwọ lati ṣe ilana awọn ọkẹ àìmọye dọla ti awọn iṣowo.
Libra cryptography jẹ abawọn
Ṣiṣe awọn eto crypto to ni aabo jẹ iṣoro imọ-ẹrọ ti o nira pupọ, ati pe o dara julọ nigbagbogbo lati sunmọ ṣiṣẹ pẹlu koodu ti o lewu pẹlu iwọn lilo to dara ti paranoia ilera. Awọn aṣeyọri pataki wa ni agbegbe yii, bii iṣẹ akanṣe Microsoft Everest, eyiti o n kọ aabo ti o le rii daju . Awọn irinṣẹ ti wa tẹlẹ lati ṣẹda awọn alakoko ti o le rii daju. Botilẹjẹpe eyi jẹ gbowolori, o han gbangba pe ko kọja awọn agbara eto-aje Facebook. Sibẹsibẹ, ẹgbẹ naa pinnu lati ma ṣe alabapin ninu iṣẹ akanṣe naa, eyiti a kede gẹgẹbi ipilẹ ti o gbẹkẹle fun eto eto inawo agbaye.
libra ise agbese lati ọpọlọpọ awọn ile-ikawe iṣẹtọ tuntun fun ṣiṣẹda awọn ọna ṣiṣe idanwo idanwo ti o han nikan ni awọn ọdun diẹ sẹhin. Ko ṣee ṣe lati sọ boya awọn igbẹkẹle lori awọn irinṣẹ atẹle wa ni ailewu tabi rara, nitori ko si ọkan ninu awọn ile-ikawe wọnyi ti a ti ṣe ayẹwo ati pe ko ni awọn eto imulo ifihan boṣewa. Ni pataki, fun diẹ ninu awọn ile-ikawe ipilẹ ko si idaniloju nipa aabo lodi si awọn ikọlu ikanni ẹgbẹ ati awọn ikọlu akoko.
Ile-ikawe ile-ikawe di paapaa esiperimenta diẹ sii ati lọ kọja , lilo awọn ilana tuntun pupọ gẹgẹbi awọn iṣẹ airotẹlẹ ti o rii daju (VRFs), awọn orisii bilinear, ati awọn ibuwọlu ala. Awọn ọna wọnyi ati awọn ile-ikawe le jẹ ironu, ṣugbọn apapọ gbogbo wọn sinu eto kan ji awọn ifiyesi pataki nipa agbegbe dada ikọlu. Apapo gbogbo awọn irinṣẹ ati awọn ilana tuntun wọnyi pọ si iloju ti iṣeduro aabo.
O yẹ ki o ro pe gbogbo akopọ cryptographic yii jẹ ipalara si ọpọlọpọ awọn ikọlu titi ti o fi han bibẹẹkọ. Awoṣe olokiki 'Gbe Yara ati Awọn nkan fifọ' Facebook ko ṣee lo si awọn irinṣẹ cryptographic ti o ṣe ilana data inawo alabara.
Libra kuna lati ṣe awọn ilana aabo olumulo
Ẹya iyasọtọ ti eto isanwo ni agbara lati yi iṣowo pada sẹhin ti isanwo naa ba fagile nipasẹ ẹjọ kan tabi yori si lairotẹlẹ tabi ikuna eto. Eto Libra jẹ apẹrẹ lati jẹ “pipe” ko si pẹlu iru idunadura kan fun ifagile isanwo. Ni UK, gbogbo awọn sisanwo laarin £100 ati £30,000 wa labẹ Ofin Kirẹditi Olumulo. Eyi tumọ si pe eto isanwo pin ojuse pẹlu eniti o ta ọja ni iṣẹlẹ ti iṣoro pẹlu ọja ti o ra tabi ti olugba isanwo naa ko pese iṣẹ naa. Awọn ofin ti o jọra lo ni EU, Asia ati North America.
Apẹrẹ lọwọlọwọ ti Libra ko pẹlu ilana kan lati ni ibamu pẹlu awọn ofin wọnyi ati pe ko ni ero ti o han gbangba fun ṣiṣẹda ọkan. Paapaa ti o buruju, lati oju iwoye ayaworan, ipari ti igbekalẹ data ijẹrisi ekuro, ti o da lori ipo awakọ Merkle, ko gba laaye fun ẹrọ eyikeyi lati ṣẹda iru ilana kan laisi atunto ekuro naa.
Lẹhin ṣiṣe atunyẹwo imọ-ẹrọ ti iṣẹ akanṣe yii, a le pinnu pe nirọrun kii yoo kọja ni eyikeyi iwadii awọn ọna ṣiṣe pinpin ti o bọwọ tabi iwe akọọlẹ imọ-ẹrọ inawo. Lati gbiyanju lati yi eto imulo owo agbaye pada, iye nla ti iṣẹ imọ-ẹrọ nilo lati ṣe lati ṣẹda nẹtiwọọki ti o gbẹkẹle ati sisẹ aabo ti data olumulo ti gbogbo eniyan ati awọn olutọsọna le gbekele.
Emi ko rii idi kan lati gbagbọ pe Facebook ti ṣe iṣẹ pataki ni apẹrẹ rẹ lati bori awọn iṣoro imọ-ẹrọ wọnyi tabi pe o ni awọn anfani imọ-ẹrọ eyikeyi lori awọn amayederun lọwọlọwọ. Wipe ile-iṣẹ kan nilo irọrun ilana lati ṣawari awọn imotuntun kii ṣe awawi fun ko ṣe wọn ni akọkọ.
orisun: www.habr.com