Mun daɗe muna sha'awar batun rashin sanin suna a cikin cryptocurrencies kuma muna ƙoƙarin bin ci gaban fasaha a wannan yanki. A cikin labaranmu mun riga mun tattauna dalla-dalla ka'idodin aiki a Monero, da kuma za'ayi fasahohin dake wanzuwa a wannan fanni. Koyaya, duk cryptocurrencies da ba a san su ba a yau an gina su akan ƙirar bayanan da Bitcoin ke samarwa - Unspent Transaction Output (UTXO daga nan). Don blockchain na tushen asusu kamar Ethereum, hanyoyin da ake amfani da su don aiwatar da rashin sirri da sirri (misali, ko ) yayi ƙoƙarin yin kwafin samfurin UTXO a cikin kwangiloli masu wayo.
A cikin Fabrairu 2019, ƙungiyar masu bincike daga Jami'ar Stanford da Binciken Visa saki "Zether: Zuwa ga keɓancewa a cikin duniyar kwangiloli masu wayo." Marubutan su ne na farko da suka ba da shawarar hanyar da za a tabbatar da sakaci a cikin blockchains na tushen asusun kuma sun gabatar da nau'ikan kwangilar wayo guda biyu: don sirri (boye ma'auni da adadin canja wurin) da ma'amaloli na sirri (boye mai karɓa da mai aikawa). Mun sami fasahar da aka tsara tana da ban sha'awa kuma muna so mu raba ƙirar ta, da kuma magana game da dalilin da yasa ana ɗaukar matsalar rashin sirri a cikin blockchains na tushen asusu da wahala sosai kuma ko marubutan sun sami nasarar magance shi sosai.
Game da tsarin waɗannan samfuran bayanai
A cikin samfurin UTXO, ma'amala ta ƙunshi "shigarwa" da "fitarwa". Misalin kai tsaye na "fitarwa" shine lissafin kuɗi a cikin walat ɗin ku: kowane "fitarwa" yana da wasu ƙididdiga. Lokacin da ka biya wani (ƙirƙirar ma'amala) ka kashe ɗaya ko fiye "fitarwa", a cikin wannan yanayin ya zama "input" na ma'amala, kuma blockchain yana nuna su kamar yadda aka kashe. A wannan yanayin, mai karɓar kuɗin ku (ko ku da kanku, idan kuna buƙatar canji) yana karɓar sabon “fitarwa” da aka samar. Ana iya wakilta wannan ta tsari kamar haka:
An tsara blockchain na tushen asusu kamar asusun bankin ku. Suna ma'amala da adadin da ke cikin asusun ku da adadin canja wuri. Lokacin da ka canja wurin wasu adadin daga asusunka, ba ka ƙone wani "fitarwa", cibiyar sadarwa ba ta buƙatar tunawa da waɗanne tsabar kudi da aka kashe da kuma waɗanda ba a yi ba. A cikin mafi sauƙi, tabbatar da ma'amala yana zuwa don duba sa hannun mai aikawa da adadin akan ma'auninsa:
Nazarin fasaha
Na gaba, za mu yi magana game da yadda Zether ke ɓoye adadin ma'amala, mai karɓa, da mai aikawa. Yayin da muke bayyana ka'idodin aikinsa, za mu lura da bambance-bambance a cikin sigar sirri da waɗanda ba a san su ba. Tun da ya fi sauƙi don tabbatar da sirri a cikin blockchains na tushen asusu, wasu ƙuntatawa da aka sanya ta hanyar ɓoye suna ba za su dace da sigar sirrin fasahar ba.
Boye ma'auni da adadin canja wuri
Ana amfani da tsarin ɓoyewa don ɓoye ma'auni da canja wurin adadi a cikin Zether . Yana aiki kamar haka. Lokacin da Alice ke son aika Bob b tsabar kudi ta adireshin (maɓallin jama'a) Y, ta zaɓi lambar bazuwar r kuma yana ɓoye adadin:
inda C - adadin da aka ɓoye, D - ƙimar taimako da ake buƙata don ƙaddamar da wannan adadin, G - ƙayyadaddun wuri akan madaidaicin elliptical, lokacin da aka ninka ta hanyar maɓallin sirri, ana samun maɓallin jama'a.
Lokacin da Bob ya karɓi waɗannan dabi'u, kawai yana ƙara su zuwa ma'aunin rufaffen sa ta hanya ɗaya, wanda shine dalilin da ya sa wannan tsarin ya dace.
Hakazalika, Alice ta rage darajar iri ɗaya daga ma'auni, kawai kamar yadda Y yana amfani da maɓallin jama'a.
Boye mai karɓa da mai aikawa
Shuffing "fitarwa" a cikin UTXO ya koma farkon kwanakin cryptocurrencies kuma yana taimakawa ɓoye mai aikawa. Don yin wannan, mai aikawa da kansa, lokacin yin canja wuri, yana tattara "fitarwa" bazuwar a cikin blockchain kuma ya haɗa su da nasa. Na gaba, yana sanya hannu kan "fitarwa" tare da sa hannu na zobe-wani tsarin da ke ba shi damar shawo kan mai tabbatarwa cewa tsabar kudin mai aikawa yana cikin "fitarwa" da ke ciki. Haɗaɗɗen tsabar da kansu, ba shakka, ba a kashe su.
Koyaya, ba za mu iya samar da kayan aikin jabu don ɓoye mai karɓa ba. Saboda haka, a cikin UTXO, kowane “fitarwa” yana da adireshinsa na musamman, kuma ana danganta shi da adireshin mai karɓar waɗannan tsabar kudi. A halin yanzu, babu wata hanya ta gano alakar da ke tsakanin adireshin fitarwa na musamman da adireshin mai karɓa ba tare da sanin makullin sirrinsa ba.
A cikin tsarin tushen asusun, ba za mu iya amfani da adiresoshin lokaci ɗaya ba (in ba haka ba zai riga ya zama samfurin "fita"). Don haka, dole ne a haɗa mai karɓa da mai aikawa a cikin sauran asusun da ke cikin blockchain. A wannan yanayin, ana cire tsabar kuɗi 0 da aka ɓoye daga gauraye asusu (ko ana ƙara 0 idan mai karɓa ya gauraya), ba tare da canza ainihin ma'aunin su ba.
Tun da mai aikawa da mai karɓa koyaushe suna da adireshi na dindindin, ya zama dole a yi amfani da ƙungiyoyi iri ɗaya don haɗawa yayin canja wurin zuwa adiresoshin iri ɗaya. Yana da sauƙi a kalli wannan tare da misali.
Bari mu ce Alice ta yanke shawarar ba da gudummawa ga sadaka ta Bob, amma ta fi son canja wurin ya kasance ba a san shi ba ga mai kallo na waje. Sa'an nan kuma, don yin ɓarna a cikin filin aikawa, ta kuma shiga asusun Adam da Adele. Kuma don ɓoye Bob, ƙara asusun Ben da Bill a cikin filin mai karɓa. Ta ba da gudummawa ta gaba, Alice ta yanke shawarar rubuta Alex da Amanda kusa da ita, da Bruce da Benjen kusa da Bob. A wannan yanayin, lokacin da ake nazarin blockchain, a cikin waɗannan ma'amaloli guda biyu akwai mahalarta guda ɗaya kawai - Alice da Bob, waɗanda ke ɓoye waɗannan ma'amaloli.
tseren ciniki
Kamar yadda muka riga muka ambata, don ɓoye ma'aunin ku a cikin tsarin tushen asusu, mai amfani yana ɓoye ma'auninsa da adadin canja wuri. A lokaci guda, dole ne ya tabbatar da cewa ma'auni akan asusunsa ya kasance mara kyau. Matsalar ita ce lokacin ƙirƙirar ciniki, mai amfani yana gina hujja game da matsayin asusunsa na yanzu. Me zai faru idan Bob ya aika ma'amala ga Alice, kuma an karɓa kafin wanda Alice ta aiko? Sannan za a yi la'akari da cinikin Alice ba daidai ba ne, tunda an gina tabbacin ma'auni kafin a karɓi cinikin Bob.
Mataki na farko da ya zo a cikin irin wannan yanayin shine a daskare asusun har sai an aiwatar da ciniki. Amma wannan hanyar ba ta dace ba, saboda ban da rikitarwa na magance irin wannan matsala a cikin tsarin da aka rarraba, a cikin tsarin da ba a san shi ba ba zai bayyana asusu ba.
Don magance wannan matsala, fasaha ta raba ma'amaloli masu shigowa da masu fita: ciyarwa yana da tasiri nan da nan a kan ma'auni, yayin da rasit suna da tasiri na jinkiri. Don yin wannan, an gabatar da manufar "epoch" - rukuni na tubalan girman girman. Ana ƙayyade "epoch" na yanzu ta hanyar rarraba tsayin toshe ta girman rukuni. Lokacin sarrafa ma'amala, cibiyar sadarwar nan da nan ta sabunta ma'auni na mai aikawa kuma tana adana kuɗin mai karɓa a cikin tankin ajiya. Ana ba da kuɗin da aka tara ga mai biyan kuɗi kawai lokacin da sabon "zamanin" ya fara.
A sakamakon haka, mai amfani zai iya aika ma'amaloli ba tare da la'akari da sau nawa ana karɓar kuɗi (idan dai ma'auni ya ba da izini, ba shakka). An ƙayyade girman zamanin da ya dogara ne akan yadda sauri toshe yaduwa ta hanyar hanyar sadarwa da kuma yadda sauri da ma'amala ke shiga cikin toshe.
Wannan bayani yana aiki da kyau don canja wurin sirri, amma tare da ma'amaloli marasa amfani, kamar yadda za mu gani daga baya, yana haifar da matsaloli masu tsanani.
Kariya daga harin sake kunnawa
A cikin blockchains na asusun, kowane ma'amala yana sanya hannu ta hanyar maɓalli na sirri na mai aikawa, wanda ke gamsar da mai tabbatar da cewa ba a canza ma'amalar ba kuma mai wannan maɓalli ne ya ƙirƙira shi. Amma idan wani maharin da ke sauraron tashar watsa labarai ya katse wannan sakon kuma ya aika daidai da na biyu fa? Mai tabbatarwa zai tabbatar da sa hannu na ma'amala kuma zai gamsu da mawallafin sa, kuma hanyar sadarwar za ta sake rubuta adadin adadin daga ma'auni na mai aikawa.
Ana kiran wannan harin harin sake kunnawa. A cikin samfurin UTXO, irin waɗannan hare-haren ba su dace ba, tun da mai kai harin zai yi ƙoƙari ya yi amfani da abubuwan da aka kashe, wanda a cikin kanta ba shi da inganci kuma cibiyar sadarwa ta ƙi.
Don hana faruwar hakan, an gina filin da bazuwar bayanai a cikin ma'amala, wanda ake kira nonce ko kawai "gishiri". Lokacin sake ƙaddamar da ma'amala tare da gishiri, mai tabbatarwa yana duba don ganin ko an yi amfani da nonce a baya kuma, idan ba haka ba, yana ɗaukar ma'amalar inganci. Don kar a adana duk tarihin nonces na mai amfani a cikin blockchain, yawanci a cikin ma'amala ta farko an saita shi daidai da sifili, sannan ya karu da ɗaya. Cibiyar sadarwa za ta iya duba kawai cewa babu wani sabon ciniki ya bambanta da wanda ya gabata bayan daya.
A cikin tsarin canja wurin da ba a san sunansa ba, matsalar tabbatar da ciniki ba ta taso. Ba za mu iya ɗaure maganar kai tsaye ga adireshin mai aikawa ba, tun da, a fili, wannan ya hana canja wurin. Hakanan ba za mu iya ƙara ɗaya zuwa abubuwan da ba na duk asusun shiga ba, saboda wannan na iya cin karo da sauran canja wurin da ake sarrafa su.
Marubutan Zether sun ba da shawarar samar da abubuwan da ba su da tushe, dangane da “epoch”. Misali:
Yana da x shine mabuɗin sirrin mai aikawa, kuma Gepoch - ƙarin janareta don zamanin, wanda aka samu ta hanyar hashing kirtani na nau'in 'Zether +'. Yanzu da alama an warware matsalar - ba mu bayyana ra'ayin mai aikawa ba kuma ba ma tsoma baki tare da abubuwan da ba su da hannu. Amma wannan tsarin yana sanya ƙayyadaddun ƙayyadaddun ƙayyadaddun ƙayyadaddun ƙayyadaddun ƙayyadaddun bayanai: asusun ɗaya ba zai iya aika ma'amala fiye da ɗaya ba a kowane "epoch". Wannan matsalar, da rashin alheri, ta kasance ba a warware ta ba, kuma a halin yanzu tana sanya sigar Zether, wanda ba a san shi ba, a ra'ayinmu, bai dace da amfani ba.
Cikar Tabbacin Ilimin Sifili
A cikin UTXO, mai aikawa dole ne ya tabbatar da hanyar sadarwar cewa ba ya kashe kuɗi mara kyau, in ba haka ba zai yiwu a samar da sababbin tsabar kudi daga iska mai laushi (me yasa wannan zai yiwu, mun rubuta a cikin ɗaya daga cikin baya. ). Sannan kuma ya sanya hannu kan “input” tare da sa hannun zobe don tabbatar da cewa daga cikin tsabar da ake hadawa akwai kudade nasa.
A cikin sigar da ba a bayyana ba na blockchain na tushen asusun, maganganun hujja sun fi rikitarwa. Mai aikawa ya tabbatar da cewa:
- Adadin da aka aiko yana da inganci;
- Ma'auni ya kasance mara kyau;
- Mai aikawa ya rufaffen ɓoyayyen adadin canja wurin (ciki har da sifili);
- Ma'auni akan ma'auni yana canzawa kawai ga mai aikawa da mai karɓa;
- Mai aikawa yana da maɓalli na sirri na asusunsa kuma a zahiri yana cikin jerin masu aikawa (cikin waɗanda ke da hannu);
- Nonce da aka yi amfani da shi a cikin ma'amala an haɗa shi daidai.
Don irin wannan hujja mai rikitarwa, marubutan suna amfani da cakuda (daya daga cikin mawallafa, ta hanyar, ya shiga cikin halittarsa) da , wanda ake kira Sigma-harsashi. Hujja ta yau da kullun na irin wannan magana aiki ne mai wahala, kuma yana iyakance adadin mutanen da ke son aiwatar da fasahar.
Mene ne a karshen?
A ra'ayinmu, ana iya amfani da ɓangaren Zether wanda ke kawo sirri ga blockchains na tushen asusu a yanzu. Amma a halin yanzu, nau'in fasahar da ba a bayyana sunansa ba yana sanya takunkumi mai tsanani a kan amfani da ita, da kuma rikitarwa a kan aiwatar da shi. Duk da haka, bai kamata a yi la'akari da cewa marubutan sun sake shi ba kawai 'yan watanni da suka wuce, kuma watakila wani zai sami mafita ga matsalolin da ke faruwa a yau. Bayan haka, haka ake yin kimiyya.
source: www.habr.com