Codul este legea? Nu încă | RO.democraziakmzero.org

Codul este legea? Nu încă

Codul este legea? Nu încă

Lukas Abegg este un avocat cu diplome de master în dreptul elvețian și SUA. El este in prezent un cercetator invitat la Universitatea Humboldt din Berlin, unde a scrie o teză de doctorat pe un subiect la intersecția de drept și a tehnologiei.

În această piesă aviz, Abegg discută despre dezvoltarea contractului inteligente în contextul matematicii, susținând că stabilirea de repere cum ar fi „cod este lege“ poate plasa tensiuni semnificative pe conceptul de contract inteligent.

După experiment DAO nu a reușit, o dezbatere politică de încălzit a urmat cu privire la modul de a merge mai departe cu dezvoltarea blockchain ethereum lui.

Pozițiile au variat de la exploatație pe paradigma imutabilitate cu „cod este lege“, ca fiind cea mai importantă regulă de urmat, la o abordare mai umană a cere minerilor și dezvoltatorii ce ar trebui să fie luate măsuri de ethereum lui.

Numai puțin timp, cu toate acestea, a fost cheltuit pe întrebarea ce un contractis inteligent de fapt, capabil de performante.

Dar această întrebare foarte, cred eu, ar trebui să fie în centrul dezbaterii și răspunsul respectiv este singura bază rațională pe care se poate construi o politică solidă pentru blockchain și dezvoltare a contractului inteligent.

Deci, haideți să aruncăm o privire mai atentă la capacitățile de contracte inteligente.

Natura informațiilor

Caracteristica unui contract inteligent este în însăși esența sa prelucrarea informațiilor.

În timp ce noțiunea de informație variază și nu există o definiție universală, este util să înceapă cu theorydeals de informații mod cu informații, deoarece teoria informației face parte din ADN-ul stiinta calculatoarelor de azi.

Prin urmare, este necesar să se împartă informații în informationand informații semantice sintactic. Cel dintâi fiind regulile cu privire la relația dintre simboluri și acestea din urmă fiind sensul atribuit astfel de simboluri (de exemplu: „intenție“). Linia dintre cele două este oarecum neclară și spunându-le în afară este uneori dificil (care, după cum vom vedea mai târziu, duce la problema Daos, în primul rând), dar o diferență între ele există în mod clar.

O piesă interesant despre dificultatea de a capta „intenție“ a fost recent writtenby Vitalik Buterin.

Informații sintactică pot fi analizate și măsurate (ca Shannonand Weaverdid în „O teorie matematică a comunicării“) și este deschisă o dovadă matematică. Informații semantice, cu toate acestea, este ceea ce o ființă umană atribuie un simbol. Aceasta poate reprezenta orice un creier uman este capabil să gândesc.

Normalizarea informații semantice și făcându-l procesabile este destul de o sarcină dificilă, să-l puneți blând. Informatică (în special, cercetătorii de inteligență artificială) se luptă un mare dealin încercarea de a capta informații semantice, cum ar fi limbaj natural, și reprezintă sensul său în software-ul. Pentru a face lucrurile și mai rele, informație semantică poate fi orice, de la destul de simplu la foarte complex.

Mai degrabă informații semantice simple și formale, cum ar fi un brevet, de exemplu, poate deja fi procesat de limbaj de calculator. Gândiți-vă un fișier CAD al unui widget patentat pe un computer care execută o imprimare 3D imprimantă din lucrul exact pe care fișierul menționat conține CAD.

Informații semantice mai complexe, cum ar fi noțiunea juridică de „bună-credință“, de exemplu, nu poate fi încă manipulate de informatică. Pentru a face acest lucru, este încă nevoie de un mare salt în cercetarea inteligenței artificiale.

Lipsește guvernare

Un alt mod de a face o distincție între aceste două tipuri de informații ar fi referindu-se la ele ca „cod uscat“ și „cod umed“, un concept inventat de criptograf Nick Szabo.

Pentru a face un punct cu privire la motivul pentru care este imperativ să respecte natura care două fețe de informații, este posibil să se uite la DAO. Imperativul „face nici un rău“ (adică: informație semantică) a fost scrisă doar pe pagina de start DAO și nu în codul său (care, în cea mai mare parte, prelucrate numai informații sintactică).

Adepților unei stricte „cod este lege“ doctrină a argumentat că, prin urmare, hacker DAO s-ar putea menține eterul drenat, deoarece „nu face rău“ imperativ a fost numai în caietul de sarcini pagina de start, dar nu în codul în sine și, prin urmare, nu sunt obligatorii. Au luat cazul lor chiar mai departe cu reținerea blockchain non-incarcatori ethereum și a creat un mediu ethereum paralel, clasic ethereum, care produce unele probleme destul de dificil pentru utilizatori și dezvoltatori.

Dacă ar fi existat un instrument adecvat de guvernare, care ar fi tratate informații semantice (și anume: a asigurat toată lumea rămâne la „nu face rău“ regula și mijloacele prevăzute pentru a face față cu contravenienților), astfel de divizare ar fi, probabil, nu au mai fost.

Dovada matematică și imutabilitatea

Când Shannon a lucrat pe teoria comunicării, el a avut grija ca cercetarea sa a fost limitată în domeniul informațiilor sintactică. Acest lucru ia permis să demonstreze matematic constatările sale.

Asta nu ar fi putut fi făcut în cazul în care a fost implicat informații semantice. Pentru Shannon, dovada matematică a fost importantă pentru a avansa stiinta.

Coding un contract inteligent nu avansează într-adevăr știință și, prin urmare, dovada matematică nu este important, s-ar putea crede. Cu toate acestea, de îndată ce vă adăugați imutabilitate printr-o implementare blockchain a codului, va ridicati bara pentru corectitudinea codului la un nivel incredibil de mare, în cazul în care nu este complet la îndemâna (cf: analiză mai detaliată).

Deoarece codul este imuabil și nu poate fi schimbat, trebuie să fie perfect sigur că codul nu are defecte.

Dovada matematică a codului, prin urmare, pare dintr-o destul de o caracteristică importantă bruscă a avea.

Și totuși, așa cum este utilizat Soliditatea pe ethereum pentru punerea în aplicare a contractului inteligent, nu este un limbaj care permite dovada matematică (și anume: nu este referențial transparentă). Acest lucru a permis punerea în aplicare a informațiilor semantice, sau a pus în mod explicit, intenția dezvoltatorilor. Recursivitatea prin apel, care a dus la DAO hack-ar fi fost utilizate într-un mod specific, așa cum dezvoltatorii intenționat.

Evident, astfel de intenție nu a fost capturat de codul și, prin urmare, nu a împiedicat hacker DAO de la drenarea DAO.

În concluzie: imuabilitatea și corectitudinea codului sunt la fel ca cele două platanelor scară. Cu cât este mai „greutate“ ai pus pe imutabilitatea mai mult grija pe care trebuie să ia în ceea ce privește corectitudinea codului.

Nevoia de cod verificabile

În cazul în care aproape întregul contract de inteligent este imuabil rulează pe blockchain (cum ar fi unele „cod este lege“ entuziaști imagina ca aceasta să fie singura cale de a merge) esti cel mai probabil, capabil de a pune suficient „contra greutate“ în corectitudinea codului.

Toate aceste descoperiri sunt departe de a fi știri.

Chiar și dezvoltatorul solidității în sine, Dr. Gavin Wood, envisionedin un stadiu incipient al concepției lui Soliditatea un limbaj care permite dovezi matematice si cele mai noi de cercetare sugerează că ar fi necesară traducerea solidității în F * pentru a ajunge la codul verificabile.

Cu toate acestea, se pare clar până acum, că starea dorită de alegality, în cazul în care este nevoie de nici un angajament din afara unui contract inteligent, nu este atins încă. Și va dura, probabil, încă destul de ceva timp pentru a ajunge acolo, în cazul în care se poate ajunge la toate.

Umplerea golului tehnic

Aceasta nu înseamnă, totuși, că noțiunea de contracte inteligente a eșuat sau ar fi inutil. Este nevoie doar de o arhitectură care să respecte limitele tehnologiei actuale. Și un inteligent lucru în jurul valorii de lacunele în limbaj de programare și inteligență artificială, care încă trebuie să fie umplut.

Un astfel de lucru în jurul valorii de s-ar putea pune în sistemul juridic clasic din Realitate, în special, o anumită zonă numită Alternative Dispute Resolution (ADR).

Scopul său este de a oferi două sau mai multe părți care susțin mijloacele formale pentru a rezolva disputele lor, în particular, fără a fi nevoie să recurgă la instanțele de stat publice. Acesta oferă instrumente care vă permit să configurați propriile reguli dvs., definesc procesele de modul de gestionare a conflictelor, și / sau selectați judecătorii de la alegerea ta.

De asemenea, are ca efect secundar frumos de a fi legare de fapt clasic-legal-Realitate. Este un joc formidabil câmp pentru a explora, de exemplu: idei futarchy ca predicție marketsor concepte noi, cum ar fi valoarea de atribuire Backfeedfor alegerea unui arbitru. Și nici măcar nu e foarte dificil să pună în aplicare astfel de norme de arbitraj într-un contract inteligent.

Doar asigurați-vă că fiecare utilizator al unui serviciu de contract inteligent acceptă să fie supuse unor astfel de reguli de arbitraj, la fel ca tine sunt supuse unor reguli de arbitraj privat (de exemplu, constituiți: a ICANN UDRP) la înregistrarea unui nume de domeniu.

Cum ar putea arata o astfel de legătură între contractele inteligente și norme legale ca pot Realitate fi găsite aici. (Acestea nu sunt reguli ADR, dar normele de drept al contractelor. Punerea în aplicare, cu toate acestea, ar fi foarte asemănătoare).

Trecerea la alegality

La început, s-ar putea uita ciudat de a utiliza concepte vechi pentru a avansa într-o nouă zonă.

Cu toate acestea, dacă te uiți la ea ca structuri de sprijin - foarte mult ca un element imprimat proaspăt 3D are și care poate fi în mod constant mutat departe atunci când noul element se află în propria sa capacitate - pentru bizarerie dispare. Chiar mai mult, astfel încât să se deplaseze mai departe s-ar putea avea chiar un element euristic, în sensul că ajută pentru a afla mai multe despre noi concepte și instrumente de guvernare care ar putea înlocui instrumente juridice complet în Realitate pe viitor.

Pentru a veni cerc complet cu începutul, ar trebui să respecte natura cu două fețe de informații și lăsați procesul de cod de informații sintactică și implementa instrumente de guvernare pentru ființele umane pentru a procesa informații semantice.

Cu ajutorul unui instrument care reglementează ca norme de arbitraj specifice contractuale inteligente în combinație cu recunoașterea faptului că contractele inteligente nu sunt nici inteligente, nici contracte, ci mai degrabă doar verificabil executat cod (VEC) poate oferi o modalitate de a testa noi tehnologii într-un mod mai puțin dezastruos decât a fost făcut cu DAO și poate oferi, de asemenea, certitudinea necesară pentru a face contracte inteligente interesante pentru întreprinderi.

Cel puțin până când știința prinde cu viziunea „cod este lege“ și se ajunge la o stare adevărată de alegalitycan.

Știri asociate


Post Ethereum

Aplicația Următorului Val de Ethereum este aproape aici

Post Ethereum

BlockCypher lansează kitul de instrumente Ethereum API pentru dezvoltatori

Post Ethereum

Țara nimănui? Tarifele de eter se apropie de 350 de dolari, dar lupta pentru a construi Momentum

Post Ethereum

Creșterea prețurilor Bitcoin a depășit 770 de dolari, însă scăderea a scăzut cu puțin peste 2018

Post Ethereum

IBM vs Microsoft: doi giganti tehnici, doua viziuni blockchain

Post Ethereum

În afară de aceasta, Tech Stack-ul lui Crypto se îmbunătățește constant

Post Ethereum

Blockchain pentru CPU? Analizând Golems Ethereum Token Sale

Post Ethereum

Pentru startupurile Blockchain, valea Crypto din Elveția nu este New York

Post Ethereum

Volum pentru ochi, schimburi asiatice Adăugați suport pentru tranzacționarea Ether

Post Ethereum

Planul B? Ethereum inovatorii revitalizează lupta pentru neutralitatea netă

Post Ethereum

Proiectul Secretive Enterprise Ethereum obține reacții mixte la EDCON 2017

Post Ethereum

Poof, banii tăi au plecat: construiesc pentru utilizatorii de blocuri