1. Gabatarwa
Bitcoin yana wakiltar sauyi a tsarin kuɗin dijital, yana aiki ba tare da wata hukuma ta tsakiya ba ta hanyar fasahar tsakanin takwarorinsu. Tun lokacin da aka ƙaddamar da shi a shekara ta 2009, Bitcoin ya sami gagarumin haɓakar ƙimar kasuwa, inda ya kai kusan dala biliyan 170 a watan Disamba na shekara ta 2017. Wannan haɓakar ta jawo hankalin maƙiyan fasaha da kuma ƙarfafa bincike mai zurfi a cikin ilimin tsaronsa.
Takardar tana nazarin tsaro da keɓantawar Bitcoin bisa tsari, tana magance gibin da ke tsakanin aiki na zahiri da tabbacin tsaro na ka'ida. Kamar yadda marubutan suka lura, Bitcoin "yana aiki a aikace amma ba bisa ka'ida ba," yana nuna buƙatar gaggawa na ƙirƙirar ingantattun tsare-tsaren tsaro.
Ƙimar Kasuwa
$170B
Disamba 2017
Ma'amaloli na Yau da Kullun
375,000+
Ma'amaloli da aka Tabbatar
Shekarar Ƙaddamarwa
2009
Saki na Farko
2. Bayyani Game da Tsarin Bitcoin
Tsarin Bitcoin ya ƙunshi abubuwa da yawa masu haɗin kai waɗanda ke ba da damar aiki mara tsakiya yayin da suke kiyaye tsaro ta hanyar hanyoyin ɓoyayyen sirri.
2.1 Tsarin Blockchain
Blockchain yana aiki azaman littafin lissafi na jama'a mai rarrabawa, wanda ke ɗauke da duk ma'amalolin Bitcoin. Kowane shinge yana ɗauke da:
- Shugaban shinge tare da ɓoyayyen hash na shingen da ya gabata
- Alamar lokaci da nonce don Tabbatar da Aiki (Proof-of-Work)
- Tushen bishiyar Merkle na ma'amaloli
- Jerin ma'amaloli (yawanci 1-4MB)
Tsaron blockchain ya dogara da halinsa na rashin canzawa: canza kowane shinge yana buƙatar sake lissafin Tabbatar da Aiki na duk shinguna masu biyo baya.
2.2 Yarjejeniyar Tabbatar da Aiki (Proof-of-Work)
Hanyar yarjejeniyar Bitcoin tana amfani da wasanin gwada ilimi na lissafi don cimma jurewar laifin Byzantine. Masu haƙar ma'adinai suna gasa don warware:
$H(block\_header) < target$
Inda $H$ shine aikin hash na SHA-256, kuma $target$ yana daidaitawa kowane shinge 2016 don kiyaye kusan tazarar mintuna 10 tsakanin shinguna. Yuwuwar mai haƙar ma'adinai ya sami ingantaccen shinge yana daidai da rabon ƙarfin lissafinsa:
$P = \frac{h}{H_{total}}$
inda $h$ shine ƙimar hash na mai haƙar ma'adinai kuma $H_{total}$ shine jimillar ƙimar hash na cibiyar sadarwa.
2.3 Tsarin Ma'amala
Ma'amalolin Bitcoin suna bin tsarin Fitowar Ma'amala da ba a cinye ba (UTXO). Kowane ma'amala yana cinye fitowar da ta gabata kuma yana ƙirƙirar sabbin fitowa, tare da tabbatar da mallakar ta hanyar sa hannun dijital ta amfani da Algorithm na Sa Hannun Dijital na Elliptic Curve (ECDSA) tare da lanƙwasa secp256k1.
3. Raunuka da Barazanar Tsaro
Takardar ta gano hanyoyin kai hari da yawa a cikin matakan tsarin Bitcoin, tana nuna raunuka na tsarin duk da ƙarfin da yake da shi.
3.1 Hare-haren Matakin Yarjejeniya
- Hare-haren Kashi 51%: Lokacin da wata ƙungiya ta mallaki mafi yawan ƙarfin hash, yana ba da damar cinye kuɗi sau biyu da kuma takunkumin ma'amala
- Haƙar Ma'adinai na Son Kai: Tsare shinge da gangan don samun lada maras daidaituwa
- Hare-haren Kufai (Eclipse): Ware nodes daga cibiyar sadarwa mai gaskiya
Ƙofar tsaro don Tabbatar da Aiki bisa ka'ida shine kashi 50% na halaltaccen shiga, amma hare-hare na zahiri suna yiwuwa da kashi 25% kawai na tattara ƙarfin hash.
3.2 Raunukan Matakin Cibiyar Sadarwa
- Canjin Ma'amala: Yana ba da damar canza lambobin ma'amala kafin tabbatarwa
- Hare-haren Rarraba Cibiyar Sadarwa (Netsplit): Rarraba cibiyar sadarwar tsakanin takwarorinsu (P2P)
- Hare-haren Sybil: Ƙirƙirar ƙirƙira asali da yawa don rinjayar cibiyar sadarwa
3.3 Barazanar Matakin Aikace-aikace
- Raunukan Jakar Kuɗi: Satar maɓalli na sirri da adana mara tsaro
- Kutse Musanya: Wurare na tsakiya na gazawa
- Amfani da Kwangilar Wayo: A cikin ƙaramin tsarin rubutun Bitcoin
4. Nazarin Keɓantawa da Rufe Asiri
Sabanin abin da aka sani, Bitcoin yana ba da rufe asiri maimakon rufaffen asiri. Yanayin bayyana na blockchain yana ba da damar ingantattun dabarun bincike.
4.1 Hanyoyin Bayyanar Sirri
- Haɗin Adireshi: Ana iya haɗa ma'amaloli da yawa zuwa mai amfani ɗaya
- Bayyanar Adireshin IP: Binciken cibiyar sadarwa yana bayyana asalin nodes
- Nazarin Zane na Ma'amala: Haɗa adireshi bisa ƙwaƙƙwaran tunani
4.2 Dabarun Bayyana Asiri
Bincike ya nuna nasarar bayyana asiri ta amfani da:
- Ƙwaƙƙwaran tunani na mallakar shigarwa guda ɗaya
- Gano adireshin canji
- Nazarin lokaci na tsarin ma'amala
Nazari ya nuna cewa fiye da kashi 40% na adiresoshin Bitcoin ana iya haɗa su da ainihin asalin mutane ta waɗannan dabarun.
5. Bita Kan Magungunan Tsaro
Takardar tana kimanta haɓakar tsaro da ake da su, tana lura da manyan gibin a cikin cikakken kariya.
5.1 Haɓaka Yarjejeniya
- Tsarin GHOST: Madadin ƙa'idar zaɓin sarkar
- Nau'ikan Tabbacin Mallaka (Proof-of-Stake): An rage amfani da makamashi
- Tsarin Yarjejeniyar Byzantine: Haɓaka na ka'ida
Yawancin shawarwari suna fuskantar ƙalubalen karɓa saboda tsarin haɓaka mai ra'ayin mazan jiya na Bitcoin.
5.2 Dabarun Kiyaye Sirri
- Haɗa Kuɗi (CoinJoin): Gauraya ma'amala
- Ma'amaloli na Sirri: ɓoye adadin
- zk-SNARKs: Hujjojin rashin sani
Duk da cewa suna da ban sha'awa, waɗannan magungunan sau da yawa suna saba wa haɓakawa ko kuma suna buƙatar manyan canje-canjen tsari.
6. Nazari Mai Zurfi da Fahimta
Fahimta ta Asali
Tsarin tsaro na Bitcoin yana wakiltar ma'auni mai rauni tsakanin ƙarfafa tattalin arziki da tabbacin ɓoyayyen sirri. Ƙimar dala biliyan 170 na tsarin ya dogara ne akan tushen ka'ida waɗanda har yanzu ba su cika ba, suna haifar da haɗarin tsarin da ke girma tare da karɓuwa. Kamar yadda aka lura a cikin binciken IEEE, gibin tsakanin "yana aiki a aikace" da "yana aiki bisa ka'ida" ba na ilimi kawai ba ne—yana da tikitin bam don karɓar hukumomi.
Tsarin Hankali
Takardar ta bi daidai yadda rauni ke yaɗuwa: daga raunin yarjejeniya (hare-haren kashi 51%) → amfani da cibiyar sadarwa (hare-haren kufai) → kutsa cikin aikace-aikace (kutse musanya). Wannan tasirin ya yi daidai da binciken daga Cibiyar Ƙididdiga da Fasaha ta Ƙasa (NIST) game da tsarin tsaro na blockchain, wanda ya gano dogaro da matakai a matsayin mahimman wuraren gazawa. Abin da ya ɓace shine ƙididdige waɗannan dogaro—yadda tattara ƙarfin hash na kashi 30% a zahiri ke fassara zuwa yuwuwar cinye kuɗi sau biyu a ƙarƙashin yanayi daban-daban na cibiyar sadarwa.
Ƙarfi da Aibobi
Ƙarfi: Binciken ya rufe filayen kai hari a duk matakan tsari. Ƙarfafawa akan ƙarfafa tattalin arziki ya yi daidai da tsarin nazarin tattalin arzikin ɓoyayyen sirri na zamani. Nazarin keɓantawa ya gano daidai rufe asiri a matsayin wani abu daban da rufaffen asiri—wani bambanci da ya ɓace a yawancin labaran da aka yi.
Aibobi Masu Muhimmanci: Takardar ba ta ba da fifiko ga hanyoyin kai hari na tsari ba. Kamar yadda haramcin haƙar ma'adinai na China na 2021 ya nuna (wanda ya sa ƙimar hash ta duniya ta ragu da kashi 40%), shisshigin ƙasa na iya ɓata kwanciyar hankalin Bitcoin da sauri fiye da kowane hari na fasaha. Bugu da ƙari, nazarin barazanar quantum ba shi da zurfi—algorithm na Shor zai iya karya ECDSA cikin sa'o'i akan ingantattun kwamfutocin quantum, duk da haka lokutan ƙaura ba su da cikakken tattaunawa.
Fahimta Mai Aiki
1. Masu saka hannun jari na hukumomi dole ne su buƙaci binciken tsaro wanda ya wuce bitar lamba har zuwa simintin tattalin arziki na yanayin kai hari a ƙarƙashin sifofin karɓa daban-daban.
2. Masu haɓakawa ya kamata su ba da fifiko ga ƙaura zuwa ɓoyayyen sirri bayan quantum—ba a matsayin damuwa na gaba ba, amma a matsayin buƙatun gine-gine na yanzu. Tsarin daidaitawa na NIST na ci gaba da aiki bayan quantum yana ba da takamaiman hanyoyin ƙaura.
3. Masu tsari suna buƙatar tsare-tsaren tsaro masu matakai waɗanda ke bambanta tsakanin haɗarin matakin yarjejeniya (wanda ke buƙatar rarraba ƙarfin hash) da haɗarin matakin aikace-aikace (waɗanda za a iya magance su ta hanyar matakan tsaro na dijital na gargajiya).
Mafi girman gibin? Tsarin ƙima na tsaro na daidaitaccen tsari don tsarin blockchain—kamar CVSS don software na gargajiya—wanda zai ba da damar kwatanta Bitcoin da madadinsa kamar Ethereum 2.0 ko Cardano bisa gaskiya.
7. Tsarin Fasaha da Gwaje-gwaje
7.1 Tushen Lissafi
Ana iya ƙirƙira tsaron Tabbatar da Aiki na Bitcoin a matsayin tsarin Poisson. Yuwuwar maharin da ke da rabo $q$ na jimillar ƙimar hash ya zarce sarkar gaskiya bayan $z$ shinguna a baya shine:
$P = \begin{cases} 1 & \text{idan } q > 0.5 \\ (\frac{q}{p})^{z} & \text{idan } q \leq 0.5 \end{cases}$
inda $p = 1 - q$. Wannan ƙirar, wanda Satoshi Nakamoto ya fara bayyana, yana raina nasarar kai hari na zahiri saboda jinkirin cibiyar sadarwa da dabarun haƙar ma'adinai na son kai.
7.2 Sakamakon Gwaji
Takardar tana ambaton bincike da yawa da suka nuna hare-hare na zahiri:
- Yawan Nasarar Harin Kufai (Eclipse): Kashi 85% akan nodes masu ƙarancin haɗi
- Amfani da Canjin Ma'amala: Ya ba da damar satar dala miliyan 500 na Mt. Gox
- Tsakiyar Tafkin Haƙar Ma'adinai: Manyan tafkuna 4 suna sarrafa ƙarfin hash >50% akai-akai
7.3 Misalin Tsarin Nazari
Tsarin Ƙimar Tsaro don Nodes na Bitcoin
Manufa: Kimanta juriyar nodes akan hare-haren matakin cibiyar sadarwa
Ma'auni da Aka Auna:
- Bambancin haɗi (rarrabawar yanki)
- Hanyoyin tabbatar da takwarorinsu
- Jinkirin tabbatar da saƙo
- Ingantacciyar yaɗa shinge
Hanyar Ƙima:
1. Sanya nodes na saka idanu a cikin yankuna 10 na duniya
2. Yi kwaikwayon yanayin harin kufai
3. Auna lokacin ganowa da dawowa
4. Lissafa yuwuwar nasarar kai hari ta amfani da shigarwar Bayesian
Babuwan Gano: Nodes da ke da ƙasa da haɗi 8 masu bambanta suna da yuwuwar >60% na nasarar harin kufai cikin sa'o'i 24.
8. Hanyoyin Bincike na Gaba
8.1 Abubuwan Da Suka Fi Muhimmanci na ɗan Gajeren Lokaci (Shekaru 1-2)
- Ƙaura Bayan Quantum: Haɗa ɓoyayyen sirri na tushen lattice don tsare-tsaren sa hannu
- Ƙayyadaddun Tsaro na Layer-2: Hujjojin lissafi don tsaron Cibiyar Sadarwa ta Walƙiya (Lightning Network)
- Tsare-tsaren Bin Ka'idoji: Magungunan KYC/AML masu kiyaye sirri
8.2 Ƙirƙira na Matsakaicin Lokaci (Shekaru 3-5)
- Samfuran Yarjejeniya Haɗe-haɗe: Haɗa PoW tare da abubuwan tabbacin mallaka (proof-of-stake)
- Gano Barazana Ta Hanyar AI: Koyon inji don tsarin ma'amala mara kyau
- Tsarin Tsaro na Tsakanin Sarka: Gadoji masu tsaro tsakanin Bitcoin da sauran blockchains
8.3 Hangen Nesa na Dogon Lokaci (Shekaru 5+)
- Blockchains Masu Jure Quantum: Cikakken ƙaura zuwa ɓoyayyen sirri marasa quantum
- Tsarin Tabbatarwa na Ka'ida: Tabbacin tsaro na lissafi ga duk abubuwan tsari
- Haɗa Asalin Rashin Tsakiya: Tsarin asali mai cin gashin kansa da aka gina akan Bitcoin
Mafi kyawun hanya yana cikin gine-ginen tsaro masu sassa waɗanda ke ba da damar haɓakawa ba tare da ƙaƙƙarfan cokali mai yatsa ba—darasi daga sauƙin canzawa na Ethereum zuwa tabbacin mallaka idan aka kwatanta da tashin hankalin kaddamar da SegWit na Bitcoin.
9. Nassoshi
- Nakamoto, S. (2008). Bitcoin: Tsarin Kuɗin Lantarki Tsakanin Takwarorinsu.
- Karame, G. O., Androulaki, E., & Capkun, S. (2012). Cinye kuɗi sau biyu cikin sauri a cikin Bitcoin. ACM CCS.
- Heilman, E., Kendler, A., Zohar, A., & Goldberg, S. (2015). Hare-haren Kufai akan cibiyar sadarwar tsakanin takwarorinsu na Bitcoin. USENIX Security.
- Decker, C., & Wattenhofer, R. (2014). Canjin Ma'amala na Bitcoin da MtGox. ESORICS.
- Gervais, A., et al. (2016). Akan tsaro da aikin tabbacin aiki na blockchains. ACM CCS.
- Eyal, I., & Sirer, E. G. (2014). Rinjaye bai isa ba: Haƙar ma'adinai na Bitcoin yana da rauni. Kuɗin Sirri.
- Nayak, K., Kumar, S., Miller, A., & Shi, E. (2016). Haƙar ma'adinai mai taurin kai: Haɗa haƙar ma'adinai na son kai tare da harin kufai. IEEE S&P.
- Luu, L., et al. (2015). Tsarin tsaro na sharding don buɗaɗɗen blockchains. ACM CCS.
- Rosenfeld, M. (2011). Nazarin tsarin lada na haƙar ma'adinai na tafki na Bitcoin. arXiv:1112.4980.
- Bonneau, J., et al. (2015). SoK: Ra'ayoyin bincike da ƙalubale don Bitcoin da kuɗin dijital. IEEE S&P.
- Cibiyar Ƙididdiga da Fasaha ta Ƙasa. (2020). Bayyani Game da Fasahar Blockchain.
- Hukumar Tsaro ta Dijital ta Tarayyar Turai. (2021). Jagororin Tsaro na Blockchain.
- Zohar, A. (2015). Bitcoin: a ƙarƙashin hood. Sadarwar ACM.