Kodas yra įstatymas? Ne visai | LT.democraziakmzero.org

Kodas yra įstatymas? Ne visai

Kodas yra įstatymas? Ne visai

Lukas Abegg yra teisininkas su valdovo laipsnių Šveicarijos ir JAV teisėje. Šiuo metu jis yra vizituojantis tyrinėtojas Humboldto universitete Berlyne, kur jis rašo daktaro disertaciją apie temą ne teisinės ir technologijų sankirtoje.

Šioje nuomonėje gabalas, Abegg aptaria protingas sutarties plėtrą per matematikos kontekste, teigdamas, kad steigimo gairės, pavyzdžiui, "kodas yra teisė" gali dėti dideles apkrovas ant išmaniųjų sutarties sąvoka.

Po DAO eksperimentas nepavyko, šildomas politika diskusijos prasidėjo apie tai, kaip eiti į priekį su ethereum anketa blockchain plėtrai.

Pozicijos svyravo nuo ūkį prie nekintamumas paradigma su "kodas yra teisė", kaip svarbiausia taisyklė laikytis, kad daugiau žmonių požiūrį klausia ethereum anketa kalnakasių ir kūrėjams, kas turėtų būti imtasi priemonių.

Tik mažai laiko, tačiau buvo išleista į klausimą, kas yra protingas contractis tiesų pajėgi atlikti.

Bet tai labai klausimas, manau, turėtų būti diskusijų šerdies ir atitinkamas atsakymas yra vienintelis protingas pamatas, ant kurio galima statyti garso politika blockchain ir išmaniųjų sutarties plėtrai.

Tad atidžiau pažvelgti į išmaniųjų sutarčių galimybes.

Informacijos pobūdis

"Smart sutarties bruožas yra jos esmė informacijos apdorojimas.

Nors informacijos sąvoka skiriasi ir nėra universalaus apibrėžimo egzistuoja, ji yra naudinga pradėti kelią informacinių theorydeals su informacija, nes informacijos teorija yra dalis šiandienos kompiuterių mokslo DNR.

Todėl būtina padalinti informaciją į sintaksinės informacija norintiems semantinės informacijos. Buvęs yra taisykles apie tarpusavio simbolių ir pastarasis reikšmė priskiriama prie tokių simbolių santykių (ty: "ketinimas"). Linija tarp šių dviejų, yra šiek tiek neryškus ir pasakoja jiems, išskyrus kartais sunku (kuris, kaip matome vėliau veda į Daos problemą į pirmąją vietą), tačiau skirtumas tarp jų aiškiai egzistuoja.

Įdomi gabalas apie užfiksuoti "ketinimų" sunkumų buvo neseniai WrittenBy Vitalik Buterin.

Sintaksinis informacijos galima apdoroti ir matuojamas (kaip Shannonand Weaverdid į "matematinė teorija komunikate") ir yra atvira matematinius įrodymus. Semantinis informacijos, tačiau tai, ką žmogus priskiria prie simbolio. Jis gali atstovauti nieko žmogaus smegenys sugeba galvoti apie.

Normalizuoti semantinę informaciją ir todėl apdorotina yra gana sudėtingas uždavinys, švelniai tariant. Kompiuterių mokslas (ypač dirbtinio intelekto tyrėjai) kovoja labai dealin bando užfiksuoti semantinę informaciją, pavyzdžiui, natūralios kalbos ir reiškia savo prasmę programinės įrangos. Padaryti klausimais blogiau, semantinė informacija gali būti bet kas iš gana paprasta ir labai sudėtinga.

O paprastas ir formalus semantinė informacija, kaip pavyzdžiui patento, jau gali būti tvarkomi kompiuterio kalba. Pagalvokite CAD failas patentuota valdikliui ant kompiuterio, kuri leidžia 3D spausdintuvo atsispausdinti tiksli dalykas, kad pasakė CAD failas yra.

Daugiau kompleksas semantinė informacija, kaip teisinės sąvokos "gera valia", pavyzdžiui, dar negali būti tvarkomi kompiuterių mokslo. Norėdami tai padaryti, puikus šuolis dirbtinio intelekto tyrimams dar reikia.

Trūksta valdymas

Kitas atskiriant šių dviejų tipų informaciją būdas būtų nuoroda į juos, kaip "sausas kodas" ir "šlapio kodas", koncepciją sugalvojo iki kriptografę Nick Szabo.

Padaryti tašką apie tai, kodėl būtina laikytis, kad dvipusio pobūdžio informaciją, mes galime pažvelgti dao. Iš "daro jokios žalos" būtina (ty: semantinė informacija) buvo parašyta tik dao pagrindiniame puslapyje, o ne savo kodą (kuris, didžiąja dalimi, tvarkomi tik sintaksinę informacija).

Pasekėjai griežtai "kodas yra įstatymas" doktrina teigė, kad dėl to DAO įsilaužėlis galėtų išlaikyti sausinami eterį, nes "nepakenk būtina buvo tik pagrindiniame puslapyje specifikacijas, bet ne pačiame kodą ir todėl nėra privalomas. Jie paėmė savo bylą dar laikydami prie ne-išsišakojęs ethereum blockchain ir sukūrė lygiagrečiai ethereum aplinką, ethereum klasika, kuri gamina keletą gana sudėtingų problemų naudotojams ir kūrėjams.

Jei ten buvo tinkamai Valdančioji priemonė, kuri būtų sprendžiami semantinės informacijos (ty: užtikrinti visiems pasilieka prie "nepakenk" taisyklė ir numatomos priemonės, susidoroti su pažeidėjų), pavyzdžiui Split tikriausiai nėra nutikę.

Matematinis įrodymas ir nekintamumas

Kai Šanonas dirbo komunikacijos teorijos, jis paėmė labai atsargiai, kad jo tyrimai apsiribojo per sintaksinės informacijos srityje. Tai leido jam matematiškai įrodyti savo išvadas.

Tai negalėjo būti padaryta, jei dalyvavo semantinė informacija. Dėl Shannon, matematinis įrodymas buvo svarbus siekiant mokslo pažangos.

Kodavimo Smart sutartį tikrai ne mokslo pažangos ir todėl matematinius įrodymus nėra svarbus, galima būtų pagalvoti. Tačiau, kai tik norite pridėti nepakitusios per blockchain įgyvendinimo kodą, jūs keliant už savo kodą teisingumą juostą neįtikėtinai aukšto lygio, jei ne visiškai nepasiekiamas (plg: išsamesnė analizė).

Kadangi jūsų kodas yra nekintamas ir negali būti pakeista, reikia būti visiškai tikri, kad jūsų kodas neturi trūkumų.

Matematinis įrodymas kodą, todėl atrodo visi staiga gana svarbus bruožas turėti.

Ir dar, efektyvumo, kaip naudojamas ethereum pažangaus sutarčių įgyvendinimo, nėra kalba, kuri leidžia matematinius įrodymus (ty: nėra referentially skaidrus). Tai leido už semantinio informacijos įgyvendinimui, arba įdėti aiškiai, kūrėjai "ketinimus. Rekursija budėjimo kad atvedė į dao Hack turėjo būti naudojama tam tikru būdu, kaip kūrėjai skirtas ją.

Akivaizdu, kad tokia tyčia nebuvo užfiksuotas kodas, todėl netrukdė dao hakeris iš nusausinti dao.

Apibendrinant: nekintamumo ir teisingumą kodas yra tarsi dviejų keptuvės tokio masto. Kuo daugiau "svorio", jūs įdėti nekintamumo tuo daugiau rūpintis turite imtis dėl savo kodą teisingumą.

Need for patikrinamos kodą

Jei beveik visą savo protingas sutartis immutably veikia ant blockchain (kaip kai kurie "kodas yra įstatymas" entuziastai įsivaizduoti, kad ji būtų vienintelis būdas eiti) greičiausiai jūs negalėsite įdėti pakankamai "priešsvoriu" į savo kodą teisingumą ,

Visi šie duomenys yra toli gražu ne naujiena.

Net pati tvirtumą, dr Gavin Mediena kūrėjas, envisionedin anksti efektyvumo samprata kalbą, kuri leidžia matematinius įrodymus ir naujausias tyrimas rodo, kad tvirtumą vertimas į F * pasiekti patikrinamos kodą reikės.

Tačiau, atrodo, aišku dabar, kad norima būsena alegality, kur reikalinga ne vestuvinis iš lauko smart sutarties, dar nepasiekta. Ir tai tikriausiai dar prireiks šiek tiek laiko ten nuvykti, jei jis gali būti pasiektas ne visiems.

Pildymas techninę negaliojančiu

Tai nereiškia, tačiau, kad išmaniųjų sutarčių koncepcija buvo neveiksmingas arba būtų nenaudingas. Jis tiesiog turi architektūrą, kuri gerbia einamųjų technologijų ribas. Ir protingas darbas aplink už programavimo kalbos ir dirbtinio intelekto spragas, kad dar reikia užpildyti.

Toks darbas aplink uždėtų teisinėje sistemoje iš klasikinių meatspace, ypač specifinė sritis vadinama Alternatyvus ginčų sprendimas (AGS).

Jos tikslas yra suteikti du ar daugiau teigdamas šalims formalių priemonių išspręsti savo ginčus privačiuose nereikia griebtis viešųjų valstybinių paleisti teismuose. Ji suteikia įrankius, kurie leidžia jums sukurti jūsų pačių taisykles, apibrėžti, kaip valdyti konfliktus procesus ir / arba pasirinkite Jūsų pasirinkimas teisėjus.

Ji taip pat turi gražią šalutinis poveikis yra iš tikrųjų klasikinio meatspace teisiškai įpareigojantis. Tai nuostabus vienodos tyrinėti, pvz: futarchy idėjos, kaip prognozavimas marketsor naują vertę priskyrimo sąvokas kaip Backfeedfor Nurodykite arbitrą. Ir tai net ne labai sunku įgyvendinti tokius arbitražo taisykles į išmaniųjų sutartį.

Tiesiog įsitikinkite, kad kiekvienas protingas sutartį paslaugų vartotojas sutinka, kurie turi būti tokių arbitražo taisykles, kaip jums yra veikiami privačiai sudaro arbitražo taisykles (pvz: ICANN UDRP) registruojant domeno vardą.

Kaip toks tarp išmaniųjų sutarčių ir meatspace-teisės normų ryšys gali atrodyti galima rasti čia. (Tai nėra ADR taisyklių, tačiau sutarčių teisės taisyklės. Įgyvendinimas, tačiau būtų labai panašus).

Juda link alegality

Iš pradžių tai gali atrodyti keista, naudoti senus sąvokas, siekiant iš anksto į naują sritį.

Tačiau, jei žiūrėti į jį kaip paramos struktūrų - labai panašiai kaip šviežiai 3D spausdinami elementas turi ir kuri nuolat gali būti nutolo, kai naujas elementas stovi savo pajėgumų - Dėl Nesuprantamos blunka. Dar daugiau, toks būdas judėti į priekį galbūt net turėti euristinis elementas ta prasme, kad ji padeda daugiau sužinoti apie naujas koncepcijas ir priemones valdymo, kad galėtų pakeisti meatspace-teisinių priemonių visiškai ateityje.

Ateiti visą ratą su pradžioje, turėtume gerbti dvipusį pobūdžio informaciją ir leisti kodą, sintaksinę informaciją ir panaudoti valdymo priemones žmonėmis apdoroti semantinę informaciją.

Naudojant reglamentuojantys nuorodą kaip protingas sutarties konkrečių arbitražo taisykles kartu su pripažinimu, kad išmaniųjų sutartys nei protingas, nei sutartis, o tik patikrinus vykdomas kodas (Vec) gali pateikti būdas išbandyti naują technologiją mažiau pražūtingą būdu, nei tai buvo daroma su DAO, taip pat gali pateikti tikrumą reikia padaryti smart sutartys įdomus verslui.

Bent kol mokslas pasiveja su "kodas yra įstatymas" ir būti pasiektas tikras būklė alegalitycan vizija.

Susiję straipsniai


Post Ethereum

IBM prieš Microsoft: du Tech Giants, Two Blockchain Visions

Post Ethereum

Bitcoin antraštėse: Bomber ir BitLicenses

Post Ethereum

Force paroda: Ethereum Gears Up skirta Devcon3 kūrėjų konferencijai

Post Ethereum

Susipažink su Ex-Banker, naudojančiu Ethereum, kad galėtų pasinaudoti tradiciniais rizikos draudimo fondais

Post Ethereum

DAO krizė: ar Vigilantizmas ir Blockchain demokratija tapo geriausiu tikėjimu, kad investuotojai, kurie buvo sudeginti

Post Ethereum

Ar gali du Ethereum rinkai kartu egzistuoti?

Post Ethereum

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

Post Ethereum

2018 m. Crypto 2.0: Bitcoin teorijos įjungimas į didelį verslą

Post Ethereum

9 Ethereum Big Developer įvykių Must-Watch pokalbiai

Post Ethereum

5 Take iš CoinDesk Ethereum supratimo ataskaitos

Post Ethereum

Didžiausias Rusijos bankas prisijungia prie Ethereum Alliance

Post Ethereum

Bitcoin Pioneer Charlie Shrem paleidžia naują Blockchain Venture