„Kleros“ tyrimų planas

Moksliniai iššūkiai decentralizuoto teisingumo ateičiai ...

„Kleros“ dirbame įdomų darbą, kad pritaikytume kriptoekonominius samprotavimus ir žaidimų teoriją, kad išspręstume praktines problemas, kurios teigiamai paveiks visą visuomenę.

Norėdami suteikti mūsų bendruomenei daugiau žinių apie iššūkius, su kuriais susiduriame, nusprendėme pasidalyti apytiksliu savo mokslinių tyrimų projektų ir vidutinės trukmės bei ilgalaikių tikslų planu.

Kleros teorija jau yra pakankamai išplėtota tuo atveju, kai prisiekusieji turi nuspręsti tarp dviejų variantų. Mes turime prototipą, kuris sukurtas remiantis šiomis idėjomis.

Mūsų ilgalaikė vizija yra ta, kad „Kleros“ sugebės išspręsti pačius įvairiausius ginčus. Rašydamas intelektualiąją sutartį, kurioje Kleros paskiriamas arbitru, vartotojas turėtų galėti pateikti įvairius rezultatus, kad prisiekusieji galėtų balsuoti. Šie rezultatai gali apimti tai, kad vienai šaliai bus suteikta daugiau laiko pabaigti projektą, arba grąžinsite dalį ar visiškai.

Be to, mūsų koncepcijos įrodymas kaip tik dabar pereina nuo vieno teismo, kuriame visos bylos yra nuspręstos, šeimų, turinčių subkultūrų, kurių specializacija yra ginčo rūšis. Ilgainiui „Kleros“ valdymo mechanizmas leis kiekvienam iš šių subcourtsų pakoreguoti mokesčius, terminus ir kitus parametrus, kad būtų patenkinti specializuotų atvejų poreikiai. Taip „Kleros“ tampa daugiafunkcine arbitražo sistema, galinčia greitai, prieinamai ir skaidriai spręsti ginčus.

Turėdami omenyje šią viziją, dirbame keliomis tyrimų temomis.

Valdymas

Arbitražo mokesčiai prisiekusiesiems turėtų suteikti teisingą atlygį už jų darbą. Kompensacija už darbą, atliktą labai specializuotame poskyryje, reikalaujančiame didelių pastangų ir specialių įgūdžių, turėtų būti didesnė nei teismui, kuris nereikalauja tokių pastangų ir įgūdžių.

Be to, mokesčių dydis daro įtaką tam, koks patrauklus yra prisiekimas, o tai daro įtaką „pinakion“ (PNK) ženklo kainai, o tai savo ruožtu daro įtaką tai, kiek brangu užpuolikui bandyti supirkti pakankamai PNK, kad jis atliktų 51% išpuolis.

Prognozavimo rinkos platforma „Augur“ kelia keletą panašių problemų ir į jas įtraukta sistema, kurioje mokesčiai automatiškai priderinami prie jų rinkose kylančios vertės, sukurta taip, kad niekada nėra pelninga bandyti užgrobti sistemą per 51% ataką.

Su „Kleros“ yra sunkiau įvertinti bendrą riziką, nes žmonės gali naudoti protokolą ginčams dėl nepiniginio turto spręsti. Tačiau mes svarstome būdus, kaip mokesčiai gali būti koreguojami taip, kad būtų užtikrintas maksimalus saugumas, taip pat sudarytos sąlygos subklasei prisitaikyti prie individualių poreikių.

(Norėdami išsamiau palyginti Kleros ir Augur, skaitykite šiame straipsnyje).

Nebinariniai ir net netiesiniai rezultatai

Jei tarp Alisos ir Bobo, jos pasamdyto laisvai samdomo darbuotojo, kyla ginčas, prisiekusieji tikrai turėtų turėti galimybę sumokėti Bobai arba atlyginti Alisai. Bet galbūt jie taip pat turėtų sugebėti suteikti Bobui daugiau laiko darbui baigti.

Nors tai atrodo paprasta, jis gali kelti subtilių iššūkių. Pvz., Galima įsivaizduoti sistemą, kurioje jūs užsakote pasirinkimą (taigi, suteikdami Bobui daugiau laiko, „mokėkite“ nuo jo ir grąžinkite Alisai). Tuomet kaip rezultatą galima būtų pasirinkti variantą, už kurį buvo priimtas vidutinis prisiekusiųjų balsas. Tačiau atidžiai neaptikę prisiekusiųjų paskatų, galite susidurti su situacijomis, kai prisiekusieji yra linkę balsuoti už rezultatus per vidurį, siekdami apsisaugoti nuo bausmės.

Kai kuriais atvejais, ypač kilus daugiašaliams ginčams, rezultatai gali būti net neįtakojami. Pagalvokite apie situaciją, kai Alisa nuomojasi savo butą Bobui „Airbnb“. Kai butas yra apgadintas, prisiekusieji turi nuspręsti, ar Alisa buvo atsakinga už žalą prieš atvykstant Bobui, ir turėtų sumokėti už juos pati, ar Bobas turėtų padengti žalos atlyginimo išlaidas, ar žala atsirado dėl nelaimingo atsitikimo, kuris turėtų atsirasti būti apdraustas Alisos draudimu.

Mes pradėjome tyrinėti tam tikrus atvejus, kai šias daugialypės pasekmės bylas galime nagrinėti dvejetainiu būdu. Būtent prisiekusiesiems suteiktas pasirinkimas paverčiamas dvejetainiu pasirinkimu. Paprastai ketiname remtis balsavimo teorija, kuri susiduria su panašiomis problemomis. Mus ypač įkvepia „Condorcet“ balsavimo schemų idėjos.

Nicolas de Condorcet (1743–1794) buvo prancūzų filosofas, matematikas ir politologas. Jis sukūrė balsavimo sistemą, vadinamą Condorcet metodu, kuri atrenka kandidatą, kuris pralenktų visus kitus kandidatus per rinkimus. Kai kurios mūsų dabartinės tyrimų idėjos yra pagrįstos Condorcet darbu.

Orakulai

Pagrindinis „Kleros“ pritaikymas yra orakulai. „Kleros“ leidžia perduoti žinias apie tikrąjį pasaulį (teisingą ginčo šalį) ant „grandinės“. Tai galima panaudoti, kad grandinėje būtų daugiau bendros informacijos.

Neseniai mes kūrėme modelį, kaip per „Kleros“ įdiegti kainų orakulą. Tai galėtų būti naudojama sutartyse, kurios turi žinoti, pavyzdžiui, 1 ETH kainą USD. Šiuo metu mūsų darbe naudojamos aukščiau aprašytos binarizacijos idėjos. Be to, kol kas mūsų modelis priklauso nuo to, ar yra bent vienas „respondentas“, kuris pateikia sąžiningą kainą be kompensacijos, išskyrus tai, kad galbūt gaunama dalis piktybinių respondentų prarastų indėlių. (Tokį respondentą gali motyvuoti savarankiškos priežastys, pavyzdžiui, respondentas, kuris taip pat investuoja į sutartį, kurioje naudojamas šis kainų orakulas).

Toliau sieksime, kaip tinkamai paskatinti respondentus lankytis orakuose. Be to, dar reikia atlikti tyrimus, kad galėtume tvarkyti oraulus, galinčius pateikti natūraliai nenurodytą informaciją, pavyzdžiui, atsaką į prognozių rinką, kurioje iš penkių kandidatų buvo išrinktas prezidentas.

Be to, mes svarstome, ar nėra kitų programų, kuriose, pavyzdžiui, kalbant apie orakulius, galima pakartoti skambučius į „Kleros“, organizuotus tam tikru naudingu būdu, siekiant išspręsti problemą, kuri iš pirmo žvilgsnio neatrodo kaip ginčo sprendimas problema.

Eksperimentai

Kai turėsime daugybę realių bylų, kurias įvertins tikri prisiekusieji, motyvuoti realiomis finansinėmis paskatomis, bus įdomu stebėti, kaip dalyviai iš tikrųjų elgiasi, kaip tai atitinka žaidimo teorinius modelius ir kaip tai daro įtaką Klerosui.

Ketiname organizuoti bandomuosius atvejus, norėdami pamatyti, kaip vartotojai reaguoja į kyšius. Mes galime pasiūlyti atsiskaitymus dalyviams, kuriems pavyksta gauti konkrečius kenkėjiškus rezultatus, priimtus tokiuose bandymo atvejais, siekiant įvertinti sistemos tvirtumą.

Apsvarstykite konkretų p + epsilono atakų pavyzdį. Mes tikimės pradėti p + epsilon ataką prieš bandomąjį ginčą, norėdami pamatyti, kaip vartotojai reaguoja. Mūsų apeliacijų sistema jau užtikrina gynybos lygį prieš „p + epsilon“ išpuolius, nes užpuolikas turi įsipareigoti (ir rizikuoti prarasti) dideles pinigų sumas vėlesniuose apeliacijose su dideliu prisiekusiųjų skaičiumi.

Toliau tyrinėdami gynybą nuo šių išpuolių, mes apsvarstysime vieną iš atsakymų, siūlomų kovoti su p + epsilon išpuoliais, tai yra tam tikra suderinta mišrioji strategija, kai prisiekusieji elgiasi taip, kad užpuoliką nusausintų už maksimalią lėšų sumą. . Organizuojant tokį suderintą atsakymą, kyla tiek žaidimo teorijos, tiek praktinių iššūkių. Nepaisant to, mūsų bandomajam „p + epsilon“ atveju mes taip pat pradėsime sutartį, kuri leidžia organizuoti priešinį koordinavimą ir stebėsime, ar šios priemonės yra veiksmingos.

Nulinių žinių elementai

Planavimo taškams didelę įtaką daro tai, kokią informaciją turi šalys. Tačiau „Ethereum“ „blockchain“ pridėta informacija yra viešai matoma, todėl kontroliuoti prisiekusiųjų prieigą prie informacijos yra sudėtinga problema.

Tai jau problema, kurią reikėjo išspręsti net ir pačioms paprasčiausioms „Kleros“ versijoms: mes turime prisiekusiųjų balsuoti per įsipareigojimo ir atskleidimo schemą, kad jų balsavimas būtų matomas grandinėje tik pasibaigus balsavimo laikotarpiui. Tokiu būdu prisiekusieji negali laukti, kol kiti prisiekusieji balsuos, tada mėgdžiodami savo balsą užtikrins nuoseklumą.

Tačiau mes galime pabandyti būti tobulesni informacijos, kurią mato prisiekusieji, atžvilgiu, ypač kai Ethereum pridedami efektyvesni dujų naudojimo nuliniai žinių primityvai. Pavyzdžiui, jei apeliacija yra pateikta, prisiekusieji turėtų žinoti bylos sprendimą žemesniame teisme, ir kas apeliacine tvarka? Galime įsivaizduoti (galbūt tam tikruose subklastose vietose) slepiančią šią informaciją. Tuomet, kai ateina laikas šaliai kreiptis į teismą, jos gali naudoti žiedinį parašą iš naujo adreso, kad įrodytų, jog yra ginčo šalis, neatskleisdamos, kas.

Konflikto strategija. Iš pradžių išleista 1960 m., Ši knyga buvo pradžiamokslis ir strateginis elgesys konfliktinėse situacijose. Šioje knygoje Schellingas pristatė židinio tašką, kurį daugelis žmonių šiandien žino kaip Schellingo tašką.

Arbitražo mokesčio draudimas

Galime įsivaizduoti išpuolius, kai labai gerai finansuojamas užpuolikas bando apskųsti sprendimą, kol oponentas tiesiog neturi išteklių toliau mokėti apeliacijos mokesčių. Tada, nors arbitražo mokesčiai grąžinami šaliai, kuri laikinai pripažinta teisinga (taigi, jei teisinga partija ir toliau eitų jai galiausiai būtų grąžinta), teisinga šalis gali būti priversta atsisakyti dėl išteklių trūkumo.

Kaip šios problemos sprendimą įsivaizduojame, kad galbūt būtų galima gauti paskolą iš tam tikro draudiko. Šis draudikas padengia šalių, kurios, jo manymu, yra galutinai teisingos, mokesčius. Mainais draudikas gauna dalį baudos, kurią užpuolikas galiausiai sumokės, kai tik bus galutinai įvertinta kaip neteisinga. Ši idėja yra panaši į draudimą „Po įvykio“, kuris paprastai yra skirtas padengti teisines išlaidas asmens sužalojimo atvejais ir kurį galima įsigyti po traumos (po „įvykio“). Be to, tokios draudimo sistemos rezultatai yra panašūs į kai kurių advokatų kontorų tradiciniuose civiliniuose ginčuose siūlomų „ne laimėti, ne mokėti“ susitarimų rezultatus.

Mes ištirsime, kaip tai susisteminti taip, kad vartotojams būtų prieinama; pavyzdžiui, draudikas galėtų būti organizuotas kaip DAO.

Remiantis Ethereum mastelio didinimo sprendimais

Kadangi „Ethereum“ bus sukurti skirtingi mastelio didinimo sprendimai, įskaitant „Plasma“, apibendrintus valstybinius kanalus, „Truebit“ ir kt., Mes pagalvosime, kaip „Kleros“ pritaikyti geriausiai, kad būtų galima remtis šiais laimėjimais, siekiant optimizuoti dujų sąnaudas ir sumažinti vėlavimą išlaikant saugumą.

Kleros ir tradicinis arbitražas

Idėjų iš žaidimų teorijos ir „blockchains“ sudarymas leidžia mums į ginčų sprendimą žiūrėti iš visiškai naujos perspektyvos.

Nepaisant to, daugelį tradicinio arbitražo niuansų tikrai pateiks mūsų sistema. Taigi mes ieškosime patirties tradiciniame arbitraže ir nagrinėsime, kaip geriausiai kriptoekonomikos indėlį būtų galima integruoti į šias esamas idėjas.

Trumpai tariant, mes esame tik ilgos tyrimų darbotvarkės pradžioje. Mūsų ilgalaikė vizija yra ta, kad „Kleros“ sugebės greitai, skaidriai ir nebrangiai išspręsti įvairius ginčus. Įdomus kriptoekonominių samprotavimų ir žaidimų teorijos taikymo būdas praktinėms problemoms, kurios teigiamai paveiks visą visuomenę, išspręsti.

Sužinokite daugiau

Prisijunkite prie bendruomenės pokalbio per „Telegram“.

Apsilankykite mūsų svetainėje.

Sekite mus Tviteryje.

Prisijunkite prie mūsų „Slack“ kūrėjų pokalbiams.

Prisidėkite prie „Github“.