Kôd je zakon? Nije sasvim | BS.democraziakmzero.org

Kôd je zakon? Nije sasvim

Kôd je zakon? Nije sasvim

Lukas Abegg je advokat magistara u švicarskim i američki zakon. Trenutno je gostujući istraživač na Univerzitetu Humboldt u Berlinu, gdje je piše doktorsku disertaciju o temi na raskrsnici prava i tehnologije.

U ovom mišljenju komadu, Abegg razmatra razvoj pametnih ugovora u kontekstu matematike, tvrdeći da je uspostavljanje mjerila kao što su "kod je zakon" može da postavi značajan pritisak na konceptu pametne ugovora.

After The DAO eksperiment nije uspio, a rasprava grijani politika uslijedile o tome kako da nastavimo sa razvojem blockchain ethereum-a.

Pozicije u rasponu od drži na nepromjenjivost paradigma sa "kod je zakon" kao najvažnije pravilo da prate, na više ljudski pristup pita rudara i programerima šta treba preduzeti mjere ethereum a.

Samo malo vremena, međutim, potrošeno je na pitanje šta je pametan contractis zapravo u stanju da obavlja.

Ali ovo isto pitanje, vjerujem, trebalo bi da bude u središtu rasprave i odgovarajući odgovor je jedini razuman temelj na kojem se može izgraditi zdrave politike za blockchain i razvoj pametnih ugovora.

Dakle, hajde da pobliže pogledamo mogućnosti pametnih ugovora.

Priroda informacija

Funkcija pametne ugovora je u samoj svojoj suštini obradu informacija.

Iako je pojam informacija varira i univerzalna definicija postoji, korisno je da se počne sa način informacije theorydeals sa informacijama od teorije informacija je dio DNK današnjih informatike.

Stoga je potrebno podijeliti informacija u sintaktičke informationand semantičke informacije. Bivši što pravila o odnosu između simbola i drugo je značenje pripisuje takve simbole (npr: "namjera"). Linija između dva je nešto mutno i rekao im, osim ponekad je teško (koji je, kao što vidimo kasnije, dovesti do problema Daos na prvom mjestu), ali razlika između njih jasno postoji.

Zanimljiv komad o teškoćama osvajanja "namjere" je nedavno writtenby Vitalik Buterin.

Sintaktičke informacije mogu se analizirati i mjeriti (kao Shannonand Weaverdid u "A Mathematical Theory of Communication") i otvoren je za matematički dokaz. Semantičke informacije, međutim, ono što ljudsko biće pripisuje simbol. To može predstavljati ništa ljudski mozak je u stanju razmišljati.

Normalizacije semantičke informacije i čineći ga obradive je prilično težak zadatak, blago rečeno. Computer Science (posebno umjetne inteligencije istraživača) bori veliku valjaš pokušava da uhvati semantičke informacije, kao što su prirodni jezik, i predstavljaju njegovo značenje u softveru. Da stvar bude gora, semantičkih informacija može biti ništa od vrlo jednostavnih do vrlo složenih.

Jednostavna i formalna semantičke informacije, kao što je patent za primjer, već mogu biti obrađeni kompjuterski jezik. Mislim da je CAD datoteka patentirani widget na računaru koji omogućuje 3D printer ispis točno ono što je rekao CAD datoteka sadrži.

Više kompleks semantičke informacije, kao što je pravni pojam "dobroj vjeri", na primer, još uvek ne mogu rješavati informatike. Da biste to učinili, potrebno je još jedan veliki korak u umjetne inteligencije istraživanja.

Nedostaje upravljanje

Još jedan način da razliku između ove dvije vrste informacija bi se odnose na njih kao "suho kod" i "mokro kod", koncept skovao kriptograf Nick Szabo.

Da bi tačku o tome zašto je imperativ da poštujem dvostrane prirode informacija, možemo pogledati u Tao. Imperativ "rade ništa loše" (tj: semantičke informacije) je napisan samo na početnoj stranici u DAO, a ne u kod (koji, u većini slučajeva, obrađivati ​​samo sintaksičkim informacija).

Sljedbenici strogi "broj zakon" doktrina je tvrdila da je DAO haker može stoga zadržati isušeno eter jer "ne čini štetu" imperativ je bio samo u specifikacijama početnoj stranici, ali ne u samom kod i stoga nije obavezujuća. Oni su svoj slučaj i dalje držeći na ne-račvast ethereum blockchain i stvorio paralelnu ethereum okruženju, ethereum klasika, koja proizvodi neke prilično nezgodne probleme za korisnike i programere.

Ako je došlo do pravih upravljačkih alat koji bi se bavili semantičkih informacija (npr: osigurana svi boravi u "ne čini štetu" pravilo i obezbijedila sredstva da se bave prekršioce), kao split vjerovatno ne bi dogodilo.

Matematički dokaz i nepromenljivost

Kada Shannon je radio na teoriji komunikacije, on je uzeo veliku brigu da njegova istraživanja bila ograničena u sintaktičke informacije carstvo. To mu je omogućilo da matematički dokazati svoje zaključke.

To ne može biti učinjeno, ako je bio uključen semantičke informacije. Za Shannon, matematički dokaz je važno kako bi se unaprijedila znanost.

Kodiranje pametan ugovorom stvarno nije napreduje znanost i stoga matematički dokaz nije važno, moglo bi se pomisliti. Međutim, čim dodate nepromenljivost kroz blockchain implementacije kako bi vaš kod, vi podižemo za ispravnost svoj kod na nevjerojatno visokom nivou, ako ne i potpuno van domašaja (CF: detaljniju analizu).

Budući da vaše broj nepromjenjivi i ne mogu se mijenjati, morate biti savršeno sigurni da vaš kod nema mane.

Matematički dokaz svoj kod, dakle, čini odjednom vrlo važna karakteristika da imaju.

A ipak, Solidity kao što se koristi na ethereum za pametne realizacije ugovora, nije jezik koji omogućava matematički dokaz (tj: nije referentno transparentan). To je omogućilo realizaciju semantičkih informacija, ili da eksplicitno, namjera programera. Rekurzije-poziv koji je doveo do DAO hack trebalo koristiti na specifičan način, kao što programeri zamislio.

Očigledno, takve namjere nije bio zarobljen od strane koda i stoga ne ometaju DAO hakera iz pražnjenje DAO.

U zaključku: nepromenljivosti i ispravnosti koda su kao dva tave skale. Što više "težinu" te staviti na nepromenljivost više računa morate uzeti u pogledu ispravnosti vašeg koda.

Potreba za provjerljive kod

Ako je gotovo čitav svoj pametni ugovor immutably radi na blockchain (kao neki "broj zakon" entuzijasti Zamišljam da je to jedini način da se ide) ste najvjerojatnije nisu u stanju staviti dovoljno "kontra težinu" u ispravnost svoj kod.

Svi ovi nalazi su daleko od vijesti.

Čak i developer same Solidity, dr Gavin Wood, envisionedin ranoj fazi Solidity koncepcije jezik koji omogućava matematički dokaz i najnovije istraživanje sugeriše da bi bio potreban prevod Solidity u F * do verifikovati koda.

Međutim, čini se jasno do sada, da se željeno stanje alegality, gdje nije potreban angažman izvan pametan ugovora, još nije postignut. I to će vjerojatno još uvijek imaju dosta vremena da se tamo, ako se može doći na sve.

Punjenje tehnički prazninu

To ne znači, međutim, da je koncept pametnih ugovora nije ili bi beskorisno. Samo treba arhitekturu koja poštuje granice trenutne tehnologije. I pametan rad-oko za praznine u programskom jeziku i umjetne inteligencije koja tek treba da budu ispunjene.

Takav rad-oko moglo leži u pravnom sistemu od klasičnog meatspace, posebno specifično područje se zove Alternativno rješavanje sporova (ADR).

Njegova svrha je da se dva ili više tvrdeći stranaka formalna sredstva da riješe svoje sporove u privatnim bez pribjegavaju javnim državnim sudovima. Ona pruža alate koji vam omogućavaju da podesite vrlo svoja pravila, definirati procese kako upravljati sukobima, i / ili izaberite sudije po svom izboru.

Ona ima i lijepo nuspojava što zapravo klasičnog meatspace-pravno obavezujuće. To je impresivan igralištu da istražuju, npr: futarchy ideje poput predviđanja marketsor novu vrijednost pripisivanje konceptima kao Backfeedfor izboru arbitra. A to nije ni teško implementirati takva pravila arbitraže u pametnu ugovora.

Samo se pobrinite da svaki korisnik pametne ugovor o pružanju usluga prihvati da bude podvrgnut takvim pravilima arbitraže, baš kao što ste izloženi privatno obrazovane arbitražnim pravilima (npr ICANN je UDRP) pri registraciji imena domena.

Kako takva veza između pametnih ugovora i meatspace-pravnih pravila može izgledati kao ovdje mogu naći. (Ovo nisu pravila ADR ali pravila ugovornog prava. Implementacija bi, međutim, biti vrlo sličan).

Kreće prema alegality

Isprva, to može izgledati čudno da koriste stare koncepte kako bi se unaprijedila u novo područje.

Međutim, ako pogledate na to kao struktura za podršku - veoma nalik svježe 3D štampani stavka ima i koji se stalno se odselili kada nova stavka stoji u sopstvene kapacitete - u čudnost blijedi. Čak i više, tako da se krene naprijed možda čak ni heurističke element u smislu da to pomaže da biste saznali više o novim konceptima i alatima upravljanja koja bi mogla zamijeniti meatspace-pravna sredstva potpuno u budućnosti.

Da se puni krug sa početkom, treba poštovati dvostrano prirodu informacija i pustite proces kod sintaktičke informacije i postavljanje alata upravljanja za ljudska bića da obradi semantičke informacije.

Koristeći se uređuju alat kao što je specifična pravila arbitraže pametan ugovor u kombinaciji sa priznanje da pametni ugovori nisu ni pametni ni ugovora, već samo dokazano izvršava kod (VEC) može osigurati način da testira nove tehnologije u manje katastrofalan način nego je to učinjeno sa Tao i može pružiti sigurnost potrebna da bi pametan ugovore zanimljivo za poslovne subjekte.

Barem dok nauka uhvati korak sa vizijom "broj zakona" i da se postigne pravo stanje alegalitycan.

Povezane vijesti


Post Ethereum

Duhovno iskustvo: Vrući, divlji etnički samit je znak vremena

Post Ethereum

Project Blockchain Energy dobio je Consensus 2018 Hackathon

Post Ethereum

Bank of America se usvaja kao sljedeća prepreka za etereum test

Post Ethereum

Rebranding DAO: Concept Blockchain Concept se vratio nazad

Post Ethereum

Ničija zemlja? Eter Cene se približavaju 350 dolara, ali se bore za izgradnju trenutka

Post Ethereum

Novi predlog za etereum namerava da nadmaši pametne ugovore

Post Ethereum

JP Morgan, Santander su rekli da će se pridružiti novoj grupaciji beta blokova

Post Ethereum

9 Must-Watch razgovora na Ethereum-ovom Big Developer Eventu

Post Ethereum

Okrenite se za markirane novčiće, pređite na nadbiskupe robota

Post Ethereum

Pokretanje Blockchain-a Chronicled Pokreće Ethereum IoT Registry

Post Ethereum

Monax će dovesti Ethereum Tech u Hyperledger Blockchain Group

Post Ethereum

Blagoslov i prokletstvo: DAOs Developers na Blockchain-u 2018. godine