Plán výskumu spoločnosti Kleros

Vedecké výzvy pre budúcnosť decentralizovanej spravodlivosti…

V spoločnosti Kleros robíme vzrušujúcu prácu, aby sme aplikovali kryptoekonomické uvažovanie a teóriu hier na riešenie praktických problémov, ktoré budú mať pozitívny vplyv na spoločnosť ako celok.

Aby sme našej komunite získali lepší prehľad o druhoch problémov, ktorým čelíme, rozhodli sme sa zdieľať hrubý plán našich výskumných projektov a cieľov v strednodobom až dlhodobom horizonte.

Teória za Klerosom je už dosť dobre rozvinutá v prípade, keď porotcovia musia rozhodnúť medzi dvoma možnosťami. Máme prototyp, ktorý je postavený na základe týchto myšlienok.

Našou dlhodobou víziou je, že spoločnosť Kleros bude schopná vyriešiť celý rad sporov. Pri písaní inteligentnej zmluvy, v ktorej je Kleros rozhodcom, by mal mať používateľ možnosť hlasovať pre porotcov v rôznych výsledkoch. Tieto výsledky môžu zahŕňať poskytnutie viac času jednej strane na dokončenie projektu alebo vydanie čiastočnej alebo úplnej náhrady.

Okrem toho sa náš dôkazový koncept práve práve prechádza z jediného súdu, kde sa vo všetkých prípadoch rozhoduje o špecializácii rodín podriadených podľa druhu sporu. V dlhodobom horizonte umožní mechanizmus riadenia spoločnosti Kleros každému z týchto podspráv upraviť svoje poplatky, časové limity a ďalšie parametre tak, aby vyhovovali potrebám špecializovaných prípadov. Týmto sa Kleros stáva viacúčelovým arbitrážnym systémom, ktorý je schopný rozhodovať spory rýchlym, cenovo dostupným a transparentným spôsobom.

S ohľadom na túto víziu pracujeme na mnohých výskumných témach.

vláda

Rozhodcovské poplatky by mali porotcom poskytovať spravodlivú odmenu za ich prácu. Odmena za prácu vykonávanú vo veľmi špecializovanom predmete, ktorý si vyžaduje značné úsilie a špeciálne zručnosti, by mala byť vyššia ako odmena pre súd, ktorý takéto úsilie a zručnosti nevyžaduje.

Okrem toho úroveň poplatkov ovplyvňuje, aké atraktívne je byť porotcom, čo potom ovplyvňuje cenu tokenu pinakion (PNK), čo zasa ovplyvňuje, aké nákladné je, aby sa útočník pokúsil kúpiť dosť PNK na vykonanie 51% útok.

Predikčná trhová platforma Augur má určité podobné obavy a zahŕňa systém, v ktorom sa poplatky automaticky prispôsobujú hodnote, ktorá je na ich trhoch, navrhnutá tak, aby nikdy nebolo ziskové pokúsiť sa systém uniesť pomocou útoku 51%.

V prípade spoločnosti Kleros je ťažšie odhadnúť celkovú hodnotu, o ktorú ide, pretože ľudia môžu protokol používať na rozhodovanie sporov týkajúcich sa nepeňažných aktív. Uvažujeme však o tom, ako sa môžu poplatky upraviť tak, aby poskytovali maximálnu bezpečnosť a tiež umožňovali adaptovať sa na individuálne potreby svojich obyvateľov.

(Podrobnejšie porovnanie medzi Klerosom a Augurom nájdete v tomto článku.)

Binárne a nelineárne výsledky

Ak dôjde k sporu medzi Alice a Bobom, nezávislým pracovníkom, ktorého najala, porotcovia by určite mali mať možnosť zaplatiť Boba alebo vrátiť Alici. Ale možno by tiež mali byť schopní dať Bobovi viac času na dokončenie práce.

Aj keď sa to zdá byť jednoduché, môže to predstavovať jemné výzvy. Dalo by sa napríklad predstaviť systém, v ktorom si môžete objednať voľby (takže Bobovi viac času je „medzi“ platením mu a vrátením Alice). Potom by sa ako výsledok mohla zvoliť možnosť, ktorá získala mediáciu stredného porotcu. Bez starostlivého zaobchádzania s podnetmi porotcov však môžete nastať situácie, keď sú porotcovia zaujatí smerom k hlasovaniu o výsledkoch v strede ako zabezpečenie proti penalizácii.

V niektorých prípadoch - najmä v sporoch týkajúcich sa viacerých strán - nemusí existovať prirodzené usporiadanie výsledkov. Pomysli na situáciu, keď Alice prenajme svoj byt Bobovi na Airbnb. Keď je byt poškodený, porotcovia sa musia rozhodnúť, či Alice bola zodpovedná za škody pred príchodom Boba a mali by za seba zaplatiť, či má Bob uhradiť náklady na náhradu škody, alebo či je škoda spôsobená nehodou, ktorá by mala byť krytá Aliceho poistením.

Začali sme skúmať určité prípady, v ktorých môžeme tieto prípady s viacerými výsledkami vyriešiť pomocou binarizácie. Konkrétne, výber porotcov sa mení na sériu binárnych rozhodnutí. Vo všeobecnosti máme v úmysle stavať na teórii hlasovania, ktorá čelí podobným problémom. Obzvlášť nás inšpirujú myšlienky hlasovacích schém v Condorcete.

Nicolas de Condorcet (1743–1794) bol francúzsky filozof, matematik a politológ. Vyvinul hlasovací systém známy ako Condorcetova metóda, ktorý vyberá kandidáta, ktorý by porazil každého z ostatných kandidátov vo voľbách, ktoré sa skončia. Niektoré z našich súčasných výskumných nápadov sú založené na práci spoločnosti Condorcet.

veštci

Kľúčovou aplikáciou Klerosu je oracles. Kleros umožňuje preniesť na blockchain vedomosti o skutočnom svete (v určitom prípade správna strana). To sa dá využiť na to, aby sa do reťazca dostali všeobecnejšie informácie.

Nedávno sme pracovali na modeli, ako implementovať cenový Oracle o spoločnosti Kleros. To by mohli využiť zmluvy, ktoré potrebujú poznať napríklad náklady na 1 ETH v USD. V súčasnosti naša práca využíva myšlienky binarizácie opísané vyššie. Náš model je zatiaľ závislý od prítomnosti aspoň jedného „respondenta“, ktorý zadá čestnú cenu bez kompenzácie, s výnimkou prípadného získania niektorých vkladov stratených škodlivými respondentmi. (Takýto respondent by mohol byť motivovaný dôvodmi vlastného záujmu, ako je to v prípade respondenta, ktorý investuje aj do zmluvy, ktorá používa tento cenový orák).

V budúcnosti budeme pracovať na tom, ako správne motivovať respondentov k výrazom. Stále však musíme robiť výskum, aby sme mohli spracovať slová, ktoré dokážu odosielať informácie, ktoré nie sú prirodzene usporiadané, ako napríklad reakcia na predikčný trh, na ktorom bol z piatich kandidátov zvolený prezident.

Okrem toho uvažujeme o tom, či existujú aj ďalšie aplikácie, v ktorých, ako napríklad v prípade oracles, je možné využiť opakované volania na Kleros, ktoré sú usporiadané užitočným spôsobom na vyriešenie problému, ktorý sa na prvý pohľad nepozerá ako na riešenie sporov. problém.

pokusy

Akonáhle budeme mať veľké množstvo skutočných prípadov posudzovaných skutočnými porotcami motivovanými skutočnými finančnými stimulmi, bude zaujímavé pozorovať, ako účastníci skutočne konajú, ako to zodpovedá herným teoretickým modelom a aké sú dôsledky pre Kleros.

Máme v úmysle zorganizovať experimenty s testovacími prípadmi, aby sme zistili, ako používatelia reagujú na úplatky. V takýchto testovacích prípadoch môžeme ponúknuť odmenu hercom, ktorým sa podarí prijať konkrétne škodlivé výsledky, aby sme mohli posúdiť robustnosť systému.

Zoberme si konkrétny príklad útokov p + epsilon. Očakávame spustenie útoku p + epsilon na testovací spor, aby sme videli, ako používatelia reagujú. Náš odvolací systém už poskytuje úroveň obrany proti útokom p + epsilon, pretože útočník musí pri následných odvolaniach s veľkým počtom porotcov spáchať (a riskovať stratu) veľké sumy peňazí.

Keď budeme ďalej skúmať obranu proti týmto útokom, zvážime jednu z reakcií navrhnutých na riešenie útokov p + epsilon, čo je druh koordinovanej zmiešanej stratégie, kde porotcovia konajú tak, aby odčerpali útočníkovi maximálny objem finančných prostriedkov. , Organizácia takejto koordinovanej reakcie predstavuje tak teoretické, ako aj praktické problémy. V prípade nášho testovacieho prípadu p + epsilon však aj tak uzavrieme zmluvu, ktorá umožní samoorganizáciu protioordinácie a budeme sledovať, či sú tieto opatrenia účinné.

Prvky nulového poznania

Schellingove body sú silne ovplyvnené informáciami, ku ktorým majú strany prístup. Avšak v prípade spoločnosti Ethereum sú informácie pridané do blockchainu verejne viditeľné, takže riadenie prístupu k informačným porotcom je komplikovaným problémom.

Toto je už problém, ktorý je potrebné riešiť aj pre najjednoduchšie verzie Klerosu: porotcovia hlasujú prostredníctvom systému odovzdávania a odhaľovania, takže ich hlas je viditeľný v reťazci až po skončení volebného obdobia. Tým sa zabráni porotcom, aby mohli čakať, kým hlasujú iní porotcovia, a potom imitovať ich hlas, aby sa zabezpečila konzistentnosť.

Mohli by sme sa však pokúsiť byť sofistikovanejší s tým, aké informácie porotcovia vidia, najmä preto, že do Ethereum sa pridávajú primitívnejšie látky s nulovými znalosťami o plyne účinnejšie. Napríklad, ak existuje odvolanie, mali by porotcovia poznať rozhodnutie prípadu na nižšom súde a kto sa proti nemu odvolal? Dokážeme si predstaviť (možno v určitých podsúboroch) tieto informácie utajiť. Keď potom príde čas na odvolanie sa strany, môžu použiť nový podpis z novej adresy na preukázanie, že sú účastníkmi sporu bez toho, aby odhalili, kto.

Stratégia konfliktu. Táto kniha, pôvodne vydaná v roku 1960, bola priekopníkom v štúdiu vyjednávania a strategického správania v konfliktných situáciách. V tejto knihe predstavil Schelling koncept ohniska, ktoré mnohí dnes vedia ako Schelling Point.

Poistenie rozhodcovského poplatku

Dokážeme si predstaviť útoky, pri ktorých sa veľmi dobre financovaný útočník pokúsi odvolať proti rozhodnutiu, až kým súper jednoducho nemá prostriedky na to, aby mohol naďalej platiť poplatky za odvolanie. Potom, aj keď sa rozhodcovské poplatky vracajú strane, ktorej sa nakoniec rozhodne, že je správna (takže ak by správna strana pokračovala, nakoniec by jej bola vyplatená), správna strana môže byť prinútená vzdať sa kvôli nedostatku zdrojov.

Ako riešenie tohto problému si predstavujeme, že by niekto mohol získať pôžičku od určitého poisťovateľa. Tento poisťovateľ pokrýva poplatky strán, ktoré podľa jeho názoru budú pravdepodobne v konečnom dôsledku správne. Výmenou za to poisťovateľ dostane časť pokuty, ktorú útočník nakoniec zaplatí, keď bude nakoniec považovaný za chybného. Táto myšlienka je podobná poisteniu „Po udalosti“, ktoré je zvyčajne určené na pokrytie právnych výdavkov v prípadoch ujmy na zdraví a dá sa kúpiť po vzniku úrazu (po „udalosti“). Výsledky takéhoto rámca poistenia sa tiež podobajú výsledkom dohôd „žiadna výhra, žiadny poplatok“, ktoré ponúkajú niektoré právnické firmy v tradičných občianskych sporoch.

Budeme skúmať, ako to usporiadať spôsobom prístupným pre používateľov; Napríklad poisťovateľ by mohol byť organizovaný ako DAO.

Vychádzajúc z riešení škálovania Ethereum

Pretože sa vyvíjajú rôzne riešenia škálovania pre spoločnosť Ethereum, vrátane plazmy, zovšeobecnených štátnych kanálov, Truebitu atď., Budeme uvažovať o tom, ako prispôsobiť Klerosu tak, aby čo najlepšie vychádzali z týchto pokrokov, aby sa optimalizovali náklady na plyn a minimalizovali oneskorenia pri zachovaní bezpečnosti.

Kleros a tradičná arbitráž

Prinášanie nápadov z teórie hier a blockchainov nám umožňuje pristupovať k riešeniu sporov z radikálne novej perspektívy.

Do nášho systému sa však určite premietne veľa nuancií tradičnej arbitráže. Preto sa budeme snažiť získať odborné znalosti v oblasti tradičného rozhodcovského konania a preskúmame, ako najlepšie možno integrovať príspevky kryptoekonómie do týchto existujúcich myšlienok.

Stručne povedané, sme len na začiatku dlhej výskumnej agendy. Našou dlhodobou víziou je, že spoločnosť Kleros bude schopná rýchlo a transparentne a lacne riešiť širokú škálu sporov. Vzrušujúci plán uplatňovania kryptoekonomického uvažovania a teórie hier na riešenie praktických problémov, ktoré budú mať pozitívny vplyv na spoločnosť ako celok.

Uč sa viac

Pripojte sa ku komunitnému chatu na telegrame.

Navštívte našu webovú stránku.

Sledujte nás na Twitteri.

Pripojte sa k našim Slack pre konverzácie vývojárov.

Prispieť na Github.