Mikataba mahiri ni vizuizi vya msingi vya ujenzi wa safu ya programu ya Ethereum. Ni programu za kompyuta zilizohifadhiwa kwenye zinazofuata mantiki ya "kama hili basi lile", na zinahakikishiwa kutekelezwa kulingana na sheria zilizofafanuliwa na msimbo wake, ambazo haziwezi kubadilishwa mara tu zinapoundwa.
Nick Szabo alibuni neno "mkataba mahiri". Mnamo 1994, aliandika utangulizi wa dhana hiyo (opens in a new tab), na mnamo 1996 aliandika uchunguzi wa kile ambacho mikataba mahiri inaweza kufanya (opens in a new tab).
Szabo alifikiria soko la kidijitali ambapo michakato ya kiotomatiki, huwezesha miamala na shughuli za kibiashara kufanyika bila wapatanishi wanaoaminika. Mikataba mahiri kwenye Ethereum inaweka maono haya katika vitendo.
Tazama Finematics akielezea mikataba mahiri:
Uaminifu katika mikataba ya kawaida
Moja ya matatizo makubwa ya mkataba wa jadi ni hitaji la watu wanaoaminika kufuatilia matokeo ya mkataba.
Huu hapa ni mfano:
Alice na Bob wanafanya mashindano ya baiskeli. Tuseme Alice anamwekea Bob dau la $10 kwamba atashinda mbio hizo. Bob ana uhakika atakuwa mshindi na anakubali dau hilo. Mwishowe, Alice anamaliza mbio mbele sana ya Bob na ndiye mshindi wa wazi. Lakini Bob anakataa kulipa dau, akidai Alice lazima atakuwa amedanganya.
Mfano huu wa kijinga unaonyesha tatizo la makubaliano yoyote yasiyo mahiri. Hata kama masharti ya makubaliano yametimizwa (yaani, wewe ndiye mshindi wa mbio), bado lazima umwamini mtu mwingine kutimiza makubaliano (yaani, kulipa dau).
Mashine ya kuuza bidhaa ya kidijitali
Fumbo rahisi la mkataba mahiri ni mashine ya kuuza bidhaa (vending machine), ambayo inafanya kazi kwa kiasi fulani sawa na mkataba mahiri - pembejeo maalum zinahakikisha matokeo yaliyopangwa mapema.
- Unachagua bidhaa
- Mashine ya kuuza bidhaa inaonyesha bei
- Unalipa bei
- Mashine ya kuuza bidhaa inathibitisha kuwa umelipa kiasi sahihi
- Mashine ya kuuza bidhaa inakupa bidhaa yako
Mashine ya kuuza bidhaa itatoa tu bidhaa unayotaka baada ya mahitaji yote kutimizwa. Ikiwa hutachagua bidhaa au kuweka pesa za kutosha, mashine ya kuuza bidhaa haitatoa bidhaa yako.
Utekelezaji wa kiotomatiki
Faida kuu ya mkataba mahiri ni kwamba unatekeleza msimbo usio na utata kwa uhakika wakati masharti fulani yanapotimizwa. Hakuna haja ya kusubiri binadamu kutafsiri au kujadili matokeo. Hii inaondoa hitaji la wapatanishi wanaoaminika.
Kwa mfano, unaweza kuandika mkataba mahiri ambao unashikilia fedha kwenye akaunti ya amana (escrow) kwa ajili ya mtoto, ukiwaruhusu kutoa fedha baada ya tarehe maalum. Wakijaribu kutoa kabla ya tarehe hiyo, mkataba mahiri hautatekelezwa. Au unaweza kuandika mkataba ambao unakupa kiotomatiki toleo la kidijitali la hati ya gari unapomlipa muuzaji.
Matokeo yanayotabirika
Mikataba ya jadi ina utata kwa sababu inategemea binadamu kuitafsiri na kuitekeleza. Kwa mfano, majaji wawili wanaweza kutafsiri mkataba kwa njia tofauti, jambo ambalo linaweza kusababisha maamuzi yasiyolingana na matokeo yasiyo sawa. Mikataba mahiri inaondoa uwezekano huu. Badala yake, mikataba mahiri inatekelezwa kwa usahihi kulingana na masharti yaliyoandikwa ndani ya msimbo wa mkataba. Usahihi huu unamaanisha kwamba kutokana na mazingira sawa, mkataba mahiri utatoa matokeo sawa.
Rekodi ya umma
Mikataba mahiri ni muhimu kwa ukaguzi na ufuatiliaji. Kwa kuwa mikataba mahiri ya Ethereum iko kwenye mnyororo wa vitalu wa umma, mtu yeyote anaweza kufuatilia mara moja uhamishaji wa mali na taarifa nyingine zinazohusiana. Kwa mfano, unaweza kuangalia ili kuona kwamba mtu alituma pesa kwenye anwani yako.
Ulinzi wa faragha
Mikataba mahiri pia inalinda faragha yako. Kwa kuwa Ethereum ni mtandao wa majina bandia (miamala yako inafungamanishwa hadharani na anwani ya kipekee ya kriptografia, sio utambulisho wako), unaweza kulinda faragha yako dhidi ya waangalizi.
Masharti yanayoonekana
Hatimaye, kama mikataba ya jadi, unaweza kuangalia kilicho ndani ya mkataba mahiri kabla ya kuusaini. Tofauti na mkataba wa jadi, uwazi wa mnyororoni wa mkataba mahiri unaruhusu mtu yeyote kuuchunguza na kuukagua kabla ya kuingiliana nao.
Hata hivyo, ingawa mtu yeyote anaweza kutazama masharti ya mkataba mahiri, data ghafi ya muamala imeundwa kutafsiriwa na programu na pochi, sio binadamu. Kwa sababu data hii ni ngumu sana kusoma, watumiaji mara nyingi wanakabiliwa na hatari kubwa ya usalama inayoitwa "kusaini bila kuona" (blind signing), au kuidhinisha muamala unaoingiliana na mkataba mahiri bila kuelewa hasa utafanya nini.
Mfumo wa ikolojia wa Ethereum unapitia mpito kuelekea viwango vya Kusaini kwa Uwazi (Clear Signing) (opens in a new tab) (haswa ERC-7730 (opens in a new tab)). Kusaini kwa Uwazi kunatafsiri data isiyoeleweka ya mkataba mahiri kuwa maelezo ya muamala yaliyo wazi na yanayosomeka na binadamu, kuhakikisha mtu yeyote anaweza kuelewa nia halisi ya mkataba kabla ya kusaini.
Matumizi ya mkataba mahiri
Mikataba mahiri inaweza kufanya kimsingi chochote ambacho programu za kompyuta zinaweza kufanya.
Inaweza kufanya hesabu, kuunda sarafu, kuhifadhi data, kufua , kutuma mawasiliano na hata kuzalisha michoro. Hapa kuna baadhi ya mifano maarufu ya ulimwengu halisi:
- Sarafu thabiti (Stablecoins)
- Kuunda na kusambaza mali za kipekee za kidijitali
- Soko la kubadilisha fedha la kiotomatiki na wazi
- Michezo iliyogatuliwa
- Sera ya bima inayolipa kiotomatiki (opens in a new tab)
- Kiwango kinachoruhusu watu kuunda sarafu zilizobinafsishwa, zinazoingiliana
Kusoma zaidi
- Jinsi Mikataba Mahiri Itakavyobadilisha Ulimwengu (opens in a new tab)
- Mikataba mahiri kwa wasanidi programu
- Jifunze kuandika mikataba mahiri
- Kujua Ethereum kwa Undani - Mkataba Mahiri ni Nini? (opens in a new tab)