3 asjad vajavad arukad lepingud enne, kui nad saavad lõpuks ära võtta | EE.democraziakmzero.org

3 asjad vajavad arukad lepingud enne, kui nad saavad lõpuks ära võtta

3 asjad vajavad arukad lepingud enne, kui nad saavad lõpuks ära võtta

Arthur Breitman on tegevjuht ja Kathleen Breitman liiketoimintajohtaja Tezos (tezos.com), uus blockchain platvormi praegu arengut. Enne asutaja Tezos, Arthur töötas Goldman Sachs ja Morgan Stanley, kus ta oli asepresident. Kathleen oli vanem strateegia assotsieerunud jaoks blockchain konsortsiumi R3.

Selles CoinDesk 2016 Reviewspecial funktsioon on Breitmans pakkuda oma ülevaade käimasoleva küsimusi smart lepingu arengut, valides vaid kolm nad usuvad endiselt takistusi tavakasutusse.

Smart lepingute hoidke tohutu lubadus kui "killer app" jaoks blockchains.

Kui sa ei ole tuttav, tark contractis arvutiprogramm, mis automaatselt täidab lepingu tingimusi käsitleva blockchain. Põhimõtteliselt saab kasutada smart lepingud mitmesuguseid eesmärkidel, näiteks traadita teenuste lepingud, korter ja hotellituppa üürid, vabakutseline töölepingud, automatiseerimine maksed - kuskil sa tahaks lõigatud keskel inimene.

Üle $ 17 mld sisse assetsstored vaid top 10 cryptocurrencies, seal praegu on suur võimalus, et anda olemasolevatele blockchain varade täiendavat paindlikkust ja kasulikkust, lisades smart lepingu võimeid.

Samuti ilmne, et tehnoloogia pakub jõuline pea traditsiooniliste turgudel.

Näiteks leiavad kasutamist puhul üle leti (OTC) tuletisinstrumentide turul, mis moodustab $ 700tn nominaalväärtuse aastas. Liikumine isegi väike protsent nendest ametitest aruka lepingute kujutab endast tohutut potentsiaali kokkuhoid.

Aga enne smart lepingud võivad elada kuni oma lubadust, platvormid võimaldavad neil vaja edasist arengut.

Siin on kolm võimalust smart lepingu süsteemid võivad teenida meie usaldust 2017

1. Anda ametliku kontrollimise võimalusi

Kirjutamine kood, mis töötab täpselt nii, nagu me tahame, on uskumatult raske.

Kõik tarkvara on tundlikud vigu või rünnakute erinevate - kuid tark lepingute tegelik vara on kaalul. Me peame paremini tagada nende lepingud on jõuline ja turvaline. Üks võimalus on kasutada ametliku kontrollimise, matemaatilise tehnikat kontrollida koodi tõestada, et see täidab ettenähtud viisil.

Smart lepingud tuleks rakendada keeles, mida on lihtne kontrollida. Sel põhjusel, funktsionaalne keeles, nagu Haskell ja OCaml, sobivad paremini smart lepingu koodi kui hädavajalik need nagu C / C ++, Java ja JavaScript, sest nende struktuur on lihtsam põhjus umbes ja kontrollida ametlikult.

Tõsi, rohkem programmeerijad tunnevad JavaScript, kuid tähelepanu tuleb nihutada alates kasutusmugavus turvalisuse.

Pidage meeles, et ametliku kontrollimise on mõned piirangud. See ei ole täiesti automaatne ja nõuab veel inimoskus.

Ka ametliku kontrollimise saab tõestada omaduste me tegelikult arvan, et kontrollida; kui te ei saa kontrollida õigeid asju saate siiski lahkuda turvaaukude avatud. Aga ikkagi, see on samm õiges suunas, kui rakendatakse nõuetekohaselt.

2. Tagama läbipaistvuse nii koodi saab kontrollida

Üks suurimaid eksperimendid smart lepingute oli DAO, virtualiseeritud investeeringute sõiduk, mis tõstis $ 150m - ja siis kohe ohvriks langes ründajaga, kes siphoned off $ 50m arvesse oma konto.

Kui turvalisuse teadlaste hakkas analüüsima DAO, see oli tüütu mõista, mis see tegelikult teeb, sest DAO on bytecode (virtuaalne masin koodi) oli kõik, mis oli nähtav blockchain, ja see ei olnud selge, millist versiooni lähtekoodi oli tegelikult kasutatakse.

Smart leping kood peab olema läbipaistev, ilma lünki, nii et me teame täpselt, mida me allkirjastamist kui me siseneme kokkuleppele - ja ka nii vigu on lihtsam märgata. Üks viis selle saavutamiseks, mis on kasutades tõlgendada keele asemel koostatakse üks, nii et tegelik kood on nähtav blockchain ja saab kergesti kontrollida.

Muidu bytecode vajab kaardile täpselt lähtekoodi, et loodud on tagada, et need sobivad. See nõuab koostaja ise olema sertifitseeritud.

3. Anda selge valitsemise mehhanismi

Kuna tark lepingud on salvestatud blockchain definitsiooni kood on muutumatu - tähendus, täiuslikus maailmas, kood ei muutu.

Aga tarkvara on kunagi täiuslik. Muudatused alusplatvorm saab ja juhtub, mis võivad mõjutada smart lepingu kood täidab. Kuidas antud blockchain käepidemed need muudatused on kriitiline sisendada usaldust oma platvormi.

Kui ei ole selge juhtimismudel puudub kindlus maa ei äkki suunata oma jalge all. Kui see töötab nende kasuks, tuum arendajad või kes töötab show on õigus muuta mängureegleid midstream.

Muidugi, kui haavatav blockchain on selline võimu kuritarvitamine sõltub suuresti tema kogukonnas. Ikka, blockchains peaks tulevikus olema selge valitsemise põhimõtted sätestatud algusest, nii et protokolli tehakse muudatusi prognoositav mood ja keegi saab löögi suuri üllatusi.

Kui saame kiiksud välja töötatud, smart lepingute startida ja selgroo moodustavad paljud lepingud me tegelema iga päev, käitlemise kõike oma elektriarveid oma koera lapsehoidja korraldus teil on üürileandja - kõik kulisside taga ja üle interneti, mistõttu meie elu lihtsamaks.

Ja nagu Internet, me ei mõtle tehnoloogia taga, me lihtsalt tean, et see toimib - järjekindlalt ja dependably.

Parandus: varasema versiooni see artikkel näitas, et CoinDesk emaettevõtja Digitaalne Valuuta Group, oli investeerinud Tezos. See on muudetud.

Smart ContractsCoding2016 läbivaatusese

Seotud uudised


Post Altcoin

Kõik asjad Alt: plokkide ahelate Internet ja Moolahhi vastu võitlemine

Post Altcoin

Bitcoin vajab agressiivset õiguskaitset

Post Altcoin

Coinplugi 2,5 miljoni dollarise rahastamise voor näitab Bitcoini kasvu Koreas

Post Altcoin

Ainult 400%? Willy Woo matemaatika Insane Crypto Tagastab

Post Altcoin

Crypto Security 2018. aastal: kahe nõrkusega teade

Post Altcoin

CoinJar Swipe Bitcoini deebetkaardid on nüüd saadaval

Post Altcoin

OKCoin ja Huobi arutavad Bitcoini Hiinas ja plaanid ellujäämiseks

Post Altcoin

Entsüptid ja skeptikud arutlevad Bitcoini Londoni O2 kohas

Post Altcoin

Küünte kirstu: päev USA reguleerijad sundisid Bitcoini alustamist

Post Altcoin

Miks Bitcoin vahetatavus on oluline

Post Altcoin

Bitcoini pimestivõrk läheneb lähemale ühilduvusele

Post Altcoin

Elliptiline suurendab Bitcoin Vault teenuste rahastamiseks 2 miljonit dollarit