Kods ir likums? Ne visai | LV.democraziakmzero.org

Kods ir likums? Ne visai

Kods ir likums? Ne visai

Lukas Abegg ir jurists ar maģistra grādu Šveices un ASV tiesību aktiem. Pašlaik viņš ir viespētnieks Humbolta Universitātē Berlīnē, kur viņš rakstot doktora disertāciju par tēmu krustojumā likumu un tehnoloģijas.

Šajā atzinumu gabals, Abegg apspriež smart līguma izstrādi kontekstā matemātikas, apgalvojot, ka, ieviešot kritērijus, piemēram, "kods ir likums" var izvietot ievērojamu stresu viedajā līguma koncepciju.

Pēc tam, kad DAO Eksperiments neizdevās, apsildāma politikas debates izcēlās par to, kā iet uz priekšu ar attīstību ethereum s blockchain.

Pozīcijas svārstījās no saimniecības uz nemainīgumu paradigmas ar "kods ir likums", kā vissvarīgākais noteikums, kas jāievēro, lai vairāk cilvēku pieeju lūdzot ethereum ir ogļrači un izstrādātājus, kas būtu veicami pasākumi.

Tikai maz laika, tomēr, tika iztērēti par jautājumu, ko gudrs contractis patiesībā spēj veikt.

Bet tas ir ļoti jautājums, manuprāt, ir jābūt pamatā debatēm un attiecīgā atbilde ir vienīgais loģiskais pamats, uz kura var būvēt skaņa politika blockchain un gudru līguma izstrādi.

Tātad pieņemsim ņemt tuvāk apskatīt spējas smart līgumu.

Informācijas veids

Par gudru līguma iezīme ir tā būtību informācijas apstrāde.

Lai gan jēdziens informācijas mainās un nav universālas definīcijas nav, tas ir noderīgi, lai sāktu ar to, kā informācijas theorydeals ar informāciju, jo informācijas teorija ir daļa no DNS mūsdienu datorzinātnes.

Tādēļ ir nepieciešams sadalīt informāciju par sintaktisko informationand semantisko informāciju. Bijusī ir noteikumi par attiecībām starp simbolu un no kuriem pēdējais ir nozīme attiecināt uz šādiem simboliem (piemēram: "nodoms"). Līnija starp abiem ir nedaudz neskaidra, un darot tos atsevišķi reizēm ir grūti (kas, kā mēs redzēsim vēlāk, noved pie DAOS problēmu, pirmajā vietā), bet atšķirība starp tiem nepārprotami pastāv.

Interesants gabals par grūtībām saglabāt "nodoms" nesen tika WrittenBy Vitalik Buterin.

Sintaktiskas informāciju var parsēt un mēra (kā Shannonand Weaverdid ar "matemātisko teoriju paziņojums"), un ir atvērta matemātisko pierādījumu. Semantiskā informācija, tomēr ir tas, ko cilvēks atribūti simbolu. Tas var pārstāvēt kaut cilvēka smadzenes spēj domāt par.

Normalizējot semantisko informāciju, padarot to apstrādājamais ir diezgan grūts uzdevums, lai to maigi. Datorzinības (it īpaši mākslīgā intelekta pētniekiem), cīnās ar lielu dealin mēģina iekarot semantisko informāciju, piemēram, dabiskās valodas, un pārstāvēt savu nozīmi programmatūru. Lai jautājumiem sliktāk, semantisko informācija var būt jebkas, sākot no pavisam vienkāršas līdz ļoti sarežģīta.

Drīzāk vienkāršs un formāls semantisko informāciju, piemēram, patentu, piemēram, jau tagad var apstrādāt ar datoru valodā. Domājiet CAD failu patentētas widget uz datora, kas ļauj 3D printera izdrukāt precīzu lieta, ka teica CAD failā.

Sarežģītāka semantisko informāciju, piemēram, juridisko jēdzienu "godprātīgi" piemēram, vēl nevar apstrādāt ar datorzinātnēs. Lai to izdarītu, liels lēciens mākslīgā intelekta pētniecībā joprojām ir nepieciešama.

Trūkst pārvaldība

Vēl viens padarīt atšķirību starp šiem diviem veidiem informācijas veids būtu atsaucoties uz tiem kā "sauso kods" un "mitrā kods", kas ir jēdziens izdomāts cryptographer Nick Szabo.

Lai veiktu punktu par to, kāpēc tas ir svarīgi ievērot, ka divpusējo raksturu informāciju, mēs varam apskatīt DAO. Par "dara ļaunu" obligāti (ti: semantiskā informācija) tika rakstīts tikai DAO mājas lapā, bet ne savā kodā (kas, lielākoties, apstrādā tikai sintaktisko informāciju).

Sekotāji stingru "kods ir likums" doktrīna apgalvoja, ka tāpēc DAO hakeris var saglabāt evakuēto ēteri, jo "nevienam nekaitē" obligāti bija tikai mājas lapā specifikācijām, bet ne pašu kodu un tādējādi nav saistošs. Viņi paņēma savu lietu vēl vairāk, turot uz biržu šķelts ethereum blockchain un izveidoja paralēlu ethereum vidi, ethereum klasika, kas ražo dažus diezgan grūts problēmas lietotājiem un izstrādātājiem.

Ja ir bijis pareizi reglamentē rīks, kas būtu jārisina ar semantisko informāciju (ti, nodrošina ikviens ievēro uz "darīt ļaunu" noteikumam un sniedz līdzekļus, lai risinātu ar pārkāpējiem), piemēram, sadalīt, iespējams, nebūtu noticis.

Matemātiskā pierādījums un nemainīgumu

Kad Shannon strādāja teorijā komunikācijas, viņš ņēma lielu uzmanību, ka viņa pētījumi aprobežojās tikai laikā sintakses informācijas valstībā. Tas ļāva viņam matemātiski pierādīt savus secinājumus.

Tas nebūtu bijis iespējams izdarīt, ja ir iesaistīta semantisko informāciju. Par Shannon matemātisko pierādījumu bija svarīgi, lai veicinātu zinātnes.

Kodēšana smart līgums nav īsti virza zinātni un tāpēc matemātisku pierādījumu nav svarīgi, kāds varētu domāt. Tomēr, tiklīdz jūs pievienot negrozāmību caur blockchain īstenojot uz savu kodu, jūs paaugstināt latiņu pareizību savu kodu uz neticami augstā līmenī, ja ne pilnīgi nepieejamā (sal: sīkāka analīze).

Tā kā jūsu kods ir nemainīgs, un to nevar mainīt, jums ir nepieciešams, lai būtu pilnīgi pārliecināts, ka jūsu kods nav bez trūkumiem.

Matemātiskā pierādījums savu kodu, tādēļ, šķiet, visi pēkšņi diezgan svarīgu funkciju, lai būtu.

Un tomēr, stabilitāti, kas tika izmantots ethereum gudras līguma īstenošanai, nav valoda, kas ļauj matemātisku (ti: nav referentially caurspīdīga). Tas ļāva īstenošanai semantisko informāciju vai nodot tieši, izstrādātāju nodomu. Rekursijas-zvanu, kas noveda pie DAO kapāt būtu bijis izmantots īpašā veidā, jo izstrādātāji paredzēts to.

Protams, šāds nodoms netika uzņemts ar kodu, un tāpēc nav kavēt DAO hakeris no nosusināšana DAO.

Noslēgumā: nemainīgumu un pareizību koda ir kā divu pannas atzīmi. Jo vairāk "svara", jūs likts uz nemainīgumu jo vairāk aprūpi, jums ir jāņem par pareizību savu kodu.

Nepieciešams pārbaudāmiem kodu

Ja gandrīz viss jūsu smart līgums ir immutably darbojas uz blockchain (piemēram, daži "kods ir likums" entuziasti iedomāties, ka tas ir vienīgais veids, kā iet), jūs, visticamāk, nespēj likt pietiekami "counter svara" uz pareizību savu kodu.

Visi šie atklājumi ir tālu no ziņas.

Pat izstrādātājs pats izturīgumu, Dr. Gavin Wood, envisionedin agrīnā stadijā noturību koncepcijas valodu, kas ļauj matemātisku un jaunākā izpēte liecina, ka būtu nepieciešami tulkojums noturību uz F *, lai sasniegtu pārbaudāmus kodu.

Tomēr šķiet skaidrs, ko tagad, ka vēlamais stāvoklis alegality, kur nav nepieciešama iesaistīšanās ārpus gudru līgumu, netiek sasniegts vēl. Un tas, iespējams, joprojām prasīs ilgu laiku, lai tur nokļūt, ja to var sasniegt vispār.

Pildījums tehnisko spēkā neesošu

Tas nenozīmē, ka tomēr jēdziens viedo līgumu nav izdevies, vai būtu bezjēdzīgi. Tas vienkārši ir nepieciešama arhitektūra, kas ievēro ierobežojumus pašreizējās tehnoloģijas. Un gudrs darba ap nepilnības programmēšanas valodas un mākslīgais intelekts, kas vēl nepieciešams aizpildīt.

Šāds darba ap varētu gulēja tiesību sistēmā no klasiskās meatspace, jo īpaši konkrēta apgabala sauc Alternatīvā strīdu izšķiršana (ADR).

Tās mērķis ir sniegt diviem vai vairākiem apgalvojot Oficiālās līdzekļus, lai atrisinātu savu strīdu privāts bez nepieciešamības vērsties valsts valsts palaist tiesās. Tas nodrošina instrumentus, kas ļauj jums izveidot savu pašu noteikumus, definēt procesus, kā pārvaldīt konfliktus un / vai izvēlētos tiesneši jūsu izvēles.

Tā ir arī jauka blakusparādība ir faktiski klasiska meatspace juridiski saistošs. Tas ir milzīgs konkurences apstākļus, lai izpētītu, piemēram: futarchy idejas, piemēram, prognozes marketsor jaunu vērtību attiecināšanas jēdzienu kā Backfeedfor izvēloties kādu šķīrējtiesnesis. Un tas nav pat ļoti grūti īstenot šos šķīrējtiesas noteikumus par gudru līgumu.

Tikai pārliecinieties, ka katrs lietotājs smart līguma pakalpojuma piekrīt pakļaut šādām šķīrējtiesu noteikumus, tāpat kā jums ir pakļauts privāti izveidotas arbitrāžas noteikumiem (piemēram: ICANN ir UDRP), reģistrējot domēna vārdu.

Kā šāda saikne starp viedajiem līgumiem un meatspace-juridiska noteikumiem varētu izskatīties var atrast šeit. (Tie nav ADR noteikumi, bet līgumtiesībās. Īstenošanas tomēr būtu ļoti līdzīgi).

Virzība uz alegality

Sākumā tas var izskatīties dīvaini izmantot vecās koncepcijas, lai pārietu uz jaunu zonā.

Tomēr, ja paskatās uz to, kā atbalsta struktūras - ļoti daudz, piemēram, svaigi 3D drukāts prece ir un kas stabili var pārvietot prom, kad jaunais vienums stāv savā statusā - Par oddness zūd. Vēl jo vairāk, šāds veids, kā virzīties uz priekšu, iespējams, pat ir heiristisko elements tādā ziņā, ka tas palīdz, lai uzzinātu vairāk par jaunām koncepcijām un līdzekļu pārvaldību, kas varētu aizvietot meatspace-juridiskās instrumenti pilnīgi nākotnē.

Lai nāk pilnu apli ar sākumā, mums ir jārespektē divpusējo raksturu informācijas un ļaut kodu apstrādāt sintaktisko informāciju un izvietot pārvaldības instrumentus, lai cilvēkiem, lai apstrādātu semantisko informāciju.

Izmantojot regulē rīku, piemēram, smart līguma īpašajiem šķīrējtiesas noteikumi apvienojumā ar atziņu, ka viedie līgumi ir ne gudri, ne līgumus, bet gan tikai pārbaudāmi izpildīts kods (VEC), var nodrošināt veidu, lai pārbaudītu jaunas tehnoloģijas mazāk postošs veidā, nekā tas tika darīts ar DAO un var arī sniegt skaidrību, kas vajadzīga, lai gudri līgumi interesanti uzņēmumiem.

Vismaz līdz brīdim, kad zinātne nozveju ar vīziju "kods ir likums", un tiks sasniegts patiess stāvoklis alegalitycan.

Saistītās ziņas


Post Ethereum

Mērogošana zibens? Kā Revive varētu palielināt Bitcoin vislielāko mērogošanas plānu

Post Ethereum

Attiecībā uz Blockchain jaunpienācējiem Šveices Kripto ielejā nav Ņujorkas

Post Ethereum

Augura sarežģīto iezīmju uzsākšana akcentē Appcoin nekārtības

Post Ethereum

Bitcoin Tests 2018 Augstāka kā investoru meklējumi Konfidencialitāte

Post Ethereum

Ethereum ieradīsies (un 15 citas prognozes par blokshēmu 2018. gadam)

Post Ethereum

BitGo inženieri uzsāk Ethereum maku sānu projektu

Post Ethereum

Bitcoin Netīrs Push for Innovation ir pārsteigums par maksājumu izstrādātājiem

Post Ethereum

IBM vs Microsoft: divi Tech giants, divi Blockchain Visions

Post Ethereum

150 deputāti: Indijas valdība, Mastercard Pievienojieties Ethereum Alliance

Post Ethereum

ShapeShift pārtrauc jaunus laukumus ar Prism Digitālā aktīva portfeļa produktu

Post Ethereum

Blockchain izmēģinājumi Paātrina, jo Dienvidamerikā redz Ethereum apguve

Post Ethereum

Vai jaunā sociālā operētājsistēma var noteikt DAO?