Yawaitar blockchains masu zaman kansu ta haifar da "duniya mai yawan sarƙoƙi." Kalubale na asali a cikin wannan yanayin shine gina mafi aminci blockchain na rufi ta hanyar amfani da littattafan rubutu na wanzuwar ƙananan sarƙoƙin blockchain, ta amfani da ayyukan karantawa da rubutu kawai. Wannan takarda, "Hanyar Lantarki don Gina Blockchains akan Blockchains," ta gabatar da sabon tsari da aka yi wahayi daga ka'idar da'irar sauyawa. Ta ayyana manyan ayyukan tsari guda biyu—tsarin jere da tsarin alwatika—a matsayin tubalan gini don ƙirƙirar gabaɗayan blockchains na rufi, tare da nazarin sakamakon tabbacin aminci da rai a ƙarƙashin samfuran cibiyar sadarwa na ɗan lokaci da na aiki tare.
Babban ƙirƙira na takardar shine ɗaukar blockchains a matsayin sassan da'ira. Tsaron sarkar rufi yana samo asali ne daga tsarin ma'ana na ƙananan sarƙoƙinta.
Wannan aiki yana haɗa blockchains biyu a jere. Ga ƙananan sarƙoƙi biyu masu samar da takaddun shaida, kaddarorin tsaro na sarkar rufi da aka samu sune:
Wannan yayi kama da Ƙofar KO don aminci da Ƙofar KUMA don rai.
Wannan aiki ya ƙunshi blockchains uku a cikin tsari mai kama da da'ira mai layi daya ko tsarin bakin kofa 2 cikin 3. Kaddarorin tsaro sune:
Wannan yana ba da wani ciniki daban-daban, yana fifita rai akan aminci idan aka kwatanta da tsarin jere.
Takardar ta tabbatar bisa ƙa'ida cewa ta hanyar amfani da tsarin jere da na alwatika akai-akai, mutum zai iya gina blockchain na rufi akan n ƙananan sarƙoƙi don cimma kowane bakin kofa na juriya (f_s, f_l) da ake so, inda:
Babban ka'idar ta bayyana cewa duk ma'auratan da za a iya aiwatarwa (f_s, f_l) waɗanda suka gamsar da 2f_s + f_l < n da f_l < n/2 za a iya cimma su ta hanyar daidaitattun tsari kamar na da'ira. Wannan ya haɗa aikin da ya gabata kamar saita lokaci tsakanin sarƙoƙi, wanda kawai ya cimma ma'anar (n-1, 0) (mai aminci idan sarkar 1 tana da aminci, mai rai kawai idan duk suna da rai).
Samfurin ya tsara blockchains a matsayin injunan jihohi waɗanda ke samar da littafin rubutu L. Tsaro an ayyana shi ta aminci (mai daidaito, ra'ayoyi masu rarrabuwa ba su yiwuwa) da rai (sabbin ma'amaloli a ƙarshe an haɗa su). An tattara ƙananan sarkar B_i a matsayin mai ba da gaskiya wanda ke ba da takaddun shaida na amincewa C_i^t don gajeren fensir na littafin rubutu a lokacin ma'ana t.
Ka'idojin tsari sun ayyana yadda ake sabunta jihar sarkar rufi S_ov bisa ga tambayoyin da aka yi wa waɗannan masu ba da gaskiya. Misali, a cikin tsarin jere na sarƙoƙi B_A da B_B, sarkar rufi na iya ɗaukar littafin rubutu daga B_A kawai idan ya yi daidai da takaddun shaida na amincewa daga B_B wanda ya saita lokacinta. Wannan yana haifar da dogaro da aka kama ta hanyar dabarun ma'ana. Babban hujjojin tsaro suna amfani da hujjojin sabani da kwaikwayo da aka saba da su a cikin wallafe-wallafen tsarin rarrabawa, suna nuna cewa keta aminci a cikin sarkar rufi zai nuna keta aminci a cikin takamaiman rukunin ƙananan sarƙoƙi, wanda ya saba wa bakin kofofin juriya da aka zata.
Yanayi: Gina musayar kuɗi ta tsaka-tsakin sarkar (DEX) a kan ingantattun sarƙoƙi uku: Ethereum (Eth), Solana (Sol), da Avalanche (Avax).
Manufa: Ba da fifiko ga amincin kuɗi (babban f_s) yayin karɓar jinkiri lokaci-lokaci (ƙananan f_l).
Zaɓin Ƙira: Yi amfani da Tsarin Alwatika na sarƙoƙin uku.
Sakamako: DEX ta cimma matsakaicin juriya na aminci—za ta iya jure yanayin da kowane sarkar guda ɗaya ta lalace ko ta rabu, yayin da sauran biyu ke ba da shaida. Ana ci gaba da rai ko da sarkar ɗaya ta sha wahala. Wannan shine aiwatar da aiki na ma'anar (f_s=1, f_l=1) don n=3.
Babban Fahimta: Wannan ba wani takarda na yarjejeniya ba ne kawai; tsarin injiniyan tsarin ne na asali don zamanin sarkar da yawa. Marubutan sun yi nasarar tattara ɓataccen matsalar haɗin kai na blockchain zuwa tsari mai tsabta, mai haɗawa. Babban nasara shine nuna cewa kaddarorin tsaro ba kawai a gaji su ba ne—za a iya ƙirƙira su ta hanyar shirye-shirye ta hanyar takamaiman yanayin saman, wucewa fiye da tsarin "gada zuwa mafi aminci sarkar".
Tsarin Ma'ana: Hujja tana da kyau. Fara da gaskiyar sarkar da yawa a matsayin abin da aka ba. Ƙi ra'ayin "tushen tsaro" guda ɗaya. A maimakon haka, zana kwatankwacin ƙirar da'ira mai dogaro daga abubuwan da ba su da dogaro (matsala ta gargajiya). Ayyana mafi ƙanƙanta, masu aiki na tsari masu kai tsaye (jere, alwatika). Tabbatar sun cika (za su iya gina kowane bayanin juriya da zai yiwu). Kwararar daga kwatance zuwa ƙa'ida zuwa babban ka'ida yana da gogayya kuma yana kwatanta nasarar ka'idar a kimiyyar kwamfuta, kamar yadda aka warware Yarjejeniyar Byzantine zuwa mafi sauƙin farkon watsa shirye-shirye.
Ƙarfi & Kurakurai:
Ƙarfi: Gabaɗayan ka'idar yana da ƙarfi. Kwatankwacin da'ira yana da fahimta ga injiniyoyi. Ya haɗa kuma ya bayyana hanyoyin da suka gabata na ad-hoc (kamar saita lokaci tsakanin sarƙoƙi) a matsayin takamaiman lokuta na wannan tsarin. Hujjojin ƙa'ida sun bayyana masu ƙarfi.
Kurakurai: Takardar tana da ka'ida sosai. Matsakaicin farashin daidaita sarƙoƙi da yawa (jinkiri, farashi) an yi masa hannu. Samfurin "ɗan lokaci na ɗan lokaci", ko da yake daidaitacce, yana iya zama mai kyakkyawan fata ga yanayin tsaka-tsakin sarkar tare da lokutan tubalan da ba su dace ba da hanyoyin ƙarshe. Yana ɗauka ƙananan sarƙoƙi su ne yankuna na gazawa masu zaman kansu—zato mai haɗari idan yawancin sarƙoƙi sun raba saitin tabbatarwa, matsala ta gama gari a cikin yanayin PoS. Idan aka kwatanta da takamaiman binciken da aka mayar da hankali kan hari a cikin ayyuka kamar Rahotodin Binciken Tsaro na Gadar ChainSecurity, wannan yana jin kamar ka'idar tsaftataccen allo wanda dole ne yanzu ya fuskanci aiwatar da duniya mai datti.
Fahimta Mai Aiki:
Ƙimar takardar ba za a ƙaddara ta ba ta hanyar ka'idojinta, amma ta hanyar amfani da ita a matsayin harshen ƙira don tsarin haɗin gwiwa na gaba. Tana da yuwuwar yin abin da ka'idar CAP ta yi wa bayanan rarrabawa: samar da ciniki na asali, wanda ba za a iya gujewa ba wanda dole ne a gina tsarin aiki a kusa da shi.
Aikace-aikace na Kusa:
Hanyoyin Bincike na Gaba: