Kleros Research Roadmap

Detsentraliseeritud õigusemõistmise tuleviku teaduslikud väljakutsed ...

Kleros teeme põnevat tööd krüptoökonoomika ja mänguteooria rakendamiseks, et lahendada praktilisi probleeme, mis mõjutavad positiivselt kogu ühiskonda.

Et anda meie kogukonnale rohkem teavet meie ees seisvate väljakutsete kohta, otsustasime jagada meie uurimisprojektide ja keskpika ja pikaajalise eesmärgi ligikaudset tegevuskava.

Klerosi teooria on juba üsna hästi välja arendatud juhul, kui vandekohtunikud peavad otsustama kahe variandi vahel. Neil ideedel on üles ehitatud prototüüp.

Meie pikaajaline visioon on, et Kleros suudab lahendada mitmesuguseid vaidlusi. Nutika lepingu kirjutamisel, mis nimetab Klerosi oma vahekohtunikuks, peaks kasutaja suutma pakkuda vandeadvokaatide hääletamiseks erinevaid tulemusi. Need tulemused võivad hõlmata ühele poolele rohkem aega projekti lõpuleviimiseks või osalise või täieliku toetuse väljamaksmiseks.

Lisaks on meie kontseptsiooni tõend just praegu liikumas ühe kohtu juurest, kus kõik juhtumid on otsustatud, alamkohtute peredele, kes on spetsialiseerunud vaidluse tüübile. Pikas perspektiivis võimaldab Klerosi juhtimismehhanism kõigil neil alamkohtutel kohandada oma tasusid, tähtaegu ja muid parameetreid, et see vastaks erijuhtude vajadustele. Nii saab Klerosest mitmeotstarbeline vahekohtusüsteem, mis suudab vaidlusi lahendada kiiresti, taskukohaselt ja läbipaistvalt.

Seda nägemust silmas pidades tegeleme mitmete uurimisteemadega.

Juhtimine

Vahekohtutasud peaksid andma vandekohtunikele nende töö eest õiglast tasu. Hüvitis väga spetsialiseeritud alamkvartalis tehtud töö eest, mis nõuab olulisi pingutusi ja erioskusi, peaks olema suurem kui kohtule, kes sellist pingutust ja oskusi ei vaja.

Lisaks mõjutab tasude suurus seda, kui atraktiivne on vandekohtunik olla, mis mõjutab seejärel pinakioni (PNK) tokeni hinda, mis omakorda mõjutab seda, kui kulukas on ründajal proovida osta piisavalt PNK-d, et täita 51% rünnak.

Ennustusturu platvormil Auguril on mõned sarnased mured ja need hõlmavad süsteemi, kus tasud kohanduvad automaatselt nende turgudel valitseva väärtusega, mis on loodud nii, et kunagi pole kasumlik üritada süsteemi kaaperdada 51-protsendilise rünnaku kaudu.

Klerosi puhul on kaalul olevat koguväärtust raskem hinnata, kuna inimesed võivad seda protokolli kasutada mittemonetaarse varaga seotud vaidluste lahendamiseks. Kuid me kaalume võimalusi, kuidas tasusid saaks kohandada viisil, mis tagab maksimaalse turvalisuse ja võimaldab ka alamkohtutel kohaneda oma individuaalsete vajadustega.

(Klerossi ja Auguri põhjalikku võrdlust lugege sellest artiklist).

Mittebinaarsed ja isegi mittelineaarsed tulemused

Kui Alice ja tema palgatud vabakutselise Bobi vahel on vaidlus, peaks vandekohtunikel kindlasti olema võimalus Bobile maksta või Alicele hüvitist maksta. Kuid võib-olla peaksid nad ka suutma anda Bobile rohkem aega töö lõpetamiseks.

Ehkki see tundub lihtne, võib see tekitada peent väljakutset. Näiteks võiks ette kujutada süsteemi, kus tellite valikud (nii et Bobile rohkem aega antakse, kui talle makstakse ja Alicele tagastatakse). Siis võiks tulemuseks valida variandi, mis sai keskmise vandekohtuniku hääle. Ilma vandeadvokaadi stiimulite hoolika käitlemiseta võivad teil tekkida olukorrad, kus vandeadvokaadid on kallutatud karistamise vältimiseks keskel asuvate tulemuste hääletamisele.

Mõnel juhul - eriti mitmepoolsetes vaidlustes - ei pruugi tulemused olla isegi loomulik. Mõelge olukorrast, kus Alice üürib oma korterit Bobile Airbnb-s. Kui korter on kahjustatud, peavad vandekohtunikud otsustama, kas Alice vastutas kahjude eest enne Bobi saabumist, ja tasuma nende eest ise, kas Bob peaks katma kahjutasu kulud või kas kahju tuleneb õnnetusest, mis peaks Alice'i kindlustus.

Oleme hakanud uurima teatud juhtumeid, kus saaksime neid mitme tulemusega juhtumeid binariseerimise kaudu käsitleda. Nimelt muudetakse vandekohtunikele antud valik binaarsete valikute seeriaks. Üldiselt kavatseme tugineda hääletusteooriale, mis seisab silmitsi sarnaste probleemidega. Meid inspireerivad eriti Condorceti hääletusskeemide ideed.

Nicolas de Condorcet (1743–1794) oli prantsuse filosoof, matemaatik ja politoloog. Ta töötas välja hääletussüsteemi, mida tuntakse Condorceti meetodi järgi ja mis valib kandidaadi, kes eelvalimistel võidab kõik teised kandidaadid. Mõned meie praegused uurimisideed põhinevad Condorceti tööl.

Oraaklid

Klerosi peamine rakendus on oraaklid. Kleros võimaldab tuua teadmisi reaalsest maailmast (õige vaidluse osaline mõnes vaidluses) plokiahelale. Seda saab kasutada üldisema teabe saamiseks ahelas.

Oleme hiljuti töötanud mudeli kallal, kuidas Klerosi kaudu hinnasooraali rakendada. Seda saaks kasutada lepingutes, kus on vaja teada näiteks ühe ETH maksumust USA dollarites. Praegu kasutab meie töö ülalkirjeldatud binaarsuse ideid. Ka nüüd sõltub meie mudel sellest, kui kohal on vähemalt üks “vastaja”, kes esitab ausa hinna ilma hüvitiseta, välja arvatud see, kui saame ehk osa pahatahtlike vastajate kaotatud hoiustest. (Sellist vastajat võiksid motiveerida omakasupüüdlikud põhjused, nagu võib juhtuda juhul, kui vastajat investeeritakse ka lepingusse, mis kasutab seda hinnasooraali).

Edaspidi töötame selle nimel, kuidas vastajaid oraaklitele korralikult stimuleerida. Samuti on meil veel uurimistööd, et saaksime hakkama oraaklitega, mis pakuvad teavet, mida tavaliselt ei tellita, näiteks vastus ennustusturule, kus viiest kandidaadist valiti president.

Lisaks kaalume, kas on ka muid rakendusi, kus nagu oraaklite puhul saab kasutada korduvaid kõnesid Klerosse, mis on mõnel kasulikul viisil korraldatud mõne probleemi lahendamiseks, mis esmapilgul ei tundu olevat vaidluste lahendamine probleem.

Katsed

Kui meil on märkimisväärne arv reaalseid kohtuasju, mille üle otsustavad tõelised vandeadvokaadid, keda motiveerivad tõelised rahalised stiimulid, on huvitav jälgida, kuidas osalejad tegelikult tegutsevad, kuidas see vastab mängu teoreetilistele mudelitele ja mis mõjutab seda Klerosit.

Kavatseme korraldada katsejuhtumite katsed, et näha, kuidas kasutajad altkäemaksule reageerivad. Süsteemi vastupidavuse hindamiseks võime pakkuda osalejatele arveid, kellel on sellistel testimisjuhtudel võimalik kasutada konkreetseid pahatahtlikke tulemusi.

Vaatleme p + epsiloni rünnakute konkreetset näidet. Prognoosime p-epsiloni rünnaku käivitamist testvaidluse vastu, et näha, kuidas kasutajad reageerivad. Meie apellatsioonisüsteem pakub juba kaitsetaseme p + epsilon rünnakute eest, kuna ründaja peab järgmistes apellatsioonides, kus on palju vandekohtunikke, kohustama (ja riski kaotada) suuri rahasummasid.

Kui uurime nende rünnakute vastaseid kaitsemeetmeid, kaalume ühte p + epsilon-rünnakute käsitlemiseks pakutavatest vastustest, mis on omamoodi kooskõlastatud segastrateegia, kus vandeadvokaadid tegutsevad viisil, et ründaja maksimaalse raha eest ära voolata. . Sellise kooskõlastatud reageerimise korraldamine tekitab nii mänguteoreetilisi kui ka praktilisi väljakutseid. Sellegipoolest käivitame oma p + epsiloni testjuhtumi puhul ka lepingu, mis lubab vast koordineerimisel ise korraldada, ja jälgime, kas need meetmed on tõhusad.

Null teadmiste elemendid

Schelling-punkte mõjutab tugevalt see, millisele teabele osapooltel on juurdepääs. Ethereumis on plokiahelasse lisatud teave siiski avalikult nähtav, seega on kohtunike juurdepääsu kontrollimiseks keeruline probleem.

See on juba küsimus, millega tuleb tegeleda isegi kõige lihtsamate Kleros-versioonide puhul: meil on vandeadvokaadid hääletamas kohustuste võtmise ja paljastamise skeemi kaudu, nii et nende hääl oleks ketis nähtav alles siis, kui hääletamisperiood lõppeb. See väldib vandemeeste võimalust oodata, kuni teised vandekohtunikud on hääletanud, ja siis jäljendada oma häält järjepidevuse tagamiseks.

Võib-olla proovime olla keerukamad selle kohta, millist teavet vandekohtunikud näevad, eriti kuna Ethereumi on lisatud gaasitõhusamaid nullteadmiste primitiivseid elemente. Näiteks kui edasikaebus on olemas, peaksid vandekohtunikud teadma madalama astme kohtus tehtud kohtuasja otsust ja kes edasikaebuse esitab? Me võime ette kujutada (võib-olla teatud alamkogudes) selle teabe varjamist. Kui pooltel on aeg edasi kaevata, saavad nad kasutada uue aadressi heliallkirja, et tõestada, et nad on vaidluse pooled, paljastamata seda, kes.

Konflikti strateegia. Algselt 1960. aastal ilmunud raamatu teejuht oli läbirääkimiste pidamine ja strateegiline käitumine konfliktiolukordades. Selles raamatus tutvustas Schelling fookuspunkti mõistet, mida paljud inimesed teavad tänapäeval Schelling Pointina.

Arbitraažitasu kindlustus

Võime ette kujutada rünnakuid, kus väga hästi finantseeritud ründaja üritab otsust edasi kaevata, kuni vastasel lihtsalt pole ressursse, et jätkata apellatsioonitasude maksmist. Siis, kui arbitraažitasud tagastatakse parteile, kes lõpuks osutub korrektseks (nii et kui õige partei jätkab talle lõppkokkuvõttes hüvitamist), võib õige partei olla sunnitud ressursside vähesuse tõttu loobuma.

Selle probleemi lahendusena kujutame ette, et oleks võimalik saada laenu mingilt kindlustuseandjalt. See kindlustusandja katab nende osapoolte tasud, mis tema hinnangul on tõenäoliselt õiged. Vastutasuks saab kindlustusandja osa trahvisummast, mille ründaja lõpuks maksab, kui nad on lõplikult kohustatud eksima. See idee sarnaneb „sündmusejärgse” kindlustusega, mis on tavaliselt ette nähtud kohtukulude katmiseks isikukahju korral ja mida saab osta pärast vigastuse tekkimist (pärast sündmust). Samuti on sellise kindlustusraamistiku tulemused sarnased mõnede advokaadibüroode tavapärastes tsiviilvaidlustes pakutavate lepingutega "ei võida, ei võeta tasu".

Uurime, kuidas seda kasutajatele juurdepääsetaval viisil struktureerida; näiteks võiks kindlustusandja organiseerida DAO-na.

Toetudes Ethereumi skaleerimislahendustele

Kuna Ethereumi jaoks töötatakse välja erinevad skaleerimislahendused, sealhulgas plasma, üldised riigikanalid, Truebit jne, mõtleme sellele, kuidas kohandada Klerosid nende edusammude parimaks kasutamiseks, et optimeerida gaasikulusid ja minimeerida viivitusi, säilitades samal ajal turvalisuse.

Kleros ja traditsiooniline arbitraaž

Mängude teooriast ja plokiahelatest ideede toomine võimaldab meil läheneda vaidluste lahendamisele radikaalselt uuest vaatenurgast.

Sellegipoolest tõlgivad paljud traditsioonilise vahekohtu nüansid kindlasti meie süsteemi. Seetõttu otsime teadmisi traditsioonilises arbitraažis ja uurime, kuidas saaks krüptoökonoomika panuse nende olemasolevate ideedega kõige paremini integreerida.

Lühidalt, me oleme alles pika uurimistegevuse alguses. Meie pikaajaline visioon on see, et Kleros suudab lahendada mitmesuguseid vaidlusi kiiresti, läbipaistvalt ja odavalt. Põnev teekaart krüptoökonoomika ja mänguteooria rakendamiseks praktiliste probleemide lahendamisel, mis mõjutavad positiivselt kogu ühiskonda.

Lisateave

Liituge kogukonna vestlusega Telegramis.

Külastage meie veebisaiti.

Jälgi meid Twitteris.

Liituge meie arendaja vestlustega Slackiga.

Panustage Githubis.