Bayan shekara biyu, sai na koma bulogi don wani rubutu wanda ya bambanta da laccoci masu ban sha'awa game da Haskell da lissafi. Na yi aiki a kan fintech a cikin EU a cikin 'yan shekarun da suka gabata kuma da alama lokaci ya yi da za a rubuta game da batun da ya sami ɗan kulawa daga kafofin watsa labaru na fasaha.
Facebook kwanan nan ya fitar da abin da ya kira "sabon dandalin sabis na kudi" mai suna Libra. An sanya shi azaman tsarin sasantawa na dijital bisa kwandon kuɗin duniya wanda ake sarrafa akan "blockchain" kuma an adana shi a cikin wurin ajiyar kuɗi da aka sarrafa daga Switzerland. Makasudin aikin suna da buri kuma suna haifar da babban sakamako na geopolitical.
В и Yawancin labarai masu ma'ana game da rashin ingancin kuɗi da zato na tattalin arziki a bayan tsarin kuɗi da aka tsara. Amma babu isassun ƙwararrun ƙwararrun masu iya yin nazari daga mahangar fasaha. Ba mutane da yawa suna aiki a kan ababen more rayuwa na kuɗi kuma suna magana a bainar jama'a game da ayyukansu, don haka wannan aikin ba ya samun ɗaukar hoto sosai a cikin kafofin watsa labarai na fasaha, kodayake abubuwan ciki a buɗe suke ga duniya. Ina nufin buɗaɗɗen tushe a cikin ma'ajin ajiya и .
Abin da ke buɗe wa duniya wani kayan tarihi ne na schizophrenic tare da iƙirarin zama amintaccen dandamali don abubuwan biyan kuɗi na duniya.
Idan kun nutse cikin tushe na lambar, ainihin aiwatar da tsarin ya bambanta gaba ɗaya daga burin da aka bayyana, kuma a cikin mafi kyawun hanyoyi. Na tabbata cewa wannan aikin yana da tarihin kamfani mai ban sha'awa. Don haka yana da ma'ana a ɗauka cewa an ƙirƙira shi da ɗan himma, amma a zahiri ina ganin babban baƙon tsarin yanke shawara na gine-gine wanda ya karya tsarin gaba ɗaya kuma yana sanya masu amfani cikin haɗari.
Ba zan yi kamar ina da haƙiƙanin ra'ayi game da Facebook a matsayin kamfani ba. Mutane kalilan ne a masana'antar IT ke kallonta da tausayi. Amma kwatanta maganganunta da lambar da aka buga ya nuna a fili cewa manufar da aka bayyana yaudara ce. A takaice dai, wannan aikin baya baiwa kowa karfin gwiwa. Zai ci gaba da kasancewa a ƙarƙashin ikon kamfani wanda kasuwancin tallansa ya cika da badaƙala da cin hanci da rashawa ta yadda ba shi da wani zaɓi illa ƙoƙarin karkata kudaden da ake biya da kuma lamuni don tsira. Maƙasudin maƙasudin dogon lokaci shine yin aiki azaman dillalin bayanai da tsaka-tsaki a cikin samun damar masu amfani da bashi bisa bayanan kafofin watsa labarun su na sirri. Wannan cikakken labari ne mai ban tsoro da duhu wanda baya samun kulawar da ya dace.
Abin da kawai ke cikin ceton wannan labarin shi ne cewa kayan tarihi da suka ƙirƙira bai dace da aikin da ke hannunsu ba wanda ba za a iya ganinsa a matsayin wani abu na hubbare ba. Akwai manyan kurakurai na gine-gine da yawa a cikin wannan aikin:
Magance Matsalolin Janar na Byzantine a cikin hanyar Sadarwar Sadarwar Ƙirar Ƙira ce mara daidaituwa
Matsalar janar-janar na Byzantine yanki ne mai kunkuntar bincike na tsarin rarrabawa. Yana bayyana ikon tsarin hanyar sadarwa don jure rashin gazawar sassa bazuwar yayin ɗaukar matakan gyara masu mahimmanci ga aikin tsarin. Tilas ne cibiyar sadarwa mai juriya ta jure nau'ikan hare-hare da yawa, gami da sake farawa, fita aiki, kaya mara kyau, da jefa kuri'a na mugunta a zabukan jagoranci. Wannan shine babban yanke shawara don gine-ginen Libra, kuma ba shi da ma'ana gaba ɗaya anan.
Ƙayyadaddun lokaci akan wannan ƙarin tsarin ya dogara da algorithm. Akwai wallafe-wallafe da yawa akan bambance-bambancen ka'idojin Paxos da Raft don magance matsalar janar na Byzantine, amma duk waɗannan sifofin suna gabatar da ƙarin sama don sadarwa. 
don kula da ƙima. Don Libra, sun zaɓi algorithm tare da mafi girman yuwuwar farashin sadarwa idan aka samu gazawar shugabanci. Kuma akwai ƙarin kari daga yuwuwar sake zaɓen shugabanni a cikin nau'ikan abubuwan faɗuwar hanyar sadarwa.
Don tsarin da ke aiki a cikin ƙungiyoyin ƙungiyoyin ƙasa da ƙasa masu tsari sosai, inda duk masu amfani ke da lambar da Facebook ta sanya hannu kuma Facebook ke sarrafa hanyar sadarwar, ba shi da ma'ana kawai a yi la'akari da ƙeta mahalarta a matakin yarjejeniya. Ba a bayyana dalilin da ya sa wannan tsarin zai ma magance matsalar janar-janar na Byzantine ba, maimakon kawai ci gaba da bin diddigin bin diddigi don bincika yarda. Yiwuwar kumburin Libra da Mastercard ko Andressen Horrowitz ke gudanarwa ba zato ba tsammani fara aiwatar da lambar ɓarna wani yanayi ne mai ban mamaki don tsarawa kuma an fi dacewa da shi ta hanyar tabbatar da amincin ƙa'idar kawai da ma'anar rashin fasaha (watau doka).
Shaida ga Majalisa ta ƙaddamar da samfurin a matsayin mai fafatawa ga sabbin ka'idojin biyan kuɗi na ƙasa da ƙasa kamar WeChat, Alipay da M-Pesa. Koyaya, babu ɗayan waɗannan tsarin da aka ƙera don aiki akan wuraren waha mai inganci don magance matsalar janar na Byzantine. An ƙirƙira su kawai akan babbar motar bas ɗin gargajiya wacce ke yin wayoyi bisa ƙayyadaddun ƙayyadaddun ƙa'idodi. Wannan hanya ce ta halitta don tsara tsarin biyan kuɗi. An tsara shi da kyau tsarin biyan kuɗi kawai ba zai fuskanci matsalar kashe kuɗi biyu da cokula masu yatsa ba.
Ƙarfafawa na haɗin gwiwar algorithm ba ya magance kowace matsala kuma kawai yana iyakance kayan aiki na tsarin ba tare da wani dalili ba sai dai jigilar kaya na jama'a blockchain, wanda ba a yi niyya don wannan yanayin amfani ba.
Libra ba shi da keɓancewar ciniki
Bisa ga takardun, an tsara tsarin yin la'akari karya, wato, adiresoshin da aka yi amfani da su a cikin yarjejeniya ana samun su daga maɓallan jama'a akan maɓallan ellipse kuma basu ƙunshi metadata game da asusun ba. Duk da haka, babu inda a cikin bayanin tsarin gudanarwa na kungiyar ko a cikin yarjejeniya kanta da ya nuna yadda za a ɓoye bayanan tattalin arzikin da ke cikin ma'amaloli ga masu inganci. An tsara tsarin ne don kwafin ma'amaloli a babban sikeli zuwa kewayon ɓangarorin waje waɗanda, a ƙarƙashin dokokin sirrin banki na Turai da Amurka, bai kamata su kasance cikin sirri ga bayanan tattalin arziki ba.
Manufofin bayanai a cikin ƙasashe suna da wahala a daidaita su, musamman idan aka ba da dokoki da ƙa'idodi daban-daban a cikin yankuna daban-daban tare da ra'ayoyin al'adu daban-daban kan kariyar bayanai da keɓantawa. Yarjejeniyar kanta ta hanyar tsohuwa tana buɗewa gaba ɗaya ga membobin haɗin gwiwa, wanda ke bayyana gazawar fasaha wacce ba ta cika buƙatun da aka tsara ta ba.
Libra HotStuff BFT ya kasa cimma abubuwan da ake buƙata don tsarin biyan kuɗi
A cikin Burtaniya, tsarin sharewa kamar BAC suna da ikon sarrafa kusan ma'amaloli 580 kowane wata. A lokaci guda, ingantaccen tsarin kamar Visa na iya aiwatar da ma'amaloli 000 kowace rana. Aiki ya bambanta dangane da girman ma'amala, hanyar sadarwar hanyar sadarwa, nauyin tsarin, da (maganin haramun, tsare-tsaren satar kudi).
Libra yana ƙoƙarin warware matsalolin da ba ainihin matsalolin canja wurin cikin gida ba ne, yayin da jihohin ƙasa suka sabunta kayan aikin share su cikin shekaru goma da suka gabata. Ga masu cin kasuwa a cikin Tarayyar Turai, motsin kuɗi ba matsala ba ne ko kaɗan. A kan ababen more rayuwa na al'ada, ana iya yin wannan tare da daidaitaccen wayo a cikin daƙiƙa. Don manyan canje-canje na kamfanoni, akwai hanyoyi da ƙa'idodi daban-daban waɗanda ke da alaƙa da motsin kuɗi masu yawa.
Babu wani dalili na fasaha da ya sa ba za a iya aiwatar da biyan kuɗin kan iyaka nan take ba, ban da bambance-bambancen dokoki da buƙatu tsakanin hukunce-hukuncen da suka dace. Idan matakan kariya da suka wajaba (ƙwararren abokin ciniki, takunkumin takunkumi, da dai sauransu) ana yin su sau da yawa a matakai daban-daban na sarkar ma'amala, wannan na iya haifar da jinkirin ciniki. Koyaya, wannan jinkirin aiki ne kawai na tsarin doka da bin doka, ba fasaha ba.
Ga masu amfani, babu wani dalili da zai sa ma'amalar Burtaniya ba za ta bayyana a cikin daƙiƙa guda ba. Kasuwancin tallace-tallace a cikin EU hakika yana raguwa ta hanyar (Sanin Abokin Cinikinku) da ƙuntatawa na AML da gwamnatoci da masu mulki suka sanya, waɗanda ke aiki daidai da biyan kuɗin Libra. Ko da Facebook za ta shawo kan abubuwan da ke hana ketare iyaka da musayar bayanai masu zaman kansu, tsarin da aka tsara yana da shekaru ɗaruruwan mutane daga abubuwan da ake amfani da su na hada-hadar kasuwanci a duniya kuma yana iya buƙatar sake fasalin su daga tushe.
Harshen Motsa Libra ba daidai bane
Farar takarda ta yi da'awa mai ƙarfi game da sabon harshe mara gwadawa da ake kira Matsar. Waɗannan maganganun suna da shakku sosai daga mahangar ka'idar harshe na shirye-shirye (PLT).
Move wani sabon yaren shirye-shirye ne don aiwatar da dabarun mu'amala na al'ada da kwangiloli masu wayo akan blockchain na Libra. Saboda Libra yana nufin yin hidimar biliyoyin mutane wata rana, Move an tsara shi tare da tsaro a matsayin babban fifiko.
Mahimmin fasalin Motsawa shine ikon ayyana nau'ikan albarkatu na sabani tare da tatsuniyoyi da aka yi wahayi ta hanyar dabaru na layi.
A cikin blockchain na jama'a, kwangiloli masu wayo suna fuskantar dabaru na hanyoyin sadarwar jama'a tare da asusu na ɓoye, satar kuɗi, ba da alamar OTC, da caca. Duk waɗannan ana yin su ne a cikin wani harshe mai ban sha'awa mara kyau wanda ake kira Solidity, wanda ta fuskar ilimi ya sa marubucin PHP ya zama kamar haziƙi. Abin ban mamaki, sabon harshe daga Facebook da alama ba shi da alaƙa da waɗannan fasahohin, tunda a zahiri yaren rubutun ne da aka yi niyya don dalilai na kasuwanci.
A cikin littafai masu zaman kansu da aka rarraba, kwangiloli masu wayo suna ɗaya daga cikin waɗannan sharuɗɗan da masu ba da shawara ke jefawa ba tare da la'akari da fayyace ma'ana ko manufa ba. Masu ba da shawara kan software na kasuwanci yawanci suna samun kuɗi daga shubuha, kuma kwangiloli masu wayo sune apotheosis na ruɗuwar kamfanoni saboda ana iya ayyana su azaman zahiri komai.
Bayan yin da'awar game da tsaronsa, muna buƙatar duba tafsirin harshe. Daidaita a ka'idar harshe na shirye-shirye yawanci ya ƙunshi hujjoji guda biyu daban-daban: “ci gaba” da “tsarewa”, waɗanda ke ƙayyadad da daidaiton duk sararin ƙa'idodin kimanta harshe. Musamman ma, a nau'in ka'idar, aiki shine "linear" idan yayi amfani da hujja sau ɗaya daidai, kuma "affine" idan ya yi amfani da shi sau ɗaya. Tsarin nau'in linzamin kwamfuta yana ba da garanti mai tsayi cewa aikin layin da aka ayyana shi ne madaidaiciyar gaske ta hanyar sanya nau'ikan zuwa duk ƙasidar aiki da kuma lura da inda ake kira. Wannan sigar dabara ce don tabbatarwa kuma ba ta da sauƙin aiwatarwa don ɗaukacin shirin. Buga layin layi har yanzu filin binciken ilimi ne, yana tasiri ta aiwatar da nau'in keɓantacce a Tsaftace da nau'in mallaka a cikin Tsatsa. Akwai wasu shawarwari na farko don ƙara nau'ikan linzamin kwamfuta zuwa Glasgow Haskell Compiler.
Bayanin Motsawa game da amfani da nau'ikan layin layi yana kama da nutsewa mara tushe cikin mai tarawa, tun daga can . Kamar yadda mutum zai iya fada, farar takarda ta buga wallafe-wallafen canonical daga Girard da Peirce, kuma babu wani abu makamancin haka a cikin ainihin aiwatarwa.
Bugu da ƙari, ƙa'idodin ƙa'idar yaren da ake tsammani amintacce ya bayyana a cikin aiwatarwa ko takaddun. Harshen yana da ƙanƙanta don nemo cikakkiyar hujja ta ingantacciyar ma'ana a cikin Coq ko Isabelle. A hakikanin gaskiya, cikakken mai tarawa na ƙarshe zuwa ƙarshe tare da canja wurin shaida zuwa bytecode abu ne mai yuwuwa a aiwatar da kayan aikin zamani da aka ƙirƙira a cikin shekaru goma da suka gabata. Mun san yadda za mu yi, farawa da dawo a 1996.
Ta fuskar ka'idar harshe na shirye-shirye, ba shi yiwuwa a gwada da'awar cewa Motsa ingantaccen harshe ne kuma amintacce, tunda waɗannan iƙirarin sun kai tsantsar ɗaga hannu da talla maimakon ainihin shaida. Wannan lamari ne mai ban tsoro ga aikin harshe da ake neman aiwatar da biliyoyin daloli na hada-hadar kasuwanci.
Libra cryptography yana da kuskure
Gina amintattun tsarin crypto yana da matukar wahala matsalar injiniya, kuma koyaushe yana da kyau a kusanci aiki tare da lamba mai haɗari tare da kyakkyawan kashi na paranoia lafiya. Akwai manyan ci gaba a wannan yanki, kamar aikin Microsoft Everest, wanda ke gina ingantaccen tsaro . Kayan aikin sun riga sun wanzu don ƙirƙirar abubuwan da za a iya tabbatarwa. Kodayake wannan yana da tsada, amma a fili bai wuce karfin tattalin arzikin Facebook ba. Sai dai kungiyar ta yanke shawarar kin shiga aikin, wanda aka bayyana a matsayin amintaccen tushe ga tsarin hada-hadar kudi na duniya.
aikin libra daga sabbin ɗakunan karatu da yawa don ƙirƙirar tsarin crypto na gwaji waɗanda kawai suka bayyana a cikin ƴan shekarun da suka gabata. Ba shi yiwuwa a ce ko dogara ga waɗannan kayan aikin suna da lafiya ko a'a, tunda babu ɗayan waɗannan ɗakunan karatu da aka bincika kuma basu da daidaitattun manufofin bayyanawa. Musamman, ga wasu manyan ɗakunan karatu babu tabbas game da kariya daga hare-haren tashoshi da hare-haren lokaci.
Laburaren ɗakin karatu ya zama ƙarin gwaji kuma ya wuce , amfani da sabbin dabaru irin su ƙwararrun ayyukan bazuwar (VRFs), nau'ikan bilinear, da sa hannun bakin kofa. Waɗannan hanyoyin da ɗakunan karatu na iya zama masu ma'ana, amma haɗa su duka cikin tsari ɗaya yana haifar da damuwa mai tsanani game da yankin da ake kai hari. Haɗin duk waɗannan sabbin kayan aiki da fasahohin na ƙara rikitar tabbatar da tsaro sosai.
Ya kamata a ɗauka cewa duk wannan tarin bayanan sirri yana da rauni ga hare-hare daban-daban har sai an tabbatar da in ba haka ba. Shahararren samfurin 'Move Fast and Break Things' na Facebook ba za a iya amfani da shi ga kayan aikin sirri da ke sarrafa bayanan kuɗin abokin ciniki ba.
Libra ya kasa aiwatar da hanyoyin kariyar mabukaci
Wani fasali na tsarin biyan kuɗi shine ikon mayar da ma'amala idan shari'a ta soke biyan kuɗin ko kuma ta kai ga gazawar tsarin. An tsara tsarin Libra don ya zama "cikakke" kuma baya haɗa da nau'in ciniki don soke biyan kuɗi. A cikin Burtaniya, duk biyan kuɗi tsakanin £ 100 zuwa £ 30,000 suna ƙarƙashin Dokar Ba da Lamuni ta Abokan ciniki. Wannan yana nufin cewa tsarin biyan kuɗi yana raba alhaki tare da mai siyarwa idan akwai matsala tare da samfurin da aka saya ko kuma idan mai karɓar kuɗin bai ba da sabis ɗin ba. Irin waɗannan dokoki suna aiki a cikin EU, Asiya da Arewacin Amurka.
Zane-zane na Libra na yanzu bai haɗa da ƙa'ida don bin waɗannan dokoki ba kuma ba shi da takamaiman tsari don ƙirƙirar ɗaya. Ko da mafi muni, ta fuskar tsarin gine-gine, ƙarshen ingantattun tsarin bayanai na kwaya, dangane da yanayin tuƙi na Merkle, baya ƙyale kowane wata hanya ta ƙirƙira irin wannan yarjejeniya ba tare da sake fasalin kernel ba.
Bayan gudanar da bita na fasaha na wannan aikin, za mu iya ƙarasa da cewa kawai ba za ta iya shiga cikin kowane bincike na tsarin da ake girmamawa ba ko mujallar injiniyan kuɗi. Don ƙoƙarin canza manufofin kuɗi na duniya, ana buƙatar babban adadin aikin fasaha don ƙirƙirar hanyar sadarwa mai aminci da amintaccen sarrafa bayanan mai amfani wanda jama'a da masu mulki za su iya amincewa da su.
Ban ga wani dalili na yarda cewa Facebook ya yi aikin da ya dace a cikin ƙirarsa don shawo kan waɗannan matsalolin fasaha ko kuma yana da wata fa'ida ta fasaha akan abubuwan more rayuwa na yanzu. Faɗin cewa kamfani yana buƙatar sassaucin tsari don bincika sabbin abubuwa ba uzuri ba ne don rashin yin su da farko.
source: www.habr.com