3 dalykai, reikalingi protingoms sutartims, kol jie galiausiai gali pasiimti | LT.democraziakmzero.org

3 dalykai, reikalingi protingoms sutartims, kol jie galiausiai gali pasiimti

3 dalykai, reikalingi protingoms sutartims, kol jie galiausiai gali pasiimti

Arturas Breitmanas yra generalinis direktorius ir Kathleen Breitmanas iš Tezos COO (tezos.com), naujas blockchain platforma šiuo metu kuriama. Prieš įkūrėjų Tezos Arthur dirbo "Goldman Sachs" ir "Morgan Stanley", kur jis tarnavo kaip viceprezidentas. Kathleen buvo vyresnysis strategija susieta su "blockchain konsorciumo R3.

Šiuo CoinDesk 2016 m Reviewspecial funkcija, kad Breitmans pateikti savo apžvalgą vykstančių problemų su smart sutarties plėtrą, pasirinkdami tik trys jie tiki lieka kliūčių pagrindinės naudojimo.

Smart sutartys surengti milžinišką pažadą kaip "žudikas app" už blockchains.

Jei nesate susipažinę, protingas contractis kompiuterinę programą, kuri automatiškai vykdo iš sutarties dėl blockchain sąlygas. Iš esmės, galite naudoti smart sutartis dėl įvairių tikslų, pavyzdžiui, ryšio paslaugų sutartis, buto ir viešbučio kambarių nuoma, laisvai samdomų vertėjų darbo sutartis, automatizuoti mokėjimai - visur norite norite iškirpti vidurį asmenį.

Su daugiau nei $ 17 mlrd į assetsstored vos 10 geriausių cryptocurrencies, šiuo metu yra didžiulė galimybė suteikti esamiems blockchain turto, papildomą lankstumą ir naudingumą pridedant protingų sutarties galimybes.

Taip pat akivaizdu, kad technologija siūlo tvirtą Aukštyn į tradicines rinkas.

Pavyzdžiui, apsvarstyti naudojimo atvejį over-the-counter (OTC) išvestinių finansinių priemonių rinkoje, kurios sudaro 700tn $ tariamoji vertė per metus. Perkraustymo net nedidelį procentą tų maršrutų į išmaniųjų sutartis yra didžiulė galima sutaupyti.

Bet prieš smart sutartys gali gyventi iki jų pažadą, kad platformos, leidžiančios juos reikia toliau plėtoti.

Čia yra trys būdai protingų sutartis sistemos gali uždirbti mūsų pasitikėjimą 2017:

1. Teikti formalus patikrinimas galimybes

Rašyti kodą, kuris veikia būtent taip, kaip mes norime, yra neįtikėtinai sunku.

Visa programinė įranga yra neapsaugota nuo klaidų ar išpuolių įvairių rūšių - bet su išmaniųjų sutartis, faktiniai turtas yra pavojuje. Mes turime geresnį būdą užtikrinti šios sutartys yra tvirta ir saugi. Vienas iš būdų yra naudoti oficialų patikrinimą, matematinį metodą, tikrinimo kodą įrodyti, kad ji atliks taip, kaip numatyta.

Smart sutartys turėtų būti įgyvendinama kalba, kad lengva patikrinti. Dėl šios priežasties, funkciniai kalbos, kaip ir Haskell ir OCaml, geriau tinka į pažangų sutartis kodas nei neišvengiamų tie kaip C / C ++, Java ir JavaScript, nes jų struktūra yra lengviau samprotauti apie ir patikrinti oficialiai.

Tiesa, daugiau programuotojai yra susipažinę su JavaScript, tačiau dėmesys turi pereiti nuo naudojimo paprastumas saugumui.

Turėkite omenyje, kad formalus patikrinimas turi tam tikrų apribojimų. Tai nėra visiškai automatinis ir vis dar reikia žmogaus įgūdžių.

Be to, formalus patikrinimas gali įrodyti tik savybes mes iš tikrųjų manau, patikrinti; jei nenorite patikrinti teisingus dalykus jūs vis dar galite palikti spragų atvira. Bet vis tiek, tai yra žingsnis teisinga kryptimi, kai tinkamai įgyvendintos.

2. Užtikrinti skaidrumą, kodas gali būti tikrinami

Vienas iš didžiausių eksperimentų su išmaniųjų sutartis buvo DAO, virtualių investicinė priemonė, kad iškėlė $ 150 - ir tada iš karto auka su užpuoliku, kuris perpumpuojami išjungti $ 50m į savo sąskaitą.

Kai naudojamos saugumo tyrėjai pradėjo analizuoti dao, tai buvo sunkus suprasti, kas jis buvo iš tikrųjų daro, nes DAO anketa baitinis (virtualioji mašina kodas), buvo visa, kas buvo matoma blockchain ir nebuvo aišku, kokia versija kodo buvo faktiškai naudojami.

"Smart sutartis kodas turi būti skaidrus, be spragų, todėl mes žinome, ką mes pasirašome, kai mes įvesti susitarimą - ir taip pat, kad klaidos yra lengviau pastebėti. Vienas iš būdų pasiekti, kad yra naudojant aiškinama kalbą, o ne surinkta vieną, todėl tikrasis kodas yra matomas blockchain ir gali būti lengvai patikrintas.

Priešingu atveju, baitinis reikia tiksliai žemėlapį į kodą, kad jį sukūrė siekiant užtikrinti, kad jie atitiktų. Tai reikalauja kompiliatorius pats turi būti sertifikuota.

3. Pateikite aiškų valdymo mechanizmą

Nes protingas sutartys saugomi blockchain, pagal apibrėžimą kodas yra nekintamas - prasmė, tobulame pasaulyje, kodas nesikeičia.

Bet programinė įranga yra niekada tobula. Pakeitimai su pagrindine platforma gali ir įvyks, kuris gali turėti įtakos, kaip protingas sutartis kodas vykdo. Kaip tam tikra blockchain rankenos tuos pakeitimus, yra labai svarbūs formuojant pasitikėjimą savo platformą.

Kai nėra aišku, valdymo modelis, nėra tikrumo žemės nebus staiga pereiti po jūsų kojomis. Kai jis dirba savo naudai, pagrindinių kūrėjų ar kas veikia šou turi galią keisti Žaidimo Vidurys upės taisykles.

Žinoma, kaip pažeidžiamos blockchain yra šio piktnaudžiavimo valdžia pobūdžio labai priklauso nuo jo bendruomenei. Vis dėlto, blockchains ateities turėtų turėti aiškius valdymo principus, išdėstytus nuo pat pradžių, kad protokolas pakeitimai daryti nuspėjamu mados ir niekas gauna nukentėjo jokių didelių netikėtumų.

Kai tik gausime Kinks dirbo, smart sutartys bus kilimo ir formuoja daugelis sutarčių Mes užsiimti kasdien stuburą, tvarkymo viską nuo savo elektros sąskaitas savo šuniui Aukle į priemonę turite su nuomotoju - visos užkulisiuose ir per internetą, todėl mūsų gyvenimą lengviau.

Ir kaip internete, mes negali galvoti apie technologijas už tai, mes tiesiog žinome, kad tai veikia - nuosekliai ir patikimai.

Korekcija: senesnę šio straipsnio nurodyta, kad CoinDesk patronuojanti bendrovė, Skaitmeninis Valiuta grupė, buvo investuota į Tezos. Tai buvo peržiūrėtas.

Smart ContractsCoding2016 Atliekant peržiūrą

Susiję straipsniai


Post Altcoin

Kaip 2018 m. Tapo Multisig metais

Post Altcoin

NEM fondas: Stolen Coincheck fondai, kurie nepaskirstyti į biržos sąrašus

Post Altcoin

Kodėl šis Ethereum įkūrėjas nepradeda DAO

Post Altcoin

Pasirengimas Blockchaino reguliavimui Post-Obamos eroje

Post Altcoin

CoinCorner paleidžia Mobile Wallet, Solution ir Payment Gateway padėtį

Post Altcoin

Pamirškit Mėnulį, Bitcoin gali nuvežti į Everesta aukštutį

Post Altcoin

Bitcoin paleidimo monetos.ph paleidžia du didžiausius Filipinų prekybininkus

Post Altcoin

MASTer planas: geresni Bitcoin Smart sutartys galėtų eiti šių metų gyvenimą

Post Altcoin

Korėjos starto Coinplug pakelia 400 tūkst. Dolerių, pusę Bitcoin, Fiat pusėje

Post Altcoin

Ar Bitcoin prekybininko apeliacija išnyksta?

Post Altcoin

Nuolaidų kodas ir Primecoin mining sukelia debesies serverio perkrovą

Post Altcoin

Pirmas Bitcoin komiksas: Satoshi Nakamoto medžioklė