Bakit Kailangan ng Mga Matalinong Kontrata ang Mas Makulit na Tao

Si Propesor Michael Mainelli ay executive chairman ng Z/Yen Group at punong tagapayo sa Long Finance. Si Bob McDowall ay isang Associate ng Z/Yen at bilang chairman ng komite ng Policy at Finance , States of Alderney, Channel Islands.

Sa bahaging ito ng Opinyon , sinasaliksik nina Mainelli at McDowall ang mga hamon na kinakaharap ng mga smart contract na nakabatay sa blockchain, na FORTH ng mga rekomendasyon para sa kung paano pinakamahusay na magagamit ang mga ito sa maikling panahon habang sila ay nasa hustong gulang.

Gaano katalino ang iyong code?

tinatawag na "matalinong mga kontrata" ay naisasakatuparan ng science fiction. Ang mga executable na piraso ng code na nakaimbak sa isang ledger na ipinamahagi sa isa't isa para sa pagpapatupad sa hinaharap ay nagbubuklod sa mga tao at mga pagbabayad sa mga aksyon at resulta.

Itinaguyod ng computer scientist na si Nick Szabo ang termino mula noong unang bahagi ng 1990s at inilalarawan ang pagdadala ng "highly evolved" na mga kasanayan ng batas ng kontrata sa disenyo ng mga protocol ng electronic commerce sa pagitan ng mga estranghero sa Internet. Ang interes sa terminong "matalinong kontrata" ay tumaas kamakailan alinsunod sa interes sa Bitcoin at blockchain.

Ang mga paghahabol ay ginawa na halos lahat ng Finance ay maaaring lumipat sa mga matalinong kontrata kapag pinagsama sa isang naaangkop na sistema ng pagbabayad, kadalasan ay isang Cryptocurrency.

Dito ay gumuhit kami ng pagkakaiba sa pagitan ng mga matalinong kontrata at "piping code".

Ang computer code ay maaaring maging lubhang hangal. Ang mga piraso ng code ay ang mga Sorcerer's Apprentice, na ginagawa ang inaakala naming pag-bid sa oras na isinulat namin ang code, na walang pakialam sa mga pagbabago sa aming mga intensyon.

Ipinaliwanag ng may-akda na si Larry Niven:

"Iyan ang bagay tungkol sa mga taong nag-iisip na napopoot sila sa mga computer. Ang talagang kinaiinisan nila ay ang mga masasamang programmer."

Ang code na naka-embed sa mutual distributed ledger ay totoo at kapaki-pakinabang, at minsan ay mapanganib. Kung ang code na iyon ay isinulat upang tularan ang mga real-world na kontrata, marahil ito ay mas angkop na tawaging isang "code contract".

Ang mga matalinong kontrata ay may ilang bahagi. Ang mga transaksyon ay dapat magsasangkot ng higit pa sa paglipat lamang ng isang virtual na pera mula sa ONE tao patungo sa isa pa (ibig sabihin, isang paglilipat ng pagbabayad) at may kasamang dalawa o higit pang partido (tulad ng dapat gawin ng bawat kontrata).

Higit sa lahat, ang pagpapatupad ng kontrata ay hindi nangangailangan ng direktang pakikilahok ng Human pagkatapos na ang matalinong kontrata ay maging bahagi ng ipinamahagi na ledger, na ginagawang "matalino" o autonomous ang mga kontratang ito. Ang code ay awtomatiko ang "paano kung mangyari ito" na elemento ng mga tradisyunal na kontrata.

Muling lumitaw ang mga ideya

Ang computer code ay kumikilos sa mga inaasahang paraan nang walang linguistic ambiguity ng mga wika ng Human .

Ang code ay ginagaya sa maraming mga computer at pinapatakbo ng network kapag kailangan ito ng mga Events , karaniwang ang pag-expire ng ilang yugto ng panahon. Ang "Sprite" ay isang lumang termino para sa paggamit ng mas tradisyonal na mga coding na wika upang makamit ang mga katulad na layunin. Sila ay mga maliliit na "multo" o "geist" na kumikilos nang kusa.

Tatlong dekada na ang nakalipas, ang mga sprite ay karaniwang ginagamit upang isama ang mga graphics sa mga video game. Ang mga sprite ay matatagpuan pa rin sa mga navigation button o pagdaragdag ng visual appeal sa mga web page. Bagama't sinusubukan ng mga smart contract coding na wika na "hobble" ang code para matiyak na walang mga hindi sinasadyang kahihinatnan, sinusubukan ng mga sprite coder na gamitin ang kapangyarihan ng tradisyonal na mga coding na wika upang ilabas ang kanilang potensyal, na umaasa sa kontrol ng mga coder na ipinapalagay na mas matalino kaysa sa code na kanilang pinakawalan.

Ang mga sprite ay hindi hihigit sa code na inilagay sa isang distributed, immutable data structure, at maaaring patakbuhin mula sa mga piraso ng Python, Lisp o Go na mga wika na naka-embed sa, at recursively na sumusulat sa, isang blockchain.

Madalas ginagamit ang mga ito para magsagawa ng mga simpleng function ng seguridad gaya ng mga istruktura ng susi at password, direktang nagbabasa at sumulat sa kanilang ledger.

Ipasok ang Ethereum

Ang mga matalinong kontrata, hindi tulad ng mga sprite, ay may posibilidad na gumamit ng espesyal na arkitektura.

Ang ilang mga programming language at virtual machine software engine ay binuo upang matiyak na ang smart contract code ay tumatakbo sa isang secure na paraan. Ethereum ay isang partikular na sikat na platform ng blockchain na may mga programa at protocol upang mapadali ang automated na pagganap ng isang kontrata.

Bagama't marahil ang pinakamalakas na tagapagtaguyod ng mga blockchain na pinagana ng matalinong kontrata, ang Ethereum ay lumalayo sa paggamit ng "matalinong kontrata" nang walang pinipili para sa mga piraso ng code at tungo sa paggamit lamang ng termino kapag ang code ay nakadirekta sa mga kontemporaryong legal na isyu.

Plano ng Ethereum na gamitin ang blockchain nito upang magsagawa ng mga transaksyon sa Cryptocurrency na medyo kumplikado. Augur ay isang desentralisado, open-source na platform ng prediction market na binuo sa Ethereum blockchain para sa mga prediction Markets. Inaasahan ng Ethereum na matugunan ang mga kumplikadong kontrata sa mga lugar tulad ng pagtaya, pagsasangla at insurance.

Sa teorya, maaaring gumawa ng mga platform na nagbibigay-daan sa mga financial firm na lumikha ng mga programmable na bersyon ng mga tradisyunal na securities – "smart securities" - na nakaimbak sa isang distributed ledger.

Ang mga benepisyo ay tila halata. Mas mabilis at mas mura ang burukrasya at administrasyon. Mas kaunting mga error at hindi pagkakaunawaan. Ang halaga ng mga papeles upang suportahan ang mga transaksyon ay dapat na mabawasan. Mawawala ang mga gawain sa pagpoproseso ng nakagawiang transaksyon.

Maraming mga mid-level na trabaho na may nakagawiang mapanghusgang mga gawain at kontrol ang maaaring i-automate. Ang pagpapalabas, paglilipat at pagsubaybay ng mga seguridad ay dapat na i-streamline gamit ang mga natatanging identifier at paghihiwalay ng asset sa pamamagitan ng pag-clear at pag-aayos ng mga securities. Ang pagseserbisyo ng asset, paglalaan ng mga dibidendo at pagbabayad ng interes pati na rin ang pagpoproseso ng mga pagkilos ng korporasyon, ay dapat na awtomatiko. Maaaring lumipat ang mga derivative clearing sa mga smart contract.

Mga limitasyon sa kontrata

Nakikita namin ang dalawang partikular na problema sa matinding mga sitwasyon ng smart contract, data source at deposito. Una, umaasa ang mga matalinong kontrata ng substance sa mga panlabas na pinagmumulan ng data ng maraming uri, mula sa Libor hanggang sa mga rate ng FX hanggang sa mga rate ng interes, hanggang sa impormasyong meteorolohiko.

Ang mga matalinong kontrata ay iminungkahi, halimbawa, upang pangasiwaan ang mga Markets ng hula sa mga halalan sa US. Nakalimutan na ba ng mga programmer ang "hanging chads"? Mayroon bang ilang "ticker tape" ng mga desisyon ng Korte Suprema ng US na maa-access ng programa upang magpasya kung sino ang nanalo sa taya sa halalan sa US? Hindi.

Kaya ang mga ganitong uri ng mga programa ay hindi nakapag-iisa. Umaasa sila sa panlabas na impormasyon at ang ilan sa mga panlabas na impormasyong ito ay maaaring hindi mapagkakatiwalaan. Kung ang anumang merkado ay nagiging sapat na malaki, ito ay nagkakahalaga ng "paglalaro" - tandaan ang mga iskandalo ng Libor at FX? Maaaring hindi mapagkakatiwalaan ang mga pinagmumulan ng data para sa mas maraming dahilan, tulad ng isang istasyon ng meteorolohiko na hindi gumagana.

Ano ang ginagawa ng isang matalinong kontrata? Teka? Infill, ibig sabihin, hulaan? Bumalik sa interbensyon ng Human ? Kaya tiyak na mahusay na ilipat ang mga istrukturang pinansyal sa code sa mga blockchain? Malinaw na makikita ng mga partido kung ano ang kanilang ginagawa, at hayaan ang code na magpasya ng mga kinalabasan at tumakbo kapag natukoy nitong kailangan nito.

Sa katotohanan, ang matematika at akademikong mga disiplina ng provable code ay nasa kanilang pagkabata. Dagdag pa, ang mga istrukturang ito ay mahal at kumplikado sa computation. Kailangang maipaliwanag ng industriya ng mga serbisyo sa pananalapi kung bakit ang isang desentralisadong sistema ng pag-iimbak at pagkalkula ng data ay nagkakahalaga ng karagdagang gastos at pagiging kumplikado.

Maraming paraan para 'maging legal'

Ayon sa kaugalian, naging mas mahusay at epektibo ang gastos para sa ONE organisasyon na kumilos bilang isang "pinagkakatiwalaang third party" na nagpapatakbo ng storage at computing platform sa isang pormal o impormal na "club" na kaayusan.

Maaaring mag-log in ang mga customer o miyembro, makipag-bargain at umasa sa pinagkakatiwalaang third party upang patunayan ang bargain at mga asset, pangalagaan ang mga transaksyon at panatilihin ang mga talaan ng transaksyon.

Minsan ang pinagkakatiwalaang third party ay nagpapatupad ng mga pagsasaayos, kung minsan ang pagpapatupad ay ipinauubaya sa legal na sistema. Ngunit ang "legal na sistema" ay magkakaiba. Pati na rin ang paglilitis, maraming iba pang paraan ng paglutas ng mga hindi pagkakaunawaan, halimbawa, pagpapasiya ng eksperto kung saan ang isang independiyenteng ikatlong partido ay gumagawa ng pangwakas at may-bisang pagpapasiya sa isang hindi pagkakaunawaan, na kadalasang ginagamit sa mga kontrata na nangangailangan ng pagtatasa o teknikal na pagtatasa kung sino ang gumawa kung gaano kahusay.

Ang pamamagitan ay isang "walang pagkiling" na proseso na tumutulong sa parehong partido na maabot ang isang resolusyon ngunit madalas na isinasaalang-alang kung paano maaaring bigyang-kahulugan ng korte ang sitwasyon.

Ang arbitrasyon ay pagresolba ng hindi pagkakaunawaan ng isang pribadong ikatlong partido, epektibong isang pribadong hukuman, kadalasang kailangan sa mga kumplikadong internasyonal na sitwasyon o kung saan ang mga partido ay pumapabor sa mabilis na paglutas. Ang pagkakaiba-iba na ito sa loob ng "legal na sistema" ay sumasalamin sa maraming iba't ibang paraan na maaaring magkamali ang komersyo at ang pangangailangan para sa iba't ibang paraan upang maibalik ang mga bagay sa tamang landas.

Ang patunay o garantiya ng pagpapatupad ay hindi posible sa ilalim ng ilang mga modelo ng negosyo o mga form ng transaksyon. Halimbawa, walang garantiya ng pagpapatupad na posible kung saan nakadepende ang pagpapatupad sa mga antas ng serbisyo o variable na rate ng bayad.

Ang ganitong mga modelo ay humihingi ng tanong na 'Paano ko malalaman na gagawin ng code ang sinasabi nitong magagawa nito?' At 'Kapag T ginagawa ng code ang gusto kong gawin nito, paano ko ito pipigilan, at kung kinakailangan, ilipat ang problema sa tusong kamay ng mga eksperto, tagapamagitan, arbitrator, at abogado?'

Ang mga kontrata sa mahabang panahon na may materyal na pagsasaalang-alang sa pagbabayad ay maaaring kailanganin na magtago ng pera sa escrow, "sa deposito". Nililimitahan nito ang "likido", na nagreresulta sa maraming pera na hawak sa account at hindi magagamit.

Maresolba ito sa pamamagitan ng paggawa ng mga netting at insurance na sasakyan ngunit pagkatapos ay umikot na kami at muling ginawa ang mga third party sa gitnang pananalapi na diumano'y na-disintermediate namin. Mayroong ilang mga kawili-wiling paraan ng pagtugon sa mga isyung ito, ngunit ang mga serbisyo sa pananalapi at mga technologist ay nasa maagang yugto ng pagtuklas sa mga ito.

Hindi ganoon kabilis

Kaya ano ang hinuhulaan natin? Hindi bababa sa NEAR na termino "mga pipi at panandaliang kontrata" ang mananaig sa "matalinong pangmatagalang kontrata", sa tatlong dahilan. Una, kung ang isang executable na kontrata ay may buhay na isang araw o higit pa, ang mutual distributed ledger ay hindi bukas sa pangmatagalang sabotahe o pagkagambala.

Pangalawa, ang karamihan sa mga makatotohanang matalinong kontrata ay tila umaasa sa pagkakaroon ng patuloy na panlabas na mga pinagmumulan ng data, na nangangahulugang ang mga kontrata ay nagiging kumplikado nang mabilis, o natatapos na umasa sa interbensyon ng Human , sa halip ay tinatalo ang kanilang layunin. Kaya ang mga kontrata na nakadepende lamang sa ledger at marahil sa isang timing source ay may kalamangan.

Pangatlo, seryosong paghihigpitan ang mga matalinong kontrata na may kinalaman sa mga pagbabayad na nangangailangan ng pag-post ng collateral. Ang pag-lock ng collateral ay hahantong sa isang seryosong pagbawas sa leverage at paghila ng pagkatubig mula sa mga Markets.

Ang mga Markets ay maaaring maging mas matatag, ngunit ang makabuluhang pagbawas sa leverage at bunga ng pagbaba ng merkado ay mahigpit na lalabanan ng mga kalahok sa merkado.

Ang radikal na pagbabago, na binabaligtad ang tinatanggap na pagkakasunud-sunod ng mga modelo at proseso ng negosyo, ay kailangang masuri sa paglipas ng panahon.

Ang panimulang punto ay simpleng eksperimento na nakatuon sa aplikasyon ng mga matalinong kontrata sa mga simpleng gawain at proseso. Ang mga simpleng gawain at proseso ay maglilimita sa mga dependency ng impormasyon at mga panganib sa pananalapi, reputasyon, at pagpapatakbo. Sa sandaling ang mga matalinong kontrata ay pinakawalan sa isang komersyal na mundo, mahirap na pigilan ang mga ito nang walang malaking gastos sa panganib at kahihiyang sabihin ang hindi bababa sa. Kahit na ang mga simpleng gawain ay dapat na nakakulong sa mga simpleng malapit na transaksyon.

Sa sektor ng pananalapi, ibig sabihin, iwanan ang mga pangmatagalang instrumento sa pananalapi tulad ng mga swap at karamihan sa mga bono hanggang sa ibang pagkakataon, kapag may mas malakas na empirikal na patunay na ang mga naturang kontrata ay maaasahang maisulat.

Sa mga praktikal na termino, nangangahulugan iyon ng pagtuon sa mga simpleng gawain, tulad ng mga security key o timestamping o pag-archive, na may mga simpleng pakikipag-ugnayan sa ledger at mga dependency ng data na limitado sa makitid, maaasahang mga pinagmumulan ng data, marahil ang ledger mismo at ilang pangkalahatang orasan ng oras.

Para sa agarang hinaharap, ang "get out of smart contract clause" ay hihingi ng interbensyon ng Human . Pati na rin ang "legal na hurisdiksyon", ang "panghihimasok ng Human " ay kailangang "isulat sa" tinatawag na mga matalinong kontrata para sa nakikinita na hinaharap.

Ang mga kontrata na nangangailangan ng interbensyon o intermediation ng Human sa pamamagitan ng arbitrasyon, pamamagitan, o pagpapasiya ng eksperto, ay magiging hindi angkop para sa mga smart na kontrata sa loob ng ilang panahon.

Ang ilang mga halimbawa ng mga lugar ng aplikasyon na maaaring angkop ngayon ay kinabibilangan ng:

• I-Trading ang pagmamay-ari ng mga digital na asset sa self-referential o token-based na mga online marketplace

Ang pagmamay-ari ng digital na ari-arian sa Internet ay maaaring maitatag sa isang peer-to-peer na desentralisadong kapaligiran. Ang environment na ito ay umaabot sa mga pre-sale na token na kumakatawan sa pagmamay-ari ng mga ticket, merchandise, produkto at subscription.

Maaaring mahanap ng mga matalinong kontrata o sprite ang kanilang "pinakamatalino" na mga lugar ng aplikasyon dito sa NEAR na termino.

• Trading karapatan sa pagboto

Ang mga corporate at social enterprise at maging ang mga partidong pampulitika ay nagmungkahi ng paglikha ng mga sistemang nakabatay sa blockchain upang makabuo ng mas patas at mas malinaw na kapaligiran sa pagboto.

Susubukan ng Nasdaq ang Technology ng blockchain upang "mas mahusay na pamahalaan at i-streamline ang proseso ng pagboto ng proxy". Ang mga matalinong kontrata o sprite ay maaaring magbigay sa makabuluhang mas mahusay na pamamahala ng korporasyon habang ang mga ahente ng institusyon (mga pondo ng pensyon) ay namamahagi ng mga karapatan sa pagboto sa mga ultimong benepisyaryo (mga pensiyonado) upang panagutin ang pamamahala ng korporasyon.

• Pamamahala ng pagkakakilanlan

Makakatulong ang mga smart contract o sprite na malaman ang mga pangangailangan ng iyong customer (KYC), anti-money laundering (AML). Ang tunay na kapaki-pakinabang na pagmamay-ari o mga aplikasyon ng impormasyong pangkalusugan ay maaaring gumamit ng magkaparehong ipinamahagi na mga ledger upang magpadala ng mga napatotohanan o na-notaryo na mga dokumento, nagre-record ng kanilang paggamit at nag-istruktura ng pangunahing pamamahala.

Pinapatibay ng Blockchain ang mga matalinong kontrata dahil ang pagpapatupad ng kontrata ay hindi nangangailangan ng direktang pakikilahok ng Human pagkatapos na ang matalinong kontrata ay maging bahagi ng blockchain, na ginagawang "matalino" ang mga kontratang ito.

Ngunit, hanggang sa magkaroon ng mas malawak na pag-eeksperimento sa mga matalinong kontrata, para sa mga praktikal na layuning pangkomersiyo, dapat na nakakulong ang mga ito sa isang pinaghihigpitang hanay ng mga panandaliang digital na transaksyon.

Ang artikulong ito ay orihinal na inilathala ni Z/Yen Group at nai-publish muli dito sa pahintulot ng may-akda.

Larawan ng mag-aalahas sa pamamagitan ng Shutterstock