Ethereum klaida siunčia Smart Contracts atgal į piešinių tarybą | LT.democraziakmzero.org

Ethereum klaida siunčia Smart Contracts atgal į piešinių tarybą

Ethereum klaida siunčia Smart Contracts atgal į piešinių tarybą

Klaidos yra normalus dalis programinės įrangos, bet ethereum, jie gali būti unikaliai pavojingas.

Tai gali būti Takeaway iš ethereum programavimo kalbos klaidų rasti šią savaitę, kuri paveikia tam tikrą stilių išmaniųjų sutartį, o dėl to, kaip ethereum darbai (ji žada paraiškos bus paleisti tiksliai taip, kaip užprogramuoti), dauguma sutarčių, negali būti priimtas žemyn arba pasikeitė.

Trumpai tariant, savininkai decentralizuotų išmaniųjų sutartis (tie, kurie negali būti atnaujintas vienas savininkas) negali nieko ištaisyti ydos padaryti.

Dvi dienas po išleistų klaidų reportwas, kūrėjai iškočiojama Fix tvirtumą versija 0.4.4. Bet klaida paveikia kai kuriuos adresus ir tipų duomenimis šių sutarčių, kad jie vis dar gali būti pakeistas su atnaujinimo.

Geros naujienos yra tai, kad klaida negali turėti įtakos daug protingų sutartis.

Tvirtumas kūrėjas Krikščionių Reitwiessner sakė CoinDesk jis vyko "pusiau-automatinė" analizė kiekvieno sąraše pagal populiaraus bloko Explorer ethereum programą ir nustatė, kad 12.000 sutarčių, tiesiog keturi buvo naudoti.

Reitwiessner sakė nė viena iš šių sutarčių kokių nors jų eterį, nes jie greičiausiai buvo naudojami bandymų tikslais. Tačiau verta pažymėti, kad ne visos sutartys rodomi Etherscan, pasirinkto bloko Explorer. (Yra daugiau nei 200.000 sutartys iš viso, todėl sunku pasakyti, kaip saugiai likusios sutarties lėšos).

Apskritai, atrodo, kad nepilnametis trūkumas, palyginti su dao, Ryškiausias pavyzdys protingas sutartis neveikia, kaip buvo numatyta. Tačiau ji generuoja diskusiją apie tai, kas gali atsitikti kitų pagrindinių klaidų turint omenyje, kad ne visi smart sutartys turės centrinę savininką, kuris gali juos atnaujinti, jei kažkas negerai atveju.

Vienas stebėtojas ant socialinės žiniasklaidos, pavyzdžiui, arguedthat tai gali būti "Kretowisko dėl didelio kalno pusėje" panašių problemų.

Vienas iš radikalių idėjų, kaip sutvarkyti šią problemą yra padaryti ethereum sutartys naujovinami artimiausioje perspektyvoje, kad savininkai turi tam tikrą išjungti ar pakeisti kodą į avariją atveju kelią. Bet baimė yra, kad daro tai galėtų reikšti išpardavimas toli, ką daro ethereum (ar kitų decentralizuotų platformos) unikalų.

Singapūro nacionalinio universiteto dokt Loi Luu sakė, kad ji būtų geriau ethereum jei vartotojai sužinojo, kaip diegti pažangaus kontraktų kietąjį būdu, decentralizuotai.

Luu pasakė:

"Aš asmeniškai nemanau, kad jos gera idėja. Tai iš esmės prieš viską protingų sutartys yra skirtos. Jei ethereum yra beta tinklas, tegul protingų sutartys nepavyks, tegul žmonės sužino savo pamokas."

Tačiau, nors Luu komentarai rodo, kad ji gali būti gera idėja, kad visos sutartys naujovinami, yra keletas būdų, kaip parengti galimos būsimos klaidų, ypač, kai ethereum vis dar yra nauja technologija.

Tvirtinimo problemą

Programos parašytos ethereum aukštojo lygio, paprasta skaityti kalbas, pavyzdžiui, solidumo ar gyvatė, yra surinkti į baitų lygio kodas, kol jie bus įtraukta į blockchain. Problema čia buvo su technologija daro sudarymą.

Norėdami išspręsti šią problemą, Reitweissner recommendedthat kūrėjai padaryti du dalykus. Vienas iš jų, jei sudarant naują sutartį, kūrėjai reikia atnaujinti į naują versiją efektyvumo, kad būtų išvengta klaidų.

Antrasis būdas išvengti problemų yra daugiau smalsu pavyzdys, nes jis reikalauja atnaujinti ar defunding protingų sutartis, kurios jau yra dislokuoti - kažkas galbūt nesitiki galima su ethereum.

Reitwiessner parengta remiantis šio patarimo, paaiškindamas, kad yra dviejų tipų sutartis: centralizuotai valdoma ir decentralizuotos, kur niekas turi "specialių privilegijų".

Pirmasis tipas tikriausiai siūlo keletą modernizavimo mechanizmas ar būdas pašalinti lėšas iš sutarties.

Antrasis tipas yra sudėtingiau. Kita vertus, kadangi nepatiklus ethereum protingų sutartys negali būti pašalintas arba pakeistas, kai jie dislokuoti, nėra daug, kad kūrėjai gali padaryti, jei jie nebuvo naudoti centralizuotą protingas sutartį iš pradžių.

Tačiau Reitwiessner sakė, kad kūrėjai gali apsisaugoti nuo būsimų problemų (pavyzdžiui, tiems, kurie tvirtumą) daro keletą dalykų.

"Mano rekomendacija, kad tokios sutartys būtų arba laikyti juos trumpalaikis, todėl, kad potencialūs blogų poveikis yra nedidelis arba padaryti tinkamą oficialią analizę sutarties bytecode. Mes šiuo metu rengia įrankius, kurie padės daro, kad," sakė jis ,

Naujovinami sutartys

Yra keletas būdų, kaip gauti aplink tai, tačiau.

Ethereum fondas Išorės santykiai sukelti Hadsono Jameson aprašė modernizavimo protingų sutartis, kurie potencialiai galėtų būti decentralizuota, teigdamas, kad pridedant būdas atnaujinti gyvų kodą yra būtinybė kelią.

"Bendras jausmas iš mūsų kūrėjams yra tas, kad šiame ankstyvame etape svarbu turėti rezervinį seifai savo kodą, kad būtų saugiai atjungiantis arba atnaujinti sutartis, turinčių daug vertės," sakė jis.

Jameson aprašyta keletas galimų protingas sutartis "fail-seifai", kur savininkai gali atnaujinti savo sutartis net po jie dislokuoti į ethereum, arba jei protingas sutartys gali aptikti, kai kažkas žuvytę vyksta.

Jis sakė, kad jie nebūtinai turi būti centralizuota arba pagal vieno savininko kontroliuoti. Pavyzdžiui, galite turėti Smart sutartį, kuri iškelia ribą, kiek turto galima atsiimti vienu metu.

"Taigi, jei užpuolikas bando nusausinti lėšų ar turto sutartį, jis gali sukelti decentralizuotą atsakymą panašaus fiksavimo juos ir pranešimo apie kitus žmones, kurie naudojasi sutartį, kad jie gali tekti atsiimti savo lėšas," sakė jis.

Jis apibūdino keletą kitų metodų, įskaitant įsilaužimo aptikimo, Uždaromasis jungikliai ir kelių parašo sandorius, kai daugiau nei vienas asmuo turi pasirašyti ant sandorį prieš eterį galima apsieiti.

Žvelgiant į ateitį

Smart sutartys ethereum klasika (grupės, kad atsiskirti nuo ethereum dėl ideologinio nesutarimų), taip pat paveikti klaidų, nes jos blockchain remiasi tais pačiais įrankiais.

Tačiau, pasak jo švino organizatorius Arvicco, kūrėjai yra tyrinėti kitą ilgalaikį būdą kurti programavimo kalbą, kad daugiau atsparus klaidų.

"Vienas iš galimų būdų yra perkelti protingas sutartis kalbos raidą nuo objekto / procedūrinės į funkcinę paradigmą," sakė jis.

Nepriklausomai įmanoma nustatyti, diskusija reiškia, kad ethereum kūrėjai neturėtų tikėtis, kad jų protingų sutartys dirbti be potencialiai pavojingų pasekmių visai dar, kurie gali gali būti visiškai aišku, tiems, kurie jau dislokuotos kodą tinklo ar ne.

Kaip tvirtumą, ypač, dar nesustabdomas klaidą potencialiai gali turėti įtakos kitų protingų sutartis ateityje.

Reitwiessner pažymėjo, kad tai visada įmanoma dėl kompiliatorius pristatyti klaidą, ir tai įmanoma, kad tvirtumą arba Gyvatė (ethereum anketa kita protingas sutartis kalba) turėti kitų neatrastų trūkumų.

Tačiau jis pažymėjo, kad per dvejus metus plėtra, tai buvo pirmas sunkus klaidą rasta išmaniųjų sutarties kalba.

Susiję straipsniai


Post Ethereum

DAO yra New Dow

Post Ethereum

Bitcoin prognozės 2018 m.: kaip nusiteikę tarnai

Post Ethereum

Kontrahentas uždegia diskusijas su Ethereum integracija

Post Ethereum

Blockchain procesoriui? Analizuojant Golemo Ethereum Token Sale

Post Ethereum

Bitcoin Testai 2018 Pakelia kaip investuotojai Ieško Privatumo

Post Ethereum

Ar DAO taptų Ethereum Mt Gox?

Post Ethereum

Pagaliau? Parity Releases pakeitė programinę įrangą prieš Ethereum Hard Fork

Post Ethereum

Storj perkelti decentralizuoto saugojimo tarnybą Ethereum Blockchain

Post Ethereum

Brazilijos centrinis bankas yra Ramping Up Blockchain MTTP

Post Ethereum

Palaiminimas ir prakeiksmas: DAO Developers on Blockchain 2018 m

Post Ethereum

Poof, jūsų pinigai išėjo: pastatas blokiniams vartotojams

Post Ethereum

Blockchain tyrimai spartėja, nes Pietų Amerika mato Ethereum