Kakšna je omejitev pametnih pogodb?

Kdaj Ethereum uvedel pametne pogodbe v ekosistem blockchain, se je vse spremenilo. Nenadoma se je pojavila možnost izgradnje celotnega finančnega sistema, zgrajenega na nezaupljivih načelih. Kako daleč lahko peljete to idejo? No, odvisno od tega, koga vprašaš.

Koncept pametnih pogodb je leta 1994 prvič predstavil Nick Szabo, računalničar in pravni učenjak. Primerjal jih je s "skromnim prodajnim avtomatom", ki samodejno izda izdelek, ko je vstavljen pravilen znesek plačila.

V bistvu je pametna pogodba računalniški program, ki samodejno izvrši pogoje pogodbe, ko so izpolnjeni določeni pogoji. Uporablja se lahko za olajšanje, preverjanje in uveljavljanje pogajanj ali izvajanja pogodbe. To je način uporabe kode za ustvarjanje samoizvršljivih pogodb brez uporabe posrednika (kot na primer odvetnik, ki izvrši oporoko.)

Eden zgodnjih primerov pametne pogodbe, ki obstaja zunaj verige blokov, so depozitne storitve. V začetku leta 2010 so ti postali privzeti način izvajanja transakcij na tržnicah v temnem spletu, ki je zahteval nizek človeški vložek za zmanjšanje ranljivosti za organe kazenskega pregona. Kupec bi vložil sredstva – običajno v BTC – na depozitnem računu in bi izvršil pametno pogodbo samo za sprostitev sredstev, ko bi bil izdelek dostavljen. 

Izvajanje pametnih pogodb je v letih po Szabovem prvotnem predlogu ostalo nišno in večinoma teoretično. Od uvedbe blokovne verige Ethereum leta 2015 pa so se pametne pogodbe uveljavile. 

Preprosta ideja je, da lahko s povečanjem kompleksnosti pametnih pogodb ustvarite celotne decentralizirane aplikacije v verigi blokov (dApps). V primeru Defi, je to omogočilo ustanovitev storitev trgovanja, posojanja, izposojanja in nekaterih zavarovalniških storitev. Vse to temelji na nezaupljivih načelih brez človeškega posrednika.

Poleg »kodeksa je zakon«

Prazgodovina pametnih pogodb se verjetno začne s knjigo Lawrencea Lessiga "Kodeks in drugi zakoni kibernetskega prostora" (1999). V njem je trdil, da je v kibernetskem prostoru računalniška koda v veliki meri podobna zakonitostim v resničnem življenju in bi jih lahko celo nadomestila. Ta ideja se zdi nenavadna leta 2023, ko internet prežema vse vidike našega življenja in vlade urejajo skoraj vse vidike poslovanja in vedenja posameznikov. Takrat je bilo to radikalno.

Vendar pa je Lessigova knjiga svetu dala en stavek z dolgo zapuščino: »kodeks je zakon«. Trenutno se to pogosto uporablja kot okrajšava za opis, kako lahko matematika in koda odstranita dvoumnost in manipulacijo. Ne strinjajo se vsi, da je tako enostavno.

»Kot smo vsi videli z Luna/Terra, Celsius in FTX lani ter Mango DAO pred kratkim – koda doseže svoje meje in slabi akterji lahko uporabijo sovražne prevzeme, vdore ali druge zlonamerne prednosti,« pravi Nicolas Biagosch, sopobudnik Q Blockchain, katerega definirajoči moto je "Onkraj kode je zakon."

»Ker vse več ljudi vstopa v svet Web3, dobro upravljanje potrebuje več prostora za nianse in človeške namere. »Kodeks je zakon« deluje v nekaterih situacijah, vendar ne v vseh.«

Pametne pogodbe imajo slabosti 

Eden od poklicev, ki je v ospredju maksimalistov pametnih pogodb, je pravni poklic. Zakaj bi imeli birokratsko (in nekateri bi rekli pokvarjeno, odvisno od tega, kje ste) hierarhijo arbitraže, če lahko preprosto izvršite pravne odločitve v kodi; v bistvu obrnil Lessigovo idejo, da je koda zakon kibernetskega prostora. Zakaj ne bi naredili kode stvarno pravo?

Obstaja nekaj preprostih zavrnitev te ideje: sodišča lahko razveljavijo slabe odločitve in zmanjšajo verjetnost, da se bodo ponovile na široko razumljiv način. V kripto kontekstu, če je bilo nekaj BTC pomotoma ali goljufivo poslano od ene stranke do druge, lahko sodišče upošteva dokaze in odredi, da se sredstva pošljejo nazaj. 

Toda v sistemu samo za dodajanje, kot je blockchain, boste to transakcijo dejansko zapisali v kamen. Blockchain je nespremenljiv, zato pametnih pogodb in preverjenih transakcij ni mogoče razveljaviti, kar neizmerno zaplete stvari. Ti lahko posodobitev pametna pogodba za odpravljanje napak. Vendar je veliko dražje in zamudnejše kot prenos popravka za vašo igro.

Zagotovo lahko presežemo Defi in implementirati pametne pogodbe drugje v družbi, nadaljuje Bigosch. »Ali se lahko zanesemo samo na kodo? Ne tako, kot je koda zdaj. Nianse, namere in kompleksnost so danes meja pametnih stikov. Da bi zgradili decentralizirane družbe in organizacije, moramo najti način, kako združiti nezaupljivo kodo z orodji, ki upoštevajo človeške namere.«

»Kodeks ne more upoštevati vsake situacije. In ljudje imamo edinstveno moč, da razmišljamo za nazaj, presojamo namere in ugotavljamo, ali so določena dejanja v skladu s pravili ali proti njim. Preseganje »koda je zakon« ne pomeni odmika od uporabe kode kot temeljne ravni upravljanja v Web3. To pomeni uporabo kode in človeškega jezika skupaj.«

Ironično je, da so ljudje manjkajoči del

Tako kot prodajni avtomat se tudi pametne pogodbe ne morejo ujemati s kompleksnostjo človeških družb, v katerih delujejo. Niso »pametne«, kot jih običajno razumemo, pravi Cain Cao, osrednji član KCC in GoDao. "Ne morejo samodejno izvajati transakcij, shranjevati zapletenih podatkovnih struktur, izvajati zapletenih izračunov in drago, to so kratkoročne težave.« 

»Na dolgi rok je največja omejitev pametne pogodbe ali DeFi njena sposobnost zaznavanja resničnega sveta, kar pomeni, da nimamo učinkovitega in varnega Oracle storitve, ki zahtevajo posrednike tretjih oseb. Še vedno ni zrelih rešitev za kompleksnejša zavarovanja, hipoteke na premoženje v realnem svetu itd.«

Ena jasna pot za pametne pogodbe je možnost njihove nadgradnje z umetno inteligenco in strojno učenje. Neizprosen porast chatbotov, kot je ChatGPT, je odprl možnost, da jim dodamo »človeško podobno« dimenzijo. V bistvu ustvarjanje samoizpolnjujočih se strojev, ki lahko sami izvajajo transakcije in kličejo ogromne zbirke podatkov. Toda kot ve vsak, ki je uporabljal jezikovni model AI, še zdaleč niso popolni. Če je umetna inteligenca ustvarila vnos, kako lahko preverimo, ali je pravilen?

Samo povečuje že obstoječo težavo pametnih pogodb. Zapisani so v kodi, ki je večina od nas ne zna prebrati ali napisati.

"Celotno zasnovo pametnih pogodb je treba spremeniti," pravi Awa Sun Yin, soustanovitelj pri Anoma. »Da lahko uporabniki varno in zasebno komunicirajo s pametnimi pogodbami, morajo zelo dobro razumeti, kaj se dogaja ne samo v neposredni pametni pogodbi, ampak tudi v drugih pametnih pogodbah, ki se imenujejo, in kako deluje osnovna veriga blokov. To je neizvedljivo in pogosto povzroči, da ljudje uporabljajo te aplikacije, ne da bi razumeli tveganja – in nepričakovano plačajo visoko ceno (npr. izkoriščanja, uhajanje občutljivih podatkov).«