Code ay Batas? Hindi Kaunti Pa | PH.democraziakmzero.org

Code ay Batas? Hindi Kaunti Pa

Code ay Batas? Hindi Kaunti Pa

Lukas Abegg ay isang abogado na may degree master sa Swiss at US batas. Siya ay kasalukuyang isang pagbisita sa tagapagpananaliksik sa Humboldt University sa Berlin, kung saan siya ay sumusulat ng isang PhD thesis sa isang paksa sa intersection ng batas at teknolohiya.

Sa ganitong piraso opinyon, Abegg Tinatalakay ng matalinong pag-unlad ng kontrata sa loob ng konteksto ng matematika, arguing na pagtaguyod ng benchmarks tulad ng "code ay batas" ay maaaring maglagay ng makabuluhang stresses sa smart konsepto kontrata.

Pagkatapos Nabigo ang DAO eksperimento, ng pinainitang patakaran debate ensued tungkol sa kung paano pumunta pasulong na may pag-unlad ng blockchain ni Ethereum.

Ang mga posisyon ranged mula sa may hawak na sa sa ang kawalan ng pagbabago tularan na "code ay batas" bilang ang pinaka-mahalagang mga tuntunin na kailangang sundin, sa isang mas pantao diskarte ng pagtatanong sa mga minero at mga developer kung ano ang mga panukala ay dapat na kinuha ni Ethereum.

Tanging maliit na oras, gayunpaman, ay na ginugol sa tanong kung ano ang isang matalino na contractis aktwal na may kakayahang gumaganap.

Ngunit ito very tanong, sa tingin ko, ay dapat na sa core ng debate at ang mga kaukulang sagot ay ang tanging makatwirang pundasyon kung saan ang isang tunog patakaran para sa blockchain at smart kontrata pag-unlad ay maaaring binuo.

Kaya ipaalam sa tumagal ng isang mas malapit tingnan ang mga kakayahan ng matalinong mga kontrata.

Nature ng impormasyon

Ang tampok ng isang smart kontrata ay sa kanyang pinaka-esensya pagproseso ng impormasyon.

Habang ang mga kuru-kuro ng impormasyon ay nag-iiba at walang unibersal na kahulugan ay umiiral, ito ay kapaki-pakinabang na magsimula sa theorydeals paraan ng impormasyon na may impormasyon since teoriya ng impormasyon ay bahagi ng DNA ng computer science ngayon.

Ito ay samakatuwid ay kinakailangan upang hatiin ang impormasyon sa sintaktik informationand semantic impormasyon. Ang dating pagiging ang mga patakaran tungkol sa mga relasyon sa pagitan ng mga simbolo at ang huli ay ang kahulugan maiugnay sa naturang mga simbolo (ibig sabihin: "layunin"). Ang linya sa pagitan ng dalawang ay medyo malabo at nagsasabi sa kanila bukod ay minsan ay mahirap (na kung saan, tulad ng nakikita namin sa ibang pagkakataon, humantong sa mga problema Daos sa unang lugar) ngunit isang pagkakaiba sa pagitan ng mga ito malinaw na umiiral na.

Ang isang kagiliw-giliw na piraso tungkol sa kahirapan ng pagkuha ng "layunin" ay kamakailan WrittenBy Vitalik Buterin.

Sintaktik impormasyon maaaring ma-parse at sinusukat (bilang Shannonand Weaverdid in "A Mathematical Theory of Communication") at ay bukas sa matematika patunay. Semantiko impormasyon, gayunpaman, ay kung ano ang isang tao katangian sa isang simbolo. Ito ay maaaring kumatawan sa anumang bagay ng utak ng tao ay may kakayahang pag-iisip tungkol sa.

Normalizing semantic impormasyon at ginagawa itong processable ay lubos na isang mahirap na gawain, upang ilagay ito nang mahinahon. Computer science (sa partikular artificial intelligence mananaliksik) struggles ng isang mahusay na dealin sinusubukan upang makunan semantic impormasyon, tulad ng natural na wika, at kumakatawan sa kahulugan nito sa software. Upang gumawa ng bagay na mas masahol pa, semantiko impormasyon ay maaaring maging anumang bagay mula medyo simple upang napaka-complex.

Sa halip simple at pormal na semantiko impormasyon, tulad ng isang patent para sa Halimbawa, maaari nang ma-proseso sa pamamagitan ng computer wika. Mag-isip ng isang CAD file ng isang patent na widget sa isang computer na nagbibigay-daan sa isang 3D printer i-print out ang eksaktong bagay na sinabi CAD file ay naglalaman ng.

Higit pang mga kumplikadong semantiko impormasyon, tulad ng mga legal na kuru-kuro ng "magandang loob" halimbawa, ay maaaring hindi pa panghahawakan ng computer science. Upang gawin ito, isang malaking hakbang sa artificial intelligence pananaliksik ay pa rin kinakailangan.

Nawawalang pamamahala

Ang isa pang paraan ng paggawa ng isang pagkakaiba sa pagitan ng mga dalawang uri ng impormasyon ay nagre-refer sa mga ito bilang "dry code" at "wet code", isang konsepto likha sa pamamagitan ng kriptograper Nick Szabo.

Upang gumawa ng isang punto tungkol sa kung bakit ito ay mahalaga sa paggalang na magkabilaan likas na katangian ng impormasyon, maaari naming tumingin sa DAO Ang. Ang mahalaga ng "paggawa ng walang pinsala" (ibig sabihin: semantic impormasyon) ay isinulat lamang sa mga DAO home page at hindi sa code nito (na kung saan, para sa pinaka-bahagi, naproseso sintaktik impormasyon lamang).

Mga tagasunod ng isang mahigpit na "code ay batas" doktrina Nagtalo na ang The DAO hacker maaaring samakatuwid panatilihin ang mga pinatuyo ether dahil ang "gawin walang pinsala" mahalaga ay lamang sa mga pagtutukoy home page ngunit hindi sa code mismo at samakatuwid ay hindi umiiral. Kinuha nila ang kanilang kaso kahit na mas malayo sa pamamagitan ng pagpindot sa sa non-bika Ethereum blockchain at lumikha ng isang parallel Ethereum kapaligiran, Ethereum klasikong, na gumagawa ng ilang mga medyo nakakalito problema para sa mga gumagamit at mga developer.

Kung mayroong naging isang maayos na kasangkapan na namamahala na sana ay Aaksyunan semantic impormasyon (ibig sabihin: ensured lahat ng tao abides sa "gawin walang pinsala" panuntunan at ibinigay na paraan upang harapin ang mga lumalabag), tulad split ay malamang na hindi nangyari.

Mathematical proof at di-nababago

Kapag Shannon ay nagtrabaho sa teorya ng komunikasyon, kinuha niya ang mahusay na pag-aalaga na ang kanyang mga pananaliksik ay nakakulong sa loob ng sintaktik impormasyon realm. Na pinapayagan sa kanya upang mathematically patunayan ang kanyang mga natuklasan.

Iyon ay hindi maaaring nagawa kung ang semantiko impormasyon ay kasangkot. Para sa Shannon, matematikal na patunay ay mahalaga upang mag-advance science.

Coding isang smart kontrata ay hindi talagang isulong agham at samakatuwid matematikal na patunay ay hindi mahalaga, maaaring isa-isip. Gayunpaman, sa lalong madaling mong idagdag ang kawalan ng pagbabago sa pamamagitan ng isang blockchain pagpapatupad sa iyong code, ikaw ay pagpapalaki ang bar para sa kawastuhan ng iyong code sa isang hindi kapani-paniwalang mataas na antas, kung hindi ganap na sa labas ng maabot (cf mas detalyadong pagsusuri).

Dahil ang iyong code ay hindi nababago at hindi mababago, kailangan mong maging ganap na siguraduhin na ang iyong code ay walang bahid.

Mathematical patunay ng iyong code, samakatuwid, tila ang lahat ng isang biglaang lubos na isang mahalagang tampok na ito upang magkaroon ng.

At pa, sa kabuuan tulad ng ginagamit sa Ethereum para sa mga smart pagpapatupad ng kontrata, ay hindi isang wika na nagbibigay-daan para sa mga mathematical patunay (ie: Hindi referentially transparent). Ito pinapayagan para sa pagpapatupad ng semantiko impormasyon, o ilagay tahasang, ang mga developer 'layunin. Ang recursion-call na humantong sa ang DAO hack dapat na ginagamit sa isang partikular na paraan, tulad ng mga nag-develop inilaan nito.

Malinaw, tulad intensyon ay hindi nakunan ng code at samakatuwid ay hindi naging hadlang ang DAO hacker mula sa draining DAO Ang.

Sa konklusyon: kawalan ng pagbabago at kawastuhan ng code ay tulad ng dalawang pans ng isang scale. Ang mas maraming "timbang" ilagay mo sa kawalan ng pagbabago ng karagdagang pag-aalaga mayroon kang gumawa ng tungkol sa kawastuhan ng iyong code.

Kailangan para sa nabe-verify na code

Kung halos iyong buong ang smart kontrata immutably tumatakbo sa blockchain (tulad ng ilang mga "code ay batas" taong mahilig sa makita sa kaisipan ito upang maging ang tanging paraan upang pumunta) ikaw ay pinaka-malamang na hindi magagawang upang ilagay ang sapat na "counter timbang" sa kawastuhan ng iyong code.

Ang lahat ng mga napag-alaman ay malayo mula sa pagiging balita.

Kahit na ang mga nag-develop ng katigasan mismo, Dr Gavin Wood, envisionedin isang maagang yugto ng kabuuan kuru-kuro ng isang wika na nagbibigay-daan para sa mga mathematical patunay at ang pinakabagong pananaliksik ay nagmumungkahi na ang pagsasalin ng katigasan sa F * upang maabot ang nabe-verify na code ay kinakailangan.

Subalit, tila malinaw na sa pamamagitan ng ngayon, na ang nais na estado ng alegality, kung saan walang pakikipag-ugnayan mula sa labas ng isang matalino na kontrata ay kinakailangan, ay hindi pa naabot. At ito ay marahil pa rin tumagal ng lubos ng ilang oras upang makarating doon, kung maaari itong mapupuntahan sa lahat.

Pagpuno ang mga teknikal na void

Iyon ay hindi nangangahulugan na, gayunpaman, na ang konsepto ng matalinong mga kontrata ay nabigo o magiging walang silbi. Ito lamang ay nangangailangan ng isang architecture na nirerespeto ng mga limitasyon ng kasalukuyang teknolohiya. At isang matalino work-around para sa mga gaps sa programming language at artificial intelligence na pa kailangang ma-puno.

Ang ganitong mga isang trabaho sa paligid makapaglagay sa legal na sistema mula sa klasikong meatspace, sa partikular ng isang tukoy na lugar na tinatawag na Alternative Dispute Resolution (ADR).

Ang layunin nito ay upang bigyan ang dalawa o higit arguing partido pormal na paraan upang malutas ang kanilang mga hindi pagkakaunawaan nang pribado nang hindi sa resort sa mga pampublikong state-magpatakbo ng court. Nagbibigay ito ng mga tool na nagbibigay-daan sa iyo upang i-set up ang iyong sariling mga patakaran, tukuyin ang proseso ng kung paano pamahalaan ang mga salungatan, at / o piliin ang hukom na iyong pinili.

Ito ay mayroon ding mga magandang epekto ng pagiging tunay na classic-meatspace-ligal na nagbubuklod na. Ito ay isang mabigat na paglalaro ng patlang upang galugarin, hal: futarchy mga ideya tulad ng hula marketsor bagong halaga Pagpapatungkol konseptong tulad Backfeedfor pagpili ng isang tagapamagitan. At ito ay hindi kahit na mahirap na ipatupad tulad panuntunan arbitrasyon sa isang matalino na kontrata.

Tiyakin lamang na ang bawat gumagamit ng isang smart kontrata ng serbisyo ay tumatanggap na sumailalim sa naturang panuntunan arbitrasyon, tulad ng ikaw ay subjected sa pribado binuong panuntunan arbitrasyon (hal: ang ICANN ni UDRP) kapag nagrerehistro ng isang domain name.

Paano tulad ng isang link sa pagitan ng matalinong mga kontrata at meatspace-legal tuntunin ay maaaring magmukhang maaaring matagpuan dito. (Ang mga ito ay hindi ADR panuntunan ngunit kontrata batas panuntunan. Implementasyon Ang, gayunpaman, ay magiging katulad na katulad).

Ang paglipat patungo alegality

Sa una, maaaring tumingin kakaiba na gumamit ng lumang konsepto upang mag-advance sa isang bagong lugar.

Subalit, kung titingnan mo ito bilang istruktura suporta - napaka tulad ng isang sariwang 3D naka-print na item ay may at kung saan maaari steadily ililipat ang layo kapag ang mga bagong item na nakatayo sa kanyang sariling kakayahan - ang oddness fades. Dagdag pang, tulad ng isang paraan upang sumulong maaaring kahit na magkaroon ng heuristic element sa kamalayan na ito ay tumutulong upang madagdagan ang nalalaman tungkol sa mga bagong konsepto at mga tool ng pamamahala na maaaring palitan ang meatspace-legal tools ganap sa hinaharap.

Na dumating buong bilog sa simula, dapat naming igalang ang magkabilaan likas na katangian ng impormasyon at hayaan code proseso sintaktik impormasyon at i-deploy ang pamamahala kasangkapan para sa mga tao upang iproseso ang semantic impormasyon.

Gamit ang isang namamahala tool tulad ng mga smart kontrata tukoy na mga panuntunan arbitration kasama ang pagkilala na smart kontrata ay hindi matalino o kontrata ngunit sa halip lamang verifiably pinaandar code (VEC) ay maaaring magbigay ng paraan upang subukan ang mga bagong teknolohiya sa isang mas mapaminsalang paraan kaysa ito ay tapos na DAO ang at maaari ring magbigay ng katiyakan na kailangan upang gumawa ng matalinong mga kontrata kagiliw-giliw na para sa mga negosyo.

Hindi bababa sa hanggang sa agham catches up sa mga pangitain ng "code ay batas" at isang tunay na estado ng alegalitycan maabot.

Kaugnay na Balita


Post Ethereum

IBM vs Microsoft: Two Tech Giants, Two Blockchain Visions

Post Ethereum

Ipinanukalang Ethereum investment Sasakyan Sparks Kontrobersiya

Post Ethereum

Ang Malalamig na Enterprise Ethereum Project ay Nakakuha ng Mixed Reaksyon sa EDCON 2017

Post Ethereum

Rebranding sa DAO: Ang Nakakatawang Blockchain Concept ay Bumalik

Post Ethereum

Ang Propesor ng Cornell para sa DAO 2.0 Movement

Post Ethereum

Ang Blockchain Energy Project ay nanalo ng Consensus 2018 Hackathon

Post Ethereum

Pagbuo ng mga Pundasyon para sa isang Nasusukat na Ethereum Community

Post Ethereum

Isang Modest na Panukala: Binibigyang-daan ni Vitalik ang Multi-Year Vision para sa Ethereum

Post Ethereum

Scratch That: CryptoKitties Ay hindi Kaunti Vision ng Ethereum para Apps

Post Ethereum

Crypto 2.0 sa 2018: Pag-on ng Bitcoin Teorya Sa Big Negosyo

Post Ethereum

Microsoft to Host Consensus 2018 Blockchain Hackathon

Post Ethereum

Ano ang Matututuhan natin Mula sa DAO