3 Bagay na Kailangan ng Mga Matalinong Kontrata Bago Sila Tuluyang Umalis

Si Arthur Breitman ay ang CEO at si Kathleen Breitman ang COO ng Tezos (Tezos.com), isang bagong blockchain platform na kasalukuyang ginagawa. Bago itinatag ang Tezos, nagtrabaho si Arthur sa Goldman Sachs at Morgan Stanley kung saan nagsilbi siya bilang bise presidente. Si Kathleen ay isang senior strategy associate para sa blockchain consortium R3.

Sa espesyal na feature na ito ng CoinDesk 2016 sa Review, ibinibigay ng Breitmans ang kanilang pangkalahatang-ideya sa mga patuloy na isyu sa pagbuo ng matalinong kontrata, pinipili lamang ang tatlo na pinaniniwalaan nilang nananatiling hadlang sa pangunahing paggamit.

Ang mga matalinong kontrata ay may napakalaking pangako bilang 'killer app' para sa mga blockchain.

Kung hindi ka pamilyar, a matalinong kontrata ay isang computer program na awtomatikong nagpapatupad ng mga tuntunin ng isang kontrata sa isang blockchain. Sa prinsipyo, maaari kang gumamit ng mga smart contract para sa iba't ibang layunin, gaya ng mga wireless service contract, apartment at hotel room rental, freelance na kontrata sa trabaho, pag-automate ng mga pagbabayad – kahit saan mo gustong putulin ang gitnang tao.

Na may higit sa $17bn sa mga asset na naka-imbak sa nangungunang 10 cryptocurrencies, sa kasalukuyan ay may malaking pagkakataon na bigyan ang mga kasalukuyang asset ng blockchain ng karagdagang flexibility at utility sa pamamagitan ng pagdaragdag ng mga kakayahan ng matalinong kontrata.

Malinaw din na ang Technology ay nag-aalok ng isang matatag na pagtaas sa tradisyonal Markets.

Halimbawa, isaalang-alang ang kaso ng paggamit ng over-the-counter (OTC) derivatives market, na nagkakahalaga ng $700tn sa notional na halaga bawat taon. Ang paglipat ng kahit maliit na porsyento ng mga trade na iyon sa mga matalinong kontrata ay kumakatawan sa isang napakalaking potensyal na matitipid.

Ngunit bago matupad ng mga matalinong kontrata ang kanilang pangako, ang mga platform na nagbibigay-daan sa kanila ay nangangailangan ng karagdagang pag-unlad.

Narito ang tatlong paraan kung paano makukuha ng mga smart contract system ang aming tiwala sa 2017:

1. Magbigay ng mga pormal na kakayahan sa pagpapatunay

Ang pagsulat ng code na gumagana nang eksakto sa paraang gusto natin ay napakahirap.

Ang lahat ng software ay madaling kapitan ng mga bug o pag-atake ng iba't ibang uri – ngunit sa mga matalinong kontrata, ang mga aktwal na asset ay nakataya. Kailangan namin ng isang mas mahusay na paraan upang matiyak na ang mga kontratang ito ay matatag at secure. Ang ONE paraan ay ang paggamit pormal na pagpapatunay, isang matematikal na pamamaraan ng pagsuri ng code upang patunayan na ito ay isasagawa ayon sa nilalayon.

Dapat ipatupad ang mga matalinong kontrata sa isang wikang madaling i-verify. Para sa kadahilanang ito, ang mga functional na wika, tulad ng Haskell at OCaml, ay mas angkop sa matalinong code ng kontrata kaysa sa mga kinakailangan tulad ng C/C++, Java at JavaScript, dahil ang kanilang istraktura ay mas madaling mangatwiran at ma-verify nang pormal.

Totoo, mas maraming programmer ang pamilyar sa JavaScript, ngunit kailangang lumipat ang focus mula sa kadalian ng paggamit patungo sa seguridad.

Tandaan na may ilang limitasyon ang pormal na pag-verify. Hindi ito ganap na awtomatiko at nangangailangan pa rin ng kasanayan ng Human .

Gayundin, mapapatunayan lamang ng pormal na pag-verify ang mga pag-aari na talagang iniisip nating suriin; kung T mo mabe-verify ang mga tamang bagay maaari mo pa ring iwanang bukas ang mga kahinaan. Ngunit gayon pa man, ito ay isang hakbang sa tamang direksyon kapag ipinatupad nang maayos.

2. Tiyakin ang transparency upang masuri ang code

Ang ONE sa pinakamalaking eksperimento sa mga matalinong kontrata ay ang The DAO, isang virtualized investment vehicle na nakalikom ng $150m – at pagkatapos ay naging biktima kaagad ng isang attacker na nagsipsip ng $50m sa kanilang sariling account.

Nang sinimulang suriin ng mga mananaliksik ng seguridad ang The DAO, nakakapagod na maunawaan kung ano talaga ang ginagawa nito dahil ang bytecode ng DAO (ang virtual machine code) lang ang nakikita sa blockchain, at hindi malinaw kung aling bersyon ng source code ang aktwal na ini-deploy.

Kailangang transparent ang code ng smart contract, na walang butas, para alam namin kung ano mismo ang pinipirmahan namin kapag nagpasok kami ng isang kasunduan – at para mas madaling makita ang mga error. Ang ONE paraan upang maisakatuparan iyon ay sa pamamagitan ng paggamit ng isang binibigyang kahulugan na wika, sa halip na isang pinagsama-samang ONE, upang ang aktwal na code ay makikita sa blockchain at madaling masuri.

Kung hindi, kailangang imapa ng bytecode nang eksakto sa source code na lumikha nito upang matiyak na tumutugma ang mga ito. Iyon ay nangangailangan ng compiler mismo na ma-certify.

3. Magbigay ng malinaw na mekanismo ng pamamahala

Dahil ang mga matalinong kontrata ay naka-imbak sa isang blockchain, ayon sa kahulugan, ang code ay hindi nababago – ibig sabihin, sa isang perpektong mundo, ang code ay T nagbabago.

Ngunit ang software ay hindi kailanman perpekto. Maaaring at mangyayari ang mga pagbabago sa pinagbabatayan na platform, na maaaring makaapekto sa kung paano ipapatupad ang smart contract code. Kung paano pinangangasiwaan ng isang partikular na blockchain ang mga pagbabagong iyon ay kritikal sa pagtatanim ng tiwala sa platform nito.

Kung saan walang malinaw na modelo ng pamamahala, walang katiyakan na ang lupa T biglang lilipat sa ilalim ng iyong mga paa. Kapag ito ay pabor sa kanila, ang mga CORE developer o sinumang nagpapatakbo ng palabas ay may kapangyarihang baguhin ang mga panuntunan ng midstream ng laro.

Siyempre, kung gaano mahina ang isang blockchain sa ganitong uri ng pang-aabuso sa kapangyarihan ay nakasalalay sa komunidad nito. Gayunpaman, ang mga blockchain sa hinaharap ay dapat na may malinaw na mga prinsipyo ng pamamahala na inilatag mula sa simula, upang ang mga pagbabago sa protocol ay ginawa sa isang predictable na paraan at walang sinuman ang matamaan ng anumang malalaking sorpresa.

Kapag naayos na namin ang mga problema, aalis ang mga matalinong kontrata at magiging backbone ng marami sa mga kontratang ginagawa namin araw-araw, pinangangasiwaan ang lahat mula sa iyong mga singil sa kuryente hanggang sa iyong dog sitter hanggang sa pakikipag-ayos na mayroon ka sa isang landlord – lahat sa likod ng mga eksena at sa Internet, na ginagawang mas madali ang ating buhay.

At tulad ng Internet, T namin iisipin ang Technology sa likod nito, alam lang namin na gumagana ito – pare-pareho at maaasahan.

Pagwawasto: Ang isang naunang bersyon ng artikulong ito ay nagpahiwatig na ang pangunahing kumpanya ng CoinDesk, ang Digital Currency Group, ay namuhunan sa Tezos. Ito ay binago.

Larawan ng paglipad ng eroplano sa pamamagitan ng Shutterstock