1. Utangulizi
Minyororo ya vitalu bila idhini, kwa mfano Bitcoin na Ethereum, zimeleta mageuzi makubwa katika mifumo isiyo na kituo cha usimamizi lakini zinakabiliwa na ukosoaji mkubwa kwa sababu ya matumizi makubwa ya rasilimali. Ingawa matumizi ya nishati ya makubaliano ya Uthibitishaji-kwa-Kazi (PoW) yamejadiliwa sana, mzigo mkubwa na unaoongezeka wa uhifadhi unaohitajika na nodi kamili haujapata umakini sawa. Karatasi hii inashughulikia pengo hili kwa kuwasilisha utafiti wa kwanza wa kiujumla juu ya jinsi nodi za mnyororo wa vitalu zinavyotumia data ya daftari kwa ajili ya uthibitishaji wa manunuzi na vitalu. Lengo kuu ni kuchunguza na kupima mikakati ambayo inaweza kupunguza sana ukubwa wa uhifadhi wa minyororo ya PoW kutoka mamia ya gigabaiti hadi kiwango kinachoweza kudhibitiwa, bila ya kuhitaji mabadiliko kwenye itifaki ya msingi ya mtandao.
2. Msingi na Taarifa ya Tatizo
Muundo wa usalama usio na kituo cha usimamizi wa minyororo ya vitalu kama Bitcoin unahitaji nodi kamili kuhifadhi na kuthibitisha historia yote ya manunuzi. Hii inajenga kikwazo kikubwa cha kuingia, na hivyo kupunguza usambazaji wa mtandao.
2.1 Mzigo wa Uhifadhi wa Minyororo ya Vitalu Bila Idhini
Kufikia wakati wa utafiti, mnyororo wa Bitcoin ulihitaji zaidi ya 370 GB ya uhifadhi. Ukuaji huu ni sawia na kupitishwa na wakati, na hivyo kuleta changamoto ya uwezo wa kukua kwa muda mrefu. Mahitaji makubwa ya uhifadhi huwazuia watumiaji kuendesha nodi kamili, na hii inaweza kusababisha kukusanyika kwa usimamizi kati ya taasisi chache zenye rasilimali nyingi, jambo ambalo linapingana na kanuni ya msingi ya usambazaji.
2.2 Suluhisho Zilizopo na Vikwazo Vyake
Njia zilizotumiwa hapo awali ni pamoja na itifaki za kuweka alama na picha za haraka, ambazo zinahitaji mabadiliko makubwa ya itifaki au makubaliano ya kiwango cha juu. Bitcoin Core inatoa chaguo la kufinyanga, lakini haina mwongozo mzuri—watumiaji wanapaswa kuchagua kiholela kizingiti cha kuhifadhi (kwa GB au urefu wa kuzuia), na hivyo kuhatarisha kufutwa kwa Matokeo ya Manunuzi Yasiyotumiwa (UTXO) bado muhimu au kuhifadhi data isiyohitajika.
3. Mbinu na Uchambuzi wa Kiujumla
Utafiti huu umegunduliwa kutokana na uchambuzi wa data ya uendeshaji halisi wa nodi ya Bitcoin.
3.1 Ukusanyaji wa Data na Uchanganuzi wa Tabia ya Nodi
Waandishi walitumia programu za Bitcoin Core kufuatilia na kurekodi shughuli zote za kusoma kwenye diski wakati wa uendeshaji wa kawaida wa nodi kwa muda mrefu. Hii ilitengeneza wasifu wa kina wa data gani hasa (vizuizi vya zamani, manunuzi) inayopatikana wakati wa uthibitishaji wa vitalu vipya na manunuzi.
3.2 Uchambuzi wa Matumizi ya Data kwa Uthibitishaji
Uchunguzi muhimu ni kwamba data nyingi za historia ya mnyororo wa vitalu hazipatikani mara nyingi. Uthibitishaji hutegemea hasa:
- Seti ya sasa ya UTXO (seti ya matokeo yote yanayoweza kutumiwa).
- Vizuizi vya hivi karibuni (kwa ajili ya ukaguzi wa upangaji upya wa mnyororo).
- Manunuzi mahususi ya historia tu wakati wa kuthibitisha matumizi yanayorejelea historia ya kina.
Muundo huu unaonyesha kurudia kwa kiasi kikubwa katika kuhifadhi mnyororo mzima ndani.
4. Mikakati Iliyopendekezwa ya Kupunguza Uhifadhi
Kulingana na uchambuzi wa kiujumla, karatasi hii inapendekeza mikakati ya upande wa mteja.
4.1 Ufinyangaji wa Uhifadhi wa Ndani Bila Mabadiliko ya Itifaki
Mkakati wa haraka zaidi ni algoriti ya ufinyangaji yenye akili. Badala ya kukata kwa urefu wa kuzuia, nodi inaweza kudumisha kwa nguvu:
- Seti kamili ya UTXO.
- Vichwa vya vitalu kwa mnyororo mzima (GB chache).
- Data kamili ya kuzuia tu kwa dirisha la muda la vitalu vya hivi karibuni (kwa mfano, vitalu 10,000 vilivyopita).
- Manunuzi ya zamani yaliyochaguliwa ambayo yanarejelewa na matokeo yasiyotumiwa lakini "ya zamani".
Njia hii inaendana kabisa na wenza wa Bitcoin walio wapo.
4.2 Mikakati ya Juu ya Upande wa Mteja
Kwa kupunguza zaidi, nodi zinaweza kutumia muundo wa "kuchukua kwa uvivu". Ikiwa manunuzi ya historia yanayohitajika hayajahifadhiwa ndani, nodi inaweza kuomba kwa wakati kutoka kwa mtandao wa wenza. Hii hubadilisha ongezeko dogo la muda wa uthibitishaji (muda wa kuchukua) kwa ajili ya kuokoa uhifadhi mkubwa. Uthibitisho wa kisiri, kama uthibitisho wa Merkle, unaweza kuhakikisha usahihi wa data iliyochukuliwa bila kumwamini mwenzake.
5. Matokeo na Tathmini
~15 GB
Ukubwa wa Uhifadhi Unawezekana
>95%
Kupunguzwa kutoka 370+ GB
5.1 Kupunguzwa Kunawezekana kwa Ukubwa wa Uhifadhi
Utafiti unaonyesha kwamba kwa kutekeleza mkakati wa ufinyangaji wenye akili, nodi kamili ya Bitcoin inaweza kupunguza mahitaji yake ya uhifadhi wa ndani hadi takriban 15 GB huku ikidumisha uwezo kamili wa uthibitishaji. Hii ni pamoja na seti ya UTXO (~4-5 GB), vichwa vyote vya vitalu (~50 MB), na dirisha la vitalu vya hivi karibuni.
5.2 Utabiri wa Utendaji na Mzigo
Mkakati wa "kuchukua kwa uvivu" husababisha mzigo mdogo wa hesabu kwa ajili ya kuzalisha au kuthibitisha uthibitisho wa Merkle. Utabiri mkuu ni ongezeko linalowezekana la muda wa uthibitishaji wa kuzuia wakati unahitaji kuchukua kutoka kwa mtandao, inakadiriwa kuwa katika mpangilio wa mamia ya milisekunde chini ya hali ya kawaida ya mtandao—gharama ndogo kwa kuwezesha nodi kwenye vifaa vilivyo na rasilimali chache.
6. Maelezo ya Kiufundi na Mfumo wa Hisabati
Usahihi wa data iliyofinyangwa na manunuzi yaliyochukuliwa kwa wakati unalindwa na Miti ya Merkle. Nodi inayoomba manunuzi $tx$ kutoka urefu wa kuzuia $h$ inaweza kuomba mwenzake manunuzi pamoja na uthibitisho wa njia ya Merkle $\pi_{tx}$. Nodi, ambayo huhifadhi kichwa cha kuzuia kilicho na mzizi wa Merkle $root_h$, inaweza kuthibitisha uthibitisho kwa kuhesabu tena:
$\text{Thibitisha}(tx, \pi_{tx}, root_h) = \text{kweli}$ ikiwa $\text{MerkleHash}(tx, \pi_{tx}) = root_h$
Hii inahakikisha kwamba manunuzi hayo yalikuwa sehemu ya mnyororo wa kisheria bila ya kuhitaji kuzuia lote. Uwezekano wa kuhitaji manunuzi ya kina ya historia unafasiriwa kama utendakazi wa usambazaji wa umri wa seti ya UTXO, ambao utafiti uligundua kuwa umeelekezwa sana kuelekea matokeo ya hivi karibuni.
7. Mfumo wa Uchambuzi: Mfano wa Utafiti
Hali: Kampuni mpya ya uanzishaji inataka kuendesha nodi kamili ya Bitcoin kwa ajili ya huduma ya malipo lakini ina bajeti ndogo ya uhifadhi wingu.
Utumiaji wa Mfumo:
- Wasifu: Chunguza mifumo yao ya manunuzi. Wao husimamia hasa malipo ya wateja, ambayo karibu kila wakati hutumia matokeo yaliyoundwa ndani ya vitalu 100 vilivyopita.
- Finyanga: Weka nodi ili kuhifadhi vitalu kamili kwa vitalu 1440 vilivyopita (~siku 10) na seti kamili ya UTXO.
- Hifadhi na Chukua: Tekeleza hifadhi ndogo ya LRU kwa manunuzi ya zamani yaliyochukuliwa. Ikiwa manunuzi nadra yanayotumia sarafu ya miaka 5 yatafika, nodi inachukua na uthibitisho wa Merkle kutoka kwa mtandao, inaihifadhi, na kuthibitisha.
- Fuatilia: Fuatilia viwango vya kupata/kukosa kwenye hifadhi na muda wa uthibitishaji. Rekebisha ukubwa wa dirisha la kuzuia kamili kulingana na utendaji ulioonekana.
Mfumo huu unawawezesha kudumisha usalama na ukomo wao huku wakipunguza gharama za uhifadhi kwa zaidi ya 95%.
8. Matumizi ya Baadaye na Mwelekeo wa Utafiti
- Uboreshaji wa Mteja Mwepesi: Mikakati hii hufanya mstari kati ya nodi kamili na wateja wapungufu (wateja wa SPV) uwe mgumu. Kazi ya baadaye inaweza kukuza "nodi mseto" ambazo zinatoa usalama karibu na nodi kamili na uhifadhi karibu na mteja mwepesi.
- Ethereum na Ukuaji wa Hali: Kanuni hizi zinatumika kwa tatizo la ukuaji wa hali la Ethereum. Ufinyangaji wenye akili wa mti wa hali, pamoja na itifaki za mteja bila hali, inaweza kuwa mchanganyiko wenye nguvu.
- Ujumuishaji wa Uhifadhi Usio na Kituo: Nodi zinaweza kuondoa data ya kuzuia iliyofinyangwa kwenye mitandao ya uhifadhi isiyo na kituo cha usimamizi (kama Filecoin, Arweave) na kuzichukua kupitia vitambulisho vya maudhui, na hivyo kuongeza uwezo wa kustahimili.
- Usanifishaji: Kupendekeza itifaki hizi za ufinyangaji wenye akili na kuchukua kama BIPs (Mapendekezo ya Uboreshaji wa Bitcoin) kwa ajili ya upitishaji pana na ushirikiano.
Mtazamo wa Mchambuzi: Uelewa wa Msingi, Mtiririko wa Mantiki, Nguvu na Kasoro, Uelewa Unaotekelezeka
Uelewa wa Msingi: Mchango muhimu zaidi wa karatasi hii sio tu algoriti mpya ya ufinyangaji—ni uchambuzi wa kiujumla wa "nodi kamili" kama imani. Inathibitisha kwamba mnyororo wa vitalu wa 370 GB kwa kiasi kikubwa ni kumbukumbu baridi; seti ya kazi inayotumika kwa usalama ni ndogo kwa kiwango kikubwa. Hii inapinga kabisa dhana kwamba uhifadhi mkubwa ni gharama isiyoepukika ya ukomo, sawa na jinsi karatasi ya CycleGAN ilivyofafanua upya tafsiri ya picha-hadi-picha kwa kuonyesha kuwa hauhitaji data iliyowekwa pamoja. Zote mbili ni mifano ya kutambua na kutumia usawa wa data uliofichika, wa ulimwengu halisi.
Mtiririko wa Mantiki: Hoja hii ni rahisi na yenye mvuto: 1) Pima data ambayo nodi zinatumia (sio kuhifadhi). 2) Gundua kwamba matumizi yamejikita sana. 3) Kwa hivyo, tupa kwa usalama wingi usiotumika. 4) Toa njia za kuchukua kwa uaminifu kipande kinachohitajika nadra. Hii ni mzunguko wa uboreshaji wa uhandisi uliotumika kwenye mfumo uliofikiriwa kuwa haubadiliki.
Nguvu na Kasoro: Nguvu yake iko katika utendaji wake na uwezo wa kutekelezwa mara moja. Haihitaji mabadiliko ya makubaliano, na hivyo kuwa pendekezo la "ushindi-ushindi" katika nafasi ya mnyororo wa vitalu ambayo mara nyingi ina migogoro. Hata hivyo, uchambuzi huu una kasoro muhimu, isiyotajwa: unaboresha kwa ajili ya hali thabiti. Unapunguza makisio ya mahitaji ya rasilimali wakati wa upangaji upya wa mnyororo (reorg). Upangaji upya wa kina, ingawa ni nadra, unaweza kuhitaji uthibitishaji wa haraka wa vitalu vingi vya zamani. Nodi iliyofinyangwa itahitaji kuchukua gigabaiti za data kwa wakati huo huo, na hii inaweza kusababisha kuacha nyuma na kutoweza kuthibitisha mnyororo unaoshindana kwa wakati—hatari ya usalama. Utabiri wa karatasi hii sio tu muda mfupi kwa ajili ya uhifadhi, bali pia uwezo wa kustahimili matukio makali ya mtandao kwa ajili ya ufanisi wa kila siku.
Uelewa Unaotekelezeka: Kwa wakuzaji, hitimisho ni kutekeleza mara moja ufinyangaji wenye akili unaoweza kusanikishwa katika programu ya pochi na nodi. Kwa watafiti, hatua inayofuata ni kupima hatari ya upangaji upya na kubuni itifati za kuchukua zenye nguvu dhidi ya msongo wa mtandao. Kwa wawekezaji na miradi, kazi hii inapunguza gharama ya uendeshaji wa kuendesha nodi salama, na hivyo kufanya miradi ya biashara isiyo na kituo cha usimamizi iwezekanavyo zaidi. Ni hatua ndogo lakini muhimu katika kuhamisha miundombinu ya mnyororo wa vitalu kutoka kwa shughuli ya mpenzi hadi kwenye huduma inayoweza kukua, ikilingana na mienendo pana ya tasnia inayofuatiliwa na mashirika kama Gartner kuelekea mifumo ya usambazaji yenye ufanisi na endelevu.
9. Marejeo
- Sforzin, A., Maso, M., Soriente, C., & Karame, G. (Mwaka). Kuhusu Mzigo wa Uhifadhi wa Minyororo ya Vitalu ya Uthibitishaji-kwa-Kazi. Jina la Mkutano/Jarida.
- Nakamoto, S. (2008). Bitcoin: Mfumo wa Fedha za Elektroniki ya Wenza-kwa-Wenza.
- Nyaraka za Bitcoin Core. (s.f.). Ufinyangaji wa Mnyororo wa Vitalu. Imepatikana kutoka https://bitcoin.org/
- Buterin, V. (2017). Kuhusu Kugawanya Minyororo ya Vitalu. Ethereum Foundation.
- Bünz, B., et al. (2018). Bulletproofs: Uthibitishaji Mfupi kwa Manunuzi ya Siri na Zaidi. IEEE S&P.
- Gervais, A., et al. (2016). Kuhusu Usalama na Utendaji wa Minyororo ya Vitalu ya Uthibitishaji-kwa-Kazi. ACM CCS.
- Zhu, J., Park, T., Isola, P., & Efros, A. A. (2017). Tafsiri ya Picha-hadi-Picha Isiyowekwa Pamoja Kwa Kutumia Mitandao ya Adversarial Yenye Mzunguko-Thabiti. ICCV. (CycleGAN)