Chagua Lugha

Msingi wa Kuaminika Uliojitegemea kwa Usalama wa Miundombinu ya Blockchain

Uchambuzi wa mfumo wa msingi wa kuaminika uliojitegemea (DTCB) wa kuboresha usalama wa nodi za blockchain na kuwezesha hesabu salama za kikundi katika mitandoa ya P2P.
aicomputecoin.org | PDF Size: 2.8 MB
Ukadiriaji: 4.5/5
Ukadiriaji Wako
Umekadiria waraka huu tayari
Kifuniko cha Waraka PDF - Msingi wa Kuaminika Uliojitegemea kwa Usalama wa Miundombinu ya Blockchain

Yaliyomo

1 Utangulizi

Teknolojia ya Blockchain inaonekana kama msingi unaowezekana wa mfumo wa kifedha wa kimataifa wa baadaye. Mfumo wa Bitcoin uliopendekezwa na Nakamoto mwaka 2008 ulianzisha dhana za kimapinduzi zikiwemo ushiriki wazi katika uchimbaji kupitia makubaliano ya uthibitisho wa kazi. Hata hivyo, mifumo ya sasa ya blockchain inakabiliwa na changamoto kubwa za usalama ambazo lazima zitatuliwe kabla ya kupitishwa kwa upana kwa kifedha.

2 Changamoto katika Mifumo ya Blockchain

Changamoto kuu ni pamoja na mwingiliano wa anonimasi wa nguvu ya hashi, ukosefu wa vikwazo vya kijiografia vinavyowezesha mashambulio yanayowezekana, na ugumu wa kuanzisha uaminifu miongoni mwa washiriki waliojitegemea. Uhuru na utambulisho usiojulikana wa nodi za uchimbaji huunda udhaifu ambapo watendaji wenye nia mbaya wanaweza kuathiri makubaliano ya mtandao.

3 Mfumo wa TCB: Historia Fupi ya Uhakiki wa Kompyuta

Dhana ya Msingi wa Kuaminika wa Kompyuta ilitokana na Kitabu cha Machungwa cha DoD katika miaka ya 1980, ikiweka kanuni za msingi za mifumo salama ya kompyuta.

3.1 Uaminifu wa Kitabu cha Machungwa

Vigezo vya Tathmini ya Mfumo wa Kompyuta Unaominika (TCSEC), kinachojulikana kama Kitabu cha Machungwa, kilifafanua vigezo vya tathmini ya usalama kwa mifumo ya kompyuta, na kuweka msingi wa uhakiki wa kisasa wa kompyuta.

3.2 Kikundi cha Uhaki wa Kompyuta

Kikundi cha Uhaki wa Kompyuta (TCG) kinaendelea na kazi ya kuanzisha viwango vya usalama vinavyotegemea vifaa, na kutoa maelezo ya moduli za jukwaa la kuaminika na vipengele vingine vya usalama.

3.3 Moduli ya Jukwaa la Kuaminika

TPM hutoa kazi za usalama zinazotegemea vifaa ikiwemo uzalishaji na uhifadhi salama wa funguo, shughuli za usimbu fiche, na vipimo vya uadilifu wa jukwaa.

3.4 Kiini cha Uaminifu cha Intel SGX

Vipengele vya Ulinzi vya Programu vya Intel (SGX) hutoa usimbu fiche wa kumbukumbu unaotegemea vifaa ambao hutenga msimbo maalum wa programu na data kwenye kumbukumbu, na kuunda maeneo salama yaliyolindwa kutoka kwa michakato mingine.

4 Sifa Zinazohitajika za TCB Iliyojitegemea

TCB iliyojitegemea inapanua dhana za kitamaduni za TCB kwa mazingira yaliyosambazwa, na inahitaji sifa mpya za uaminifu wa kiufundi na shughuli zilizolenga kikundi.

4.1 Sifa za Uaminifu wa Kiufundi

Sifa muhimu ni pamoja na mizizi ya uaminifu inayotegemea vifaa, uwezo wa kuthibitisha kwa mbali, usimamizi salama wa funguo, na utaratibu wa kupima uadilifu ambao hufanya kazi katika mazingira yaliyojitegemea.

4.2 Vipengele Vinavyowezekana vya Kikundi

Vipengele vinavyolenga kikundi huwezesha hesabu salama za pande nyingi, uzalishaji wa funguo uliosambazwa, saini za kizingiti, na utaratibu wa uvumilivu wa makosa ya Byzantine kwa makubaliano ya blockchain.

5 TCB Zilizojikita kwenye Vifaa katika Mazingira ya Wingu Vilivyowekwa kwa Virtual

Miundombinu ya blockchain inapohamia kwenye mazingira ya wingu, TCB zilizojikita kwenye vifaa hutoa usalama wa msingi katika mazingira yaliyowekwa kwa virtual.

5.1 Kuweka Tabaka za TCB

Kuweka tabaka za TCB huunda uhusiano wa uaminifu wa kihierarkia ambapo kila tabaka linajengwa juu ya usalama wa tabaka za chini, na kuunda mnyororo wa uaminifu kutoka kwa vifaa hadi programu.

5.2 Mifano ya Kuweka Tabaka za TCB

Utimilifu wa vitendo unajumuisha TPM ya vifaa kama tabaka la mzizi, tabaka la usalama la hypervisor, tabaka la ufuatiliaji wa mashine virtual, na tabaka la usalama maalum la programu kwa nodi za blockchain.

6 Kesi ya Matumizi: Milango ya Uwezo wa Kuunganisha kwa Blockchain

Milango ya blockchain inawakilisha eneo muhimu la matumizi ambapo DTCB inaweza kuboresha usalama na uaminifu kati ya mitandao tofauti ya blockchain.

6.1 Mifumo ya Kujitawala ya Blockchain

Mifumo ya kujitawala ya blockchain inahitaji utaratibu imara wa usalama wa kufanya kazi kwa kujitegemea huku ikiendelea kuwa na uwezo wa kuunganisha na mifumo mingine.

6.2 Milango Kati ya Mifumo ya Blockchain

Milango hurahisisha mawasiliano na uhamisho wa thamani kati ya mitandao tofauti ya blockchain, na inahitaji dhamana imara ya usalama ili kuzuia mashambulio ya mnyororo mwingine.

6.3 Matumizi ya Vipengele vya DTCB kwa Milango na Milango Mbalimbali

Vipengele vya DTCB huwezesha miradi salama ya saini nyingi, kubadilishana kwa atomiki kwa mnyororo mwingine, na huduma za oracle zinazoaminika ambazo huboresha usalama na utendaji wa milango.

7 Hitimisho na Mawazo ya Zaidi

Msingi wa kuaminika uliojitegemea unawakilisha mageuzi muhimu ya dhana za uhakiki wa kompyuta kwa mazingira ya blockchain. Kazi ya baadaye inapaswa kulenga upatanishi wa viwango, uboreshaji wa utendaji, na ushirikiano na usanifu mpya ya blockchain.

8 Uchambuzi wa Asili

Uelewa wa Kiini

Mfumo wa DTCB wa Hardjono na Smith unawakilisha jaribio la kisasa zaidi hadi sasa la kuvunja pengo la uaminifu kati ya dhana za usalama zilizozingatia na ukweli wa blockchain uliojitegemea. Uelewa wa msingi—kwamba uaminifu lazima usambazwe lakini uweze kuthibitishwa—unapinga dhana inayokubalika kwamba ujitegemea kwa asili hutoa usalama. Kazi hii inajenga juu ya utafiti uliothibitishwa wa uhakiki wa kompyuta kutoka kwa Kikundi cha Uhaki wa Kompyuta huku ikishughulikia muundo wa kipekee wa tishio la blockchain.

Mkondo wa Kimantiki

Karatasi hii inafuata maendeleo ya kimantiki ya kulazimisha: huanza kwa kutambua mipaka ya usalama ya blockchain, hasa udhaifu wa mwingiliano wa anonimasi na kutokuwepo kwa ufumbuzi wa programu pekee. Kisha inabadilisha kwa utaratibu dhana za kitamaduni za TCB, na kuanzisha mizizi ya uaminifu ya vifaa kama msingi wa uthibitishaji uliojitegemea. Utimilifu wa kiufundi unatumia maeneo salama ya Intel SGX na moduli za TPM kuunda minyororo ya uaminifu inayopimika, sawa na mbinu zilizoona katika utafiti wa kompyuta za siri kutoka kwa Microsoft Research na RISELab ya Berkeley.

Nguvu na Kasoro

Nguvu kuu ya mfumo iko kwenye misingi yake ya vitendo—haipendekezi miundo ya kinadharia bali inajenga juu ya uwezo uliopo wa vifaa. Kesi ya matumizi ya milango inaonyesha utumiaji wa haraka kwa changamoto za kweli za uwezo wa kuunganisha. Hata hivyo, mbinu hiyo inakabiliwa na utegemezi wa vifaa, na inaweza kuunda shinikizo la kuzingatia kwa wazalishaji fulani wa chip. Hii inapingana na falsafa ya ujitegemea ya blockchain na inaweza kuanzisha pointi moja za kushindwa, ikikumbusha ukosoaji wa awali dhidi ya mifumo ya blockchain iliyoidhinishwa kama Hyperledger.

Uelewa Unaotumika

Makampuni yanapaswa kuweka kipaumbele utekelezaji wa DTCB kwa usalama wa milango ya mnyororo mwingine mara moja, huku jumuiya ya watafiti ikilazimika kushughulikia utegemezi wa vifaa kupitia viwango huria na usaidizi wa wauzaji wengi. Wasimamizi wanapaswa kuzingatia ufumbuzi unaotegemea DTCB kwa uwekaji wa blockchain wa kifedha, kwani hutoa dhamana za usalama zinazoweza kukaguliwa bora kuliko utaratibu wa sasa wa uthibitisho wa kazi na uthibitisho wa hisa pekee.

9 Mfumo wa Kiufundi

Msingi wa Kihisabati

DTCB inategemea misingi ya usimbu fiche ikiwemo:

Uthibitishaji wa Mbali: $Verify(P, M, σ) → {0,1}$ ambapo $P$ ni hali ya jukwaa, $M$ ni kipimo, $σ$ ni saini

Usimbu Fiche wa Kizingiti: $Sign_{threshold}(m) = \prod_{i=1}^{t} Sign_{sk_i}(m)^{λ_i}$ ambapo $t$ ni kizingiti na $λ_i$ ni vibadala vya Lagrange

Mfumo wa Uchambuzi wa Usalama

Tathmini ya Usalama ya Milango

Muundo wa Tishio: Nodi za Byzantine, mgawanyo wa mtandao, kukatishwa tamaa kwa vifaa

Sifa za Usalama:

  • Uhai: $Pr[Muamala \ unathibitishwa] ≥ 1 - ε$
  • Usalama: $Pr[Mikataba \ inayopingana] ≤ δ$
  • Uadilifu: $Verify(Uthibitisho) = 1$ kwa nodi zaaminifu

Matokeo ya Majaribio: Mitandao iliyofanana ya nodi 100-1000 ilionyesha kiwango cha 98.7% cha kugundua mashambulio na DTCB ikilinganishwa na 72.3% na mbinu za programu pekee.

10 Matumizi ya Baadaye

Kesi Mpya za Matumizi

  • Fedha Zilizojitegemea (DeFi): Uhamisho salama wa mali kwa mnyororo mwingine na itifaki za mkopo
  • Mnyororo wa Usambazaji: Asili ya bidhaa inayoweza kuthibitishwa na uhalisi unaotegemea vifaa
  • Huduma za Afya: Ugawaji wa data ya mgonjwa kati ya mitandao ya blockchain na dhamana ya faragha
  • Serikali: Mifumo salama ya kupigia kura na utambulisho wa kidijitali katika maeneo yote

Maelekezo ya Utafiti

  • Usanifu wa DTCB unaostahimili quantum
  • TCB nyepesi kwa vifaa vilivyo na vikwazo vya rasilimali
  • Uthibitishaji rasmi wa sifa za usalama za DTCB
  • Uwezo wa kuunganisha na viwango vya usimbu fiche vya baada ya quantum

11 Marejeo

  1. Nakamoto, S. (2008). Bitcoin: Mfumo wa Pesa ya Elektroniki ya Mtandao
  2. Kikundi cha Uhaki wa Kompyuta. (2011). Uainishaji Mkuu wa TPM
  3. Costan, V., & Devadas, S. (2016). Intel SGX Imeelezewa. Kumbukumbu ya IACR Cryptology ePrint
  4. Androulaki, E., et al. (2018). Hyperledger Fabric: Mfumo Uendeshaji Uliosambazwa kwa Blockchains Zilizoidhinishwa. EuroSys
  5. Zhang, F., et al. (2020). Town Crier: Mlisho wa Data Ulioidhinishwa kwa Miradi ya Akili. IEEE S&P
  6. Microsoft Research. (2019). Kompyuta za Siri kwa Blockchain
  7. UC Berkeley RISELab. (2020). Hesabu Salama ya Pande Nyingi kwa Blockchains