Klerosin tutkimuksen etenemissuunnitelma

Tieteelliset haasteet hajautetun oikeudenkäytön tulevaisuudelle ...

Kleros tekee parhaillaan jännittävää työtä kryptoekonomisen päättelyn ja peliteorian soveltamiseksi käytännön ongelmien ratkaisemiseksi, jotka vaikuttavat myönteisesti koko yhteiskuntaan.

Jotta yhteisömme saisi paremman käsityksen haasteistamme, olemme päättäneet jakaa karkean etenemissuunnitelman tutkimusprojekteistamme ja tavoitteistamme keskipitkälle ja pitkälle.

Klerosin takana oleva teoria on jo melko hyvin kehittynyt siinä tapauksessa, että tuomarien on päätettävä kahden vaihtoehdon välillä. Meillä on prototyyppi, joka on rakennettu näiden ideoiden pohjalta.

Pitkän aikavälin visiomme on, että Kleros pystyy ratkaisemaan monenlaisia ​​riitoja. Kun kirjoitetaan älykäs sopimus, joka nimeää Klerosin välimieheksi, käyttäjän pitäisi voida tarjota valikoima erilaisia ​​tuloksia tuomarien äänestämiseen. Näihin tuloksiin voi kuulua se, että yhdelle osapuolelle annetaan enemmän aikaa hankkeen loppuunsaattamiseen tai osittaisen tai täydellisen palautuksen myöntämiseen.

Lisäksi konseptikuvauksemme on juuri siirtymässä prosessista yhdestä tuomioistuimesta, jossa kaikissa tapauksissa päätetään ala-alueiden perheisiin, jotka ovat erikoistuneet riidan tyyppiin. Pitkällä tähtäimellä Klerosin hallintomekanismi antaa jokaiselle näistä alajaksoista mukauttaa palkkioita, aikarajoja ja muita parametreja erityistapausten tarpeiden täyttämiseksi. Näin Klerosista tulee monikäyttöinen välimiesjärjestelmä, joka pystyy ratkaisemaan riidat nopeasti, edullisesti ja avoimesti.

Tämän vision mielessä työskentelemme useiden tutkimusaiheiden parissa.

hallintotavan

Välimiesmaksujen tulisi antaa tuomarille kohtuullinen palkkio työstään. Korvauksen työstä, joka tehdään erittäin erikoistuneessa alahuoneessa, joka vaatii huomattavia ponnisteluja ja erityisiä taitoja, tulisi olla korkeampi kuin tuomioistuimelle, joka ei vaadi tällaista vaivaa ja taitoja.

Lisäksi palkkioiden taso vaikuttaa siihen, kuinka houkutteleva on olla tuomari, mikä vaikuttaa sitten pinakion-tokenin (PNK) hintaan, mikä puolestaan ​​vaikuttaa siihen, kuinka kalliita hyökkääjät yrittävät ostaa riittävästi PNK: ta suorittaakseen 51% hyökkäys.

Ennustemarkkinaympäristöllä Augurilla on joitain samankaltaisia ​​huolenaiheita, ja niihin sisältyy järjestelmä, jossa palkkiot sopeutuvat automaattisesti markkinoillaan olevaan arvoon. Suunniteltu siten, ettei koskaan ole kannattavaa yrittää kaapata järjestelmää 51%: n hyökkäyksellä.

Klerosin kanssa on vaikeampaa arvioida kyseessä olevaa kokonaisarvoa, koska ihmiset voivat käyttää protokollaa välimiesmenettelyihin, jotka koskevat ei-monetaarisia varoja. Harkitsemme kuitenkin tapoja, joilla maksut voidaan mukauttaa siten, että tarjotaan maksimaalinen turvallisuus ja mahdollistetaan myös alatuomioistuinten mukautua henkilökohtaisiin tarpeisiinsa.

(Katso artikkeli tarkemmasta vertailusta Klerosin ja Augurin välillä).

Ei-binaariset ja jopa epälineaariset tulokset

Jos Alice: n ja hänen palkkaamansa freelancerin Bob välillä on riita, tuomarien tulee varmasti pystyä maksamaan Bob tai korvaamaan Alice. Mutta ehkä heidän pitäisi myös pystyä antamaan Bobille enemmän aikaa työn loppuun saattamiseen.

Vaikka tämä näyttää yksinkertaiselta, se voi asettaa hienoisia haasteita. Voisi esimerkiksi kuvitella järjestelmän, jossa tilaat valinnat (Bobille annetaan enemmän aikaa "maksaa hänelle" ja palauttaa Alice "). Sitten voitaisiin valita lopputuloksena vaihtoehto, joka sai tuomarin mediaanin. Ilman huolellista tuomarikannustimien käsittelyä voi kuitenkin esiintyä tilanteita, joissa tuomarit ovat puolueellisia äänestämään keskellä olevia tuloksia suojauksena rangaistuksesta.

Joissain tapauksissa - etenkin monen osapuolen riita-asioissa - tuloksia ei välttämättä edes järjestetä luonnollisesti. Ajattele tilannetta, jossa Alice vuokraa asuntonsa Bob: lle Airbnb: llä. Kun asunto vaurioituu, tuomarien on päätettävä, onko Alice vastuussa vahingoista ennen Bobin saapumista ja maksettava itse itse, maksaako Bob vahingoista aiheutuvat kustannukset vai johtuvatko vahingot onnettomuudesta, jonka pitäisi olla oltava Alice-vakuutuksen alainen.

Olemme alkaneet tutkia tiettyjä tapauksia, joissa pystymme käsittelemään näitä monitahoisia tapauksia binaarisoinnin avulla. Nimittäin tuomarille annettu valinta muunnetaan binaarivalintojen sarjaksi. Yleensä aiomme rakentaa äänestysteoriaan, joka kohtaa samanlaisia ​​ongelmia. Meitä inspiroivat erityisesti Condorcetin äänestysjärjestelmien ideat.

Nicolas de Condorcet (1743–1794) oli ranskalainen filosofi, matemaatikko ja politologi. Hän kehitti Condorcet-menetelmäksi kutsutun äänestysjärjestelmän, joka valitsee ehdokkaan, joka voittaa kaikki muut ehdokkaat uusintavaaleissa. Jotkut nykyisistä tutkimusideoistamme perustuvat Condorcetin työhön.

oraakkelilauseita

Klerosin tärkein sovellus on oraakkeihin. Kleros antaa mahdollisuuden tuoda tietoa todellisesta maailmasta (oikea osapuoli joissakin riita-asioissa) lohkoketjuun. Tätä voidaan hyödyntää lisäämällä yleistä tietoa ketjussa.

Olemme hiljattain työskennellyt mallilla, jolla toteutetaan hintaoraakkeli Klerosin kautta. Tätä voitaisiin käyttää sopimuksissa, joiden on tiedettävä esimerkiksi yhden ETH: n hinta dollarissa. Toistaiseksi työssämme käytetään yllä kuvattuja binaarisointiideoita. Toistaiseksi mallimme riippuu ainakin yhden ”vastaajan” läsnäolosta, joka toimittaa rehellisen hinnan ilman korvausta, paitsi ehkä, että hän saa mahdollisesti osan pahantahtoisten vastaajien menettämistä talletuksista. (Tällainen vastaaja voi olla motivoituneena omaehtoisista syistä, kuten saattaisi olla vastaajan kohdalla, joka on myös sijoittanut sopimukseen, joka käyttää tätä hintatietoa).

Jatkamme eteenpäin pyrkimystä kannustaa vastaajia oikein oraakkeleihin. Lisäksi meillä on vielä tutkimusta, jotta pystymme käsittelemään oraakkeja, jotka voivat toimittaa tietoja, joita ei luonnollisesti ole tilattu, kuten vastaus ennustemarkkinoille, joilla viidestä ehdokkaasta valittiin presidentti.

Lisäksi pohdimme, onko muita sovelluksia, joissa, kuten oraakkelien kohdalla, voidaan käyttää toistuvia puheluita Klerosiin, jotka on järjestetty hyödyllisellä tavalla ratkaisemaan ongelma, joka ei näytä ensi silmäyksellä kuin riidanratkaisu ongelma.

kokeilut

Kun meillä on huomattava määrä todellisia tapauksia, joissa oikeat tuomarit arvioivat todellisten taloudellisten kannustimien perusteella, on mielenkiintoista seurata, kuinka osallistujat tosiasiallisesti toimivat, kuinka se vastaa pelin teoreettisia malleja ja mitä vaikutuksia Klerosilla on.

Aiomme järjestää kokeita testitapauksista nähdäksemme, kuinka käyttäjät reagoivat lahjuksiin. Voimme tarjota palkkioita toimijoille, joilla on onnistuttu saamaan tällaisissa testitapauksissa erityisiä haitallisia tuloksia järjestelmän vakauden mittaamiseksi.

Mieti erityistä esimerkkiä p + epsilon-hyökkäyksistä. Odotamme p + epsilon-hyökkäyksen käynnistämistä testiriitaa vastaan ​​nähdäksemme kuinka käyttäjät reagoivat. Valitusjärjestelmämme tarjoaa jo suojan p + epsilon-hyökkäyksiltä, ​​koska hyökkääjän on sitouduttava (ja vaarassa menettää) suuria rahasummia seuraavissa vetoomuksissa, joissa on paljon tuomareita.

Tutkitessamme tarkemmin näiden hyökkäysten vastaisia ​​puolustuksia, harkitsemme yhtä p + epsilon-hyökkäysten käsittelyyn ehdotetusta vastauksesta, joka on eräänlainen koordinoitu sekoitettu strategia, jossa tuomarit toimivat tavalla, jolla valtaan hyökkääjä saadaan mahdollisimman paljon varoja . Tällaisen koordinoidun vastauksen järjestäminen asettaa sekä peliteoreettisia että käytännön haasteita. Siitä huolimatta teemme p + epsilon-testitapauksemme myös sopimuksen, jonka avulla vastakoordinointi voi organisoitua, ja seuraamme, ovatko nämä toimenpiteet tehokkaita.

Zero-tiedon elementit

Schelling-pisteisiin vaikuttaa suuresti se, mitä tietoja osapuolilla on pääsy. Ethereumissa lohkoketjuun lisätyt tiedot ovat kuitenkin julkisesti näkyviä, joten juristien pääsy tietoihin on monimutkainen ongelma.

Tämä on jo kysymys, johon on puututtava myös Klerosin yksinkertaisimmissa versioissa: meillä on tuomarit, jotka äänestävät sitoutumis- ja paljastamisjärjestelmän kautta siten, että heidän äänensä näkyvät ketjussa vasta äänestyskauden päätyttyä. Tämä estää tuomarit pystymästä odottamaan, kunnes muut tuomarit ovat äänestäneet, ja jäljittelemään sitten äänestään johdonmukaisuuden varmistamiseksi.

Voimme kuitenkin yrittää olla hienostuneempia siitä, millaista tietoa tuomarit näkevät, varsinkin kun Ethereumiin lisätään kaasutehokkaampia nolla-tietämyksen alkukankaita. Yhtenä esimerkkinä, jos valitus tehdään, pitäisikö tuomarien tietää alapäätöksen asian päätöksestä ja kuka valittaa? Voimme kuvitella (mahdollisesti tietyissä osa-alueissa) piilottavan nämä tiedot. Sitten kun osapuolen on aika hakea muutosta, he voivat käyttää uudesta osoitteesta tehtyä rengaskirjoitusta todistaakseen, että he ovat riidan osapuolia paljastamatta ketkä.

Konfliktin strategia. Alun perin vuonna 1960 julkaistu kirja esitti tutkimuksen neuvotteluista ja strategisesta käyttäytymisestä konfliktitilanteissa. Tässä kirjassa Schelling esitteli keskipisteen käsitteen, jonka monet ihmiset nykyään tuntevat nimellä Schelling Point.

Välimiesmaksuvakuutus

Voimme kuvitella hyökkäyksiä, joissa erittäin hyvin rahoitettu hyökkääjä yrittää valittaa päätöksestä, kunnes vastustajalla ei vain ole resursseja jatkaa valitusmaksujen maksamista. Sitten, vaikka välimiespalkkiot korvataan osapuolelle, jota lopulta pidetään oikeana (joten jos oikea puolue jatkaa hänelle lopulta korvausta), oikea puolue voi joutua luopumaan resurssien puutteen vuoksi.

Kuvittelemme ratkaisuna tähän ongelmaan, että joku voisi saada lainan tietyltä vakuuttajalta. Tämä vakuuttaja kattaa osapuolten palkkiot, jotka se arvioi olevan lopulta oikein. Vastineeksi vakuutuksenantaja saa osan rangaistuksesta, jonka hyökkääjä maksaa viime kädessä, kun heidän katsotaan lopulta olevan väärä. Tämä ajatus on samanlainen kuin ”tapahtuman jälkeinen” vakuutus, joka on yleensä suunniteltu korvaamaan oikeudenkäyntikulut henkilövahinkotapauksissa, ja sen voi ostaa vahingon tapahtumisen jälkeen (”tapahtuman” jälkeen). Lisäksi tällaisen vakuutuskehyksen tulokset ovat samanlaisia ​​kuin joidenkin lakiasiaintoimistojen tarjoamissa perinteisissä siviilioikeudellisissa riita-asioissa tehdyissä sopimuksissa, joissa ei voiteta, ei maksua.

Tutkimme, miten tämä voidaan rakentaa käyttäjille helposti tavoitettavalla tavalla; esimerkiksi vakuutuksenantaja voidaan järjestää DAO: na.

Perustuu Ethereumin skaalausratkaisuihin

Kun Ethereumille kehitetään erilaisia ​​skaalausratkaisuja, mukaan lukien plasma, yleistetyt valtion kanavat, Truebit jne., Mietitään kuinka Klerosia voidaan mukauttaa parhaiten näiden edistysaskelten pohjalta, jotta voidaan optimoida kaasukustannukset ja minimoida viiveet turvallisuuden säilyttämisen yhteydessä.

Kleros ja perinteinen välimies

Peliteorian ja blockchains-ideoiden tuominen antaa meille mahdollisuuden lähestyä riitojen ratkaisua radikaalisti uudelta näkökulmalta.

Siitä huolimatta, monet perinteisen välimiesmenettelyn vivahteet tulevat varmasti tulkitsemaan järjestelmäämme. Siksi etsimme asiantuntemusta perinteisestä välimiesmenettelystä ja tutkimme, kuinka salaustuotteet voidaan integroida parhaiten näihin olemassa oleviin ideoihin.

Lyhyesti sanottuna, olemme vasta pitkän tutkimusohjelman alussa. Pitkän aikavälin visiomme on, että Kleros pystyy ratkaisemaan monenlaisia ​​riitoja nopeasti, läpinäkyvästi ja edullisesti. Jännittävä etenemissuunnitelma krypotaloudellisen päättelyn ja peliteorian soveltamiseksi käytännön ongelmien ratkaisemiseksi, jotka vaikuttavat myönteisesti koko yhteiskuntaan.

Lisätietoja

Liity yhteiskeskusteluun Telegramilla.

Vieraile verkkosivuillamme.

Seuraa meitä Twitterissä.

Liity Slackiin kehittäjäkeskusteluihin.

Osallistu Githubiin.