Які ліміт смарт-кантрактаў?

Калі Эфириума увёў смарт-кантракты ў экасістэму блокчейн, усё змянілася. Раптам з'явілася магчымасць пабудовы цэлай фінансавай сістэмы, пабудаванай на прынцыпах недаверу. Як далёка вы можаце давесці гэтую ідэю? Ну, гэта залежыць ад таго, каго вы спытаеце.

Канцэпцыя разумных кантрактаў была ўпершыню прадстаўлена ў 1994 годзе Нікам Сабо, інфарматыкам і правазнаўцам. Ён параўнаў іх са «сціплым гандлёвым аўтаматам», які аўтаматычна выдае прадукт, калі ўводзіцца правільная сума плацяжу.

Па сутнасці, смарт-кантракт - гэта кампутарная праграма, якая аўтаматычна выконвае ўмовы кантракта пры выкананні пэўных умоў. Яго можна выкарыстоўваць для садзейнічання, праверкі і забеспячэння выканання перамоваў або выканання кантракта. Гэта спосаб выкарыстоўваць код для стварэння самавыконвальных пагадненняў без выкарыстання пасярэдніка (напрыклад, юрыст, які выконвае завяшчанне).

Адным з ранніх прыкладаў смарт-кантракту, які існуе па-за блокчейном, з'яўляюцца эскроу-сэрвісы. У пачатку 2010-х гадоў яны сталі стандартным спосабам выканання транзакцый на рынках цёмных сетак, што патрабавала невялікага ўдзелу чалавека, каб мінімізаваць уразлівасць для праваахоўных органаў. Пакупнік размяшчае сродкі - звычайна ў BTC – на дэпазітным рахунку і будзе выконваць смарт-кантракт толькі для вызвалення сродкаў, калі прадукт будзе дастаўлены. 

Укараненне разумных кантрактаў заставалася нішавым і ў значнай ступені тэарэтычным у гады пасля першапачатковай прапановы Сабо. Аднак з моманту запуску блокчейна Ethereum у 2015 годзе разумныя кантракты ўвайшлі ў свае правы. 

Простая ідэя заключаецца ў тым, што па меры ўскладнення смарт-кантрактаў вы можаце ствараць цэлыя дэцэнтралізаваныя прыкладанні на блокчейне (dApps). У выпадку Defi, гэта дазволіла стварыць гандаль, крэдытаванне, пазыкі і некаторыя страхавыя паслугі. Усе яны заснаваныя на прынцыпах ненадзейнасці без чалавечага пасярэдніка.

Акрамя "Кодэкса - гэта закон"

Перадгісторыя разумных кантрактаў, магчыма, пачынаецца з кнігі Лоўрэнса Лесіга «Кодэкс і іншыя законы кіберпрасторы» (1999). У ім ён сцвярджаў, што ў кіберпрасторы камп'ютэрны код у значнай ступені аналагічны рэальным законам і можа нават замяніць іх. Гэтая ідэя здаецца дзіўнай у 2023 годзе, калі Інтэрнэт пранікае ва ўсе аспекты нашага жыцця, а ўрады рэгулююць амаль усе аспекты дзелавых і індывідуальных паводзін. Тады гэта было радыкальна.

Аднак кніга Лесіга дала свету адну фразу з доўгай спадчынай: «кодэкс ёсць закон». У наш час гэта часта выкарыстоўваецца як скарачэнне для апісання таго, як матэматыка і код могуць ліквідаваць неадназначнасць і маніпуляцыі. Не ўсе згодныя, што гэта так проста.

«Як мы ўсе бачылі с месяц/Terra, Celsius і FTX у мінулым годзе і Mango DAO у апошні час - код дасягае сваіх межаў, і дрэнныя ўдзельнікі могуць выкарыстоўваць варожыя захопы, узломы або іншыя шкоднасныя перавагі», - кажа Нікаля Бягош, адзін з ініцыятараў Q Blockchain, вызначальным дэвізам якой з'яўляецца «За кодам - ​​закон».

«Паколькі ўсё больш людзей прыходзіць у свет Web3, добрае кіраванне патрабуе большага месца для нюансаў і чалавечых намераў. «Кодэкс — закон» працуе ў некаторых сітуацыях, але не ва ўсіх».

Смарт-кантракты маюць недахопы 

Адной з прафесій у поле зроку максімалістаў разумных кантрактаў з'яўляецца прафесія юрыста. Навошта бюракратычная (і некаторыя сказалі б карумпаваная, у залежнасці ад таго, дзе вы знаходзіцеся) іерархія арбітражу, калі вы можаце проста выконваць юрыдычныя рашэнні ў кодзе; па сутнасці, адмяняючы ідэю Лессіга аб тым, што код з'яўляецца законам кіберпрасторы. Чаму б не зрабіць код рэальнае права?

Ёсць некалькі простых абвяржэнняў гэтай ідэі: суды могуць адмяніць няправільныя рашэнні і паменшыць верагоднасць іх паўтарэння зразумелым для ўсіх спосабам. У крыпта-кантэксце, калі частка BTC была адпраўлена памылкова або падманным шляхам ад аднаго боку да іншага, суд можа разгледзець доказы і загадаць вярнуць сродкі. 

Але ў сістэме толькі для дадавання, такой як блокчейн, вы фактычна запішаце гэтую транзакцыю ў камень. Блокчейн нязменны, таму разумныя кантракты і правераныя транзакцыі нельга адмяніць, што надзвычай ускладняе сітуацыю. Ты можаш абнаўленне разумны кантракт для выпраўлення памылак. Але гэта нашмат даражэй і займае шмат часу, чым загрузка патча для вашай гульні.

Мы, вядома, можам пайсці далей Defi і ўкараняць разумныя кантракты ў іншых частках грамадства, працягвае Бягош. «Ці можам мы разлічваць толькі на код? Не так, як код цяпер. Нюансы, намеры і складанасць - гэта мяжа разумных кантактаў сёння. Каб пабудаваць дэцэнтралізаваныя грамадства і арганізацыі, нам трэба знайсці спосаб аб'яднаць ненадзейны код з інструментамі, якія ўлічваюць чалавечыя намеры».

«Кодэкс не можа ўлічваць кожную сітуацыю. І людзі валодаюць унікальнай здольнасцю думаць рэтраспектыўна, ацэньваць намеры і вызначаць, ці адпавядаюць пэўныя дзеянні правілам. Выхад за рамкі «код - гэта закон» не азначае адмову ад выкарыстання кода ў якасці асноўнага ўзроўню кіравання ў Web3. Гэта азначае сумеснае выкарыстанне кода і чалавечай мовы».

Па іроніі лёсу, чалавека не хапае

Як і гандлёвы аўтамат, смарт-кантракты таксама не могуць адпавядаць складанасці чалавечых грамадстваў, у якіх яны працуюць. Яны не з'яўляюцца «разумнымі», як мы іх звычайна разумеем, кажа Каін Цао, асноўны член KCC і GoDao. "Яны не могуць аўтаматычна выконваць транзакцыі, захоўваць складаныя структуры даных, выконваць складаныя вылічэнні, і, што дорага, гэта кароткатэрміновыя праблемы». 

«У доўгатэрміновай перспектыве самае вялікае абмежаванне смарт-кантракту або DeFi - гэта яго здольнасць успрымаць рэальны свет, што азначае, што нам не хапае эфектыўнасці і бяспекі аракул сэрвісы, якія патрабуюць старонніх проксі. Па-ранейшаму няма развітых рашэнняў для больш складанага страхавання, іпатэкі актываў у рэальным свеце і гэтак далей».

Адным з відавочных шляхоў для смарт-кантрактаў з'яўляецца патэнцыял для іх павелічэння з дапамогай штучнага інтэлекту навучанне з дапамогай машыны. Няўмольны рост чат-ботаў, такіх як ChatGPT, адкрыў магчымасць дадаць да іх «чалавечае» вымярэнне. Па сутнасці, стварэнне самарэалізаваных машын, якія могуць самі выконваць транзакцыі і звяртацца да велізарных набораў даных. Але, як ведае кожны, хто карыстаўся моўнай мадэллю штучнага інтэлекту, яны далёкія ад дасканаласці. Калі штучны інтэлект згенераваў увод, як мы можам праверыць, што ён правільны?

Гэта толькі ўскладняе існуючую праблему смарт-кантрактаў. Яны напісаны ў кодзе, які большасць з нас не можа прачытаць або напісаць.

«Увесь дызайн разумных кантрактаў павінен быць зменены», - кажа Ава Сунь Інь, сузаснавальнік кампаніі Анама. «Каб карыстальнікі маглі бяспечна і прыватна ўзаемадзейнічаць са смарт-кантрактамі, яны павінны вельмі добра разумець, што адбываецца не толькі ў прамым смарт-кантрактах, але і ў іншых смарт-кантрактах, якія выклікаюцца, і як працуе асноўны блокчейн. Гэта невыканальна і часта прыводзіць да таго, што людзі выкарыстоўваюць гэтыя прыкладанні, не разумеючы рызык - і нечакана плацяць высокую цану (напрыклад, эксплойты, уцечка канфідэнцыйных даных)».