Msimbo ni sheria? Mikataba mahiri imefafanuliwa

Ufafanuzi na Finematics unaochunguza dhana ya "msimbo ni sheria" kupitia lenzi ya mikataba mahiri kwenye Ethereum, ukishughulikia mikataba mahiri ni nini, jinsi inavyofanya kazi, faida zake ikilinganishwa na mikataba ya kitamaduni, na kwa nini ni vizuizi vya ujenzi vya fedha zilizogatuliwa (DeFi).

Nakala hii ni nakala inayofikika ya nakala asili ya video (opens in a new tab) iliyochapishwa na Finematics. Imehaririwa kidogo ili isomeke kwa urahisi.

Utangulizi (0:00)

Umewahi kusikia msemo "msimbo ni sheria," ambapo teknolojia inatumika kutekeleza sheria? Katika hali hiyo, je, tunahitaji hata wanasheria? Au labda tunaweza kuishi katika ulimwengu unaojiendesha kikamilifu ambapo msimbo unaamuru kile tunachoweza na tusichoweza kufanya. Pamoja na maendeleo ya sasa ya mikataba mahiri, hali hii ya siku zijazo inaweza kuwa karibu zaidi kuliko tunavyofikiria.

Mkataba mahiri ni kipande cha msimbo kinachoweza kutekelezwa kiotomatiki na kwa njia ya uhakika. Msimbo wa mkataba mahiri kwa kawaida huhifadhiwa na kutekelezwa kwenye mnyororo wa vitalu ili kuufanya uwe bila hitaji la uaminifu na salama. Mikataba mahiri pia ina uwezo wa kupokea, kuhifadhi, na kutuma fedha — na hata kuita mikataba mahiri mingine. Inafuata semantiki za kama-basi (if-then), jambo ambalo linaifanya iwe rahisi kiasi kuipanga.

Mikataba mahiri inalenga kuondoa kipengele cha binadamu katika kufanya maamuzi. Kipengele cha binadamu mara nyingi kimethibitishwa kuwa kipengele kinachokabiliwa na makosa mengi na kisichotegemewa katika mikataba ya kawaida ya kitamaduni.

Mashine ya kuuza bidhaa (vending machine) hujitokeza mara nyingi sana kama mlinganisho mzuri wa mkataba mahiri, kwani inashiriki baadhi ya mfanano. Mashine ya kawaida ya kuuza bidhaa imepangwa kwa njia inayoruhusu vitendo fulani na mabadiliko ya hali kulingana na ingizo. Pia inafanya kazi kwa njia ya uhakika kikamilifu. Kwa mfano, ikiwa unataka kununua kopo la koka linalogharimu dola mbili na una dola moja tu, haijalishi utajaribu mara ngapi, hutaweza kupata kinywaji hicho. Kwa upande mwingine, ukiingiza dola tatu, mashine itakupa kopo la koka na chenji inayofaa. Hata chenji inayotolewa huchaguliwa kwa njia iliyobainishwa na kupangwa mapema kulingana na sarafu zipi zinapatikana na sarafu zipi mashine inataka kuziondoa kwanza.

Mkataba mahiri unaweza kutegemea tu taarifa zinazopatikana kwenye mnyororo wa vitalu — kwa mfano, "ukinipa tokeni kumi A, nitakupa tokeni kumi B." Au unaweza kutegemea chanzo cha data cha nje, kwa mfano, kwenye bei ya ETH au S&P 500. Mfano wa mwisho unafanya mikataba mahiri kuwa migumu zaidi, kwani inabidi iamini data za ulimwengu halisi. Uaminifu unaohitajika unaweza kupunguzwa kwa kutumia huduma za orakeli, lakini hata huduma za orakeli lazima ziaminiwe. Tayari kuna miradi michache ambayo, kwa kutumia vivutio fulani, inafanya orakeli kuwa na uwezekano mkubwa wa kutoa data sahihi. Chainlink ni mradi unaojitokeza wazi katika kategoria hii.

Mikataba mahiri ya Ethereum (3:09)

Ethereum ni mnyororo wa vitalu unaounga mkono mikataba mahiri na kufanya iwezekane kwa mtayarishaji programu kutekeleza mikataba mahiri yake mwenyewe. Mkataba mahiri unaweza kuandikwa katika lugha ya programu inayoitwa Solidity, ambayo iliundwa mahususi kwa madhumuni hayo. Katika Ethereum, mikataba mahiri yote iliyosambazwa ni isiyobadilika — hii inamaanisha kwamba ikishasambazwa, haiwezi kurekebishwa, jambo ambalo linaunda hatari fulani ambazo tutajadili baadaye.

Mikataba mahiri kwenye Ethereum pia imegatuliwa, ambayo inamaanisha hakuna mashine moja inayodhibiti mkataba. Kwa kweli, nodi zote kwenye mtandao wa Ethereum huhifadhi mkataba sawa na hali sawa kabisa. Ingawa Ethereum kwa sasa ndio jukwaa maarufu zaidi la mkataba mahiri la matumizi ya jumla, sio pekee na lina washindani wachache, ikiwa ni pamoja na Cardano, Tezos, EOS, na Tron — lakini sio wote wanashiriki sifa sawa.

Ufafanuzi wa mkataba mahiri (4:23)

Neno "mkataba mahiri" lilibuniwa na mtaalamu maarufu wa kriptografia Nick Szabo mwanzoni mwa miaka ya 1990. Jina hilo, ingawa halijielezi sana, lilibaki na linatumika sana, hasa katika tasnia ya mnyororo wa vitalu. Ili kuona faida za mikataba mahiri, hebu tulinganishe mkataba mahiri wa kufikirika na mbadala wake katika nafasi ya kitamaduni.

Mfano wa mkataba mahiri (4:46)

Tuseme tunataka kuandika mkataba ufuatao: ikiwa Alice atatuma idadi X ya tokeni A na Bob atatuma idadi sawa ya tokeni B, tokeni hizo zitafanyiwa badilishano — Alice atapokea tokeni za Bob na Bob atapokea tokeni za Alice.

Katika ulimwengu usio na mkataba mahiri, njia moja ya kufanikisha hilo bila Alice kulazimika kumwamini Bob na Bob kulazimika kumwamini Alice itakuwa kuunda mkataba wa amana (escrow) na mtu wa tatu. Mtu wa tatu angekusanya tokeni A kutoka kwa Alice, kusubiri idadi sawa ya tokeni B kutoka kwa Bob, na kuwatumia Alice na Bob tokeni husika zilizobadilishwa.

Matatizo ya mkataba mahiri (5:45)

Mbinu hii tayari inaonyesha matatizo machache ambayo Alice na Bob wanaweza kuwa wanakabiliana nayo:

• Kuamini wasuluhishi — hakuna hakikisho kwamba mtu wa tatu hatakimbia na tokeni baada ya kupokea fedha kutoka kwa Alice na Bob. Inabidi tutegemee sifa ya msuluhishi na bima inayowezekana.
• Matokeo yasiyo ya uhakika — ikiwa jambo litaenda kombo, linaweza kuwa na matokeo tofauti kulingana na mambo mengi, ikiwa ni pamoja na mamlaka ya kisheria ambapo kesi inayowezekana ingesuluhishwa.

Kwa upande mwingine, mkataba mahiri ungefanya kazi kwa njia ya kiotomatiki kikamilifu na ya uhakika, ukihakikisha pande zote mbili zinapokea fedha zinapotimiza vigezo vya awali vya kuweka tokeni. Mikataba mahiri pia inaweza kushikilia fedha ndani yake yenyewe, jambo ambalo haliwezekani kufikiwa katika ulimwengu wa kitamaduni.

Kasi (6:47)

Kulingana na msuluhishi, Alice na Bob wanaweza kulazimika kusubiri hata siku chache au wiki ili kusuluhisha uhamishaji wa tokeni. Vipi ikiwa wanataka kufanya badilishano la tokeni siku ya Jumapili na msuluhishi hafanyi kazi? Kwa mikataba mahiri, aina hizi za matatizo hutoweka, na mkataba unaweza kutimizwa sekunde chache baada ya vigezo vya awali kutimizwa.

Gharama (7:16)

Mikataba ya kitamaduni sio tu ya gharama kubwa kwa sababu ya msuluhishi ambaye anapaswa kupata faida — pia kuna hatari kubwa ya gharama zilizofichwa kwa mambo kama usuluhishi na utekelezaji ikiwa kuna matatizo yoyote na mkataba.

Kutumika tena ni faida nyingine: mkataba mahiri uleule unaohusika na kufanya badilishano la tokeni za Alice na Bob unaweza kutumiwa na mtu mwingine yeyote anayetaka kufanya badilishano la tokeni. Katika ulimwengu wa kitamaduni, wote wangelazimika kusaini mikataba tofauti na kulipa ada husika kwa msuluhishi.

Udanganyifu (7:58)

Udanganyifu ni gharama nyingine iliyofichwa, wakati huu kwa msuluhishi mwenyewe. Msuluhishi angelazimika kuhakikisha kwamba tokeni za Alice na Bob ni halali kabla ya kuanzisha badilishano. Udanganyifu ni jambo la kawaida sana katika fedha za kitamaduni, na kampuni nyingi zina timu kubwa zinazofanya kazi pekee katika kuzuia udanganyifu. Kwa mikataba mahiri, tokeni zinaweza kuthibitishwa kwenye mnyororo wa vitalu, na kwa saini za kidijitali, inakuwa wazi mara moja iwapo Alice na Bob wanastahili kutumia tokeni zao.

Kesi za matumizi (8:42)

Mikataba mahiri ina idadi inayokua ya kesi za matumizi kuanzia malipo na fedha zilizogatuliwa (DeFi) hadi mnyororo wa usambazaji na ufadhili wa umati. Mikataba mahiri pia ni vizuizi vya msingi vya ujenzi kwa programu tumizi zilizogatuliwa (dapps).

DeFi (9:07)

Fedha zilizogatuliwa (DeFi), ni moja ya tasnia mpya inayotegemea sana mikataba mahiri. Baadhi ya mambo ambayo tayari yamejengwa katika nafasi hii ni pamoja na:

• Sarafu thabiti zilizogatuliwa — kwa matumizi wajanja ya mikataba mahiri na vivutio fulani, tunaweza kuunda sarafu thabiti iliyofunganishwa na dola ya Marekani bila kulazimika kuhifadhi dola katika ulimwengu halisi. MakerDAO ni moja ya miradi inayofanya hili liwezekane.
• Utoaji wa ukwasi wa kiotomatiki — seti ya mikataba mahiri inaweza kuruhusu watumiaji kutoa ukwasi na kufanya badilishano la tokeni kwa mtindo wa bila ruhusa na uliogatuliwa kikamilifu. Uniswap na Kyber Network ni mifano mizuri ya itifaki kama hizo.

Ufadhili wa umati na minyororo ya usambazaji (10:05)

Kesi nyingine ya matumizi ni kutoa uwazi zaidi kwa minyororo ya usambazaji, ambapo itifaki kama OriginTrail zinahusika. Linapokuja suala la ufadhili wa umati, unaweza kufikiria mkataba unaofungua fedha mara tu malengo fulani yanapotimizwa na kuthibitishwa na jamii.

Mikataba mahiri ya siku zijazo (10:29)

Vipi ikiwa mikataba mahiri ingeweza kuwezesha mambo kama vile kushiriki usafiri, ukodishaji wa vyumba, na mengine mengi? Vipi kuhusu hisani? Unaweza kufikiria mfuko unaojiendesha kikamilifu ambao ungetuma pesa moja kwa moja kwa watu wanaozihitaji zaidi, bila wasuluhishi wowote. Kwa mfano, mfuko ungeweza kubaini kwamba eneo fulani limekumbwa na kimbunga na kuelekeza fedha kwenye sehemu hiyo ya ulimwengu. Kwa sasa, inasikika kama haiwezekani kabisa, lakini vipengele vyote muhimu vya kufanya jambo kama hili litokee vinajengwa hivi sasa.

Kesi za matumizi kwa mikataba mahiri ni karibu hazina kikomo, lakini kabla hatujaweza kufikia yote hayo, inabidi tukabiliane na matatizo machache:

• Hitilafu (Bugs) — moja ya hatari kuu linapokuja suala la mikataba mahiri ni jambo ambalo linasumbua kila kipande kingine cha programu. Mfano bora ni udukuzi wa DAO, ambao ulisababisha mamilioni ya dola za Etha kupotea kwani mshambuliaji aliweza kutoa fedha kutoka kwenye mkataba mahiri. Hili lilisababisha Ethereum kufanya mchepuo mgumu na kuunda kutokubaliana kwingi katika jamii ya Ethereum. Tangu udukuzi wa DAO, jamii ya Ethereum imekuja na hatua nyingi za ziada za usalama. Siku hizi, karibu mikataba mahiri yote maarufu imepitia ukaguzi wa usalama, mara nyingi na timu nyingi. Pia kuna mwelekeo wa kutumia mbinu za uthibitishaji rasmi ili kuthibitisha kwamba mikataba fulani itafanya kazi kila wakati kwa njia inayotarajiwa.
• Mabadiliko ya itifaki — hata kama mkataba mahiri hauna hitilafu zozote na umekaguliwa, bado hatuwezi kuhakikisha kwamba mabadiliko kwenye kiwango cha jukwaa hayatasababisha matatizo. Uboreshaji wa itifaki yenyewe unaweza kusababisha mikataba mahiri fulani kuanza kufanya kazi tofauti na inavyotarajiwa.
• Data za ulimwengu halisi — huduma za orakeli zinaweza kutoa njia ya kuaminika ya kupata taarifa kutoka ulimwengu halisi hadi kwenye mnyororo wa vitalu. Lakini fikiria umekodisha chumba au gari na kufanya uharibifu kwa bahati mbaya. Je, mkataba mahiri, bila uingiliaji wowote wa binadamu, ungeweza vipi kujua kuhusu hilo? Kuna mifano mingi ambapo ni vigumu kufikiria jinsi jambo lisilotarajiwa linalotokea katika ulimwengu halisi linaweza kuonekana kwa mkataba mahiri.

Kando na hayo hapo juu, pia kuna hatari zinazohusisha udhibiti na kodi, lakini hizi zote zinaweza kutatuliwa hatimaye.

Je, tunaweza kuchukua nafasi ya wanasheria? (13:58)

Kwa hivyo je, tunaweza kweli kuchukua nafasi ya wanasheria na msimbo? Sio kabisa — angalau sio sasa hivi. Katika siku zijazo, mikataba zaidi na zaidi huenda ikawa ya kiotomatiki, hasa katika fedha. Lakini hata katika ulimwengu unaojiendesha kikamilifu, wanasheria wanaweza kutoa maarifa muhimu yanayoweza kutafsiriwa kuwa msimbo. Pia kuna changamoto nyingi za udhibiti karibu na tasnia ya kripto ambazo zitawaweka wanasheria bize sana kwa muda. Hata hivyo, kama ningekuwa mwanasheria, ningeanza kujifunza kuhusu mikataba mahiri na uandishi wa msimbo, kwani vitachukua jukumu kubwa katika siku zijazo.

Muhtasari (14:53)

Faida za mkataba mahiri:

• Kiotomatiki kikamilifu
• Matokeo ya uhakika
• Bila hitaji la uaminifu
• Haraka, sahihi, na salama
• Gharama nafuu na wazi

Hasara za mkataba mahiri:

• Hitilafu za programu
• Mabadiliko ya itifaki
• Kutokuwa na uhakika wa udhibiti na kodi

Ingawa mikataba mahiri inabeba hatari fulani, bado tuko mapema sana, na matatizo mengi ya sasa yanatatulika.