Kuenea kwa minyororo huru ya bloku kumezua "ulimwengu wa minyororo mingi." Changamoto ya msingi katika hali hii ni kujenga mnyororo wa bloku wa juu wenye usalama zaidi kwa kutumia vitabu vya hesabu vya minyororo ya bloku ya msingi iliyopo, kwa kutumia shughuli za kusoma na kuandika pekee. Karatasi hii, "Njia ya Sakiti ya Kujenga Mnyororo wa Bloku juu ya Mnyororo wa Bloku," inatanguliza mfumo mpya unaovutiwa na nadharia ya sakiti za kubadilisha. Inafafanua shughuli mbili za msingi za uundaji—uundaji wa mfululizo na uundaji wa pembetatu—kama vipengele vya msingi vya kuunda minyororo ya jumla ya juu, ikichambua dhamana zinazotokana za usalama na uhai chini ya miundo ya mtandao yenye usawazishaji sehemu na usawazishaji kamili.
Uvumbuzi wa msingi wa karatasi hii ni kuchukulia minyororo ya bloku kama vipengele vya sakiti. Usalama wa mnyororo wa jua unatokana na muundo wa kimantiki wa minyororo yake ya msingi.
Shughuli hii inaunganisha minyororo miwili ya bloku mfululizo. Kwa minyororo miwili ya msingi inayozalisha cheti, sifa za usalama za mnyororo wa juu unaotokana ni:
Hii inafanana na mlango wa kimantiki wa AU kwa usalama na mlango wa kimantiki wa NA kwa uhai.
Shughuli hii inahusisha minyororo mitatu ya bloku katika usanidi unaofanana na sakiti sambamba au mpango wa kizingiti cha 2-kati-ya-3. Sifa za usalama ni:
Hii inatoa usawazishaji tofauti, ukipendekeza uhai kuliko usalama ikilinganishwa na uundaji wa mfululizo.
Karatasi hii inathibitisha rasmi kwamba kwa kutumia kwa kurudia uundaji wa mfululizo na wa pembetatu, mtu anaweza kujenga mnyororo wa bloku wa juu kwenye minyororo n ya msingi ili kufikia kizingiti chochote kinachohitajika cha (f_s, f_l) cha kustahimili, ambapo:
Nadharia kuu inasema kwamba jozi zote zinazowezekana (f_s, f_l) zinazokidhi 2f_s + f_l < n na f_l < n/2 zinaweza kufikiwa kupitia muundo unaofaa kama sakiti. Hii inapanua kazi ya awali kama vile uwekaji wakati wa mnyororo-mwingine, ambayo ilifikia tu hatua ya (n-1, 0) (salama ikiwa mnyororo 1 ni salama, hai tu ikiwa yote yana hai).
Mfano huu unaweka rasmi minyororo ya bloku kama mashine za hali zinazozalisha kitabu cha hesabu L. Usalama unafafanuliwa na usalama (thabiti, maoni yaliyogawanyika hayawezekani) na uhai (miamala mpya hatimaye hujumuishwa). Mnyororo wa msingi B_i umefupishwa kama mtaalamu anayetoa cheti cha kujitolea C_i^t kwa kiambishi awali cha kitabu cha hesabu kwa wakati wa kimantiki t.
Itifaki za uundaji zinafafanua jinsi hali ya mnyororo wa jua S_ov inavyosasishwa kulingana na maswali kwa wataalamu hawa. Kwa mfano, katika uundaji wa mfululizo wa minyororo B_A na B_B, mnyororo wa jua unaweza kupitisha kitabu cha hesabu kutoka kwa B_A tu ikiwa kinapatana na cheti cha kujitolea kutoka kwa B_B kinachoweka alama ya wakati. Hii inaunda utegemezi unaoshikiliwa na fomula za kimantiki. Uthibitisho wa msingi wa usalama hutumia hoja za utata na ujaribu zinazojulikana katika fasihi ya mifumo iliyogawanyika, zikionyesha kwamba ukiukaji wa usalama katika mnyororo wa jua ungeashiria ukiukaji wa usalama katika sehemu maalum ya minyororo ya msingi, kinyume na kizingiti cha kustahimili kilichodhaniwa.
Hali: Kujenga mnyororo wa jua wa ubadilishanaji wa fedha usio wa kati (DEX) kwenye minyororo mitatu iliyokua: Ethereum (Eth), Solana (Sol), na Avalanche (Avax).
Lengo: Kipaumbele usalama wa fedha (f_s kubwa) huku ukikubali ucheleweshaji mara kwa mara (f_l ndogo).
Chaguo la Muundo: Tumia Uundaji wa Pembetatu wa minyororo mitatu.
Matokeo: DEX inafikia ustahimilivu wa juu wa usalama—inaweza kustahimili hali ambapo mnyororo wowote umekatishwa au umegawanyika, kwani minyororo mingine miwili inatoa ushahidi. Uhai unadumishwa hata ikiwa mnyororo mmoja unakumbwa na kukatika kwa huduma. Hii ni utekelezaji wa vitendo wa hatua ya (f_s=1, f_l=1) kwa n=3.
Ufahamu Msingi: Hii sio tu karatasi nyingine ya makubaliano; ni mfumo wa msingi wa ufundi wa mifumo kwa enzi ya minyororo mingi. Waandishi wamefanikiwa kufupisha tatizo lenye utata la ushirikiano wa mnyororo wa bloku kuwa algebra safi, inayoweza kuundwa. Mafanikio halisi ni kuonyesha kwamba sifa za usalama sio tu zinazorithiwa—zinaweza kutengenezwa kwa programu kupitia topolojia maalum, kusonga zaidi ya dhana ya kibinafsi ya "daraja kwa mnyororo wenye usalama zaidi."
Mtiririko wa Kimantiki: Hoja hii ni nzuri. Anza na ukweli wa minyororo mingi kama uliyopewa. Kataa dhana ya "chanzo kimoja cha usalama." Badala yake, toa mfano wa muundo wa sakiti unaotegemewa kutoka kwa vipengele visivyo na uhakika (tatizo la kitamaduni). Fafanua waendeshaji wa chini kabisa, wa kipekee wa uundaji (mfululizo, pembetatu). Thibitisha kuwa wamekamilika (wanaweza kujenga wasifu wowote unaowezekana wa kustahimili). Mtiririko kutoka kwa mfano hadi umbo rasmi hadi nadharia ya jumla unavutia na unaonyesha nadharia iliyofanikiwa katika sayansi ya kompyuta, sawa na jinsi Makubaliano ya Byzantine yalivyotenganishwa kuwa vipengele vya msingi vya utangazaji.
Nguvu na Kasoro:
Nguvu: Ujumla wa kinadharia ni wenye nguvu. Mfano wa sakiti unaoeleweka kwa wahandisi. Inaunganisha na kuelezea njia za awali za ad-hoc (kama uwekaji wakati wa mnyororo-mwingine) kama kesi maalum za mfumo huu. Uthibitisho rasmi unaonekana imara.
Kasoro: Karatasi hii ni ya kinadharia sana. Mzigo wa ulimwengu halisi wa kusawazisha minyororo mingi (ucheleweshaji, gharama) haujaelezewa vizuri. Mfano wa "usawazishaji sehemu," ingawa ni wa kawaida, unaweza kuwa na matumaini kwa mazingira ya mnyororo-mwingine yenye nyakati tofauti sana za bloku na mbinu za ukamilifu. Inadhania minyororo ya msingi ni maeneo ya kutofaulu huru—dhana hatari ikiwa minyororo mingi inashiriki seti za uthibitishaji, suala la kawaida katika mazingira ya PoS. Ikilinganishwa na uchambuzi wa kina, unaolenga mashambulio katika kazi kama ripoti za ukaguzi wa daraja la ChainSecurity, hii inahisi kama nadharia safi ambayo sasa lazima ikabiliane na utekelezaji wa ulimwengu mchafu.
Ufahamu Unaoweza Kutekelezwa:
Thamani ya karatasi hii itaamuliwa sio na nadharia zake, lakini na kupitishwa kwake kama lugha ya muundo kwa kizazi kijacho cha miundombinu inayoweza kushirikiana. Ina uwezo wa kufanya kwa usalama wa mnyororo-mwingine kile nadharia ya CAP ilichofanya kwa hifadhidata zilizogawanyika: kutoa usawazishaji wa msingi, usioweza kuepukwa ambao mifumo ya vitendo lazima ijengwe karibu nayo.
Matumizi ya Karibuni:
Mwelekeo wa Utafiti wa Baadaye: