Вовед во паметни договори

Во оваа статија, ќе погледнеме што се паметни договори, што се тие, ќе се запознаеме со различни платформи за паметни договори, нивните карактеристики, а исто така ќе разговараме за тоа како функционираат и какви предности можат да донесат. Овој материјал ќе биде многу корисен за читателите кои не се добро запознаени со темата паметни договори, но сакаат да се доближат до разбирање.

Редовен договор vs. паметен договор

Пред да навлеземе во деталите, да земеме пример за разликите помеѓу обичниот договор, кој е наведен на хартија, и паметниот договор, кој е претставен дигитално.

Како функционираше ова пред појавата на паметните договори? Замислете група на луѓе кои сакаат да воспостават одредени правила и услови за распределба на вредностите, како и одреден механизам да гарантираат спроведување на оваа распределба според дадените правила и услови. Потоа ќе се соберат, ќе состават хартија на која ги запишуваат своите идентификациски податоци, термините, вредностите кои се вклучени, датираат со нив и да ги потпишат. Овој договор беше заверен и од доверлива страна, како што е нотар. Понатаму, овие луѓе со својата хартиена копија од таков договор тргнале во различни насоки и почнале да вршат некои дејствија кои можеби не одговараат на самиот договор, односно направиле едно, но на хартија било заверено дека треба да направат нешто. сосема поинаква. И како да се излезе од оваа ситуација? Всушност, еден од членовите на групата треба да го земе овој труд, да земе некои докази, да го однесе на суд и да постигне усогласеност помеѓу договорот и вистинските дејствија. Доста често, тешко е да се постигне правично спроведување на овој договор, што доведува до непријатни последици.

Што може да се каже за паметните договори? Тие ги комбинираат и можноста за пишување на условите на договорот и механизмот за нивно строго спроведување. Доколку условите се поставени и соодветната трансакција или барање е потпишана, тогаш штом тоа барање или трансакција е прифатено, веќе не е можно да се променат условите или да се влијае на нивното спроведување.

Има еден валидатор или цела мрежа, како и база на податоци што ги чува сите паметни договори кои биле доставени на извршување по строг хронолошки редослед. Исто така, важно е оваа база на податоци да ги содржи сите услови за активирање за извршување на паметниот договор. Дополнително, мора да ја земе предвид самата вредност чија дистрибуција е опишана во договорот. Ако ова се однесува на некоја дигитална валута, тогаш оваа база на податоци треба да ја земе предвид.

Со други зборови, валидаторите на паметни договори мора да имаат пристап до сите податоци на кои работи паметниот договор. На пример, треба да се користи единствена база на податоци за истовремено сметководство за дигитални валути, салда на корисници, кориснички трансакции и временски печати. Потоа, во паметниот договор, услов може да биде состојбата на корисникот во одредена валута, доаѓањето на одредено време или фактот дека одредена трансакција е извршена, но ништо повеќе.

Дефиниција за паметен договор

Општо земено, самата терминологија беше измислена од истражувачот Ник Сабо и првпат беше употребена во 1994 година, а беше документирана во 1997 година во статија која ја опишува самата идеја за паметни договори.

Паметните договори подразбираат дека се врши одредена автоматизација на распределбата на вредноста, која може да зависи само од оние услови кои се однапред одредени. Во својата наједноставна форма, изгледа како договор со строго дефинирани услови, кој е потпишан од одредени страни.

Паметните договори се дизајнирани да ја минимизираат довербата во трети страни. Понекогаш центарот за одлучување од кој зависи се е целосно исклучен. Покрај тоа, ваквите договори се полесни за ревизија. Ова е последица на некои дизајнерски карактеристики на таков систем, но најчесто со паметен договор разбираме децентрализирано опкружување и присуство на функции кои му овозможуваат на секој да ја анализира базата на податоци и да спроведе целосна ревизија на извршувањето на договорите. Ова обезбедува заштита од ретроактивни промени на податоците што би довело до промени во извршувањето на самиот договор. Дигитализацијата на повеќето процеси при креирање и лансирање на паметен договор често ја поедноставува технологијата и цената на нивната имплементација.

Едноставен пример - Зачувана услуга

Ајде да погледнеме многу едноставен пример. Тоа ќе ви помогне да се доближите до разбирање на функционалноста на паметните договори, како и подобро да разберете во кои случаи тие треба да се користат.

Може да се имплементира и со користење на Биткоин, иако токму сега Биткоинот сè уште тешко може да се нарече полноправна платформа за паметни договори. Значи, имаме некој купувач и имаме онлајн продавница. Еден клиент сака да купи монитор од оваа продавница. Во наједноставен случај, купувачот комплетира и испраќа плаќање, а онлајн продавницата ја прифаќа, ја потврдува и потоа ја испраќа стоката. Меѓутоа, во оваа ситуација има потреба од голема доверба - купувачот мора да и верува на онлајн продавницата за целата цена на мониторот. Бидејќи онлајн продавницата може да има низок углед во очите на купувачот, постои ризик дека поради некоја причина, по прифаќањето на плаќањето, продавницата ќе одбие услуга и нема да ја испрати стоката на купувачот. Затоа, купувачот го поставува прашањето (и, соодветно, онлајн продавницата го поставува ова прашање) што може да се примени во овој случај за да се минимизираат таквите ризици и да се направат таквите трансакции посигурни.

Во случај на Биткоин, можно е да им се дозволи на купувачот и продавачот самостојно да изберат посредник. Има многу луѓе кои се вклучени во решавањето на контроверзните прашања. И нашите учесници можат да изберат од генералниот список на медијатори на оној на кој ќе им веруваат. Заедно тие создаваат 2 од 3 адреса со повеќе потписи каде што има три клучеви и два потписи со кои било два клуча се потребни за да се потрошат монетите од таа адреса. Едниот клуч ќе му припадне на купувачот, вториот на онлајн продавницата, а третиот на посредникот. И на таква адреса со повеќе потписи, купувачот ќе ја испрати потребната сума за плаќање за мониторот. Сега, кога продавачот ќе види дека парите се блокирани некое време на адреса со повеќе потписи што зависи од него, тој може безбедно да го испрати мониторот по пошта.

Следно, купувачот ја добива парцелата, ја прегледува стоката и донесува одлука за конечното купување. Тој може целосно да се согласи со дадената услуга и да ја потпише трансакцијата со неговиот клуч, каде што му префрла монети од адресата со повеќе потписи на продавачот или може да биде незадоволен од нешто. Во вториот случај, тој контактира со посредник за да состави алтернативна трансакција што ќе ги дистрибуира тие монети поинаку.

Да речеме дека мониторот пристигнал малку изгребан и комплетот немал кабел за поврзување со компјутерот, иако на веб-страницата на онлајн продавницата пишувало дека кабелот треба да биде вклучен во комплетот. Потоа купувачот ги собира потребните докази за да му докаже на посредникот дека бил измамен во оваа ситуација: тој прави слики од екранот на страницата, ја фотографира сметката за пошта, ги фотографира гребнатините на мониторот и покажува дека печатот бил скршен и кабелот бил извлечен. Онлајн продавницата, пак, ги собира своите докази и ги пренесува на медијаторот.

Посредникот е заинтересиран истовремено да ги задоволи и огорченоста на купувачот и интересите на онлајн продавницата (ќе стане јасно зошто подоцна). Тоа претставува трансакција во која монетите од адресата со повеќе потписи ќе се трошат во одреден сооднос помеѓу купувачот, онлајн продавницата и посредникот, бидејќи тој зема дел за себе како награда за својата работа. Да речеме, 90% од вкупната сума оди кај продавачот, 5% кај посредникот и 5% компензација на купувачот. Посредникот ја потпишува оваа трансакција со својот клуч, но таа сè уште не може да се примени, бидејќи за неа се потребни два потписи, но само еден вреди. Испраќа таква трансакција и на купувачот и на продавачот. Доколку барем еден од нив е задоволен со оваа опција за прераспределба на монети, тогаш трансакцијата ќе биде претходно потпишана и дистрибуирана до мрежата. За да се потврди, доволно е една од страните во трансакцијата да се согласи со опцијата на медијаторот.

Важно е првично да се избере посредник за да му веруваат и двајцата учесници. Во овој случај, тој ќе дејствува независно од интересите на едниот или на другиот и објективно ќе ја процени ситуацијата. Ако посредникот не обезбеди опција за дистрибуција на монети што ќе задоволи барем еден учесник, тогаш, откако ќе се договорат заедно, и купувачот и онлајн продавницата можат да ги испратат монетите на нова адреса со повеќе потписи со ставање на нивните два потписи. Новата адреса со повеќе потписи ќе биде составена со различен посредник, кој може да биде покомпетентен за тоа прашање и да обезбеди подобра опција.

Пример со студентски дом и фрижидер

Ајде да погледнеме покомплексен пример кој поексплицитно ги прикажува можностите на паметниот договор.

Да речеме дека има тројца момци кои неодамна се преселиле во истата студентска соба. Тројцата се заинтересирани да купат фрижидер за нивната соба што ќе можат да го користат заедно. Еден од нив доброволно се пријавил да ја собере потребната сума за да купи фрижидер и да преговара со продавачот. Сепак, тие неодамна се запознале и меѓу нив нема доволно доверба. Очигледно двајца од нив ризикуваат давајќи му пари на третиот. Покрај тоа, тие треба да постигнат договор при изборот на продавач.

Тие можат да ја користат услугата escrow, односно да изберат посредник кој ќе го следи извршувањето на трансакцијата и ќе решава контроверзни прашања доколку се појават. Потоа, откако се согласија, тие составуваат паметен договор и пропишуваат одредени услови во него.

Првиот услов е дека пред одредено време, да речеме во рок од една недела, соодветната сметка за паметен договор мора да добие три плаќања од одредени адреси за одредена сума. Ако тоа не се случи, паметниот договор престанува да се извршува и ги враќа монетите на сите учесници. Доколку условот е исполнет, тогаш се поставуваат вредностите на идентификаторите на продавачот и медијаторот и се проверува условот сите учесници да се согласат со изборот на продавачот и медијаторот. Кога ќе се исполнат сите услови, тогаш средствата ќе бидат префрлени на наведените адреси. Овој пристап може да ги заштити учесниците од измама од која било страна и генерално ја елиминира потребата од доверба.

Во овој пример го гледаме самиот принцип дека оваа способност чекор-по-чекор да поставувате параметри за исполнување на секој услов ви овозможува да креирате системи од секаква сложеност и длабочина на вгнездени нивоа. Дополнително, можете прво да го дефинирате првиот услов во паметниот договор, а дури по неговото исполнување можете да поставите параметри за следниот услов. Со други зборови, условот е формално напишан, а параметрите за него може да се постават веќе за време на неговото работење.

Класификација на паметни договори

За класификација, можете да поставите различни групи критериуми. Меѓутоа, во моментот на развој на технологијата, четири од нив се релевантни.

Паметните договори може да се разликуваат по нивната средина за извршување, која може да биде или централизирана или децентрализирана. Во случај на децентрализација, имаме многу поголема независност и толеранција на грешки при извршување на паметни договори.

Може да се разликуваат и по процесот на поставување и исполнување услови: тие можат да бидат слободно програмибилни, ограничени или предефинирани, т.е. строго типизирани. Кога има само 4 специфични паметни договори на платформата за паметни договори, параметрите за нив може да се постават на кој било начин. Соодветно на тоа, нивното поставување е многу поедноставно: избираме договор од списокот и ги пренесуваме параметрите.

Според методот на иницирање, постојат автоматизирани паметни договори, односно кога се појавуваат одредени услови, тие се самоизвршуваат, а има договори во кои се наведени условите, но платформата автоматски не го проверува нивното исполнување; за ова тие треба да се иницира посебно.

Покрај тоа, паметните договори се разликуваат во нивното ниво на приватност. Тие можат да бидат целосно отворени, делумно или целосно доверливи. Последново значи дека набљудувачите од трети страни не ги гледаат условите на паметните договори. Сепак, темата за приватност е многу широка и подобро е да се разгледа одделно од тековната статија.

Подолу ќе ги разгледаме подетално првите три критериуми за да донесеме поголема јасност во разбирањето на актуелната тема.

Паметни договори со време на траење

Врз основа на опкружувањето за извршување, се прави разлика помеѓу централизирани и децентрализирани платформи за паметни договори. Во случај на централизирани дигитални договори, се користи една услуга, каде што има само еден валидатор и може да има услуга за резервна копија и обновување, која исто така се управува централно. Постои една база на податоци што ги складира сите потребни информации за да ги постави условите на паметниот договор и да ја дистрибуира вредноста што се зема предвид во оваа база на податоци за услуги. Таквата централизирана услуга има клиент кој поставува услови со одредени барања и користи такви договори. Поради централизираната природа на платформата, механизмите за автентикација може да бидат помалку безбедни отколку кај криптовалутите.

Како пример, можеме да земеме даватели на мобилни комуникации (различни мобилни оператори). Да речеме, одреден оператор води централизирана евиденција за сообраќај на своите сервери, која може да се пренесе во различни формати, на пример: во форма на гласовни повици, пренос на СМС, сообраќај на мобилен интернет и според различни стандарди, а исто така води евиденција на средства на салда на корисници. Соодветно на тоа, давателот на мобилни комуникации може да склучи договори за сметководство за дадените услуги и нивно плаќање со различни услови. Во овој случај, лесно е да се постават услови како „испратете СМС со таков и таков код на таков и таков број и ќе добиете такви или такви услови за дистрибуција на сообраќајот“.

Може да се даде уште еден пример: традиционални банки со проширена функционалност на интернет банкарството и многу едноставни договори како што се редовни плаќања, автоматска конверзија на дојдовни плаќања, автоматско одбивање на камата на одредена сметка итн.

Ако зборуваме за паметни договори со децентрализирана средина за извршување, тогаш имаме група валидатори. Идеално, секој може да стане валидатор. Поради протоколот за синхронизација на базата на податоци и постигнување консензус, имаме заедничка база на податоци која сега ќе ги складира сите трансакции со строго опишани договори, а не некои условни барања, чии формати често се менуваат и нема отворена спецификација. Овде, трансакциите ќе содржат инструкции за извршување на договорот според строга спецификација. Оваа спецификација е отворена и затоа, самите корисници на платформата можат да ги ревидираат и потврдуваат паметните договори. Овде гледаме дека децентрализираните платформи се супериорни во однос на централизираните во однос на независноста и толеранцијата на грешки, но нивниот дизајн и одржување се многу посложени.

Паметни договори по метод на поставување и исполнување услови

Сега да разгледаме подетално како паметните договори може да се разликуваат во начинот на кој тие поставуваат и исполнуваат услови. Овде го насочуваме нашето внимание на паметните договори кои се програмабилни по случаен избор и се завршени Туринг. Паметен договор комплетиран со Тјуринг ви овозможува да поставите речиси сите алгоритми како услови за извршување на договорот: пишување циклуси, некои функции за пресметување на веројатностите и слично - сè до вашите сопствени алгоритми за електронски потпис. Во овој случај, мислиме на навистина произволно пишување на логика.

Има и произволни паметни договори, но не и комплетни Турингови. Ова ги вклучува Bitcoin и Litecoin со сопствена скрипта. Ова значи дека можете да користите само одредени операции по кој било редослед, но повеќе не можете да пишувате циклуси и ваши сопствени алгоритми.

Покрај тоа, постојат платформи за паметни договори кои имплементираат однапред дефинирани паметни договори. Тие вклучуваат Bitshares и Steemit. Bitshares има низа паметни договори за тргување, управување со сметки, управување со самата платформа и нејзините параметри. Steemit е слична платформа, но таа повеќе не е фокусирана на издавање токени и тргување, како Bitshares, туку на блогирање, односно складира и обработува содржина на децентрализиран начин.

Произволните договори за комплетирање на Туринг ги вклучуваат платформата Ethereum и RootStock, кој сè уште е во развој. Затоа, подолу ќе се задржиме малку подетално на платформата за паметни договори Ethereum.

Паметни договори по метод на иницирање

Врз основа на методот на иницирање, паметните договори исто така може да се поделат во најмалку две групи: автоматизирани и рачни (не автоматизирани). Автоматизираните се карактеризираат со тоа што, со оглед на сите познати параметри и услови, паметниот договор целосно се извршува автоматски, односно не бара испраќање дополнителни трансакции и трошење дополнителна провизија за секое следно извршување. Самата платформа ги има сите податоци за да пресмета како ќе заврши паметниот договор. Таму логиката не е произволна, туку однапред одредена и сето тоа е предвидливо. Односно, можете однапред да ја процените сложеноста на извршувањето на паметен договор, да користите некаква постојана провизија за тоа и сите процеси за негова имплементација се поефикасни.

За паметните договори кои се слободно програмирани, извршувањето не е автоматизирано. За да започнете таков паметен договор, практично на секој чекор треба да креирате нова трансакција, која ќе ја повика следната фаза на извршување или следниот метод на паметен договор, ќе ја платите соодветната провизија и ќе почекате да се потврди трансакцијата. Извршувањето може да заврши успешно или не, затоа што кодот за паметен договор е произволен и може да се појават некои непредвидливи моменти, како што се вечна јамка, недостаток на некои параметри и аргументи, неискористени исклучоци итн.

Сметки на Ethereum

Видови сметки на Ethereum

Ајде да погледнеме какви видови сметки може да има на платформата Ethereum. Овде има само два вида сметки и нема други опции. Првиот тип се нарекува корисничка сметка, вториот е договорна сметка. Ајде да откриеме како тие се разликуваат.

Корисничката сметка се контролира само со личниот клуч на електронскиот потпис. Сопственикот на сметката генерира свој пар клучеви за електронски потпис користејќи го алгоритамот ECDSA (Елиптична крива дигитален потпис). Само трансакциите потпишани со овој клуч може да ја променат состојбата на оваа сметка.

За сметката за паметен договор е предвидена посебна логика. Може да се контролира само со однапред дефиниран софтверски код кој целосно го одредува однесувањето на паметниот договор: како тој ќе управува со своите монети под одредени околности, на иницијатива на кој корисник и под кои дополнителни услови ќе се дистрибуираат овие монети. Ако некои точки не се предвидени од програмерите во програмскиот код, може да се појават проблеми. На пример, паметен договор може да добие одредена состојба во која не прифаќа започнување на понатамошно извршување од кој било од корисниците. Во овој случај, монетите всушност ќе бидат замрзнати, бидејќи паметниот договор не предвидува излез од оваа состојба.

Како се креираат сметките на Ethereum

Во случај на корисничка сметка, сопственикот независно генерира пар клучеви користејќи ECDSA. Важно е да се напомене дека Ethereum го користи истиот алгоритам и точно истата елиптична крива за електронски потписи како Bitcoin, но адресата се пресметува на малку поинаков начин. Овде, резултатот од двојно хаширање повеќе не се користи, како во Биткоин, но единечното хеширање е обезбедено со функцијата Keccak во должина од 256 бита. Најмалку значајните битови се отсечени од добиената вредност, имено најмалку значајните 160 бита од излезната хаш вредност. Како резултат на тоа, добиваме адреса во Ethereum. Всушност, зафаќа 20 бајти.

Ве молиме имајте предвид дека идентификаторот на сметката во Ethereum е кодиран во хексадецимален пат без да се применува контролна сума, за разлика од Bitcoin и многу други системи, каде што адресата е кодирана во систем со основни 58 броеви со додавање на контролна сума. Ова значи дека треба да бидете внимателни кога работите со идентификатори на сметки во Ethereum: дури и една грешка во идентификаторот гарантирано ќе доведе до губење на монети.

Има една важна карактеристика, а тоа е дека корисничка сметка на ниво на општа база на податоци се креира во моментот кога тој ја прифаќа првата дојдовна исплата.

Креирањето сметка за паметен договор зазема сосема поинаков пристап. Првично, еден од корисниците го пишува изворниот код на паметниот договор, по што кодот се пренесува преку компајлер специјален за платформата Ethereum, добивајќи бајтекод за сопствената виртуелна машина Ethereum. Добиениот бајтекод се става во посебно поле на трансакцијата. Тоа е заверено во име на сметката на иницијаторот. Следно, оваа трансакција се шири низ мрежата и го става кодот за паметен договор. Провизијата за трансакцијата и, соодветно, за извршување на договорот се повлекува од состојбата на сметката на иницијаторот.

Секој паметен договор нужно содржи свој конструктор (на овој договор). Може да е празен или да има содржина. Откако ќе се изврши конструкторот, се креира идентификатор на сметката за паметен договор, со кој можете да испраќате монети, да повикате одредени методи на паметни договори итн.

Структура на трансакции на Ethereum

За да биде појасно, ќе започнеме да ја разгледуваме структурата на трансакцијата на Ethereum и примерен код за паметен договор.

Трансакцијата на Ethereum се состои од неколку полиња. Првиот од нив, нонче, е одреден сериски број на трансакцијата во однос на самата сметка што ја дистрибуира и е нејзин автор. Ова е неопходно за да се разликуваат двојните трансакции, односно да се исклучи случајот кога истата трансакција е прифатена двапати. Со користење на идентификатор, секоја трансакција има единствена хаш вредност.

Следува поле како цена на бензинот. Ова ја означува цената по која основната валута Ethereum се претвора во гас, кој се користи за плаќање за извршување на паметниот договор и распределбата на ресурсот на виртуелната машина. Што значи тоа?

Во Биткоин, таксите се плаќаат директно од основната валута - самиот Биткоин. Ова е можно благодарение на едноставниот механизам за нивно пресметување: ние плаќаме строго за количината на податоци содржани во трансакцијата. Во 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 - модул за мрежно поврзување и работа со други јазли, каде што се разменуваат блокови, трансакции и информации за други јазли. Ова е традиционална компонента за сите децентрализирани криптовалути.

Следно, имаме модул за складирање на податоци од блокчејн, обработка, избор на приоритетна гранка, додавање блокови, разврзување блокови, потврдување на овие блокови итн.

Третиот модул се нарекува EVM (Ethereum виртуелна машина) - ова е виртуелна машина која прима бајтекод од трансакциите на Ethereum. Овој модул ја зема моменталната состојба на одредена сметка и прави промени во нејзината состојба врз основа на примениот бајтекод. Верзијата на виртуелната машина на секој мрежен јазол мора да биде иста. Пресметките што се случуваат на секој јазол Ethereum се сосема исти, но тие се случуваат на асинхрон начин: некој ја проверува и прифаќа оваа трансакција порано, односно го извршува целиот код содржан во него, а некој подоцна. Соодветно на тоа, кога се креира трансакција, таа се дистрибуира до мрежата, јазлите ја прифаќаат и во моментот на верификацијата, на ист начин како Bitcoin Script се извршува во Bitcoin, овде се извршува бајтекодот на виртуелната машина.

Трансакцијата се смета за потврдена ако целата шифра содржана во неа е извршена, нова состојба на одредена сметка е генерирана и зачувана додека не биде јасно дали оваа трансакција е применета или не. Ако трансакцијата се примени, тогаш оваа состојба се смета не само за завршена, туку и за моментална. Постои база на податоци што ја зачувува состојбата на секоја сметка за секој мрежен јазол. Поради фактот што сите пресметки се случуваат на ист начин и состојбата на блокчејнот е иста, базата на податоци што ги содржи состојбите на сите сметки исто така ќе биде иста за секој јазол.

Митови и ограничувања на паметните договори

Што се однесува до ограничувањата што постојат за платформи за паметни договори слични на Ethereum, може да се наведе следново:

• извршување на кодот;
• распредели меморија;
• податоци за блокчејн;
• испрати плаќања;
• креирајте нов договор;
• повикајте други договори.

Ајде да ги погледнеме ограничувањата што се наметнуваат на виртуелната машина и, соодветно, да отфрлиме некои митови за паметните договори. На виртуелна машина, која може да биде не само во Ethereum, туку и во слични платформи, можете да извршите навистина произволни логички операции, односно да напишете код и таму ќе се изврши, можете дополнително да доделите меморија. Меѓутоа, таксата се плаќа посебно за секоја операција и за секоја дополнителна единица доделена меморија.

Следно, виртуелната машина може да чита податоци од базата на блокчејн за да ги користи овие податоци како активирач за извршување на една или друга логика на паметни договори. Виртуелната машина може да креира и испраќа трансакции, може да креира нови договори и методи за повикување на други паметни договори кои се веќе објавени на мрежата: постоечки, достапни итн.

Најчестиот мит е дека паметните договори на Ethereum можат да користат информации од кој било интернет ресурс во нивните услови. Вистината е дека виртуелната машина не може да испрати мрежно барање до некој надворешен информативен ресурс на Интернет, односно, невозможно е да се напише паметен договор кој ќе ја дистрибуира вредноста помеѓу корисниците во зависност, да речеме, какво е времето надвор. или кој освоил некое првенство, или врз основа на кој друг инцидент се случил во надворешниот свет, бидејќи информациите за овие инциденти едноставно ги нема во базата на податоци на самата платформа. Тоа е, нема ништо на блокчејн за ова. Ако не се појави таму, тогаш виртуелната машина не може да ги користи овие податоци како предизвикувачи.

Недостатоци на Ethereum

Да ги наведеме главните. Првиот недостаток е тоа што има одредени потешкотии во дизајнирањето, развивањето и тестирањето на паметните договори во Ethereum (Ethereum го користи јазикот Solidity за пишување паметни договори). Навистина, практиката покажува дека многу голем процент од сите грешки припаѓаат на човечкиот фактор. Ова всушност важи за веќе напишаните паметни договори на Ethereum кои имаат просечна или поголема сложеност. Ако за едноставни паметни договори веројатноста за грешка е мала, тогаш во сложените паметни договори многу често има грешки што доведуваат до кражба на средства, нивно замрзнување, уништување на паметни договори на неочекуван начин итн. Многу такви случаи веќе се познат.

Вториот недостаток е што самата виртуелна машина не е совршена, бидејќи ја пишуваат и луѓе. Може да извршува произволни команди, а во тоа лежи ранливоста: голем број команди може да се конфигурираат на одреден начин што ќе доведе до последици кои биле однапред непредвидени. Ова е многу сложена област, но веќе има неколку студии кои покажуваат дека овие пропусти постојат во тековната верзија на мрежата Ethereum и тие можат да доведат до неуспех на многу паметни договори.

Друга голема тешкотија, може да се смета за недостаток. Тоа лежи во фактот дека можете практично или технички да дојдете до заклучок дека ако го составите бајтекодот на договорот што ќе се изврши на виртуелна машина, можете да одредите одреден редослед на операции. Кога ќе се извршат заедно, овие операции во голема мера ќе ја вчитаат виртуелната машина и ќе ја забават несразмерно на надоместокот што е платен за извршување на овие операции.

Во минатото, веќе имаше период во развојот на Ethereum, кога многу момци кои детално ја разбраа работата на виртуелната машина најдоа такви слабости. Всушност, трансакциите плаќаа многу мал надомест, но практично ја забавија целата мрежа. Овие проблеми се многу тешко да се решат, бидејќи е неопходно, прво, да се одредат, второ, да се прилагоди цената за извршување на овие операции и трето, да се изврши хард вилушка, што значи ажурирање на сите мрежни јазли во нова верзија. на софтверот, а потоа и истовремено активирање на овие промени.

Што се однесува до Ethereum, спроведени се многу истражувања, стекнато е многу практично искуство: и позитивно и негативно, но сепак остануваат тешкотии и ранливости со кои сè уште треба некако да се решат.

Значи, тематскиот дел од статијата е завршен, ајде да преминеме на прашања што се појавуваат доста често.

Често поставувани прашања

— Ако сите страни во постоечкиот паметен договор сакаат да ги променат условите, дали можат да го откажат овој паметен договор користејќи мултисиг, а потоа да создадат нов паметен договор со ажурирани услови за неговото извршување?

Одговорот овде ќе биде двоен. Зошто? Затоа што од една страна паметниот договор се дефинира еднаш и веќе не имплицира никакви промени, а од друга страна може да има однапред напишана логика која предвидува целосна или делумна промена на некои услови. Односно, ако сакате да промените нешто во вашиот паметен договор, тогаш мора да ги пропишете условите под кои можете да ги ажурирате овие услови. Според тоа, само на таков разумен начин може да се организира обновување на договорот. Но, и овде може да наидете на неволја: да направите некоја грешка и да добиете соодветна ранливост. Затоа, таквите работи треба да бидат многу детални и внимателно дизајнирани и тестирани.

— Што ако посредникот склучи договор со една од учесниците: зачуван или паметен договор? Дали е потребен посредник во паметен договор?

Во паметниот договор не е потребен посредник. Можеби не постои. Ако, во случај на зачувување, посредникот влезе во заговор со една од страните, тогаш да, оваа шема тогаш нагло ја губи сета своја вредност. Затоа, медијаторите се избираат на таков начин што ќе имаат доверба од сите страни вклучени во овој процес во исто време. Соодветно на тоа, едноставно нема да пренесувате монети на адреса со повеќе потписи со посредник на кој немате доверба.

— Дали е можно со една трансакција на Ethereum да се префрлат многу различни токени од вашата адреса на различни целни адреси, на пример, да се разменуваат адреси каде што се тргува со овие токени?

Ова е добро прашање и се однесува на моделот на трансакција Ethereum и како тој се разликува од моделот Bitcoin. А разликата е радикална. Ако во моделот на трансакција на Ethereum едноставно префрлате монети, тогаш тие се пренесуваат само од една адреса на друга, без промена, само конкретната сума што сте ја навеле. Со други зборови, ова не е модел на непотрошени резултати (UTXO), туку модел на сметки и соодветни салда. Теоретски е возможно да испратите неколку различни токени во една трансакција одеднаш ако напишете лукав паметен договор, но сепак ќе треба да направите многу трансакции, да креирате договор, потоа да префрлите токени и монети на него и потоа да го повикате соодветниот метод . Ова бара труд и време, така што во пракса не функционира така и сите плаќања во Ethereum се вршат во посебни трансакции.

— Еден од митовите за платформата Ethereum е дека е невозможно да се опишат услови кои ќе зависат од податоците на надворешен интернет ресурс, па што да се прави тогаш?

Решението е во тоа што самиот паметен договор може да обезбеди еден или повеќе таканаречени доверливи пророци, кои собираат податоци за состојбата на работите во надворешниот свет и ги пренесуваат до паметните договори преку специјални методи. Самиот договор ги смета за вистинити податоците што ги добил од доверливи страни. За поголема сигурност, едноставно изберете голема група пророци и минимизирајте го ризикот од нивно договарање. Самиот договор може да не ги земе предвид податоците од пророците кои се во спротивност со мнозинството.

Едно од предавањата на онлајн курсот за блокчејн е посветено на оваа тема - “Вовед во паметни договори".

Извор: www.habr.com