F'dan l-artikolu, aħna se nħarsu lejn x'inhuma l-kuntratti intelliġenti, x'inhuma, se nkunu familjari ma 'pjattaformi ta' kuntratti intelliġenti differenti, il-karatteristiċi tagħhom, u niddiskutu wkoll kif jaħdmu u liema vantaġġi jistgħu jġibu. Dan il-materjal se jkun utli ħafna għall-qarrejja li mhumiex midħla sew tas-suġġett tal-kuntratti intelliġenti, iżda jridu jersqu eqreb biex jifhmuh.
Kuntratt regolari vs. kuntratt intelliġenti
Qabel ma nidħlu fid-dettalji, ejja nieħdu eżempju tad-differenzi bejn kuntratt regolari, li huwa speċifikat fuq il-karta, u kuntratt intelliġenti, li huwa rappreżentat b'mod diġitali.
Kif ħadem dan qabel il-miġja tal-kuntratti intelliġenti? Immaġina grupp ta’ nies li jridu jistabbilixxu ċerti regoli u kundizzjonijiet għad-distribuzzjoni tal-valuri, kif ukoll ċertu mekkaniżmu biex jiggarantixxi l-implimentazzjoni ta’ din id-distribuzzjoni skont ir-regoli u l-kundizzjonijiet mogħtija. Imbagħad kienu jiltaqgħu flimkien, ifasslu karta li fuqha kienu jiktbu d-dettalji ta’ identifikazzjoni tagħhom, it-termini, il-valuri involuti, iddatawhom u jiffirmawhom. Dan il-kuntratt ġie ċċertifikat ukoll minn parti fdata, bħal nutar. Barra minn hekk, dawn in-nies marru f'direzzjonijiet differenti bil-kopja stampata tagħhom ta 'kuntratt bħal dan u bdew iwettqu xi azzjonijiet li jistgħu ma jikkorrispondux mal-kuntratt innifsu, jiġifieri, għamlu ħaġa waħda, iżda fuq il-karta kien iċċertifikat li għandhom jagħmlu xi ħaġa. kompletament differenti. U kif toħroġ minn din is-sitwazzjoni? Fil-fatt, wieħed mill-membri tal-grupp jeħtieġ li jieħu din il-karta, jieħu xi evidenza, jeħodha l-qorti u jikseb konformità bejn il-kuntratt u l-azzjonijiet attwali. Spiss, huwa diffiċli li tinkiseb implimentazzjoni ġusta ta 'dan il-kuntratt, li twassal għal konsegwenzi spjaċevoli.
X'jista' jingħad dwar il-kuntratti intelliġenti? Huma jgħaqqdu kemm il-possibbiltà li jinkitbu t-termini tal-kuntratt kif ukoll il-mekkaniżmu għall-implimentazzjoni stretta tagħhom. Jekk il-kundizzjonijiet ikunu ġew stabbiliti u t-tranżazzjoni jew it-talba korrispondenti tkun ġiet iffirmata, allura ladarba dik it-talba jew it-tranżazzjoni tkun ġiet aċċettata, ma jkunx aktar possibbli li jinbidlu l-kundizzjonijiet jew jinfluwenzaw l-implimentazzjoni tagħhom.
Hemm validatur wieħed jew netwerk sħiħ, kif ukoll database li taħżen il-kuntratti intelliġenti kollha li ġew sottomessi għall-eżekuzzjoni f'ordni kronoloġika stretta. Huwa importanti wkoll li din id-database għandu jkun fiha l-kundizzjonijiet kollha ta’ attivazzjoni għall-eżekuzzjoni tal-kuntratt intelliġenti. Barra minn hekk, għandha tieħu inkunsiderazzjoni l-valur stess li d-distribuzzjoni tiegħu hija deskritta fil-kuntratt. Jekk dan japplika għal xi munita diġitali, allura din id-database għandha tqisha.
Fi kliem ieħor, il-validaturi tal-kuntratti intelliġenti għandu jkollhom aċċess għad-dejta kollha li l-kuntratt intelliġenti jopera fuqha. Pereżempju, database waħda għandha tintuża biex simultanjament kont għall-muniti diġitali, il-bilanċi tal-utenti, it-tranżazzjonijiet tal-utenti, u l-timestamps. Imbagħad, f'kuntratt intelliġenti, il-kundizzjoni tista 'tkun il-bilanċ tal-utent f'ċerta munita, il-wasla ta' ċertu żmien, jew il-fatt li ċerta tranżazzjoni tkun saret, iżda xejn aktar.
Definizzjoni ta' kuntratt intelliġenti
B'mod ġenerali, it-terminoloġija nnifisha ġiet maħluqa mir-riċerkatur Nick Szabo u użata għall-ewwel darba fl-1994, u ġiet iddokumentata fl-1997 f'artikolu li jiddeskrivi l-idea stess ta 'kuntratti intelliġenti.
Kuntratti intelliġenti jimplikaw li titwettaq xi awtomatizzazzjoni tad-distribuzzjoni tal-valur, li tista 'tiddependi biss fuq dawk il-kundizzjonijiet li huma predeterminati minn qabel. Fl-aktar forma sempliċi tiegħu, jidher qisu kuntratt b'termini definiti b'mod strett, li huwa ffirmat minn ċerti partijiet.
Il-kuntratti intelliġenti huma mfassla biex jimminimizzaw il-fiduċja f'partijiet terzi. Xi drabi ċ-ċentru tat-teħid tad-deċiżjonijiet li fuqu jiddependi kollox huwa kompletament eskluż. Barra minn hekk, kuntratti bħal dawn huma aktar faċli biex jiġu vverifikati. Din hija konsegwenza ta 'xi karatteristiċi tad-disinn ta' sistema bħal din, iżda ħafna drabi nifhmu b'kuntratt intelliġenti ambjent deċentralizzat u l-preżenza ta 'funzjonijiet li jippermettu lil kulħadd janalizza d-database u jwettaq verifika sħiħa tal-eżekuzzjoni tal-kuntratti. Dan jiżgura protezzjoni kontra bidliet retroattivi fid-dejta li jkunu jinvolvu bidliet fit-twettiq tal-kuntratt innifsu. Id-diġitizzazzjoni tal-biċċa l-kbira tal-proċessi meta toħloq u tniedi kuntratt intelliġenti ħafna drabi tissimplifika t-teknoloġija u l-ispiża tal-implimentazzjoni tagħhom.
Eżempju sempliċi - Servizz ta 'depożitu ta' depożitu
Ejja nħarsu lejn eżempju sempliċi ħafna. Dan jgħinek tersaq eqreb biex tifhem il-funzjonalità tal-kuntratti intelliġenti, kif ukoll tifhem aħjar f'liema każijiet għandhom jintużaw.
Jista 'jiġi implimentat ukoll bl-użu ta' Bitcoin, għalkemm bħalissa Bitcoin għadu ma tantx jista 'jissejjaħ pjattaforma sħiħa għal kuntratti intelliġenti. Allura, għandna xi xerrej u għandna ħanut online. Klijent irid jixtri monitor minn dan il-maħżen. Fl-aktar każ sempliċi, ix-xerrej jimla u jibgħat ħlas, u l-ħanut online jaċċettah, jikkonfermah, u mbagħad jibgħat il-merkanzija. Madankollu, f'din is-sitwazzjoni hemm bżonn ta 'fiduċja kbira - ix-xerrej għandu jafda l-ħanut online għall-ispiża kollha tal-monitor. Peress li ħanut online jista 'jkollu reputazzjoni baxxa f'għajnejn ix-xerrej, hemm riskju li għal xi raġuni, wara li jaċċetta l-ħlas, il-maħżen jirrifjuta s-servizz u ma jibgħatx il-merkanzija lix-xerrej. Għalhekk, ix-xerrej jistaqsi l-mistoqsija (u, għalhekk, il-ħanut online jistaqsi din il-mistoqsija) x'jista 'jiġi applikat f'dan il-każ sabiex jimminimizzaw dawn ir-riskji u jagħmlu tranżazzjonijiet bħal dawn aktar affidabbli.
Fil-każ ta 'Bitcoin, huwa possibbli li x-xerrej u l-bejjiegħ jitħallew jagħżlu medjatur b'mod indipendenti. Hemm ħafna nies li huma involuti biex isolvu kwistjonijiet kontroversjali. U l-parteċipanti tagħna jistgħu jagħżlu minn lista ġenerali ta’ medjaturi dak li se jafdaw. Flimkien joħolqu indirizz multifirma 2 minn 3 fejn hemm tliet ċwievet u żewġ firem b'kull żewġ ċwievet huma meħtieġa biex jonfqu muniti minn dak l-indirizz. Ċavetta waħda tkun tappartjeni għax-xerrej, it-tieni għall-ħanut online, u t-tielet għall-medjatur. U għal tali indirizz multifirma, ix-xerrej jibgħat l-ammont meħtieġ biex iħallas għall-monitor. Issa, meta l-bejjiegħ jara li l-flus huma mblukkati għal xi żmien f'indirizz multifirma li jiddependi minnu, jista 'b'mod sikur jibgħat il-monitor bil-posta.
Sussegwentement, ix-xerrej jirċievi l-pakkett, jispezzjona l-oġġetti u jieħu deċiżjoni dwar ix-xiri finali. Huwa jista 'jaqbel kompletament mas-servizz ipprovdut u jiffirma t-tranżazzjoni biċ-ċavetta tiegħu, fejn jittrasferixxi muniti mill-indirizz b'ħafna firma lill-bejjiegħ, jew jista' jkun mhux sodisfatt b'xi ħaġa. Fit-tieni każ, huwa jikkuntattja medjatur biex jgħaqqad tranżazzjoni alternattiva li tqassam dawk il-muniti b'mod differenti.
Ejja ngħidu li l-monitor wasal ftit scratched u l-kit ma kienx jinkludi cable għall-konnessjoni mal-kompjuter, għalkemm il-websajt tal-ħanut online qalet li l-cable għandu jkun inkluż fil-kit. Imbagħad ix-xerrej jiġbor l-evidenza meħtieġa biex jipprova lill-medjatur li kien imqarraq f'din is-sitwazzjoni: jieħu screenshots tas-sit, jieħu ritratt tal-irċevuta tal-posta, jieħu ritratt tal-grif fuq il-monitor u juri li s-siġill kien miksur u l-kejbil inġibed 'il barra. Il-ħanut online, min-naħa tiegħu, jiġbor l-evidenza tiegħu u jittrasferiha lill-medjatur.
Il-medjatur huwa interessat li jissodisfa simultanjament kemm ir-rabja tax-xerrej kif ukoll l-interessi tal-ħanut online (se jsir ċar għaliex aktar tard). Tikkostitwixxi tranżazzjoni li fiha muniti minn indirizz b'ħafna firem jintefqu f'xi proporzjon bejn ix-xerrej, il-ħanut online u l-medjatur, peress li huwa jieħu porzjon għalih innifsu bħala premju għax-xogħol tiegħu. Ejja ngħidu 90% tal-ammont totali jmur għand il-bejjiegħ, 5% lill-medjatur u 5% kumpens lix-xerrej. Il-medjatur jiffirma din it-tranżazzjoni biċ-ċavetta tiegħu, iżda għadha ma tistax tiġi applikata, minħabba li teħtieġ żewġ firem, iżda waħda biss hija worth it. Hija tibgħat tali tranżazzjoni kemm lix-xerrej kif ukoll lill-bejjiegħ. Jekk mill-inqas wieħed minnhom ikun sodisfatt b'din l-għażla għad-distribuzzjoni mill-ġdid tal-muniti, allura t-tranżazzjoni tiġi ffirmata minn qabel u mqassma lin-netwerk. Biex tiġi vvalidata, huwa biżżejjed li waħda mill-partijiet fit-tranżazzjoni taqbel mal-għażla tal-medjatur.
Huwa importanti li fil-bidu tagħżel medjatur sabiex iż-żewġ parteċipanti jafdawh. F'dan il-każ, huwa se jaġixxi b'mod indipendenti mill-interessi ta 'wieħed jew l-ieħor u oġġettivament jevalwa s-sitwazzjoni. Jekk il-medjatur ma jipprovdix għażla għad-distribuzzjoni tal-muniti li se jissodisfaw tal-inqas parteċipant wieħed, allura, wara li qablu flimkien, kemm ix-xerrej kif ukoll il-ħanut online jistgħu jibagħtu l-muniti f'indirizz ġdid b'ħafna firem billi jpoġġu ż-żewġ firem tagħhom. L-indirizz il-ġdid b'ħafna firem se jiġi kkompilat ma' medjatur differenti, li jista' jkun aktar kompetenti fil-kwistjoni u jipprovdi għażla aħjar.
Eżempju b'dormitorju u friġġ
Ejja nħarsu lejn eżempju aktar kumpless li juri l-kapaċitajiet ta 'kuntratt intelliġenti b'mod aktar espliċitu.
Ejja ngħidu li hemm tliet guys li reċentement marru fl-istess kamra tad-dorm. It-tlieta li huma interessati li jixtru friġġ għall-kamra tagħhom li jistgħu jużaw flimkien. Wieħed minnhom offriet biex jiġbor l-ammont meħtieġ biex jixtri friġġ u jinnegozja mal-bejjiegħ. Madankollu, reċentement iltaqgħu ma’ xulxin u m’hemmx biżżejjed fiduċja bejniethom. Ovvjament, tnejn minnhom qed jieħdu riskju billi jagħtu l-flus lit-tielet. Barra minn hekk, jeħtieġ li jilħqu ftehim fl-għażla ta 'bejjiegħ.
Jistgħu jużaw is-servizz tal-depożitu, jiġifieri, jagħżlu medjatur li jimmonitorja l-eżekuzzjoni tat-tranżazzjoni u jsolvi kwistjonijiet kontroversjali jekk jinqalgħu. Imbagħad, wara li qablu, huma jfasslu kuntratt intelliġenti u jippreskrivu ċerti kundizzjonijiet fih.
L-ewwel kundizzjoni hija li qabel ċertu żmien, ngħidu aħna fi żmien ġimgħa, il-kont tal-kuntratt intelliġenti korrispondenti għandu jirċievi tliet ħlasijiet minn ċerti indirizzi għal ċertu ammont. Jekk dan ma jseħħx, il-kuntratt intelliġenti jieqaf jeżegwixxi u jirritorna l-muniti lill-parteċipanti kollha. Jekk il-kundizzjoni tiġi sodisfatta, allura l-valuri tal-bejjiegħ u l-identifikaturi tal-medjatur jiġu stabbiliti, u l-kundizzjoni tiġi ċċekkjata li l-parteċipanti kollha jaqblu mal-għażla tal-bejjiegħ u l-medjatur. Meta jiġu sodisfatti l-kundizzjonijiet kollha, allura l-fondi jiġu trasferiti fl-indirizzi speċifikati. Dan l-approċċ jista 'jipproteġi lill-parteċipanti mill-frodi minn kwalunkwe naħa u ġeneralment jelimina l-ħtieġa ta' fiduċja.
F'dan l-eżempju naraw il-prinċipju stess li din il-kapaċità li tissettja pass pass parametri biex tissodisfa kull kundizzjoni tippermettilek toħloq sistemi ta 'kwalunkwe kumplessità u fond ta' livelli nested. Barra minn hekk, tista 'l-ewwel tiddefinixxi l-ewwel kundizzjoni fil-kuntratt intelliġenti, u biss wara t-twettiq tiegħu tista' tissettja parametri għall-kundizzjoni li jmiss. Fi kliem ieħor, il-kundizzjoni hija miktuba formalment, u l-parametri għaliha jistgħu jiġu stabbiliti diġà waqt it-tħaddim tagħha.
Klassifikazzjoni ta' kuntratti intelliġenti
Għall-klassifikazzjoni, tista 'tissettja gruppi differenti ta' kriterji. Madankollu, fil-mument tal-iżvilupp tat-teknoloġija, erbgħa minnhom huma rilevanti.
Kuntratti intelliġenti jistgħu jiġu distinti mill-ambjent ta 'eżekuzzjoni tagħhom, li jista' jkun jew ċentralizzat jew deċentralizzat. Fil-każ tad-deċentralizzazzjoni, għandna indipendenza ħafna akbar u tolleranza għal ħtija meta nwettqu kuntratti intelliġenti.
Jistgħu jiġu distinti wkoll mill-proċess tal-iffissar u t-twettiq tal-kundizzjonijiet: jistgħu jkunu programmabbli liberament, limitati jew predefiniti, jiġifieri strettament ittajpjati. Meta jkun hemm biss 4 kuntratti intelliġenti speċifiċi fuq il-pjattaforma tal-kuntratt intelliġenti, il-parametri għalihom jistgħu jiġu stabbiliti bi kwalunkwe mod. Għaldaqstant, l-issettjar tagħhom huwa ħafna aktar sempliċi: aħna nagħżlu kuntratt mil-lista u ngħaddu l-parametri.
Skont il-metodu tal-bidu, hemm kuntratti intelliġenti awtomatizzati, jiġifieri, meta jseħħu ċerti kundizzjonijiet, jeżegwixxu lilhom infushom, u hemm kuntratti li fihom il-kundizzjonijiet huma speċifikati, iżda l-pjattaforma ma tiċċekkjax awtomatikament it-twettiq tagħhom; għal dan huma jeħtieġ li jinbeda separatament.
Barra minn hekk, il-kuntratti intelliġenti jvarjaw fil-livell ta’ privatezza tagħhom. Jistgħu jkunu jew kompletament miftuħa, parzjalment jew kompletament kunfidenzjali. Dan tal-aħħar ifisser li osservaturi ta 'partijiet terzi ma jarawx it-termini tal-kuntratti intelliġenti. Madankollu, is-suġġett tal-privatezza huwa wiesa 'ħafna u huwa aħjar li tikkunsidraha separatament mill-artikolu attwali.
Hawn taħt se nagħtu ħarsa aktar mill-qrib lejn l-ewwel tliet kriterji biex inġibu aktar ċarezza għall-fehim tas-suġġett attwali.
Kuntratti intelliġenti skont ir-runtime
Ibbażat fuq l-ambjent ta 'eżekuzzjoni, issir distinzjoni bejn pjattaformi ta' kuntratti intelliġenti ċentralizzati u deċentralizzati. Fil-każ ta' kuntratti diġitali ċentralizzati, jintuża servizz wieħed, fejn ikun hemm validatur wieħed biss u jista' jkun hemm servizz ta' backup u rkupru, li huwa wkoll ġestit ċentralment. Hemm database waħda li taħżen l-informazzjoni kollha meħtieġa biex tistabbilixxi t-termini tal-kuntratt intelliġenti u tqassam il-valur li jitqies f'din id-database tas-servizz stess. Servizz ċentralizzat bħal dan għandu klijent li jistabbilixxi kundizzjonijiet ma’ ċerti talbiet u juża kuntratti bħal dawn. Minħabba n-natura ċentralizzata tal-pjattaforma, il-mekkaniżmi ta 'awtentikazzjoni jistgħu jkunu inqas siguri milli fil-kripto-muniti.
Bħala eżempju, nistgħu nieħdu fornituri tal-komunikazzjoni mobbli (operaturi mobbli differenti). Ejja ngħidu ċertu operatur iżomm rekord ċentralizzat tat-traffiku fuq is-servers tiegħu, li jista 'jiġi trażmess f'formati differenti, pereżempju: fil-forma ta' sejħiet bil-vuċi, trasmissjoni SMS, traffiku tal-Internet mobbli, u skont standards differenti, u jżomm ukoll rekords ta’ fondi fuq il-bilanċi tal-utenti. Għaldaqstant, il-fornitur tal-komunikazzjoni mobbli jista' jfassal kuntratti għall-kontabilità tas-servizzi pprovduti u l-ħlas tagħhom b'kundizzjonijiet differenti. F'dan il-każ, huwa faċli li jiġu stabbiliti kundizzjonijiet bħal "ibgħat SMS b'tali jew tali kodiċi lil tali jew tali numru u inti tirċievi tali u tali kundizzjonijiet għad-distribuzzjoni tat-traffiku."
Eżempju ieħor jista’ jingħata: banek tradizzjonali b’funzjonalità estiża ta’ servizzi bankarji bl-Internet u kuntratti sempliċi ħafna bħal pagamenti regolari, konverżjoni awtomatika ta’ pagamenti deħlin, tnaqqis awtomatiku tal-imgħax f’kont speċifikat, eċċ.
Jekk qed nitkellmu dwar kuntratti intelliġenti b'ambjent ta 'eżekuzzjoni deċentralizzata, allura għandna grupp ta' validaturi. Idealment, kulħadd jista 'jsir validatur. Minħabba l-protokoll ta 'sinkronizzazzjoni tad-database u nilħqu kunsens, għandna xi database komuni li issa se taħżen it-tranżazzjonijiet kollha b'kuntratti deskritti b'mod strett, u mhux xi mistoqsijiet kondizzjonali, li l-formati tagħhom spiss jinbidlu, u m'hemm l-ebda speċifikazzjoni miftuħa. Hawnhekk, it-tranżazzjonijiet se jkun fihom struzzjonijiet biex tesegwixxi l-kuntratt skont speċifikazzjoni stretta. Din l-ispeċifikazzjoni hija miftuħa u, għalhekk, l-utenti tal-pjattaforma nfushom jistgħu jivverifikaw u jivvalidaw kuntratti intelliġenti. Hawnhekk naraw li l-pjattaformi deċentralizzati huma superjuri għal dawk ċentralizzati f'termini ta 'indipendenza u tolleranza għall-ħsarat, iżda d-disinn u l-manutenzjoni tagħhom huma ħafna aktar kumplessi.
Kuntratti intelliġenti bil-metodu tal-iffissar u t-twettiq tal-kundizzjonijiet
Issa ejja nagħtu ħarsa aktar mill-qrib lejn kif il-kuntratti intelliġenti jistgħu jvarjaw fil-mod kif jistabbilixxu u jissodisfaw il-kundizzjonijiet. Hawnhekk nagħtu l-attenzjoni tagħna għal kuntratti intelliġenti li huma programmabbli b'mod każwali u Turing komplut. Kuntratt intelliġenti komplet Turing jippermettilek li tistabbilixxi kważi kull algoritmi bħala kundizzjonijiet għall-eżekuzzjoni tal-kuntratt: ċikli ta 'kitba, xi funzjonijiet għall-kalkolu tal-probabbiltajiet, u simili - sa l-algoritmi tal-firma elettronika tiegħek stess. F'dan il-każ, irridu nfissru kitba tassew arbitrarja tal-loġika.
Hemm ukoll kuntratti intelliġenti arbitrarji, iżda mhux Turing kompleti. Dan jinkludi Bitcoin u Litecoin bl-iskrittura tagħhom stess. Dan ifisser li tista 'tuża biss ċerti operazzjonijiet fi kwalunkwe ordni, iżda ma tistax aktar tikteb loops u l-algoritmi tiegħek stess.
Barra minn hekk, hemm pjattaformi ta' kuntratti intelliġenti li jimplimentaw kuntratti intelliġenti definiti minn qabel. Dawn jinkludu Bitshares u Steemit. Bitshares għandu firxa ta 'kuntratti intelliġenti għall-kummerċ, il-ġestjoni tal-kontijiet, il-ġestjoni tal-pjattaforma nnifisha u l-parametri tagħha. Steemit hija pjattaforma simili, iżda m'għadhiex iffukata fuq il-ħruġ ta 'tokens u l-kummerċ, bħal Bitshares, iżda fuq il-blogging, jiġifieri taħżen u tipproċessa l-kontenut b'mod deċentralizzat.
Kuntratti Arbitrarji Turing-kompleti jinkludu l-pjattaforma Ethereum u RootStock, li għadha taħt żvilupp. Għalhekk, hawn taħt se noqogħdu fi ftit aktar dettall fuq il-pjattaforma tal-kuntratt intelliġenti Ethereum.
Kuntratti intelliġenti bil-metodu tal-bidu
Ibbażat fuq il-metodu tal-bidu, il-kuntratti intelliġenti jistgħu wkoll jinqasmu f'mill-inqas żewġ gruppi: awtomatizzati u manwali (mhux awtomatizzati). Dawk awtomatizzati huma kkaratterizzati mill-fatt li, minħabba l-parametri u l-kundizzjonijiet magħrufa kollha, il-kuntratt intelliġenti huwa kompletament esegwit awtomatikament, jiġifieri, ma jeħtieġx li tintbagħat xi tranżazzjonijiet addizzjonali u tonfoq kummissjoni addizzjonali fuq kull eżekuzzjoni sussegwenti. Il-pjattaforma nnifisha għandha d-dejta kollha biex tikkalkula kif se jitlesta l-kuntratt intelliġenti. Il-loġika hemm mhix arbitrarja, iżda predeterminata u dan kollu huwa prevedibbli. Jiġifieri, tista 'tistima bil-quddiem il-kumplessità tal-eżekuzzjoni ta' kuntratt intelliġenti, tuża xi tip ta 'kummissjoni kostanti għaliha, u l-proċessi kollha għall-implimentazzjoni tiegħu huma aktar effiċjenti.
Għal kuntratti intelliġenti li huma pprogrammati liberament, l-eżekuzzjoni mhix awtomatizzata. Biex tibda kuntratt intelliġenti bħal dan, prattikament f'kull pass għandek bżonn toħloq transazzjoni ġdida, li ssejjaħ l-istadju ta 'eżekuzzjoni li jmiss jew il-metodu ta' kuntratt intelliġenti li jmiss, tħallas il-kummissjoni xierqa u stenna li t-tranżazzjoni tiġi kkonfermata. L-eżekuzzjoni tista 'tlesti b'suċċess jew le, minħabba li l-kodiċi tal-kuntratt intelliġenti huwa arbitrarju u jistgħu jidhru xi mumenti imprevedibbli, bħal linja eterna, nuqqas ta' xi parametri u argumenti, eċċezzjonijiet mhux immaniġġjati, eċċ.
Kontijiet Ethereum
Tipi ta' Kont Ethereum
Ejja nħarsu lejn liema tipi ta 'kontijiet jista' jkun hemm fuq il-pjattaforma Ethereum. Hemm biss żewġ tipi ta 'kontijiet hawn u m'hemm l-ebda għażliet oħra. L-ewwel tip jissejjaħ kont tal-utent, it-tieni huwa kont tal-kuntratt. Ejja nsemmu kif huma differenti.
Il-kont tal-utent huwa kkontrollat biss miċ-ċavetta personali tal-firma elettronika. Is-sid tal-kont jiġġenera l-par taċ-ċavetta tiegħu stess għall-firma elettronika billi juża l-algoritmu ECDSA (Elliptic Curve Digital Signature Algorithm). Tranżazzjonijiet iffirmati b'din iċ-ċavetta biss jistgħu jibdlu l-istat ta' dan il-kont.
Loġika separata hija pprovduta għall-kont tal-kuntratt intelliġenti. Jista 'jiġi kkontrollat biss minn kodiċi ta' softwer predefinit li jiddetermina kompletament l-imġieba tal-kuntratt intelliġenti: kif se jimmaniġġja l-muniti tiegħu taħt ċerti ċirkostanzi, fuq l-inizjattiva ta 'liema utent u taħt liema kundizzjonijiet addizzjonali se jitqassmu dawn il-muniti. Jekk xi punti mhumiex previsti mill-iżviluppaturi fil-kodiċi tal-programm, jistgħu jinqalgħu problemi. Pereżempju, kuntratt intelliġenti jista 'jirċievi ċertu stat li fih ma jaċċettax bidu ta' eżekuzzjoni ulterjuri minn xi wieħed mill-utenti. F'dan il-każ, il-muniti fil-fatt se jiġu ffriżati, minħabba li l-kuntratt intelliġenti ma jipprovdix għall-ħruġ minn dan l-istat.
Kif jinħolqu l-kontijiet fuq Ethereum
Fil-każ ta' kont ta' utent, is-sid jiġġenera b'mod indipendenti par ta' ċwievet billi juża l-ECDSA. Huwa importanti li wieħed jinnota li Ethereum juża eżattament l-istess algoritmu u eżattament l-istess kurva ellittika għall-firem elettroniċi bħal Bitcoin, iżda l-indirizz huwa kkalkulat b'mod kemmxejn differenti. Hawnhekk, ir-riżultat ta 'hashing doppju m'għadux jintuża, bħal f'Bitcoin, iżda hashing wieħed huwa pprovdut bil-funzjoni Keccak f'tul ta' 256 bit. L-inqas bits sinifikanti huma maqtugħa mill-valur li jirriżulta, jiġifieri l-inqas 160 bit sinifikanti tal-valur tal-hash output. Bħala riżultat, aħna nikseb indirizz fl-Ethereum. Fil-fatt, jieħu 20 byte.
Jekk jogħġbok innota li l-identifikatur tal-kont fl-Ethereum huwa kodifikat f'hex mingħajr ma tiġi applikata checksum, b'differenza għal Bitcoin u ħafna sistemi oħra, fejn l-indirizz huwa kodifikat f'sistema ta 'numri bażi 58 biż-żieda ta' checksum. Dan ifisser li trid toqgħod attent meta taħdem ma 'identifikaturi tal-kont fl-Ethereum: anki żball wieħed fl-identifikatur huwa garantit li jwassal għat-telf ta' muniti.
Hemm karatteristika importanti u hija li kont tal-utent fil-livell tad-database ġenerali jinħoloq fil-mument meta jaċċetta l-ewwel ħlas li jkun deħlin.
Il-ħolqien ta' kont ta' kuntratt intelliġenti jieħu approċċ kompletament differenti. Inizjalment, wieħed mill-utenti jikteb il-kodiċi tas-sors tal-kuntratt intelliġenti, wara li l-kodiċi jgħaddi minn kompilatur speċjali għall-pjattaforma Ethereum, u jikseb bytecode għall-magna virtwali Ethereum tiegħu stess. Il-bytecode li jirriżulta jitqiegħed f'qasam speċjali tat-tranżazzjoni. Huwa ċċertifikat f'isem il-kont tal-inizjatur. Sussegwentement, din it-tranżazzjoni tiġi propagata fin-netwerk kollu u tpoġġi l-kodiċi tal-kuntratt intelliġenti. Il-kummissjoni għat-tranżazzjoni u, għaldaqstant, għall-eżekuzzjoni tal-kuntratt hija rtirata mill-bilanċ tal-kont tal-inizjatur.
Kull kuntratt intelliġenti neċessarjament fih il-kostruttur tiegħu stess (ta' dan il-kuntratt). Jista' jkun vojt jew jista' jkollu kontenut. Wara li l-kostruttur jiġi esegwit, jinħoloq identifikatur tal-kont tal-kuntratt intelliġenti, li jużah tista 'tibgħat muniti, issejjaħ ċerti metodi ta' kuntratt intelliġenti, eċċ.
Struttura tat-Tranżazzjoni Ethereum
Biex tagħmilha aktar ċara, se nibdew inħarsu lejn l-istruttura ta 'tranżazzjoni Ethereum u eżempju ta' kodiċi ta 'kuntratt intelliġenti.
Tranżazzjoni Ethereum tikkonsisti f'diversi oqsma. L-ewwel wieħed minn dawn, nonce, huwa ċertu numru tas-serje tat-tranżazzjoni relattiv għall-kont innifsu li jqassamha u huwa l-awtur tagħha. Dan huwa meħtieġ sabiex jiġu distinti tranżazzjonijiet doppji, jiġifieri, biex jiġi eskluż il-każ meta l-istess tranżazzjoni tiġi aċċettata darbtejn. Billi tuża identifikatur, kull tranżazzjoni għandha valur hash uniku.
Wara jiġi qasam bħal prezz tal-gass. Dan jindika l-prezz li bih il-munita bażi Ethereum tiġi kkonvertita f'gass, li jintuża biex jitħallas għall-eżekuzzjoni tal-kuntratt intelliġenti u l-allokazzjoni tar-riżors tal-magna virtwali. Xi tfisser?
F'Bitcoin, il-miżati jitħallsu direttament mill-munita bażi—Bitcoin innifsu. Dan huwa possibbli grazzi għal mekkaniżmu sempliċi għall-kalkolu tagħhom: aħna nħallsu strettament għall-ammont ta 'dejta li tinsab fit-tranżazzjoni. Fl-Ethereum is-sitwazzjoni hija aktar ikkumplikata, minħabba li huwa diffiċli ħafna li tiddependi fuq il-volum tad-dejta tat-tranżazzjonijiet. Hawnhekk, it-tranżazzjoni jista 'jkun fiha wkoll kodiċi tal-programm li se jiġi esegwit fuq il-magna virtwali, u kull operazzjoni tal-magna virtwali jista' jkollha kumplessità differenti. Hemm ukoll operazzjonijiet li jallokaw memorja għall-varjabbli. Se jkollhom il-kumplessità tagħhom stess, li fuqha jiddependi l-ħlas għal kull operazzjoni.
L-ispiża ta 'kull operazzjoni fl-ekwivalenti tal-gass se tkun kostanti. Huwa introdott speċifikament sabiex tiddetermina l-ispiża kostanti ta 'kull operazzjoni. Skont it-tagħbija fuq in-netwerk, il-prezz tal-gass se jinbidel, jiġifieri, il-koeffiċjent li skontu l-munita bażi tiġi kkonvertita f'din l-unità awżiljarja biex tħallas il-kummissjoni.
Hemm karatteristika oħra ta 'tranżazzjoni fl-Ethereum: il-bytecode li fih għall-eżekuzzjoni f'magna virtwali se jiġi esegwit sakemm jitlesta b'xi riżultat (suċċess jew falliment) jew sakemm ċertu ammont ta' muniti allokati jispiċċa biex tħallas il-kummissjoni . Huwa sabiex tiġi evitata sitwazzjoni fejn, fil-każ ta 'xi żball, il-muniti kollha mill-kont tal-mittent intefqu fuq kummissjoni (per eżempju, xi tip ta' ċiklu etern mibdi f'magna virtwali), il-qasam li ġej jeżisti - ibda l-gass (spiss imsejjaħ limitu tal-gass) - tiddetermina l-ammont massimu ta 'muniti li min jibgħat huwa lest li jonfoq biex itemm ċerta tranżazzjoni.
Il-qasam li jmiss jissejjaħ indirizz tad-destinazzjoni. Dan jinkludi l-indirizz tar-riċevitur tal-muniti jew l-indirizz ta 'kuntratt intelliġenti speċifiku li l-metodi tiegħu se jissejħu. Wara jiġi l-għalqa valur, fejn jiddaħħal l-ammont ta' muniti li jintbagħtu fl-indirizz tad-destinazzjoni.
Li jmiss huwa qasam interessanti msejjaħ data, fejn tidħol l-istruttura kollha. Dan mhuwiex qasam separat, iżda struttura sħiħa li fiha l-kodiċi għall-magna virtwali huwa definit. Tista' tpoġġi dejta arbitrarja hawn - hemm regoli separati għal dan.
U l-aħħar qasam jissejjaħ firma. Fl-istess ħin fih kemm il-firma elettronika tal-awtur ta’ din it-tranżazzjoni kif ukoll iċ-ċavetta pubblika li biha din il-firma tkun verifikata. Miċ-ċavetta pubblika tista 'tikseb l-identifikatur tal-kont tal-mittent ta' din it-tranżazzjoni, jiġifieri, tidentifika b'mod uniku l-kont tal-mittent fis-sistema nnifisha. Sibna l-ħaġa prinċipali dwar l-istruttura tat-tranżazzjoni.
Eżempju ta' kodiċi ta' kuntratt intelliġenti għal Solidity
Ejja issa nagħtu ħarsa aktar mill-qrib lejn l-aktar kuntratt intelliġenti sempliċi billi tuża eżempju.
contract Bank {
address owner;
mapping(address => uint) balances;
function Bank() {
owner = msg.sender;
}
function deposit() public payable {
balances[msg.sender] += msg.value;
}
function withdraw(uint amount) public {
if (balances[msg.sender] >= amount) {
balances[msg.sender] -= amount;
msg.sender.transfer(amount);
}
}
function getMyBalance() public view returns(uint) {
return balances[msg.sender];
}
function kill() public {
if (msg.sender == owner)
selfdestruct(owner);
}
}Hawn fuq hemm kodiċi sors simplifikat li jista 'jżomm il-muniti tal-utenti u jirritornahom fuq talba.
Għalhekk, hemm kuntratt intelliġenti tal-Bank li jwettaq il-funzjonijiet li ġejjin: jakkumula muniti fuq il-bilanċ tiegħu, jiġifieri meta tranżazzjoni tiġi kkonfermata u jitqiegħed kuntratt intelliġenti bħal dan, jinħoloq kont ġdid li jista 'jkun fih muniti fuq il-bilanċ tiegħu; tiftakar lill-utenti u d-distribuzzjoni tal-muniti bejniethom; għandu diversi metodi għall-ġestjoni tal-bilanċi, jiġifieri, huwa possibbli li timla, tirtira u tiċċekkja l-bilanċ tal-utent.
Ejja ngħaddu minn kull linja ta 'kodiċi tas-sors. Dan il-kuntratt għandu oqsma kostanti. Wieħed minnhom, bl-indirizz tat-tip, jissejjaħ sid. Hawnhekk il-kuntratt jiftakar l-indirizz tal-utent li ħoloq dan il-kuntratt intelliġenti. Barra minn hekk, hemm struttura dinamika li żżomm korrispondenza bejn l-indirizzi tal-utenti u l-bilanċi.
Dan huwa segwit mill-metodu tal-Bank - għandu l-istess isem tal-kuntratt. Għaldaqstant, dan huwa l-kostruttur tiegħu. Hawnhekk il-varjabbli tas-sid huwa assenjat l-indirizz tal-persuna li poġġiet dan il-kuntratt intelliġenti fuq in-netwerk. Din hija l-unika ħaġa li tiġri f'dan il-kostruttur. Jiġifieri, msg f'dan il-każ hija eżattament id-dejta li ġiet trasferita għall-magna virtwali flimkien mat-tranżazzjoni li fiha l-kodiċi kollu ta 'dan il-kuntratt. Għaldaqstant, msg.sender huwa l-awtur ta 'din it-tranżazzjoni li tospita dan il-kodiċi. Huwa se jkun is-sid tal-kuntratt intelliġenti.
Il-metodu ta 'depożitu jippermettilek tittrasferixxi ċertu numru ta' muniti fil-kont tal-kuntratt permezz ta 'tranżazzjoni. F'dan il-każ, il-kuntratt intelliġenti, li jirċievi dawn il-muniti, iħallihom fuq il-karta tal-bilanċ tiegħu, iżda jirreġistra fl-istruttura tal-bilanċi min kien eżattament min jibgħat dawn il-muniti sabiex ikun jaf lil min jappartjenu.
Il-metodu li jmiss jissejjaħ irtira u jieħu parametru wieħed - l-ammont ta 'muniti li xi ħadd irid jirtira minn dan il-bank. Dan jiċċekkja jekk hemmx biżżejjed muniti fil-bilanċ tal-utent li jsejjaħ dan il-metodu biex jibgħathom. Jekk hemm biżżejjed minnhom, allura l-kuntratt intelliġenti innifsu jirritorna dak in-numru ta 'muniti lil min iċempel.
Wara jiġi l-metodu għall-iċċekkjar tal-bilanċ kurrenti tal-utent. Min isejjaħ dan il-metodu se jintuża biex jirkupra dan il-bilanċ fil-kuntratt intelliġenti. Ta 'min jinnota li l-modifikatur ta' dan il-metodu huwa ħsieb. Dan ifisser li l-metodu innifsu ma jbiddilx il-varjabbli tal-klassi tiegħu bl-ebda mod u fil-fatt huwa biss metodu ta 'qari. L-ebda transazzjoni separata ma hija maħluqa biex issejjaħ dan il-metodu, ma titħallas l-ebda tariffa, u l-kalkoli kollha jsiru lokalment, u wara l-utent jirċievi r-riżultat.
Il-metodu tal-qtil huwa meħtieġ biex jeqred l-istat tal-kuntratt intelliġenti. U hawn hemm verifika addizzjonali jekk min iċempel dan il-metodu huwiex is-sid ta 'dan il-kuntratt. Jekk iva, allura l-kuntratt jinqered minnu nnifsu, u l-funzjoni ta 'qerda tieħu parametru wieħed - l-identifikatur tal-kont li lilha l-kuntratt se jibgħat il-muniti kollha li jifdal fuq il-bilanċ tiegħu. F'dan il-każ, il-muniti li jifdal se jmorru awtomatikament fl-indirizz tas-sid tal-kuntratt.
Kif jaħdem nodu sħiħ fuq in-netwerk Ethereum?
Ejja nħarsu b'mod skematiku lejn kif dawn il-kuntratti intelliġenti jiġu eżegwiti fuq il-pjattaforma Ethereum u kif jaħdem node tan-netwerk sħiħ.
Nodu sħiħ fuq in-netwerk Ethereum għandu jkollu mill-inqas erba 'moduli.
L-ewwel, bħal kull protokoll deċentralizzat, huwa l-modulu tan-netwerking P2P - modulu għall-konnessjoni tan-netwerk u xogħol ma 'nodi oħra, fejn blokki, transazzjonijiet, u informazzjoni dwar nodi oħra huma skambjati. Dan huwa komponent tradizzjonali għall-kripto-muniti deċentralizzati kollha.
Sussegwentement, għandna modulu għall-ħażna tad-dejta tal-blockchain, l-ipproċessar, l-għażla ta 'fergħa ta' prijorità, l-ehmeż ta 'blokki, l-unlinking tal-blokki, il-validazzjoni ta' dawn il-blokki, eċċ.
It-tielet modulu jissejjaħ EVM (magna virtwali Ethereum) - din hija magna virtwali li tirċievi bytecode minn transazzjonijiet Ethereum. Dan il-modulu jieħu l-istat attwali ta 'kont partikolari u jagħmel bidliet fl-istat tiegħu bbażati fuq il-bytecode riċevut. Il-verżjoni tal-magna virtwali fuq kull nodu tan-netwerk għandha tkun l-istess. Il-kalkoli li jseħħu fuq kull nodu Ethereum huma eżattament l-istess, iżda jseħħu b'mod asinkroniku: xi ħadd jiċċekkja u jaċċetta din it-tranżazzjoni qabel, jiġifieri, jesegwixxi l-kodiċi kollu li jinsab fih, u xi ħadd aktar tard. Għaldaqstant, meta tinħoloq transazzjoni, titqassam man-netwerk, in-nodi jaċċettawha, u fil-ħin tal-verifika, bl-istess mod li Bitcoin Script jiġi esegwit f'Bitcoin, il-bytecode tal-magna virtwali jiġi esegwit hawn.
Tranżazzjoni titqies verifikata jekk il-kodiċi kollu li jinsab fiha jkun ġie eżegwit, stat ġdid ta’ ċertu kont ikun ġie ġġenerat u ssejvjat sakemm ikun ċar jekk din it-tranżazzjoni ġietx applikata jew le. Jekk tiġi applikata t-tranżazzjoni, allura dan l-istat jitqies mhux biss komplut, iżda wkoll kurrenti. Hemm database li taħżen l-istat ta 'kull kont għal kull node tan-netwerk. Minħabba l-fatt li l-kalkoli kollha jseħħu bl-istess mod u l-istat tal-blockchain huwa l-istess, id-database li jkun fiha l-istati tal-kontijiet kollha se tkun ukoll l-istess għal kull nodu.
Miti u limitazzjonijiet ta 'kuntratti intelliġenti
Fir-rigward tar-restrizzjonijiet li jeżistu għal pjattaformi ta’ kuntratti intelliġenti simili għal Ethereum, jista’ jiġi kkwotat dan li ġej:
- eżekuzzjoni ta' kodiċi;
- jalloka memorja;
- data blockchain;
- tibgħat ħlasijiet;
- toħloq kuntratt ġdid;
- ċempel kuntratti oħra.
Ejja nħarsu lejn ir-restrizzjonijiet li huma imposti fuq magna virtwali, u, għaldaqstant, inneħħu xi miti dwar kuntratti intelliġenti. Fuq magna virtwali, li tista 'tkun mhux biss fl-Ethereum, iżda wkoll fi pjattaformi simili, tista' twettaq operazzjonijiet loġiċi tassew arbitrarji, jiġifieri, tikteb kodiċi u se tiġi esegwita hemmhekk, tista 'addizzjonalment talloka memorja. Madankollu, il-miżata titħallas separatament għal kull operazzjoni u għal kull unità addizzjonali ta 'memorja allokata.
Sussegwentement, il-magna virtwali tista 'taqra data mid-database blockchain sabiex tuża din id-data bħala trigger biex tesegwixxi loġika ta' kuntratt intelliġenti waħda jew oħra. Il-magna virtwali tista 'toħloq u tibgħat transazzjonijiet, tista' toħloq kuntratti ġodda u metodi ta 'sejħa ta' kuntratti intelliġenti oħra li huma diġà ppubblikati fuq in-netwerk: eżistenti, disponibbli, eċċ.
L-iktar ħrafa komuni hija li l-kuntratti intelliġenti Ethereum jistgħu jużaw informazzjoni minn kwalunkwe riżorsa tal-Internet fit-termini tagħhom. Il-verità hija li magna virtwali ma tistax tibgħat talba ta 'netwerk lil xi riżors ta' informazzjoni esterna fuq l-Internet, jiġifieri, huwa impossibbli li tikteb kuntratt intelliġenti li jqassam il-valur bejn l-utenti skont, ngħidu aħna, kif ikun it-temp barra, jew min rebaħ xi kampjonat, jew ibbażat fuq liema inċident ieħor ġara fid-dinja ta 'barra, minħabba li l-informazzjoni dwar dawn l-inċidenti sempliċement mhix fid-database tal-pjattaforma nnifisha. Jiġifieri, m'hemm xejn fuq il-blockchain dwar dan. Jekk ma tidhirx hemm, allura l-magna virtwali ma tistax tuża din id-dejta bħala triggers.
Żvantaġġi ta 'Ethereum
Ejja elenka dawk ewlenin. L-ewwel żvantaġġ huwa li hemm xi diffikultajiet fit-tfassil, l-iżvilupp u l-ittestjar ta 'kuntratti intelliġenti f'Ethereum (Ethereum juża l-lingwa Solidity biex jikteb kuntratti intelliġenti). Tabilħaqq, il-prattika turi li persentaġġ kbir ħafna tal-iżbalji kollha jappartjenu għall-fattur uman. Dan fil-fatt huwa veru għal kuntratti intelliġenti Ethereum diġà miktuba li għandhom kumplessità medja jew ogħla. Jekk għal kuntratti intelliġenti sempliċi l-probabbiltà ta 'żball hija żgħira, allura f'kuntratti intelliġenti kumplessi ħafna drabi jkun hemm żbalji li jwasslu għas-serq ta' fondi, l-iffriżar tagħhom, il-qerda ta 'kuntratti intelliġenti b'mod mhux mistenni, eċċ Ħafna każijiet bħal dawn huma diġà magħrufa.
It-tieni żvantaġġ huwa li l-magna virtwali nnifisha mhix perfetta, peress li hija wkoll miktuba minn nies. Jista 'jesegwixxi kmandi arbitrarji, u hemmhekk tinsab il-vulnerabbiltà: għadd ta' kmandi jistgħu jiġu kkonfigurati b'ċertu mod li jwassal għal konsegwenzi li ma kinux previsti minn qabel. Dan huwa qasam kumpless ħafna, iżda diġà hemm diversi studji li juru li dawn il-vulnerabbiltajiet jeżistu fil-verżjoni attwali tan-netwerk Ethereum u jistgħu jwasslu għall-falliment ta 'ħafna kuntratti intelliġenti.
Diffikultà kbira oħra, tista 'titqies bħala żvantaġġ. Hija tinsab fil-fatt li tista 'prattikament jew teknikament tasal għall-konklużjoni li jekk tikkompila l-bytecode ta' kuntratt li se jiġi esegwit fuq magna virtwali, tista 'tiddetermina xi ordni speċifika ta' operazzjonijiet. Meta jitwettqu flimkien, dawn l-operazzjonijiet se jgħabbu ħafna l-magna virtwali u jnaqqsuha b'mod sproporzjonat mal-miżata li tħallset għat-twettiq ta 'dawn l-operazzjonijiet.
Fil-passat, diġà kien hemm perjodu fl-iżvilupp ta 'Ethereum, meta ħafna guys li fehmu fid-dettall l-operat ta' magna virtwali sabu vulnerabbiltajiet bħal dawn. Fil-fatt, it-tranżazzjonijiet ħallsu miżata żgħira ħafna, iżda prattikament naqqsu n-netwerk kollu. Dawn il-problemi huma diffiċli ħafna biex isolvu, peress li huwa meħtieġ, l-ewwel nett, li jiġu determinati, it-tieni nett, li jiġi aġġustat il-prezz għat-twettiq ta 'dawn l-operazzjonijiet u, it-tielet, li titwettaq hard furk, li jfisser li taġġorna n-nodi kollha tan-netwerk għal verżjoni ġdida. tas-software, u mbagħad attivazzjoni simultanja ta' dawn il-bidliet.
Fir-rigward tal-Ethereum, saret ħafna riċerka, inkisbet ħafna esperjenza prattika: kemm pożittiva kif ukoll negattiva, iżda madankollu għad hemm diffikultajiet u vulnerabbiltajiet li għad iridu jiġu ttrattati b'xi mod.
Allura, il-parti tematika tal-artiklu titlesta, ejja ngħaddu għal mistoqsijiet li jqumu spiss.
Mistoqsijiet komuni
— Jekk il-partijiet kollha għal kuntratt intelliġenti eżistenti jridu jibdlu t-termini, jistgħu jikkanċellaw dan il-kuntratt intelliġenti billi jużaw multisig, u mbagħad joħolqu kuntratt intelliġenti ġdid b'termini aġġornati tal-eżekuzzjoni tiegħu?
It-tweġiba hawnhekk se tkun doppja. Għaliex? Minħabba li minn naħa, kuntratt intelliġenti huwa definit darba u ma jibqax jimplika l-ebda tibdil, u min-naħa l-oħra, jista 'jkollu loġika miktuba minn qabel li tipprovdi għal bidla sħiħa jew parzjali ta' xi kundizzjonijiet. Jiġifieri, jekk trid tibdel xi ħaġa fil-kuntratt intelliġenti tiegħek, allura trid tippreskrivi l-kundizzjonijiet li taħthom tista 'taġġorna dawn il-kundizzjonijiet. Għaldaqstant, huwa biss b'tali mod prudenti li jista' jiġi organizzat it-tiġdid tal-kuntratt. Iżda hawnhekk ukoll, tista 'tiffaċċja problemi: tagħmel xi żball u tikseb vulnerabbiltà korrispondenti. Għalhekk, affarijiet bħal dawn jeħtieġ li jkunu dettaljati ħafna u ddisinjati u ttestjati bir-reqqa.
— X'jiġri jekk il-medjatur jidħol fi ftehim ma' waħda mill-partijiet parteċipanti: escrow jew smart contract? Huwa meħtieġ medjatur f'kuntratt intelliġenti?
Mhux meħtieġ medjatur f'kuntratt intelliġenti. Jista' ma jeżistix. Jekk, fil-każ ta 'depożitu ta' depożitu, il-medjatur jidħol f'konfoffa ma 'waħda mill-partijiet, allura iva, din l-iskema mbagħad titlef il-valur kollu tagħha f'daqqa. Għalhekk, il-medjaturi jintgħażlu b’tali mod li jkunu fdati mill-partijiet kollha involuti f’dan il-proċess fl-istess ħin. Għaldaqstant, sempliċement mhux se tittrasferixxi muniti f'indirizz b'ħafna firem b'medjatur li ma tafdax.
— Huwa possibbli bi tranżazzjoni Ethereum waħda li tittrasferixxi ħafna tokens differenti mill-indirizz tiegħek għal indirizzi fil-mira differenti, pereżempju, skambju indirizzi fejn dawn it-tokens jiġu nnegozjati?
Din hija mistoqsija tajba u tikkonċerna l-mudell tat-tranżazzjoni Ethereum u kif hija differenti mill-mudell Bitcoin. U d-differenza hija radikali. Jekk fil-mudell tat-tranżazzjoni Ethereum sempliċement tittrasferixxi muniti, allura dawn jiġu trasferiti biss minn indirizz għal ieħor, l-ebda bidla, biss l-ammont speċifiku li speċifikajt. Fi kliem ieħor, dan mhuwiex mudell ta 'outputs mhux minfuqa (UTXO), iżda mudell ta' kontijiet u bilanċi korrispondenti. Huwa teoretikament possibbli li tibgħat diversi tokens differenti fi tranżazzjoni waħda f'daqqa jekk tikteb kuntratt intelliġenti għaqli, iżda xorta jkollok tagħmel ħafna tranżazzjonijiet, toħloq kuntratt, imbagħad ittrasferixxilu tokens u muniti, u mbagħad issejjaħ il-metodu xieraq. . Dan jeħtieġ sforz u ħin, għalhekk fil-prattika ma jaħdimx hekk u l-ħlasijiet kollha fl-Ethereum isiru fi tranżazzjonijiet separati.
— Waħda mill-miti dwar il-pjattaforma Ethereum hija li huwa impossibbli li jiġu deskritti kundizzjonijiet li se jiddependu fuq id-dejta ta 'riżors estern tal-Internet, allura x'għandek tagħmel?
Is-soluzzjoni hija li l-kuntratt intelliġenti innifsu jista 'jipprovdi wieħed jew aktar hekk imsejħa orakli fdati, li jiġbru data dwar l-istat tal-affarijiet fid-dinja ta' barra u jittrasmettuha lill-kuntratti intelliġenti permezz ta 'metodi speċjali. Il-kuntratt innifsu jqis id-dejta li rċieva mingħand partijiet fdati bħala vera. Għal affidabbiltà akbar, sempliċement agħżel grupp kbir ta 'orakli u timminimizza r-riskju tal-kollużjoni tagħhom. Il-kuntratt innifsu jista 'ma jqisx data minn orakli li jikkontradixxu l-maġġoranza.
Waħda mill-lectures tal-kors onlajn dwar Blockchain hija ddedikata għal dan is-suġġett - "".
Sors: www.habr.com