Муқаддима ба шартномаҳои интеллектуалӣ

Дар ин мақола мо дида мебароем, ки шартномаҳои интеллектуалӣ чист, онҳо чист, мо бо платформаҳои гуногуни шартномаи интеллектуалӣ, хусусиятҳои онҳо шинос мешавем ва инчунин муҳокима мекунем, ки онҳо чӣ гуна кор мекунанд ва чӣ гуна бартариҳо оварда метавонанд. Ин мавод барои хонандагоне, ки бо мавзӯи шартномаҳои интеллектуалӣ хуб ошно нестанд, вале мехоҳанд ба фаҳмидани он наздик шаванд, хеле муфид хоҳад буд.

Шартномаи муқаррарӣ против. шартномаи интеллектуалӣ

Пеш аз он ки мо тафсилотро омӯзем, биёед фарқияти байни шартномаи муқаррарӣ, ки дар коғаз нишон дода шудааст ва шартномаи интеллектуалӣ, ки ба таври рақамӣ муаррифӣ карда мешавад, мисол гирем.

Муқаддима ба шартномаҳои интеллектуалӣ

Ин пеш аз пайдоиши шартномаҳои интеллектуалӣ чӣ гуна кор мекард? Тасаввур кунед, ки гурўњи одамоне, ки мехоњанд ќоидаву шартњои муайяни таќсимоти арзишњоро муќаррар кунанд, инчунин механизми муайяни кафолати татбиќи ин таќсимро аз рўи ќоидаву шартњои додашуда муќаррар кунанд. Сипас онҳо ҷамъ омада, коғазеро тартиб медоданд, ки дар он тафсилоти мушаххаси худ, шартҳо, арзишҳои марбутро навиштанд, санаи онҳоро мегузоранд ва имзо мегузоранд. Ин шартнома инчунин аз ҷониби шахси боэътимод, ба монанди нотариус тасдиқ карда шудааст. Минбаъд ин одамон бо нусхаи коғазии чунин шартнома ба самтҳои гуногун рафтанд ва ба иҷрои баъзе амалҳое шурӯъ карданд, ки шояд ба худи шартнома мувофиқат накунанд, яъне як кореро анҷом додаанд, вале дар рӯи коғаз тасдиқ карда мешуд, ки бояд коре кунанд. тамоман дигар. Ва чӣ тавр аз ин вазъият баромадан мумкин аст? Дарвоқеъ, ба яке аз аъзои гурӯҳ лозим аст, ки ин коғазро бигирад, баъзе далелҳоро гирад, ба додгоҳ кашад ва ба мувофиқати байни шартнома ва амалҳои воқеӣ ноил шавад. Аксар вақт ба иҷрои одилонаи ин шартнома ноил шудан душвор аст, ки ин боиси оқибатҳои ногувор мегардад.

Дар бораи шартномаҳои интеллектуалӣ чӣ гуфтан мумкин аст? Онхо хам имконияти навиштани шартхои шартнома ва хам механизми ичрои катъии онхоро ба хам мепайванданд. Агар шартҳо муқаррар шуда бошанд ва муомила ё дархости дахлдор ба имзо расида бошад, пас аз қабули ин дархост ё муомилот дигар тағир додани шартҳо ё таъсир расонидан ба иҷрои онҳо имконнопазир аст.

Як валидатор ё тамоми шабака, инчунин пойгоҳи додаҳо мавҷуд аст, ки ҳама шартномаҳои интеллектуалиро, ки барои иҷро бо тартиби қатъии хронологӣ пешниҳод шудаанд, нигоҳ медорад. Инчунин муҳим аст, ки ин махзани маълумот бояд тамоми шартҳои триггерро барои иҷрои шартномаи интеллектуалӣ дошта бошад. Илова бар ин, он бояд худи арзишеро, ки тақсимоти он дар шартнома тавсиф шудааст, ба назар гирад. Агар ин ба баъзе асъори рақамӣ дахл дошта бошад, пас ин махзани маълумот бояд онро ба инобат гирад.

Ба ибораи дигар, валидаторҳои шартномаи интеллектуалӣ бояд ба ҳама маълумоте, ки шартномаи интеллектуалӣ кор мекунад, дастрасӣ дошта бошанд. Масалан, як пойгоҳи додаҳо бояд барои ҳамзамон ба ҳисоб гирифтани асъорҳои рақамӣ, тавозуни корбарон, муомилоти корбарон ва тамғаҳои вақт истифода шавад. Сипас, дар як шартномаи оқилона, шарт метавонад тавозуни корбар бо асъори муайян, фарорасии вақти муайян ё далели анҷом додани амалиёти муайян бошад, аммо чизи дигар.

Таърифи шартномаи интеллектуалӣ

Умуман, худи истилоҳот аз ҷониби муҳаққиқ Ник Сабо таҳия шудааст ва бори аввал соли 1994 истифода шудааст ва дар соли 1997 дар мақолае ҳуҷҷатгузорӣ шудааст, ки идеяи шартномаҳои интеллектуалиро тавсиф мекунад.

Шартномаҳои интеллектуалӣ маънои онро доранд, ки баъзе автоматизатсияи тақсимоти арзиш иҷро карда мешавад, ки танҳо аз он шартҳое, ки пешакӣ муайян карда шудаанд, вобаста аст. Дар шакли оддитарини худ, он ба шартномаи дорои шартҳои қатъии муайяншуда монанд аст, ки аз ҷониби баъзе ҷонибҳо имзо карда мешавад.

Шартномаҳои оқилона барои кам кардани эътимод ба шахсони сеюм тарҳрезӣ шудаанд. Баъзан маркази тасмимгирие, ки ҳама чиз ба он вобаста аст, комилан хориҷ карда мешавад. Илова бар ин, тафтиши чунин шартномаҳо осонтар аст. Ин натиҷаи баъзе хусусиятҳои тарроҳии чунин система аст, аммо аксар вақт мо тавассути шартномаи оқилона муҳити ғайримарказонидашуда ва мавҷудияти функсияҳоеро дарк мекунем, ки ба ҳар кас имкон медиҳад, ки пойгоҳи додаҳоро таҳлил кунад ва аудити пурраи иҷрои шартномаҳоро гузаронад. Ин муҳофизатро аз тағироти бозгашти маълумот, ки боиси тағирот дар иҷрои худи шартнома мегардад, таъмин мекунад. Рақамсозии аксари равандҳо ҳангоми эҷод ва оғози шартномаи интеллектуалӣ аксар вақт технология ва арзиши татбиқи онҳоро содда мекунад.

Мисоли оддӣ - Хадамоти Escrow

Биёед як мисоли хеле соддаро дида бароем. Он ба шумо кӯмак мекунад, ки ба фаҳмидани функсияҳои шартномаҳои интеллектуалӣ наздик шавед ва инчунин дарк кунед, ки дар кадом ҳолатҳо онҳо бояд истифода шаванд.

Муқаддима ба шартномаҳои интеллектуалӣ

Онро инчунин бо истифода аз Bitcoin амалӣ кардан мумкин аст, гарчанде ки ҳоло Биткоинро платформаи мукаммал барои шартномаҳои интеллектуалӣ номидан душвор аст. Ҳамин тавр, мо як харидор дорем ва мағозаи онлайн дорем. Муштарӣ мехоҳад аз ин мағоза монитор бихарад. Дар соддатарин ҳолат, харидор пардохтро анҷом медиҳад ва мефиристад ва мағозаи онлайн онро қабул мекунад, онро тасдиқ мекунад ва сипас молро мефиристад. Бо вуҷуди ин, дар ин вазъият эътимоди бузург лозим аст - харидор бояд ба мағозаи онлайн барои тамоми арзиши монитор эътимод кунад. Азбаски мағозаи интернетӣ метавонад дар назари харидор обрӯи паст дошта бошад, хатари он вуҷуд дорад, ки бо баъзе сабабҳо пас аз қабули пардохт, мағоза аз хидмат даст кашад ва молро ба харидор нафиристад. Аз ин рӯ, харидор савол медиҳад (ва мутаносибан, мағозаи онлайн ин саволро медиҳад), ки дар ин ҳолат чӣ кор кардан мумкин аст, то ин хатарҳоро кам кунад ва чунин транзаксияҳоро боэътимодтар кунад.

Дар мавриди биткоин имкон додан мумкин аст, ки ба харидор ва фурӯшанда мустақилона миёнаравро интихоб кунанд. Бисьёр одамоне хастанд, ки дар халли масъалахои бахснок иштирок доранд. Ва иштирокчиёни мо метавонанд аз рӯйхати умумии миёнаравҳо миёнараверо интихоб кунанд, ки ба онҳо эътимод доранд. Якҷоя онҳо 2 аз 3 суроғаи бисёримзоӣ эҷод мекунанд, ки дар он се калид мавҷуд аст ва барои харҷ кардани тангаҳо аз он суроға ду имзо бо ҳама ду калид лозим аст. Як калид ба харидор, дуюм ба мағозаи онлайн ва сеюм ба миёнарав тааллуқ дорад. Ва ба чунин суроғаи бисёримзоӣ харидор маблағи заруриро барои пардохти монитор мефиристад. Ҳоло, вақте фурӯшанда мебинад, ки пул дар суроғаи бисёримзоӣ, ки аз ӯ вобаста аст, барои муддате баста шудааст, вай метавонад мониторро бехатар тавассути почта фиристад.

Сипас, харидор бастаро мегирад, молро тафтиш мекунад ва дар бораи хариди ниҳоӣ қарор қабул мекунад. Вай метавонад аз хидмати пешниҳодшуда комилан розӣ бошад ва бо калиди худ муомилотро имзо кунад, ки дар он тангаҳоро аз суроғаи бисёримзо ба фурӯшанда интиқол медиҳад ё аз чизе норозигӣ мекунад. Дар ҳолати дуюм, ӯ бо миёнарав тамос мегирад, то як амалиёти алтернативӣ, ки ин тангаҳоро ба таври гуногун тақсим мекунад, ҷамъ кунад.

Фарз мекунем, ки монитор каме харошида омад ва маҷмӯа сими пайвастшавӣ ба компютерро дар бар намегирад, гарчанде дар вебсайти мағозаи онлайн гуфта шудааст, ки кабел бояд ба маҷмӯа дохил карда шавад. Сипас харидор далелҳои заруриро ҷамъоварӣ мекунад, то ба миёнарав исбот кунад, ки ӯ дар ин вазъият фиреб дода шудааст: скриншотҳои сайтро мегирад, квитансияи почтаро акс мегирад, харошидаҳоро дар монитор акс мегирад ва нишон медиҳад, ки мӯҳр канда шуда, сими он канда шуд. Дар навбати худ, мағозаи интернетӣ далелҳои худро ҷамъоварӣ намуда, ба миёнарав интиқол медиҳад.

Миёнарав манфиатдор аст, ки ҳамзамон хашми харидор ва манфиатҳои мағозаи онлайнро қонеъ гардонад (чаро баъдтар маълум мешавад). Ин муомилотест, ки дар он тангаҳо аз суроғаи бисёримзо ба андозаи муайян байни харидор, мағозаи онлайн ва миёнарав сарф карда мешаванд, зеро ӯ як қисми худро ҳамчун мукофот барои кори худ мегирад. Фарз мекунем, ки 90% маблағи умумӣ ба фурӯшанда, 5% ба миёнарав ва 5% ҷуброн ба харидор меравад. Миёнарав ин муомилотро бо калиди худ имзо мекунад, аммо онро ҳоло татбиқ кардан мумкин нест, зеро он ду имзоро талаб мекунад, аммо танҳо як имзо арзиш дорад. Вай чунин муомилотро ҳам ба харидор ва ҳам ба фурӯшанда мефиристад. Агар ақаллан яке аз онҳо бо ин хосият барои азнавтақсимкунии тангаҳо қаноатманд бошад, пас муомилот пешакӣ имзо карда мешавад ва ба шабака тақсим карда мешавад. Барои тасдиқи он кифоя аст, ки яке аз тарафҳои муомилот бо интихоби миёнарав розӣ бошад.

Дар аввал интихоб кардани миёнарав муҳим аст, то ҳарду иштирокчӣ ба ӯ бовар кунанд. Дар ин сурат вай ба манфиати ин ё он тараф мустакилона амал карда, ба вазъият объективона бахо медихад. Агар миёнарав имкони паҳн кардани тангаҳои ҳадди ақал як иштирокчӣ қонеъ гардонад, пешниҳод накунад, пас ҳам харидор ва ҳам мағозаи онлайн метавонанд бо гузоштани ду имзои худ тангаҳоро ба суроғаи нави бисёримзо фиристанд. Суроғаи нави бисёримзоӣ бо миёнарави дигар тартиб дода мешавад, ки метавонад дар ин масъала салоҳиятдортар бошад ва интихоби беҳтареро пешниҳод кунад.

Мисол бо хобгох ва яхдон

Биёед мисоли мураккабтареро бубинем, ки қобилиятҳои шартномаи интеллектуалиро равшантар нишон медиҳад.

Муқаддима ба шартномаҳои интеллектуалӣ

Фарз мекунем, ки се бача ҳастанд, ки ба наздикӣ ба як хобгоҳ кӯчиданд. Се нафари онҳо ба харидани яхдон барои ҳуҷраи худ таваҷҷӯҳ доранд, ки якҷоя истифода баранд. Яке аз онҳо ихтиёран маблағи заруриро ҷамъоварӣ кард, то яхдон харад ва бо фурӯшанда гуфтушунид кунад. Аммо онхо ба наздикй бо хам вохурданд ва дар байни онхо боварии кифоя нест. Аён аст, ки ду нафарашон ба сеюмй пул дода таваккал мекунанд. Илова бар ин, онҳо бояд дар интихоби фурӯшанда созиш ба даст оранд.

Онҳо метавонанд аз хидмати эскроу истифода баранд, яъне миёнараверо интихоб кунанд, ки иҷрои муомилотро назорат кунад ва дар сурати ба миён омадани масъалаҳои баҳснокро ҳал кунад. Сипас, бо мувофиқа, онҳо шартномаи оқилона тартиб медиҳанд ва дар он шартҳои муайянро муқаррар мекунанд.

Шарти аввал ин аст, ки пеш аз вақти муайян, масалан, дар давоми як ҳафта, ҳисоби мувофиқаи шартномаи интеллектуалӣ бояд аз суроғаҳои муайян барои маблағи муайян се пардохт гирад. Агар ин рӯй надиҳад, шартномаи интеллектуалӣ иҷроишро қатъ мекунад ва тангаҳоро ба ҳамаи иштирокчиён бармегардонад. Агар шарт иҷро шавад, он гоҳ арзишҳои идентификаторҳои фурӯшанда ва миёнарав муқаррар карда мешаванд ва шарт тафтиш карда мешавад, ки ҳамаи иштирокчиён бо интихоби фурӯшанда ва миёнарав розӣ ҳастанд. Вакте ки хамаи шартхо ба чо оварда мешаванд, маблагхо ба адресхои нишон додашуда гузаронда мешаванд. Ин равиш метавонад иштирокчиёнро аз қаллобӣ аз ҳар тараф муҳофизат кунад ва умуман зарурати эътимодро аз байн мебарад.

Мо дар ин мисол худи принсипро мебинем, ки ин қобилияти қадам ба қадам муқаррар кардани параметрҳо барои иҷрои ҳар як шарт ба шумо имкон медиҳад, ки системаҳои ҳама гуна мураккабӣ ва умқи сатҳҳои лонаро эҷод кунед. Илова бар ин, шумо метавонед аввал шарти аввалро дар шартномаи интеллектуалӣ муайян кунед ва танҳо пас аз иҷрои он шумо метавонед параметрҳоро барои ҳолати оянда муқаррар кунед. Ба ибораи дигар, шарт ба таври расмӣ навишта шудааст ва параметрҳои онро аллакай ҳангоми кори он муқаррар кардан мумкин аст.

Таснифи шартномаҳои интеллектуалӣ

Барои тасниф, шумо метавонед гурӯҳҳои гуногуни меъёрҳоро муқаррар кунед. Бо вуҷуди ин, дар лаҳзаи рушди технология чортои онҳо мувофиқанд.

Шартномаҳои оқилона метавонанд аз рӯи муҳити иҷрои онҳо фарқ кунанд, ки метавонанд мутамарказ ё ғайримарказонида шаванд. Дар ҳолати ғайримарказизатсия, мо ҳангоми иҷрои шартномаҳои оқилона мустақилияти бештар ва таҳаммулпазирии хатоҳо дорем.

Онҳоро инчунин бо раванди муқаррар кардан ва иҷрои шартҳо фарқ кардан мумкин аст: онҳо метавонанд озодона барномарезӣ карда шаванд, маҳдуд ё пешакӣ муайян карда шаванд, яъне ба таври қатъӣ чоп карда шаванд. Вақте ки дар платформаи шартномаи интеллектуалӣ танҳо 4 шартномаи мушаххаси интеллектуалӣ мавҷуд аст, параметрҳоро барои онҳо бо ҳар роҳ муқаррар кардан мумкин аст. Мувофиқи он, муқаррар кардани онҳо хеле осонтар аст: мо аз рӯйхат шартнома интихоб мекунем ва параметрҳоро мегузарем.

Тибқи усули оғозёбӣ, шартномаҳои интеллектуалии автоматикунонидашуда мавҷуданд, яъне ҳангоми ба вуҷуд омадани шартҳои муайян, онҳо худсарона иҷро мешаванд ва шартномаҳое ҳастанд, ки дар онҳо шартҳо муайян карда шудаанд, аммо платформа иҷрои онҳоро ба таври худкор тафтиш намекунад; барои ин онҳо алохида шуруъ кардан лозим аст.

Илова бар ин, шартномаҳои интеллектуалӣ дар сатҳи махфияти худ фарқ мекунанд. Онҳо метавонанд комилан кушода, қисман ё комилан махфӣ бошанд. Охирин маънои онро дорад, ки нозирони тарафи сеюм шартҳои шартномаҳои оқилонаро намебинанд. Бо вуҷуди ин, мавзӯи махфият хеле васеъ аст ва беҳтар аст, ки онро аз мақолаи кунунӣ алоҳида баррасӣ кунед.

Дар зер мо се меъёри аввалро бодиққат дида мебароем, то ба фаҳмиши мавзӯи ҷорӣ возеҳи бештар оварем.

Шартномаҳои оқилона аз рӯи вақти корӣ

Муқаддима ба шартномаҳои интеллектуалӣ

Дар асоси муҳити иҷро, фарқият байни платформаҳои шартномавии интеллектуалии мутамарказ ва ғайримарказонидашуда дода мешавад. Дар мавриди шартномаҳои рақамии мутамарказ, хидмати ягона истифода мешавад, ки дар он танҳо як валидатор мавҷуд аст ва метавонад хидмати эҳтиётӣ ва барқарорсозӣ мавҷуд бошад, ки он низ мутамарказ идора карда мешавад. Як пойгоҳи додаҳо мавҷуд аст, ки тамоми маълумоти заруриро барои муқаррар кардани шартҳои шартномаи интеллектуалӣ нигоҳ медорад ва арзиши он дар ин махзани хидматрасонӣ ба инобат гирифта мешавад. Чунин хадамоти мутамарказ муштарӣ дорад, ки бо дархостҳои муайян шарт мегузорад ва аз чунин шартномаҳо истифода мебарад. Аз сабаби хусусияти мутамаркази платформа, механизмҳои аутентификатсия нисбат ба cryptocurrencies камтар бехатар буда метавонанд.

Ба сифати мисол, мо метавонем провайдерҳои алоқаи мобилиро гирем (операторҳои гуногуни мобилӣ). Фарз мекунем, ки оператори муайян дар серверҳои худ сабти мутамаркази трафикро нигоҳ медорад, ки метавонад дар форматҳои гуногун интиқол дода шавад, масалан: дар шакли зангҳои овозӣ, интиқоли SMS, трафики интернети мобилӣ ва тибқи стандартҳои гуногун, инчунин баҳисобгирӣ маблағҳо дар бақияи истифодабарандагон. Мувофиқи он, провайдери алоқаи мобилӣ метавонад барои баҳисобгирии хизматрасониҳои пешниҳодшуда ва пардохти онҳо бо шартҳои гуногун шартнома банданд. Дар ин ҳолат шартҳо гузоштан осон аст, аз қабили “СМС бо фалон код ба фалон рақам фиристед ва шумо фалон шартҳои тақсими трафикро мегиред”.

Як мисоли дигарро метавон мисол овард: бонкҳои анъанавӣ бо функсияҳои васеътари интернет-банкинг ва шартномаҳои хеле содда, аз қабили пардохтҳои мунтазам, табдили автоматии пардохтҳои воридотӣ, тарҳи автоматии фоизҳо ба суратҳисоби муайян ва ғайра.

Агар мо дар бораи шартномаҳои оқилона бо муҳити ғайримутамаркази иҷро сухан ронем, пас мо як гурӯҳи валидаторҳо дорем. Идеалӣ, ҳар кас метавонад валидатор шавад. Бо сабаби протоколи ҳамоҳангсозии пойгоҳи додаҳо ва ба даст овардани консенсус, мо як пойгоҳи додаи умумие дорем, ки ҳоло ҳама транзаксияҳоро бо шартномаҳои ба таври қатъӣ тавсифшуда нигоҳ медоранд, на баъзе дархостҳои шартӣ, ки форматҳои онҳо аксар вақт тағир меёбанд ва мушаххасоти кушода вуҷуд надорад. Дар ин ҷо, муомилот дастурҳо оид ба иҷрои шартномаро тибқи мушаххасоти қатъӣ дар бар мегиранд. Ин мушаххасот кушода аст ва аз ин рӯ, худи корбарони платформа метавонанд шартномаҳои интеллектуалиро тафтиш ва тасдиқ кунанд. Дар ин ҷо мо мебинем, ки платформаҳои ғайримарказӣ аз нуқтаи назари мустақилият ва таҳаммулпазирии хатогиҳо аз платформаҳои мутамарказ бартарӣ доранд, аммо тарҳрезӣ ва нигоҳдории онҳо хеле мураккабтаранд.

Шартномаҳои оқилона бо усули муқаррар ва иҷрои шартҳо

Акнун биёед бодиққат бубинем, ки чӣ гуна шартномаҳои оқилона метавонанд бо тарзи муқаррар ва иҷрои шартҳо фарқ кунанд. Дар ин ҷо мо диққати худро ба шартномаҳои интеллектуалӣ меорем, ки ба таври тасодуфӣ барномарезӣ мешаванд ва Тюринг пурра карда мешаванд. Шартномаи интеллектуалии пурраи Тюринг ба шумо имкон медиҳад, ки қариб ҳама алгоритмҳоро ҳамчун шарти иҷрои шартнома муқаррар кунед: давраҳои навиштан, баъзе функсияҳо барои ҳисоб кардани эҳтимолият ва монанди инҳо то алгоритмҳои имзои электронии худ. Дар ин маврид мо дар хакикат худсарона навиштани мантикро дар назар дорем.

Инчунин шартномаҳои оқилонаи худсарона мавҷуданд, аммо шартномаҳои пурраи Тюринг нестанд. Ба ин Bitcoin ва Litecoin бо скрипти худ дохил мешаванд. Ин маънои онро дорад, ки шумо метавонед танҳо амалҳои муайянро бо дилхоҳ тартиб истифода баред, аммо шумо дигар ҳалқаҳо ва алгоритмҳои шахсии худро навишта наметавонед.

Илова бар ин, платформаҳои шартномаи интеллектуалӣ мавҷуданд, ки шартномаҳои пешакӣ муайяншудаи интеллектуалиро амалӣ мекунанд. Ба онҳо Bitshares ва Steemit дохил мешаванд. Bitshares дорои як қатор шартномаҳои интеллектуалӣ барои савдо, идоракунии ҳисоб, идоракунии худи платформа ва параметрҳои он мебошад. Steemit як платформаи шабеҳ аст, аммо он дигар на ба барориши токенҳо ва савдо, ба монанди Bitshares, балки ба блоггинг нигаронида шудааст, яъне он мундариҷаро ба таври ғайримарказӣ нигоҳ медорад ва коркард мекунад.

Шартномаҳои худсаронаи Тюринг дорои платформаи Ethereum ва RootStock мебошанд, ки ҳоло ҳам дар ҳоли таҳия аст. Аз ин рӯ, дар зер мо дар бораи платформаи шартномаи интеллектуалии Ethereum каме муфассалтар сӯҳбат хоҳем кард.

Шартномаҳои оқилона бо усули оғозёбӣ

Дар асоси усули оғозёбӣ, шартномаҳои оқилона низ метавонанд ҳадди аққал ба ду гурӯҳ тақсим карда шаванд: автоматӣ ва дастӣ (автоматӣ нашудаанд). Автоматикунонидашуда бо он тавсиф карда мешаванд, ки бо назардошти ҳама параметрҳо ва шартҳои маълум, шартномаи интеллектуалӣ пурра ба таври худкор иҷро карда мешавад, яъне фиристодани ягон амалиёти иловагӣ ва харҷ кардани комиссияи иловагӣ барои ҳар як иҷрои минбаъдаро талаб намекунад. Худи платформа тамоми маълумотро барои ҳисоб кардани шартномаи оқилона дорад. Мантиқ дар он ҷо худсарона нест, балки пешакӣ муайян шудааст ва ҳамаи ин пешгӯӣ аст. Яъне, шумо метавонед пешакӣ мураккабии иҷрои шартномаи оқилонаро ҳисоб кунед, барои он як намуди комиссияи доимиро истифода баред ва тамоми равандҳои татбиқи он самараноктаранд.

Барои шартномаҳои интеллектуалӣ, ки озодона барномарезӣ шудаанд, иҷро автоматӣ карда намешавад. Барои оғози чунин шартномаи оқилона, амалан дар ҳар як қадам ба шумо лозим аст, ки транзаксияи нав эҷод кунед, ки марҳилаи навбатии иҷро ё усули навбатии шартномаи интеллектуалиро даъват мекунад, комиссияи мувофиқро пардохт кунед ва тасдиқи транзаксияро интизор шавед. Иҷро метавонад бомуваффақият анҷом ёбад ё не, зеро рамзи шартномаи интеллектуалӣ худсарона аст ва баъзе лаҳзаҳои пешгӯинашаванда пайдо мешаванд, ба монанди ҳалқаи абадӣ, набудани баъзе параметрҳо ва далелҳо, истисноҳои коркарднашуда ва ғайра.

Ҳисобҳои Ethereum

Намудҳои ҳисоби Ethereum

Биёед бубинем, ки кадом намуди ҳисобҳо дар платформаи Ethereum вуҷуд доранд. Дар ин ҷо танҳо ду намуди ҳисоб мавҷуд аст ва дигар имконот вуҷуд надорад. Навъи якум ҳисоби корбар номида мешавад, дуюм ҳисоби шартномавӣ мебошад. Биёед бифаҳмем, ки онҳо чӣ гуна фарқ мекунанд.

Ҳисоби корбар танҳо бо калиди шахсии имзои электронӣ назорат карда мешавад. Соҳиби ҳисоб ҷуфти калиди худро барои имзои электронӣ бо истифода аз алгоритми ECDSA (Elliptic Curve Digital Signature Algorithm) тавлид мекунад. Танҳо амалиёти бо ин калид имзошуда метавонад ҳолати ин ҳисобро тағир диҳад.

Барои ҳисоби шартномаи интеллектуалӣ мантиқи алоҳида пешбинӣ шудааст. Онро танҳо тавассути коди нармафзори пешакӣ муайяншуда идора кардан мумкин аст, ки рафтори шартномаи интеллектуалиро комилан муайян мекунад: чӣ гуна он тангаҳои худро дар шароити муайян идора мекунад, бо ташаббуси кадом корбар ва дар кадом шароити иловагӣ ин тангаҳо тақсим карда мешаванд. Агар баъзе нуктаҳо аз ҷониби таҳиягарон дар коди барнома пешбинӣ нашуда бошанд, мушкилот метавонанд ба миён оянд. Масалан, шартномаи интеллектуалӣ метавонад ҳолати муайянеро гирад, ки дар он ҳеҷ як аз корбарон оғози иҷрои минбаъдаро қабул намекунад. Дар ин ҳолат, тангаҳо воқеан ях карда мешаванд, зеро шартномаи интеллектуалӣ барои баромадан аз ин ҳолат пешбинӣ нашудааст.

Чӣ тавр ҳисобҳо дар Ethereum сохта мешаванд

Дар мавриди ҳисоби корбар, соҳиби мустақилона бо истифода аз ECDSA ҷуфти калидӣ тавлид мекунад. Бояд қайд кард, ки Ethereum маҳз ҳамон алгоритм ва айнан ҳамон каҷи эллиптикиро барои имзоҳои электронӣ ҳамчун Bitcoin истифода мебарад, аммо суроға бо роҳи каме дигар ҳисоб карда мешавад. Дар ин ҷо, натиҷаи хэшингҳои дукарата, мисли Bitcoin, дигар истифода намешавад, аммо ҳашингии ягона бо функсияи Keccak дар дарозии 256 бит таъмин карда мешавад. Битҳои камтарин аз арзиши натиҷавӣ бурида мешаванд, яъне 160 битҳои камтарин аз арзиши hash баромад. Дар натиҷа, мо дар Ethereum суроға мегирем. Дар асл, он 20 байтро мегирад.

Лутфан таваҷҷӯҳ намоед, ки идентификатори ҳисоб дар Ethereum дар муқоиса бо Bitcoin ва бисёр системаҳои дигар, ки дар он суроға дар системаи рақамии пойгоҳи 58 бо иловаи маблағи чек рамзгузорӣ шудааст, бидуни истифодаи маблағи чек дар шонздаҳӣ рамзгузорӣ шудааст. Ин маънои онро дорад, ки шумо бояд ҳангоми кор бо идентификаторҳои ҳисоб дар Ethereum эҳтиёт бошед: ҳатто як хато дар идентификатор кафолат дода мешавад, ки ба гум шудани танга оварда расонад.

Хусусияти муҳим вуҷуд дорад ва он аст, ки ҳисоби корбар дар сатҳи умумии пойгоҳи додаҳо дар лаҳзаи қабули пардохти аввалини воридотӣ сохта мешавад.

Эҷоди ҳисоби шартномаи интеллектуалӣ муносибати комилан дигарро мегирад. Дар аввал, яке аз корбарон рамзи ибтидоии шартномаи интеллектуалиро менависад, ки пас аз он код тавассути компилятори махсус барои платформаи Ethereum интиқол дода мешавад ва байткод барои мошини виртуалии худ Ethereum мегирад. Байткоди натиҷавӣ дар майдони махсуси транзаксия ҷойгир карда мешавад. Он аз номи ҳисоби ташаббускор тасдиқ карда мешавад. Баъдан, ин транзаксия дар тамоми шабака паҳн карда мешавад ва рамзи шартномаи интеллектуалиро ҷойгир мекунад. Комиссия барои муомила ва мутаносибан иҷрои шартнома аз бақияи суратҳисоби ташаббускор гирифта мешавад.

Ҳар як шартномаи интеллектуалӣ ҳатман созандаи худро (аз ин шартнома) дар бар мегирад. Он метавонад холӣ бошад ё мундариҷа дошта бошад. Пас аз иҷрои созанда, идентификатори ҳисоби шартномаи интеллектуалӣ сохта мешавад, ки бо истифода аз он шумо метавонед тангаҳо фиристед, ба усулҳои муайяни шартномаи интеллектуалӣ занг занед ва ғайра.

Сохтори муомилоти Ethereum

Барои равшантар кардани он, мо ба баррасии сохтори транзаксияи Ethereum ва намунаи рамзи шартномаи интеллектуалӣ шурӯъ мекунем.

Муқаддима ба шартномаҳои интеллектуалӣ

Муомилоти Ethereum аз якчанд майдон иборат аст. Аввалин инҳо, ғайриимкон, рақами силсилавии муомилот нисбат ба худи суратҳисобест, ки онро паҳн мекунад ва муаллифи он мебошад. Ин барои фарк кардани муомилоти дукарата, яъне истисно кардани холати ду маротиба кабул шудани як амалиёт зарур аст. Бо истифода аз идентификатор, ҳар як транзаксия арзиши хеши беназир дорад.

Минбаъд майдоне ба мисли нархи газ. Ин нархеро нишон медиҳад, ки дар он асъори пойгоҳи Ethereum ба газ табдил дода мешавад, ки барои пардохт барои иҷрои шартномаи интеллектуалӣ ва ҷудо кардани захираи мошини виртуалӣ истифода мешавад. Ин чӣ маъно дорад?

Дар Bitcoin, пардохтҳо мустақиман аз ҷониби асъори асосӣ - худи Bitcoin пардохт карда мешаванд. Ин ба шарофати механизми оддии ҳисоб кардани онҳо имконпазир аст: мо ба таври қатъӣ барои миқдори маълумоте, ки дар транзаксия мавҷуд аст, пардохт мекунем. Дар Ethereum вазъият мураккабтар аст, зеро он хеле душвор аст, ки ба такя ба ҳаҷми маълумоти муомилот. Дар ин ҷо транзаксия инчунин метавонад дорои рамзи барномае бошад, ки дар мошини виртуалӣ иҷро карда мешавад ва ҳар як амалиёти мошини виртуалӣ метавонад мураккабии гуногун дошта бошад. Инчунин амалиётҳое мавҷуданд, ки хотираро барои тағирёбандаҳо ҷудо мекунанд. Онҳо мураккабии худро доранд, ки пардохти ҳар як амалиёт аз он вобаста хоҳад буд.

Арзиши ҳар як амалиёт бо эквиваленти газ доимӣ хоҳад буд. Он махсус барои муайян кардани арзиши доимии ҳар як амалиёт ҷорӣ карда шудааст. Вобаста ба сарбории шабака нархи газ тагйир меёбад, яъне коэффисиенте, ки мувофики он асъори базави ба ин вохиди ёрирасон барои пардохти комиссия табдил меёбад.

Боз як хусусияти транзаксия дар Ethereum вуҷуд дорад: байткоде, ки он барои иҷро дар мошини виртуалӣ дорад, то он даме иҷро карда мешавад, ки он бо ягон натиҷа (муваффақият ё нокомӣ) анҷом ёбад ё то он даме, ки миқдори муайяни тангаҳои ҷудошуда барои пардохти комиссия тамом нашавад. . Ин барои пешгирӣ кардани вазъияте, ки дар сурати ягон хатогӣ, ҳамаи тангаҳои ҳисоби ирсолкунанда ба комиссионӣ сарф карда мешаванд (масалан, як навъ давраи абадӣ дар мошини виртуалӣ оғоз ёфт), майдони зерин вуҷуд дорад - газро оғоз кунед (аксаран лимити газ номида мешавад) - он миқдори ниҳоии тангаҳоеро, ки ирсолкунанда барои анҷом додани амалиёти муайян сарф кардан мехоҳад, муайян мекунад.

Майдони оянда даъват карда мешавад суроғаи таъинот. Ин суроғаи гирандаи тангаҳо ё суроғаи шартномаи интеллектуалии мушаххасро дар бар мегирад, ки усулҳои онҳо даъват карда мешаванд. Пас аз он майдон меояд арзиши, ки дар он маблағи тангаҳо, ки ба суроғаи таъинот фиристода мешаванд, ворид карда мешавад.

Минбаъд як соҳаи ҷолиб номида мешавад маълумот, ки дар он тамоми структура мувофик аст. Ин майдони алоҳида нест, балки тамоми сохторест, ки дар он рамзи мошини виртуалӣ муайян карда шудааст. Шумо метавонед маълумоти худсаронаро дар ин ҷо ҷойгир кунед - барои ин қоидаҳои алоҳида мавҷуданд.

Ва майдони охирин номида мешавад соядаст. Он ҳамзамон имзои электронии муаллифи ин транзаксия ва калиди ҷамъиятиро дар бар мегирад, ки бо он имзои мазкур тасдиқ карда мешавад. Аз калиди ҷамъиятӣ шумо метавонед идентификатори ҳисоби ирсолкунандаи ин транзаксияро гиред, яъне ҳисоби ирсолкунандаро дар худи система ба таври ягона муайян кунед. Мо чизи асосиро дар бораи сохтори муомилот фаҳмидем.

Намунаи рамзи шартномаи интеллектуалӣ барои Solidity

Биёед ҳоло бо истифода аз мисол ба соддатарин шартномаи интеллектуалӣ назар андозем.

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);
    }
}

Дар боло рамзи сарчашмаи соддашуда мавҷуд аст, ки метавонад тангаҳои корбаронро нигоҳ дорад ва онҳоро мувофиқи дархост баргардонад.

Ҳамин тариқ, як шартномаи интеллектуалии Бонк вуҷуд дорад, ки вазифаҳои зеринро иҷро мекунад: дар тавозуни худ тангаҳо ҷамъ мекунад, яъне ҳангоми тасдиқи транзаксия ва ҷойгир кардани чунин шартномаи интеллектуалӣ ҳисоби нав таъсис дода мешавад, ки метавонад дар тавозуни он тангаҳо дошта бошад; он истифодабарандагон ва тақсимоти тангаҳои байни онҳо ба ёд меорад; дорои якчанд усулҳои идоракунии тавозун аст, яъне имкони пур кардан, гирифтани тавозуни корбар ва тафтиш кардан мумкин аст.

Биёед ҳар як сатри рамзи сарчашмаро аз назар гузаронем. Ин шартнома майдонхои доимй дорад. Яке аз онҳо, бо суроғаи навъи, соҳиби номида мешавад. Дар ин ҷо шартнома суроғаи корбареро, ки ин шартномаи оқилона сохтааст, ба ёд меорад. Ғайр аз он, сохтори динамикӣ мавҷуд аст, ки мукотибаи байни суроғаҳои корбарон ва тавозунро нигоҳ медорад.

Пас аз ин усули бонкӣ - он бо шартнома ном дорад. Бинобар ин, ин созандаи он аст. Дар ин ҷо ба тағирёбандаи соҳиб суроғаи шахсе таъин карда мешавад, ки ин шартномаи интеллектуалиро дар шабака ҷойгир кардааст. Ин ягона чизест, ки дар ин созанда рӯй медиҳад. Яъне, msg дар ин ҳолат маҳз маълумотест, ки ба мошини виртуалӣ дар якҷоягӣ бо транзаксия, ки тамоми рамзи ин шартномаро дар бар мегирад, интиқол дода шудааст. Мувофиқи он, msg.sender муаллифи ин транзаксия мебошад, ки ин кодро дарбар мегирад. Вай соҳиби шартномаи интеллектуалӣ хоҳад буд.

Усули амонат ба шумо имкон медиҳад, ки миқдори муайяни тангаҳоро ба ҳисоби шартномавӣ тавассути транзаксия интиқол диҳед. Дар ин ҳолат, шартномаи интеллектуалӣ, ки ин тангаҳо мегирад, онҳоро дар тавозуни худ мегузорад, аммо дар сохтори тавозун сабт мекунад, ки фиристандаи ин тангаҳо маҳз кӣ буд, то бидонад, ки онҳо ба кӣ тааллуқ доранд.

Усули навбатӣ бозхонд номида мешавад ва он як параметрро мегирад - маблағи тангаҳо, ки касе мехоҳад аз ин бонк бозпас гирад. Ин тафтиш мекунад, ки оё дар тавозуни корбаре, ки ин усулро барои фиристодани онҳо даъват мекунад, тангаҳои кофӣ вуҷуд дорад. Агар шумораи онҳо кофӣ бошад, пас худи шартномаи интеллектуалӣ ин миқдори тангаҳоро ба зангзананда бармегардонад.

Минбаъд усули тафтиши тавозуни ҷории корбар меояд. Ҳар касе, ки ин усулро даъват мекунад, барои гирифтани ин тавозуни шартномаи интеллектуалӣ истифода мешавад. Бояд қайд кард, ки тағирдиҳандаи ин усул намуди зоҳирӣ мебошад. Ин маънои онро дорад, ки худи усул тағирёбандаҳои синфи худро ба ҳеҷ ваҷҳ тағир намедиҳад ва он дар асл танҳо усули хондан аст. Барои занг задан ба ин усул ягон транзаксияи алоҳида эҷод карда намешавад, ҳеҷ гуна пардохт пардохт карда намешавад ва ҳама ҳисобҳо ба таври маҳаллӣ анҷом дода мешаванд, ки пас аз он корбар натиҷаро мегирад.

Усули куштор барои нест кардани ҳолати шартномаи интеллектуалӣ лозим аст. Ва дар ин ҷо санҷиши иловагӣ вуҷуд дорад, ки оё зангзанандаи ин усул соҳиби ин шартнома аст. Агар ин тавр бошад, пас шартнома худкушӣ мекунад ва функсияи нобудкунӣ як параметрро мегирад - идентификатори ҳисоб, ки ба он шартнома ҳамаи тангаҳои дар тавозуни худ боқӣ мондаро мефиристад. Дар ин ҳолат, тангаҳои боқимонда ба таври худкор ба суроғаи соҳиби шартнома мераванд.

Гиреҳи пурра дар шабакаи Ethereum чӣ гуна кор мекунад?

Биёед ба таври схематикӣ бубинем, ки чӣ гуна чунин шартномаҳои оқилона дар платформаи Ethereum иҷро мешаванд ва чӣ гуна гиреҳи пурраи шабака кор мекунад.

Муқаддима ба шартномаҳои интеллектуалӣ

Як гиреҳи пурра дар шабакаи Ethereum бояд ҳадди аққал чаҳор модул дошта бошад.
Якум, ба монанди ҳама гуна протоколҳои ғайримарказонидашуда, модули шабакавии P2P - модул барои пайвастшавӣ ба шабака ва кор бо гиреҳҳои дигар, ки дар он блокҳо, транзаксияҳо ва иттилоот дар бораи гиреҳҳои дигар мубодила мешаванд. Ин як ҷузъи анъанавӣ барои ҳама cryptocurrencies ғайримарказӣ мебошад.

Минбаъд, мо модул барои нигоҳ доштани маълумоти blockchain, коркард, интихоби филиали афзалиятнок, илова кардани блокҳо, ҷудо кардани блокҳо, тасдиқи ин блокҳо ва ғайра дорем.

Модули сеюм EVM (машинаи виртуалии Ethereum) номида мешавад - ин мошини маҷозӣ мебошад, ки аз транзаксияҳои Ethereum байт код мегирад. Ин модул ҳолати кунунии ҳисоби мушаххасро мегирад ва дар асоси байткоди гирифташуда ба ҳолати он тағйирот ворид мекунад. Версияи мошини виртуалӣ дар ҳар як гиреҳи шабака бояд якхела бошад. Ҳисобҳое, ки дар ҳар як гиреҳи Ethereum сурат мегиранд, комилан якхелаанд, аммо онҳо ба таври асинхронӣ ба амал меоянд: касе ин транзаксияро пештар тафтиш ва қабул мекунад, яъне ҳама рамзи дар он мавҷудбударо иҷро мекунад ва касе баъдтар. Мутаносибан, вақте ки транзаксия сохта мешавад, он ба шабака тақсим карда мешавад, гиреҳҳо онро қабул мекунанд ва дар вақти санҷиш, ҳамон тавре ки Bitcoin Script дар Bitcoin иҷро мешавад, байткоди мошини виртуалӣ дар ин ҷо иҷро карда мешавад.

Амалиёт санҷидашуда ҳисобида мешавад, ки агар тамоми рамзи дар он мавҷудбуда иҷро шуда бошад, ҳолати нави ҳисоби муайян тавлид ва нигоҳ дошта шуда бошад, то маълум шавад, ки ин транзаксия татбиқ шудааст ё не. Агар муомила татбиқ карда шавад, пас ин ҳолат на танҳо анҷомёфта, балки ҷорӣ низ ҳисобида мешавад. Пойгоҳи додаҳо мавҷуд аст, ки ҳолати ҳар як ҳисобро барои ҳар як гиреҳи шабака нигоҳ медорад. Аз сабаби он, ки ҳама ҳисобҳо як хел сурат мегиранд ва ҳолати blockchain якхела аст, пойгоҳи додаҳо, ки ҳолати ҳамаи ҳисобҳоро дар бар мегирад, барои ҳар як гиреҳ якхела хоҳад буд.

Мифҳо ва маҳдудиятҳои шартномаҳои интеллектуалӣ

Дар мавриди маҳдудиятҳое, ки барои платформаҳои шартномавии интеллектуалии шабеҳ ба Ethereum мавҷуданд, инҳоро метавон ном бурд:

  • иҷрои код;
  • ҷудо кардани хотира;
  • маълумоти blockchain;
  • фиристодани пардохтҳо;
  • бастани шартномаи нав;
  • дигар шартномаҳоро даъват кунед.

Биёед ба маҳдудиятҳое, ки ба мошини маҷозӣ гузошта шудаанд, бубинем ва мувофиқан баъзе афсонаҳоро дар бораи шартномаҳои интеллектуалӣ барҳам диҳед. Дар мошини маҷозӣ, ки метавонад на танҳо дар Ethereum, балки дар платформаҳои шабеҳ бошад, шумо метавонед амалҳои мантиқии худсарона иҷро кунед, яъне код нависед ва он дар он ҷо иҷро карда мешавад, шумо метавонед ба таври иловагӣ хотира ҷудо кунед. Бо вуҷуди ин, пардохт барои ҳар як амалиёт ва барои ҳар як воҳиди иловагии хотира ҷудо карда мешавад.

Баъдан, мошини маҷозӣ метавонад маълумотро аз пойгоҳи додаҳои blockchain хонад, то ин маълумотро ҳамчун триггер барои иҷрои ин ё он мантиқи шартномаи интеллектуалӣ истифода барад. Мошини виртуалӣ метавонад транзаксияҳоро эҷод ва ирсол кунад, он метавонад шартномаҳои нав созад ва усулҳои занги дигар шартномаҳои интеллектуалӣ, ки аллакай дар шабака нашр шудаанд: мавҷуда, дастрас ва ғайра.

Афсонаҳои маъмултарин ин аст, ки шартномаҳои интеллектуалии Ethereum метавонанд маълумотро аз ҳама гуна манбаи интернетӣ бо шартҳои худ истифода баранд. Ҳақиқат ин аст, ки як мошини виртуалӣ наметавонад дархости шабакаро ба ягон манбаи иттилоотии беруна дар Интернет фиристад, яъне навиштани шартномаи оқилонае, ки арзишро байни корбарон вобаста ба он, масалан, дар берун чӣ гуна аст, тақсим кардан ғайриимкон аст. ё ки дар ягон чемпионат ғолиб омад, ё дар асоси чӣ ҳодисаи дигар дар ҷаҳони беруна рух дод, зеро маълумот дар бораи ин ҳодисаҳо танҳо дар базаи худи платформа нест. Яъне, дар blockchain дар ин бора чизе нест. Агар он дар он ҷо пайдо нашавад, мошини виртуалӣ наметавонад ин маълумотро ҳамчун триггер истифода барад.

Камбудиҳои Ethereum

Биёед, асосиро номбар кунем. Камбудии аввал ин аст, ки дар тарҳрезӣ, таҳия ва озмоиши шартномаҳои интеллектуалӣ дар Ethereum баъзе мушкилот вуҷуд доранд (Ethereum барои навиштани шартномаҳои интеллектуалӣ забони Solidity-ро истифода мебарад). Дарвоқеъ, амалия нишон медиҳад, ки фоизи хеле зиёди ҳамаи хатогиҳо ба омили инсонӣ тааллуқ доранд. Ин воқеан барои шартномаҳои интеллектуалии Ethereum навишташуда, ки мураккабии миёна ё баландтар доранд, дуруст аст. Агар барои шартномаҳои оддии интеллектуалӣ эҳтимолияти хато кам бошад, пас дар шартномаҳои мураккаби интеллектуалӣ аксар вақт хатогиҳо ба назар мерасанд, ки боиси дуздии маблағҳо, яхбандии онҳо, ба таври ғайричашмдошт нобуд шудани шартномаҳои интеллектуалӣ ва ғайра мешаванд. Бисёре аз чунин ҳолатҳо аллакай вуҷуд доранд. маълум.

Камбудии дуюм ин аст, ки худи мошини виртуалӣ комил нест, зеро онро одамон низ менависанд. Он метавонад фармонҳои ихтиёриро иҷро кунад ва осебпазирии он дар он аст: як қатор фармонҳоро ба таври муайян танзим кардан мумкин аст, ки ба оқибатҳои пешакӣ пешбинӣ нашудаанд. Ин як минтақаи хеле мураккаб аст, аммо аллакай якчанд тадқиқот мавҷуд аст, ки нишон медиҳанд, ки ин осебпазириҳо дар версияи кунунии шабакаи Ethereum вуҷуд доранд ва онҳо метавонанд ба шикасти бисёр шартномаҳои интеллектуалӣ оварда расонанд.

Боз як мушкилии калон, онро метавон камбудӣ ҳисоб кард. Ин дар он аст, ки шумо метавонед амалан ё техникӣ ба хулосае ояд, ки агар шумо байткоди шартномаро, ки дар мошини виртуалӣ иҷро карда мешавад, тартиб диҳед, шумо метавонед як қатор тартиби мушаххаси амалҳоро муайян кунед. Ҳангоми якҷоя иҷро кардан, ин амалиётҳо мошини виртуалиро ба таври назаррас бор мекунанд ва онро ба таври номутаносиб бо пардохте, ки барои иҷрои ин амалҳо пардохта шудааст, суст мекунанд.

Дар гузашта, аллакай даврае дар рушди Ethereum вуҷуд дошт, вақте ки бисёре аз бачаҳо, ки кори як мошини виртуалиро ба таври муфассал фаҳмиданд, чунин осебпазириро пайдо карданд. Дар асл, транзаксияҳо ҳаққи хеле кам пардохтанд, аммо амалан тамоми шабакаро суст карданд. Ҳалли ин мушкилот хеле душвор аст, зеро аввалан, муайян кардани онҳо, дуюм, танзим кардани нарх барои иҷрои ин амалҳо ва сеюм, анҷом додани форк, ки маънои навсозии ҳамаи гиреҳҳои шабакаро ба версияи нав дорад. нармафзор ва сипас ҳамзамон фаъолсозии ин тағйирот.

Дар мавриди Ethereum, тадқиқоти зиёде гузаронида шуд, таҷрибаи зиёди амалӣ ба даст оварда шудааст: ҳам мусбат ва ҳам манфӣ, аммо бо вуҷуди ин мушкилот ва осебпазириҳо боқӣ мемонанд, ки то ҳол бояд бо кадом роҳ ҳал карда шаванд.

Ҳамин тавр, қисми мавзӯии мақола ба итмом расид, биёед ба саволҳое, ки аксар вақт ба миён меоянд, мегузарем.

Саволҳои пурсидашуда

— Агар ҳамаи тарафҳои шартномаи мавҷудаи интеллектуалӣ мехоҳанд шартҳоро тағир диҳанд, оё онҳо метавонанд ин шартномаи интеллектуалиро бо истифода аз multisig бекор кунанд ва сипас бо шартҳои навшудаи иҷрои он шартномаи нави интеллектуалӣ эҷод кунанд?

Ҷавоб дар ин ҷо дучандон хоҳад буд. Чаро? Зеро аз як тараф, шартномаи интеллектуалӣ як маротиба муайян карда мешавад ва дигар ҳеҷ гуна тағйиротро дар назар надорад ва аз тарафи дигар, он метавонад мантиқи қаблан хаттӣ дошта бошад, ки тағйири пурра ё қисман баъзе шартҳоро пешбинӣ мекунад. Яъне, агар шумо хоҳед, ки чизеро дар шартномаи интеллектуалии худ тағир диҳед, пас шумо бояд шартҳоеро муқаррар кунед, ки дар он шумо ин шартҳоро навсозӣ карда метавонед. Мувофики он факат дар хамин гуна окилона нав кардани шартномаро ташкил кардан мумкин аст. Аммо дар ин ҷо низ шумо метавонед ба мушкилот дучор шавед: каме хато кунед ва осебпазирии мувофиқ ба даст оред. Аз ин рӯ, ин гуна чизҳо бояд хеле муфассал ва бодиққат тарҳрезӣ ва санҷида шаванд.

— Чӣ мешавад, агар миёнарав бо яке аз тарафҳои ширкаткунанда шартнома баста бошад: эскроу ё шартномаи смарт? Оё дар шартномаи интеллектуалӣ миёнарав лозим аст?

Дар шартномаи интеллектуалӣ миёнарав талаб карда намешавад. Шояд вуҷуд надошта бошад. Агар дар мавриди эскроу миёнарав бо яке аз тарафхо созиш кунад, пас бале, ин схема пас аз он тамоми арзиши худро якбора гум мекунад. Аз ин рӯ, миёнаравҳо тавре интихоб карда мешаванд, ки ба онҳо ҳама ҷонибҳои дар ин раванд иштирокдошта ҳамзамон эътимод доранд. Аз ин рӯ, шумо танҳо тангаҳоро ба суроғаи бисёримзоӣ бо миёнараве, ки шумо боварӣ надоред, интиқол намедиҳед.

— Оё бо як транзаксияи Ethereum имконпазир аст, ки токенҳои гуногунро аз суроғаи шумо ба суроғаҳои гуногуни мақсаднок интиқол диҳед, масалан, суроғаҳои табодули он, ки ин нишонаҳо савдо мешаванд?

Ин саволи хуб аст ва он ба модели муомилоти Ethereum дахл дорад ва он чӣ гуна аз модели Bitcoin фарқ мекунад. Ва тафовут радикалӣ аст. Агар дар модели транзаксияи Ethereum шумо тангаҳоро танҳо интиқол диҳед, пас онҳо танҳо аз як суроға ба суроғаи дигар интиқол дода мешаванд, тағир намеёбад, танҳо маблағи мушаххасе, ки шумо нишон додед. Ба ибораи дигар, ин модели натоиҷи истифоданашуда (UTXO) нест, балки модели ҳисобҳо ва бақияи мувофиқ мебошад. Аз ҷиҳати назариявӣ имконпазир аст, ки якбора якчанд аломатҳои гуногунро дар як транзаксия фиристед, агар шумо як шартномаи интеллектуалии маккорона нависед, аммо шумо ба ҳар ҳол лозим меояд, ки транзаксияҳои зиёде анҷом диҳед, шартнома созед, пас токенҳо ва тангаҳоро ба он интиқол диҳед ва сипас усули мувофиқро даъват кунед. . Ин саъю кӯшиш ва вақтро талаб мекунад, аз ин рӯ дар амал ин тавр кор намекунад ва ҳама пардохтҳо дар Ethereum дар амалиёти алоҳида анҷом дода мешаванд.

— Яке аз афсонаҳо дар бораи платформаи Ethereum ин аст, ки шартҳоеро тавсиф кардан ғайриимкон аст, ки аз маълумоти манбаи интернетии берунӣ вобаста хоҳанд буд, пас чӣ бояд кард?

Ҳалли он аст, ки худи шартномаи интеллектуалӣ метавонад як ё якчанд ба истилоҳ оракҳои боэътимодро таъмин кунад, ки маълумотро дар бораи ҳолати чизҳо дар ҷаҳони беруна ҷамъоварӣ мекунанд ва тавассути усулҳои махсус ба шартномаҳои интеллектуалӣ интиқол медиҳанд. Худи шартнома маълумотеро, ки аз шахсони боэътимод гирифта шудааст, дуруст мешуморад. Барои эътимоднокии бештар, танҳо як гурӯҳи калони ораклҳоро интихоб кунед ва хатари созиши онҳоро кам кунед. Худи шартнома метавонад маълумоти олиҷанобро, ки ба аксарият мухолифанд, ба назар нагирад.

Яке аз лексияҳои курси онлайн оид ба Blockchain ба ин мавзӯъ бахшида шудааст - "Муқаддима ба шартномаҳои интеллектуалӣ".

Манбаъ: will.com

Илова Эзоҳ