Kleros kutatási ütemterv

Tudományos kihívások a decentralizált igazságszolgáltatás jövője szempontjából ...

A Klerosnál izgalmas munkát végezünk a kriptoökonómiai érvelés és a játékelmélet alkalmazásával olyan gyakorlati problémák megoldása érdekében, amelyek pozitív hatással lesznek az egész társadalomra.

Annak érdekében, hogy közösségünknek jobb betekintést nyújtson az előttünk álló kihívásokba, úgy döntöttünk, hogy közzéteszünk egy durva ütemtervet kutatási projektjeinkről és középtávú és hosszú távú célkitűzéseinkről.

A Kleros mögött meghúzódó elmélet már eléggé fejlett abban az esetben, amikor az esküdteknek két lehetőség között kell döntenie. Van egy prototípus, amelyet ezekre az ötletekre építünk.

Hosszú távú elképzelésünk szerint Kleros képes lesz sokféle vitát megoldani. Az intelligens szerződés írásakor, amely Kleros-ot választott bírónak, a felhasználónak képesnek kell lennie arra, hogy különféle eredményeket biztosítson az esküdtek számára a szavazáshoz. Ezek a kimenetelek lehetnek több idő adása az egyik félnek egy projekt befejezéséhez, vagy részleges vagy teljes visszatérítés kiadása.

Ezenkívül a koncepciók bizonyítéka éppen most mozog abban, hogy egyetlen bíróságtól menjünk, ahol minden ügyet eldöntünk, a vádtípusra szakosodott alhatóságok családjára. Hosszú távon a Kleros irányítási mechanizmusa lehetővé fogja tenni ezeknek az alpolgároknak a díjainak, határidejének és egyéb paramétereinek a speciális esetek igényeihez igazítását. Így válik a Kleros többcélú választottbírósági rendszerré, amely képes gyors, megfizethető és átlátható módon rendezni a vitákat.

A jövőkép szem előtt tartásával számos kutatási témán dolgozunk.

Kormányzás

A választottbírósági díjaknak tisztességes jutalmat kell biztosítaniuk az esküdteknek munkájáért. Nagyon erőfeszítést és speciális készségeket igénylő, nagyon speciális alrészben végzett munka kompenzációjának magasabbnak kell lennie, mint egy bíróságénak, amely ilyen erőfeszítést és készségeket nem igényel.

Ezenkívül a díjak szintje befolyásolja azt, hogy mennyire vonzó a zsarnokat viselni, ez pedig befolyásolja a pinakion (PNK) token árát, ami viszont befolyásolja azt, hogy egy támadó mennyire drága, ha megpróbálja megvásárolni elegendő PNK-t ahhoz, hogy végre tudja hajtani. 51% -os támadás.

Az Augur predikciós piaci platformja hasonló aggályokkal rendelkezik, és tartalmaznak egy olyan rendszert, amelyben a díjak automatikusan alkalmazkodnak a piacon lévő kockázathoz, és amelynek célja az, hogy soha nem jövedelmező a rendszert 51% -os támadással eltéríteni.

A Kleros esetében nehezebb becsülni a kockázatot, mivel az emberek használhatják a protokollt a nem monetáris eszközökkel kapcsolatos viták választottbíróságaihoz. Megvizsgáljuk azonban a díjak olyan módon történő kiigazításának módját, amely maximális biztonságot nyújt, és lehetővé teszi az alpolgárok számára az egyéni igényekhez való alkalmazkodást.

(Kleros és Augur mélyebb összehasonlításához olvassa el ezt a cikket).

Nem bináris és még nemlineáris eredmények

Ha vita merül fel Alice és Bob, az általa alkalmazott szabadúszó között, az esküdteknek biztosan képesnek kell lenniük Bob fizetésére vagy Alice megtérítésére. De talán nekik is több időt kell adniuk Bobnak a munka befejezéséhez.

Noha ez egyszerűnek tűnik, finom kihívásokat jelenthet. Elképzelhetjük például egy rendszert, ahol megrendeljük a választásokat (így több időt adhatunk Bobnak azért, mert fizetünk neki és visszatérítjük Alice-t). Akkor az eredményként választhatják azt a lehetőséget, amely megkapta a közép-esküdt szavazatát. A zsarnoki ösztönzők gondos kezelése nélkül azonban előfordulhatnak olyan helyzetek, amikor a zsűri elfogult abban, hogy a középtávú eredményről szavazzon, mint a büntetés elleni sövény.

Bizonyos esetekben - különösen a többoldalú vitákban - előfordulhat, hogy a kimeneteleket természetesen nem rendezik meg. Gondolj egy olyan helyzetre, amikor Alice bérel lakását Bobnak az Airbnb-en. Amikor a lakás megsérül, az esküdteknek el kell dönteni, hogy Alice felelős volt-e a károkért Bob érkezését megelőzően, és maguknak kell megfizetniük őket, meg kell-e fedezniük a károk költségeit, vagy a kár egy baleset eredménye, amelyet Alice biztosításával kell fedeznie.

Megkezdtük bizonyos esetek feltárását, amelyekben ezeket a multi-output eredményeket binarizálás útján kezelhetjük. Nevezetesen, az esküdteknek adott választás bináris választási sorozatgá alakul. Általában a szavazási elméletre építünk, amely hasonló problémákkal szembesül. Különösen inspirálnak minket a Condorcet szavazási rendszerek ötletei.

Nicolas de Condorcet (1743–1794) francia filozófus, matematikus és politológus volt. Fejlesztette ki a Condorcet módszer néven ismert szavazási rendszert, amely kiválasztja azt a jelöltet, aki legyőzné a többi jelöltet a felvételi választásokon. Néhány jelenlegi kutatási ötletünk a Condorcet munkáján alapul.

Oracles

A Kleros egyik legfontosabb alkalmazása az oraklus. A Kleros lehetővé teszi, hogy a valós világ ismerete (a vita helyes fele) bekerüljön a blokkláncba. Ezt kihasználva általánosabb információkat lehet hozni a láncon.

Nemrég dolgoztunk egy olyan modell kidolgozásán, amellyel az árorákulumot Kleroson keresztül lehet megvalósítani. Ezt felhasználhatják olyan szerződések, amelyeknek tudniuk kell például az 1 ETH költségét USD-ben. Jelenleg munkánk a fent leírt binarizációs ötleteket használja. Ezenkívül most modellünk attól függ, hogy legalább egy „válaszadó” jelen van-e, aki becsületes árat nyújt be kompenzáció nélkül, kivéve a rosszindulatú válaszadók által elveszített betétek esetleges megszerzését. (Egy ilyen válaszadót önérdekű okok ösztönözhetnek, mint például egy olyan válaszadó esetén, akit szintén befektetnek egy olyan szerződésbe, amely ezt az árkorlátot használja).

A továbblépésen azon dolgozunk, hogy hogyan ösztönözzük a válaszadókat az orakluszra. Emellett még szükség van kutatásra annak érdekében, hogy kezeljük az olyan oraklumokat, amelyek természetesen nem megrendelésre kerülő információkat nyújtanak be, például egy előrejelző piacra adott választ, amelyen öt jelöltet választottak elnökének.

Ezen felül fontolóra vesszük, vannak-e olyan alkalmazások, amelyekben - például az orakluszok esetében - ismételten hívhatják fel a Kleros-t, amely hasznos módon szerveződik olyan probléma megoldására, amely első pillantásra nem tűnik úgy, mint a vitarendezés probléma.

kísérletek

Miután jelentős számú valós esetet valós esküdtek bíráltak el, valódi pénzügyi ösztönzőkkel motiválva, érdekes lesz megfigyelni, hogy a résztvevők valójában hogyan viselkednek, hogyan felel meg a játék elméleti modelljeinek, és milyen következményekkel jár Kleros számára.

Kísérleteket kívánunk szervezni a teszt esetekkel kapcsolatban, hogy megtudjuk, hogyan reagálnak a felhasználók a megvesztegetésre. A rendszer robusztusságának felmérése érdekében adományokat kínálhatunk azoknak a szereplőknek, akiknek sikerül olyan specifikus rosszindulatú eredményeket elfogadni, amelyek ilyen tesztek esetén elfogadásra kerülnek.

Vegyük figyelembe a p + epsilon támadások konkrét példáját. Arra számítunk, hogy egy p + epsilon támadást indítunk egy tesztvita ellen, hogy megfigyeljük, hogyan reagálnak a felhasználók. A fellebbezési rendszerünk már biztosít védelmet a p + epsilon támadásokkal szemben, mivel a támadónak nagy pénzösszegeket kell elkövetnie (és kockáztatnia kell) a későbbi fellebbezések során, nagyszámú esküdttel.

Az e támadásokkal szembeni védekezés további vizsgálatakor a p + epsilon támadások kezelésére javasolt válaszok egyikét vesszük figyelembe, amely egyfajta összehangolt vegyes stratégia, ahol az esküdtek úgy járnak el, hogy a támadót a lehető legkevesebb pénzre ürítsék. . Egy ilyen összehangolt válasz megszervezése a játék elméleti és gyakorlati kihívásait is felveti. Mindazonáltal a p + epsilon teszt esetére egy olyan szerződést is indítunk, amely lehetővé teszi az ellenkoordináció szervezését, és megfigyeljük, hogy ezek az intézkedések eredményesek-e.

Nulla tudás elemek

Az ütemezési pontokat erőteljesen befolyásolja az, hogy az információhoz a felek milyen információkkal férnek hozzá. Az Ethereum-on azonban a blokklánchoz hozzáadott információ nyilvánosan látható, így az esküdtek hozzáférésének ellenőrzése bonyolult probléma.

Ez egy olyan kérdés, amelyet még a Kleros legegyszerűbb változataival is meg kell oldani: esküdtünk egy kötelezettségvállalási és nyilvánosságra hozatali rendszeren keresztül szavaz, így szavazásuk csak a láncon látható, miután a szavazási időszak véget ér. Ezzel elkerülhető, hogy az esküdtek megvárhassák, amíg más esküdtek meg nem szavaznak, majd utánozzák szavazataikat a következetesség biztosítása érdekében.

Megpróbálhatjuk azonban kifinomultabbnak lenni abban, hogy milyen típusú információkat látnak az esküdtek, különösen mivel az Ethereumhoz gázhatékonyabb nulla-tudás-primitívek kerülnek hozzáadásra. Például, ha fellebbezést nyújtanak be, akkor az esküdteknek tudniuk kell-e az alsóbb bíróság ügyének döntését, és ki fellebbezik? Elképzelhetjük, hogy (valószínűleg bizonyos alrészekben) elrejti ezt az információt. Ezután, amikor eljön az ideje, hogy a felek fellebbezzenek, új címről gyűrűs aláírást használhatnak annak igazolására, hogy a vitában részt vevő fél anélkül, hogy felfednék.

A konfliktus stratégiája. Eredetileg 1960-ban jelent meg, a könyv úttörője volt az alku és stratégiai viselkedés tanulmányozásának konfliktushelyzetekben. Ebben a könyvben Schelling bemutatta a fókuszpont fogalmát, amelyet manapság sokan Schelling Point-ként ismernek.

Választottbírósági díjbiztosítás

Elképzelhetjük a támadásokat, amikor egy nagyon jól finanszírozott támadó megpróbál fellebbezni egy határozat ellen, amíg az ellenfélnek nincs elegendő forrása a fellebbezési díjak folytatásához. Ezután annak ellenére, hogy a választottbírósági illetékeket visszatérítik annak a pártnak, akit végül helyesnek ítélnek (tehát, ha a helyes párt folytatná, végül megtérítik), egy helyes párt erőforrások hiánya miatt kénytelen lesz feladni.

A probléma megoldásaként elképzeljük, hogy lehet-e hitelt szerezni egyfajta biztosítótól. Ez a biztosító fedezi azon felek díjait, amelyeket valószínűleg végső soron helyesnek ítél. Cserébe a biztosító megkapja a büntetés egy részét, amelyet a támadó végül megfizet, miután végül hibásnak ítélték meg. Ez az ötlet hasonló az „esemény utáni” biztosításhoz, amelyet általában a személyi sérülésekkel kapcsolatos jogi költségek fedezésére terveztek, és a sérülés bekövetkezése után (az „esemény” után) megvásárolható. Ugyanakkor az ilyen biztosítási keretrendszer eredményei hasonlóak lesznek a „nem nyerünk, nem fizetünk” megállapodásokhoz, amelyeket egyes ügyvédi irodák kínálnak a hagyományos polgári jogvitákban.

Megvizsgáljuk, hogyan lehet ezt felépíteni a felhasználók számára elérhető módon; például a biztosító DAO-ként szerveződhet.

Az Ethereum méretezési megoldásokra építve

Mivel az Ethereum számára különböző méretezési megoldásokat fejlesztenek ki, beleértve a Plazmát, az általános állami csatornákat, a Truebit-et stb., Gondolkodni fogunk arról, hogyan lehetne alkalmazni a Kleros-t a legjobban ezekre az előrelépésekre a gázköltségek optimalizálása és a késések minimalizálása érdekében, a biztonság megőrzése mellett.

Kleros és a hagyományos választottbíráskodás

A játékelméletből és a blokkláncokból származó ötletek bevonása lehetővé teszi számunkra, hogy radikálisan új szemszögből megközelítsük a vitarendezést.

Ennek ellenére a hagyományos választottbíráskodás sok árnyalata minden bizonnyal bekerül a rendszerünkbe. Ezért ki fogunk keresni a hagyományos választottbírósági szakértelmet, és meg fogjuk vizsgálni, hogy a kriptoökonómia hozzájárulása miként lehet a legjobban integrálni ezeket a meglévő ötleteket.

Röviden: éppen a hosszú kutatási menetrend elején vagyunk. Hosszú távú elképzelésünk az, hogy a Kleros képes széles körű vitákat gyorsan, átláthatóan és olcsón megoldani. Izgalmas ütemterv a kriptoökonómiai érvelés és játékelmélet alkalmazásához olyan gyakorlati problémák megoldására, amelyek pozitív hatással lesznek a társadalom egészére.

Tudj meg többet

Csatlakozzon a közösségi csevegéshez a táviraton.

Látogasd meg weboldalunkat.

Kövess minket a Twitteren.

Csatlakozzon a Slack-hoz fejlesztői beszélgetésekhez.

Hozzájárulj a Github-hoz.