3 lietas, kas prasa viedus līgumus, pirms tie var beigties noņemt | LV.democraziakmzero.org

3 lietas, kas prasa viedus līgumus, pirms tie var beigties noņemt

3 lietas, kas prasa viedus līgumus, pirms tie var beigties noņemt

Arthur Breitman ir izpilddirektors un Kathleen Breitman COO Tezos (tezos.com), jauns blockchain platforma pašlaik attīstībā. Pirms dibināšanas Tezos, Artūrs strādāja Goldman Sachs un Morgan Stanley, kur viņš kalpoja kā viceprezidents. Kathleen bija vecākais stratēģiju saistītais lietotājs blockchain konsorcijs R3.

Šajā CoinDesk 2016. In Reviewspecial funkciju, Breitmans sniedz savu pārskatu par esošajām problēmām, ar gudru līguma izstrādi, izvēloties tikai trīs, viņuprāt paliek šķēršļus mainstream lietošanai.

Smart līgumi turēt milzīgu solījumu kā "killer app" par blockchains.

Ja jūs neesat pazīstams, gudrs contractis datorprogrammu, kas automātiski izpilda noteikumus par līgumu uz blockchain. Principā var izmantot smart līgumus par dažādiem mērķiem, piemēram, bezvadu pakalpojumu līgumiem, dzīvokļu un viesnīcu telpu noma, ārštata darba līgumu, automatizējot maksājumus - jebkurā vietā jūs vēlaties izgriezt vidu personu.

Ar vairāk nekā $ 17 miljardus, kas assetsstored tikai top 10 cryptocurrencies, šobrīd ir milzīgs iespēja dotu esošajām blockchain aktīvu papildu elastību un lietderību, pievienojot smart līguma iespējas.

Ir arī skaidrs, ka tehnoloģija piedāvā spēcīgu ačgārni tradicionālajiem tirgiem.

Piemēram, apsvērt iespēju izmantot gadījumu no pār-the-counter (OTC) atvasināto finanšu instrumentu tirgus, kas veido 700tn $ nosacītās vērtības gadā. Moving pat nelielu daļu no šiem darījumiem līdz smart līgumiem milzīgu potenciālu ietaupījumu.

Bet pirms gudri līgumi var dzīvot līdz to solījumu, platformas, kas tām ir nepieciešama tālāka attīstība.

Šeit ir trīs veidi, kā gudri līguma sistēmas var nopelnīt mūsu uzticību 2017. Gadā:

1. Nodrošināt formālās pārbaudes spējas

Rakstot kodu, kas strādā tieši tā, kā mēs vēlamies, ir neticami grūti.

Visa programmatūra ir neaizsargāta pret kļūdām vai dažāda veida uzbrukumiem, - bet ar viedajiem līgumiem, faktiskie aktīvi ir apdraudēta. Mums ir nepieciešams labāks veids, lai nodrošinātu, šie līgumi ir stabila un droša. Viens veids ir izmantot formālu pārbaudi, matemātisku tehniku ​​pārbaudīt kodu, lai pierādītu, ka tā veiks, kā paredzēts.

Smart līgumi jāīsteno valodā, kas ir viegli pārbaudīt. Šī iemesla dēļ, funkcionālās valodas, piemēram, Haskell un ocaml, ir labāk piemērota, lai viedo līguma kodam nekā nenovēršamu tiem, piemēram, C / C ++, Java un JavaScript, jo to struktūra ir vieglāk spriest par un pārbaudīt formāli.

True, vairāk programmētāji ir pazīstami ar JavaScript, bet uzmanība ir pāriet no lietošanas ērtumu drošībai.

Paturiet prātā, ka formālā pārbaude ir daži ierobežojumi. Tas nav pilnīgi automātiska un joprojām ir nepieciešama cilvēka iemaņas.

Tāpat formāla pārbaude var izrādīties tikai rekvizītus mēs faktiski domā pārbaudīt; ja jums nav pārbaudīt pareizās lietas jūs joprojām varat atstāt ievainojamību atvērtas. Bet tomēr, tas ir solis pareizajā virzienā, kad tos īsteno pareizi.

2. Nodrošināt pārredzamību, lai kodu varētu pārbaudīt

Viens no lielākajiem eksperimentiem ar viedajiem līgumiem atradās DAO, virtuālā investīciju transportlīdzeklis, kas izvirzīts $ 150m - un pēc tam uzreiz krita par upuri uzbrucējs, kurš notušētu $ 50m uz sava rēķina.

Kad drošības pētnieki sāka analizēt Dao, tas bija garlaicīgs, lai saprastu, kas tas bija patiesībā dara, jo Dao ir bytecode (virtuālā mašīna kods) bija viss, kas bija redzams uz blockchain, un tas nebija skaidrs, kādas versijas pirmkodu bija faktiski tiek izvietoti.

Smart līgums Kodam jābūt pārredzamai, bez trūkumiem, lai mēs precīzi zinātu, ko mēs parakstīšanas, kad mēs ieiesim vienošanos - un arī tā kļūdas ir vieglāk pamanīt. Viens veids, kā to paveikt, ir, izmantojot interpretēt valodu, nevis apkopota vienā, lai faktiskais kods ir redzams blockchain un to var viegli pārbaudīt.

Pretējā gadījumā bytecode vajag karti tieši avota kodu, kas izveidots, lai nodrošinātu, ka tie atbilst. Tas prasa kompilators pati tikt sertificētas.

3. Nodrošināt skaidru pārvaldības mehānismu

Jo gudri līgumi tiek glabāti blockchain, pēc definīcijas kods ir nemainīgs - nozīme, perfektā pasaulē, kods nemainās.

Bet programmatūra nekad nav perfekta. Izmaiņas pamatā platformu var un notiks, kas var ietekmēt to, kā gudri līgums koda izpildes. Kā dots blockchain rīkojas šīs izmaiņas ir ļoti svarīgi, lai ieaudzināšanu uzticību savā platformā.

Ja nav skaidras pārvaldības modelis, nav pārliecības, zemes nebūs pēkšņi novirzīt zem jūsu kājām. Kad tas darbojas viņu labā, galveno attīstītāju vai kādam citam, kas darbojas parādīt ir tiesības mainīt noteikumus spēles midstream.

Protams, cik neaizsargāti blockchain ir šāda veida ļaunprātīgu varas lielā mērā atkarīgs tās sabiedrību. Tomēr blockchains nākotnē jābūt skaidri pārvaldības principi, kas izklāstīti no sākuma, tāpēc ka protokols tiek veiktas izmaiņas paredzamā veidā un neviens izpaužas hit ar jebkuru lielo pārsteigumiem.

Kad mēs Kinks izstrādātas, gudri līgumi būs pacelšanās un veido mugurkaulu daudzu līgumu mēs iesaistās ikdienā, apstrādes visu, sākot no elektrības rēķiniem jūsu Suņu kopējs ar vienošanos jums ir ar namīpašnieku - visi aizkulisēs un internetā, padarot mūsu dzīvi vieglāku.

Un, piemēram, internetā, mums nebūs jādomā par tehnoloģiju aiz tā, mēs tikai zinām, ka tā darbojas - konsekventi un dependably.

Korekcija: Agrāk versija šo rakstu norādīja, ka CoinDesk mātes sabiedrība, Digital Valūtas grupa bija ieguldīti Tezos. Tas tika pārskatīts.

Smart ContractsCoding2016 in Review

Saistītās ziņas


Post Altcoin

Spark Capital, Aleph Svins 2,5 miljonu dolāru ieguldījums krāsaino monētu starta Colu ražošanā

Post Altcoin

Iepazīstieties ar 5 Blockchain palaišanu Boost VCs Tribe 6

Post Altcoin

Bitcoin Neatkarības diena: Vai lietotāji varētu ieteikt svarus skalošanas diskusijā?

Post Altcoin

2018. gads: Blockchain Hubris gads

Post Altcoin

Lietotāja radītā valūta: Bitcoin un nauda YouTube

Post Altcoin

Kalifornijas Bitcoin Bill stends ar valsts senatoru

Post Altcoin

Bitcoin Bank Flexcoin aizvērt pēc 600k bitkino zādzības

Post Altcoin

Kāpēc Citigroup trīskāršais risks, kas saskaras ar Bitcoin, ir kļūdaini

Post Altcoin

Appcoin likums: ICOs pareizais ceļš

Post Altcoin

Monētu kongresu 2. diena: Bitcoin rūpniecība ir vērsta pret šķēršļiem

Post Altcoin

Coinapult izlaiž LOCKES, lai likvidētu Bitcoin cenu svārstības

Post Altcoin

Liels noslēpums? Bitcoin mērogošanas plāns Segwit2x Leaves vairāk jautājumu nekā atbildes