Plan istraživanja Kleros istraživanja

Znanstveni izazovi za budućnost decentralizirane pravde ...

U tvrtki Kleros provodimo uzbudljiv rad na primjeni kriptoekonomskih zaključaka i teorije igara kako bi riješili praktične probleme koji će pozitivno utjecati na društvo u cjelini.

Da bismo svojoj zajednici pružili više uvida u izazove sa kojima smo suočeni, odlučili smo dijeliti grubi plan naših istraživačkih projekata i srednjoročnih i dugoročnih ciljeva.

Teorija koja stoji iza Klerosa već je prilično razvijena u slučaju kada porotnici moraju odlučivati ​​između dvije mogućnosti. Imamo prototip koji je izgrađen na temelju tih ideja.

Naša dugoročna vizija je da će Kleros biti sposoban za rješavanje najrazličitijih sporova. Prilikom pisanja pametnog ugovora kojim se Kleros određuje kao arbitar, korisnik bi trebao biti u mogućnosti pružiti niz različitih ishoda za porotnike. Ti ishodi mogu uključivati ​​davanje jedne stranke više vremena za dovršetak projekta ili izdavanje djelomičnog ili potpunog povrata.

Nadalje, naš dokaz o konceptu upravo je u fazi prelaska s jedinstvenog suda na kojem se za sve slučajeve odlučuje o obiteljima specijalnih vrsta koje su specijalizirane za vrstu spora. Dugoročno, mehanizam upravljanja Kleros omogućit će svakom od tih podokruga prilagodbu svojih naknada, vremenskih ograničenja i drugih parametara kako bi zadovoljio potrebe specijaliziranih slučajeva. Ovako Kleros postaje višenamjenski arbitražni sustav koji može sporove rješavati na brz, pristupačan i transparentan način.

Imajući to na umu, radimo na brojnim istraživačkim temama.

vladavina

Arbitražne naknade trebale bi porotnicima pružiti priličnu nagradu za njihov rad. Naknada za rad u vrlo specijaliziranom potkrovlju koji zahtijeva značajan napor i posebne vještine trebao bi biti veći od onoga za sud koji ne zahtijeva takve napore i vještine.

Štoviše, visina naknade utječe na to koliko je privlačno biti porota, što onda utječe na cijenu žetona pinakion (PNK), što pak utječe na cijenu skupog napadača koji pokušava kupiti dovoljno PNK-a za obavljanje napad od 51%.

Platforma predviđanja Augur ima neke slične probleme i oni uključuju sustav u kojem se naknade automatski prilagođavaju vrijednosti uloga na njihovim tržištima, dizajniranom tako da nikad nije isplativo pokušati oteti sustav putem napada od 51%.

S Klerosom je teže procijeniti ukupnu vrijednost u pitanju, jer ljudi mogu koristiti protokol za arbitražu sporova koji uključuju monetarnu imovinu. Međutim, razmatramo načine na koji se naknade mogu prilagoditi na način koji pruža maksimalnu sigurnost i također dopušta da se subkurati prilagode njihovim individualnim potrebama.

(Za dubinsku usporedbu između Klerosa i Augura, pročitajte ovaj članak).

Nebinarni, pa čak i nelinearni ishodi

Ako postoji spor između Alice i Boba, freelancera koji je unajmila, porotnici bi zasigurno trebali imati mogućnost plaćanja Boba ili povrat Alice. Ali možda bi trebali i Bobu dati više vremena da završi posao.

Iako se ovo čini jednostavno, može predstavljati suptilne izazove. Na primjer, moglo se zamisliti sustav u kojem naređujete izbore (tako da Bobu daje više vremena „između“ plaćanja njemu i povrata Alice). Tada se kao rezultat može odabrati opcija koja je dobila medijanski glas porote. Međutim, bez pažljivog postupanja s poticajima za porote, možete imati situacije u kojima porotnici su pristrani prema glasanju za ishod u sredini kao zaštitna zaštita od kažnjavanja.

U nekim slučajevima, posebno u višestranačkim sporovima, možda čak i ne postoji prirodni poredak ishoda. Zamislite situaciju u kojoj Alice iznajmljuje svoj stan Bobu na Airbnbu. Kad je stan oštećen, porotnici moraju odlučiti je li Alice odgovorna za štetu prije Bobovog dolaska i sama ih treba platiti, treba li Bob pokriti troškove štete ili je šteta posljedica nesreće koja bi trebala biti pokriven Aliceovim osiguranjem.

Započeli smo istraživati ​​određene slučajeve u kojima možemo riješiti ove slučajeve s više rezultata kroz binarnost. Naime, izbor koji se daje porotnicima pretvara se u niz binarnih izbora. Općenito, namjeravamo graditi na teoriji glasanja, koja je suočena sa sličnim problemima. Posebno smo nadahnuti idejama o shemama glasanja o Condorcetu.

Nicolas de Condorcet (1743–1794) bio je francuski filozof, matematičar i politolog. Razvio je sustav glasanja poznat kao Condorcet metoda koji bira kandidata koji bi pobijedio svakog drugog kandidata na ponovnim izborima. Neke od naših trenutnih istraživačkih ideja temelje se na Condorcetovu djelu.

proročanstva

Ključna primjena Klerosa je proročanstvo. Kleros omogućava unošenje znanja o stvarnom svijetu (ispravna stranka u nekom sporu) na blockchain. To se može iskoristiti za donošenje općih informacija o lancu.

Nedavno radimo na modelu kako implementirati cjenovni prorok putem tvrtke Kleros. To bi se moglo koristiti ugovorima koji trebaju znati, na primjer, cijenu 1 ETH u USD. Za sada se u našem radu koriste gore opisane ideje za binarnost. Također, za sada naš model ovisi o prisutnosti barem jednog "ispitanika" koji podnese poštenu cijenu bez naknade, osim možda dobiti neke depozite izgubljene od strane zlonamernih ispitanika. (Takvog ispitanika mogu motivirati samoinicijativni razlozi kao što je slučaj s ispitanicima koji je također uložen u ugovor koji koristi ovaj oracle cijena).

U naprijed ćemo raditi na tome kako pravilno potaknuti ispitanike na proročanstvo. Također, još uvijek imamo istraživanja koja se mogu riješiti da bi mogli podnijeti informacije koje nisu prirodno naručene, kao što je odgovor na tržište predviđanja na kojem je pet kandidata izabran za predsjednika.

Štoviše, razmatramo postoje li i druge aplikacije u kojima se, kao u slučaju oraclesa, može koristiti ponovljeni poziv Klerosu, organiziran na neki koristan način da se riješi neki problem koji na prvi pogled ne izgleda kao rješavanje spora. problem.

eksperimenti

Jednom kada imamo znatan broj stvarnih slučajeva koji sude stvarnim porotnicima motiviranim stvarnim financijskim poticajima, bit će zanimljivo promatrati kako sudionici zapravo djeluju, kako je to u skladu s teorijskim modelima igara i koje su posljedice za Kleros.

Namjeravamo organizirati eksperimente na testnim slučajevima kako bismo vidjeli kako korisnici reagiraju na mito. Možemo ponuditi blagodat akterima koji uspiju postići određene zlonamjerne rezultate usvojene u takvim ispitnim slučajevima kako bi se utvrdila robusnost sustava.

Razmotrimo konkretan primjer napada p + epsilona. Predviđamo pokretanje p + epsilonskog napada protiv testnog spora kako bismo vidjeli kako korisnici reagiraju. Naš žalbeni sustav već pruža razinu obrane od napada p + epsilona jer napadač mora u sljedećim žalbama s velikim brojem porotnika počiniti (i riskirati da izgubi) velike svote novca.

Dok dalje istražujemo obranu od ovih napada, razmotrit ćemo jedan od odgovora koji se predlažu za rješavanje napada p + epsilona, ​​što je svojevrsna koordinirana mješovita strategija, u kojoj porotnici djeluju na način da iscrpe napadača za maksimalni iznos sredstava , Organiziranje takvog koordiniranog odgovora predstavlja i teoretske i praktične izazove. Ipak, za slučaj našeg testnog p + epsilona, ​​također ćemo pokrenuti ugovor koji omogućuje kontorordinaciju da se organizira i promatrat ćemo jesu li te mjere učinkovite.

Elementi nulta znanja

Na mjesta Schellinga snažno utječu informacije koje strankama imaju pristup. Međutim, na Ethereumu su informacije dodane u blockchain javno vidljive, pa je kontrola nadzornim skupinama informacija kojima ima pristup složen problem.

Ovo je već pitanje koje je potrebno riješiti čak i za najjednostavnije verzije Klerosa: porotnici glasuju putem obveza i otkrivaju shemu, tako da je njihov glas na lancu vidljiv tek nakon završetka razdoblja glasanja. Time se izbjegava porotnici da mogu čekati dok drugi porotnici ne glasaju, a zatim oponašaju svoj glas kako bi osigurali dosljednost.

Međutim, mogli bismo pokušati biti sofisticiraniji u kakve informacije porotnici vide, posebno zato što se Ethereumu dodaju plinovi učinkovitiji primanja nula znanja. Na primjer, ako postoji žalba, trebaju li porotnici znati odluku slučaja pred nižim sudom i tko se žaliti? Možemo zamisliti (po mogućnosti u određenim potporezima) kako prikrivaju te podatke. Kad dođe vrijeme za podnošenje žalbe stranci, oni mogu upotrijebiti potpis s nove adrese kako bi dokazali da su stranke u sporu, a da ne otkriju tko.

Strategija sukoba. Izvorno objavljena 1960. godine, ova knjiga je pokrenula proučavanje pregovaranja i strateškog ponašanja u situacijama sukoba. Schelling je u ovoj knjizi uveo koncept žarišta, koji mnogi danas poznaju kao Schelling Point.

Osiguranje arbitražne pristojbe

Možemo zamisliti napade gdje se vrlo dobro financirani napadač pokušava žaliti na odluku dok protivnik jednostavno nema resurse da nastavi plaćati žalbu. Iako se arbitražne pristojbe vraćaju stranci za koju se na kraju utvrdi da je ispravna (tako da ako se ispravna stranka nastavila kretati, na kraju će joj se nadoknaditi), ispravna stranka može biti prisiljena odustati zbog nedostatka resursa.

Kao rješenje ovog problema zamišljamo da bi netko mogao dobiti zajam od neke vrste osiguravatelja. Ovo osiguravatelj pokriva naknade stranaka za koje procijeni da su u konačnici ispravne. U zamjenu za to, osiguravatelj dobiva dio kazne koji će napadač platiti nakon što za kraj procijene da je pogrešan. Ova je ideja slična osiguranju "Nakon događaja", koje je obično dizajnirano za pokrivanje pravnih troškova u slučajevima osobne ozljede, a može se kupiti nakon što je ozljeda nastupila (nakon "događaja"). Također, rezultati takvog okvira osiguranja završavaju sličnim onima sporazuma "bez pobjede, bez naknade" koje nude neke odvjetničke tvrtke u tradicionalnim građanskim sporovima.

Istražit ćemo kako to strukturirati na način dostupan za korisnike; na primjer, osiguravatelj se može organizirati kao DAO.

Nadgradnja na Ethereum rješenja za skaliranje

Kako se za Ethereum razvijaju različita rješenja za skaliranje, uključujući plazmu, generalizirane državne kanale, Truebit itd., Razmislit ćemo o tome kako prilagoditi Kleros na najbolji mogući način nadogradnje kako bi se optimizirali troškovi plina i smanjila kašnjenja uz održavanje sigurnosti.

Kleros i tradicionalna arbitraža

Donošenje ideja iz teorije igara i blockchaina omogućava nam rješavanje sporova iz radikalno nove perspektive.

Bez obzira na to, mnoge će se nijanse tradicionalne arbitraže sigurno prenijeti u naš sustav. Stoga ćemo tražiti stručnost u tradicionalnoj arbitraži i istražit ćemo kako se najbolji doprinosi kriptoekonomije mogu integrirati s postojećim idejama.

Ukratko, tek smo na početku dugog istraživačkog programa. Naša dugoročna vizija je da će Kleros biti sposoban riješiti široku paletu sporova na brz, transparentan i jeftin način. Uzbudljiv plan za primjenu kriptoekonomskih zaključaka i teorije igara za rješavanje praktičnih problema koji će pozitivno utjecati na društvo u cjelini.

Saznajte više

Pridružite se chatu u zajednici na Telegramu.

Posjetite našu web stranicu.

Pratite nas na Twitteru.

Pridružite se našem Slack-u za razgovore s programerima.

Doprinosi na Githubu.