Koda je zakon? Ni precej še | SI.democraziakmzero.org

Koda je zakon? Ni precej še

Koda je zakon? Ni precej še

Lukas Abegg je pravnik z magisterijem v švicarski in ameriški zakonodaji. Trenutno je gostujoči raziskovalec na Univerzi Humboldt v Berlinu, kjer je pisal doktorsko disertacijo na temo na stičišču prava in tehnologije.

V tem mnenju kos, Abegg obravnava pametno razvoj pogodbe v okviru matematike, češ da lahko vzpostavljajo merila, kot so "koda je pravo" mesto velike pritiske na pogodbeni koncept pametnega.

Po DAO poskus ni uspel, zanimiva razprava politika sledila o tem, kako iti naprej z razvojem blockchain ethereum je.

Stališča v razponu od gospodarstva na nespremenljivosti paradigmo z "koda je zakon", kot najpomembnejše pravilo, da je treba upoštevati, da je bolj človeški pristop prosi rudarjev in razvijalcem, kaj bi bilo treba sprejeti ukrepe ethereum je.

Le malo časa, vendar pa je bil porabljen na vprašanje, kaj je pametno contractis dejansko sposobni opravljati.

Ampak to je zelo vprašanje, menim, da bi morali biti v središču razprave in ustrezni odgovor je edina razumna podlaga, na kateri bi lahko zgradili zvok politika blockchain in pametni razvoj naročila.

Torej, kaj je pobliže ogledali zmogljivosti pametnih pogodb.

Narava informacij

Funkcija pametnega pogodbe je v svojem bistvu obdelava podatkov.

Medtem ko pojem informacij se spreminja in ni univerzalnega definicija ne obstaja, je koristno, da začnejo z način obveščanja theorydeals so z informacijami, saj teorija informacij je del DNK današnjega računalništva.

Zato je treba razdeliti podatke v skladenjske informationand semantične informacije. Nekdanji da pravila o razmerju med simboli in pri čemer je slednja pomen pripisujejo takih simbolov (to je: "namen"). Meja med obema je nekoliko nejasne in jim povedal narazen je včasih težko (ki je, kot bomo videli kasneje, privede do problema DAOs na prvem mestu), vendar je razlika med njimi očitno obstaja.

Zanimiva kos o težavah zajemanja "namere" je pred kratkim WrittenBy vitalik Buterin.

Skladenjska informacije je mogoče razčleniti in izmeri (kot Shannonand Weaverdid v "A Mathematical Theory of sporočila") in je odprta za matematični dokaz. Semantično informacije, pa je tisto, kar človek pripisuje simbolom. To lahko pomeni karkoli človeški možgani je sposoben razmišljati o.

Normalizacijo semantično podatkov in njihovo obdelati, je precej težko nalogo, milo rečeno. Računalništva (zlasti raziskovalci umetne inteligence) se bori veliko dealin poskuša ujeti semantične informacije, kot naravnega jezika, in zastopa njen pomen v programski opremi. Da bi bile stvari še slabše, lahko semantične informacije, karkoli, od zelo preprostih do zelo kompleksna.

Precej preprost in formalno semantični informacije, kot patent, na primer, že lahko obdeluje računalniški jezik. Pomislite na CAD datoteko patentirane widget na računalniku, ki omogoča 3D tiskalnika izpišemo natančna stvar, ki je dejal, CAD datoteka vsebuje.

Bolj kompleksno pomensko informacije, kot pravni pojem "dobri veri", na primer, še ni mogoče ravnati s računalništva. To storite tako, je še vedno potreben velik preskok v umetno raziskave inteligence.

Manjka upravljanje

Drug način, da razlikovanje med tema dvema vrstama informacij, bi se nanašajo na njih, kot "suhi kodo" in "mokro kodo", koncept, ki ga Šifre Nick Szabo skoval.

Da bi točko o tem, zakaj je nujno, da se spoštuje, da dvostransko naravo informacij, lahko gledamo na DAO. Imperativ "delaš nobene škode" (tj: pomenska informacije) je bil napisan le na domači strani DAO in ne v svojo kodo (ki je, za večino del, obdelujejo samo skladenjske informacije).

Privrženci strog "kodeksa je zakon" doktrina je trdil, da bi zato DAO heker obdržati odcejeno etra, ker je bil "ne škodi" nujno samo v specifikacijah domači strani, ne pa tudi v sami kodi, zato ni zavezujoč. Oni svojo zadevo še dodatno so jih držal na ethereum blockchain ne-razvejano in ustvarili vzporedno ethereum okolje, ethereum klasika, ki proizvaja nekatere precej težje probleme, za uporabnike in razvijalce.

Če bi prišlo do ustreznega urejajo orodje, ki bi se ukvarjal s pomensko podatke (tj: zagotoviti vsem ostane v "ne škodi" pravila in predvidenih sredstev za obravnavo kršiteljev), na primer delitev verjetno ne bi zgodilo.

Matematični dokaz in nespremenljivosti

Ko Shannon delal na teoriji komunikacije, je vzel veliko skrb, da je njegova raziskava omejena v skladenjsko informacijsko sfero. Da mu dovoli, da matematično dokazati svoje ugotovitve.

To ne bi bilo mogoče opraviti, če je bil vpleten semantične informacije. Za Shannon, je pomembno, da se napredek znanosti matematični dokaz.

Kodiranje pametne pogodbe v resnici ne napredek v znanosti in zato matematične dokaze, ni pomembno, eno morda mislite. Toda takoj, ko dodate nespremenljivosti skozi blockchain izvajanje na kodo, ki jo dvig bar za pravilnost kodo za neverjetno visoki ravni, če že ne povsem nedosegljivo (glej: Podrobnejša analiza).

Ker je svojo kodo nespremenljiva in se ne more spremeniti, morate biti popolnoma prepričani, da kodo nima pomanjkljivosti.

Matematični dokaz kodi, zato se zdi, da vsi, a precej pomembna značilnost nenadnega imeti.

In vendar, Trdnost ki se uporablja na ethereum za izvajanje pametno naročila, ni jezik, ki omogoča matematični dokaz (npr: ni referentially pregledna). To je dovoljeno za izvajanje semantične informacije, ali so se izrecno, namero za razvijalce. Rekurzijska-klic, ki so privedle do DAO kramp bi bilo treba uporabljati na poseben način, saj so razvijalci namenjena.

Očitno je, da tak namen ni bil zajet z oznako in zato ne ovirajo DAO hekerja iz odvajanje DAO.

Skratka: nespremenljivosti in pravilnost kode so kot dveh soline v lestvici. Bolj kot "teža" si dal na nespremenljivosti je več nege moraš vzeti glede pravilnosti kodo.

Potreba po preverljivega kodo

Če skoraj celoten pametni pogodba immutably teče na blockchain (kot nekakšna "kodeksa je zakon" navdušenci predstavljate, da je to edini način, da gredo), ste najverjetneje ne morejo dati dovolj "protiutež" v pravilnost kodo.

Vse te ugotovitve so daleč od tega, da novice.

Tudi razvijalec trdnosti samega dr Gavin Les, envisionedin zgodnji fazi zasnove trdnosti je jezik, ki omogoča matematični dokaz in najnovejše raziskave kažejo, da bi bilo potrebno prevod trdnosti v F * priti do preverljivih kodo.

Vendar pa se zdi jasno, da do sedaj, da se želeno stanje alegality, kjer ni potrebna udeležba od zunaj pametno pogodbo, še ni dosežen. In to bo verjetno trajalo še kar nekaj časa, da se tam, če se lahko doseže na vseh.

Polnjenje tehnično praznino

To ne pomeni, da je koncept pametnih pogodb ni ali ne bi bila neuporabna. Samo potrebuje arhitekturo, ki spoštuje meje trenutne tehnologije. In pameten dela, okoli vrzeli v programskem jeziku in umetne inteligence, ki še jih je treba zapolniti.

Takšno delo okoli bi ležala v pravnem sistemu od klasičnega meatspace, zlasti posebno območje, imenovano Alternativno reševanje sporov (ARS).

Njegov namen je, da dve ali več utemeljitvijo strankam formalna sredstva za reševanje njihovih sporov v zasebnem, ne da bi bilo treba zatekati k javno-državni lasti sodišč. Zagotavlja orodja, ki vam omogočajo, da nastavite zelo lastna pravila, definirati procese, kako upravljati sporov, in / ali izbiro sodnikov po vaši izbiri.

Prav tako je lepo stranski učinek, da so pravzaprav klasična-meatspace-pravno zavezujoč. To je mogočna konkurenčne pogoje za raziskovanje, na primer: futarchy ideje, kot je napovedovanje marketsor nova vrednost dodeljevanja konceptov, kot Backfeedfor izbiri razsodnika. In to ni niti zelo težko izvajati takšne arbitražne pravila v pametno pogodbo.

Samo poskrbite, da vsak uporabnik pametnega naročila storitev strinja, da se v skladu s takimi arbitražnih pravil, tako kot ste izpostavljeni zasebni ustavodajnih arbitražnih pravil (npr: The ICANN je UDRP) pri registraciji domene.

Kako bi takšna povezava med pametnimi pogodb in pravil meatspace-pravni videti, kot je na voljo tukaj. (To niso pravila ARS, ampak pravila pogodbenega prava. Izvajanje, pa bi bilo zelo podobno).

Na poti k alegality

Sprva bi bilo videti nenavadno uporabljati stare koncepte, da bi za napredovanje v novo področje.

Vendar, če gledate na to kot podporne strukture - zelo podobno kot ima sveže 3D natisnjena postavko, in ki se postopoma lahko odmakne, ko je nova točka stoji v svoji zmogljivosti - za Čudnost zbledi. Še več, tak način, da se premaknete naprej, morda celo hevristično element v tem smislu, da pomaga, če želite izvedeti več o novih konceptov in orodij za upravljanje, ki bi lahko nadomestili meatspace-pravna orodja povsem v prihodnosti.

Za cel krog z začetkom, moramo spoštovati dvostransko naravo informacij in pustite koda proces skladenjsko informacije in uporabo orodja za upravljanje na ljudeh za obdelavo semantične informacije.

Uporaba ureja orodje, kot je pametno pogodbenih posebnih arbitražnih pravil v kombinaciji s priznanjem, da so pametni pogodbe niti pametno niti pogodb, temveč samo dokazljivo izvajanjem programa (VEC), lahko zagotovi način za preizkušanje nove tehnologije v manj katastrofalen način, kot je bilo to storjeno z DAO in lahko zagotavlja tudi varnost, ki je potrebna za pametne naročila zanimiva za podjetja.

Vsaj dokler znanost ujame z vizijo "koda je zakon" in doseči resnično stanje alegalitycan.

Sorodne novice


Post Ethereum

Skaliranje strele? Kako oživiti bi lahko izboljšalo Bitcoins Boldest Scaling Plan

Post Ethereum

7 Cool Decentralized Apps, ki se gradijo na Ethereum

Post Ethereum

Bitcoin ni bil edina digitalna valuta, ki bi lahko videla po izbirnem izboru

Post Ethereum

9 Must-Watch pogovori na Ethereum-jevem Big Developer Eventu

Post Ethereum

BlockCypher sprosti orodje za orodje API za razvijalce

Post Ethereum

Decentralizirani programi: ključna vprašanja direktorja za inovacije banke

Post Ethereum

Crypto 2.0 v letu 2018: preoblikovanje teorije bitkoin v veliko podjetje

Post Ethereum

Bitcoin in zakon o varstvu energije

Post Ethereum

Blagoslov in prekletstvo: razvijalci DAO-a na Blockchainu leta 2018

Post Ethereum

Nikogaršnja zemlja? Cene za eter se približujejo $ 350, a boj za gradnjo zagon

Post Ethereum

Kriza DAO: Ali kako bahalizem in blokocinska demokracija postala najboljše upanje za izgorele investitorje

Post Ethereum

Ethereum bo prispel (in 15 drugih napovedi bloka za leto 2018)