Kleros (PNK) - децентрализованное правосудие

Kleros (PNK) - это децентрализованный протокол принятия решений для использования на платформах смарт-контрактов, реализованный в Ethereum. Он действует как децентрализованная третья сторона, способная принимать решения о правильном результате при применении набора правил к вопросам, от простых до очень сложных.

Это достигается за счет использования теоретических стимулов для проведения краудсорсинговых присяжных, которые анализируют дела и выносят правильные решения. Следовательно, Kleros предоставляет решения недорогим, надежным, обычно быстрым и децентрализованным способом. Особое значение имеет использование этого протокола для разрешения споров, создавая форму децентрализованного правосудия.

Пример использования

Марго - предприниматель из Москвы, нанимает Василия, программиста из Балаково, на P2P-платформу для фрилансеров, чтобы создать новый веб-сайт для своей компании. После того, как они договорились о цене и условиях, Василий приступил к работе.

Через пару недель он завершил работу, но Марго не удовлетворена. Она утверждает, что качество работы Василия значительно ниже, чем ожидалось. Вася отвечает, что он сделал именно то, что было в соглашении. Марго расстроена. Она не может нанять адвоката для иска всего на пару сотен долларов с кем-то, кто находится на другом конце света.

Что, если бы Марго и Василий использовали Kleros Escrow и добавили в контракт пункт, гласящий, что в случае возникновения спора он будет решен судом Kleros Court? После того, как Василий перестает отвечать на ее электронные письма, Марго нажимает кнопку с надписью «Отправить Kleros» и заполняет простую форму, объясняя свое требование.

За тысячи километров, в Хухрята, пастух Спиридон, ищет калымчик на Kleros Court. Он зарабатывает всего пару сотен долларов в год на своей основной работе, но благодаря Kleros он может не только выступать в качестве присяжного заседателя в спорах по разработке программного обеспечения между фрилансерами и их клиентами, но и удвоить свой годовой доход. Спиридон ставит 2000 PNK, токен используемый Kleros для выбора присяжных для разрешения споров. Чем больше токенов он поставит, тем выше вероятность, что он будет выбран в качестве присяжного. 

Примерно через час в почтовый ящик Спиридона приходит электронное письмо: «Вы были выбраны в качестве присяжного по спору о качестве веб-сайта». Он был выбран случайным образом из почти 8 кандидатов. Они никогда не узнают друг друга, но они будут сотрудничать, чтобы разрешить спор между Марго и Васей. Спиридон анализирует доказательства и голосует, кто прав.

Два дня спустя, после того как три присяжных проголосовали, Марго и Вася получают электронное письмо: «Жюри вынесло решение в пользу Марго. Сайт не был сделан в соответствии с условиями, согласованными сторонами. Смарт-контракт перевел деньги Марго». Присяжные награждаются за свою работу, и дело закрывается.

Арбитражные и арбитражные контракты

Kleros - это судебная система по выбору. «Арбитражные» или «арбитражные» смарт-контракты должны назначать Kleros своим арбитром. Когда они соглашаются, создатели контрактов выбирают, сколько присяжных и какой суд будет выносить решение по их контракту в случае возникновения спора.

Команда Kleros разработала ряд стандартных контрактов, используя Kleros в качестве механизма разрешения споров. Более того, мы предложили стандарты, которые позволят другим разработать другие контракты таким образом, чтобы не требовалось предвидеть, какой механизм разрешения споров в конечном итоге будет использован. Эта стандартизация позволяет сторонам, которым регулярно требуются услуги по разрешению споров, легко переключаться между поставщиками услуг по разрешению споров. 

Контракты могут допускать различные варианты поведения в случаях, которые не требуют арбитража, особенно при единодушном согласии сторон. Например, текущий депозит Kleros включает ограниченную систему расчетов.

Кроме того, в контрактах будут указаны варианты голосования присяжных заседателей. Во вводном примере варианты могут быть такими:

«Возместить Марго», «Дать Васе одну дополнительную неделю на завершение работы над веб-сайтом» и «Заплатить Васе». Смарт-контракт также будет определять поведение контракта после вынесения решения для каждого возможного варианта. В примере:

  • «Вернуть Марго» переводит средства на адрес Марго.
  • «Дайте Василию одну дополнительную неделю, чтобы закончить веб-сайт» увеличивает время, за которые Вася должен закончить веб-сайт на одну неделю, т.е. блокирует Марго от создания новых споров в течение этого времени. Кроме того, смарт-контракт может быть составлен таким образом, чтобы, если этот вариант был выбран один раз, его нельзя было выбрать в дальнейших спорах.
  • «Заплатить Васе» переводит средства на адрес Боба.

В общем, жюри может быть предложен любой конечный список вариантов.

Наборы опций, имеющих различную структуру, могут быть приспособлены при некоторых обстоятельствах до такой степени, что они могут быть «дискретизированы». Например, мы исследовали механизмы, с помощью которых присяжные могут выбрать значение действительного числа, что может потребоваться в случаях, когда одна сторона получает процентное возмещение. Например, присяжные могут постановить вернуть 75% поставленной суммы Марго при выплате 25% Василию.

Возбуждение спора

Характер арбитражного контракта определяет его поведение по умолчанию и условия, при которых может возникать спор. Обычно стороны соглашения могут инициировать спор, если есть разногласия, или принять поведение по умолчанию, если есть согласие.

В случае спора стороны могут представить доказательства и аргументы от имени своего дела в течение периода доказывания. Это свидетельство соответствует стандарту ERC 1497, который устанавливает требования к тому, как это свидетельство организовано и как оно запускает события смарт-контрактов, обеспечивая взаимодействие между приложениями арбитра.

Токен Pinakion (PNK)

Пользователи имеют экономический интерес в работе в качестве присяжных в Kleros: сбор арбитражных сборов в обмен на свою работу. Кандидаты самостоятельно выбирают себя в качестве присяжных с помощью жетона pinakion (PNK). 

Вероятность быть привлеченным в качестве присяжного для конкретного спора пропорциональна количеству жетонов, которое ставит присяжный заседатель.

Чем выше количество жетонов, которое она ставит, тем выше вероятность, что она будет привлечена в качестве присяжного. Таким образом, ставка PNK сигнализирует о том, что в качестве присяжного будет привлечено участие в торгах; пользователи, которые не делают ставки на PNK, не имеют шансов быть привлеченными. Это предотвращает выбор неактивных присяжных.
PNK выполняет три ключевые функции в дизайне Kleros.

  • Во-первых, он защищает систему от атаки Сибиллы. Если бы присяжные составлялись просто случайным образом, злоумышленник мог бы создать множество адресов, которые в каждом случае должны были быть отобраны большое количество раз. Будучи привлеченным больше раз, чем все честные присяжные, злонамеренная сторона будет контролировать систему.
  • Во-вторых, PNK предоставляет присяжным стимул к честному голосованию, заставляя непоследовательных присяжных, то есть членов жюри, голоса которых не согласуются с окончательным решением, выплачивают часть своей доли согласованным.
  • Наконец, PNK может быть «разветвлен» таким образом, чтобы создавать параллельные версии Kleros, служащие резервной защитой в случае успешных атак 51%.

Случайный выбор

Кандидаты в присяжные заседатели выбираются в конкретные суды самостоятельно. Размещая свои жетоны в данном суде, участник заявляет о своей готовности участвовать в розыгрыше в качестве присяжного в этом суде. Затем окончательный отбор присяжных производится случайным образом. Вероятность попасть в состав жюри пропорциональна количеству поставленных жетонов. Теоретически кандидат может выдвигаться более одного раза для конкретного спора. Количество раз, когда пользователь участвует в диспуте (называемый его весом), определяет количество голосов, которые он получит в диспуте, и количество токенов, которые он выиграет или проиграет во время перераспределения токенов.

Представьте, что 6 владельцев токенов поставили в общей сложности 10,000 с указанным выше распределением. Затем разыгрываются 5 жетонов: номера 2519, 4953, 2264, 3342 и 9531. В результате владельцы жетонов B, C и F вытягиваются с весом 1. Владелец жетона D вытягивается с весом 2.

Арбитражные сборы

Kleros использует арбитражные сборы для компенсации присяжным за их работу. Эти сборы также усложняют злоумышленнику рассылку спама в системе путем создания необоснованных споров и / или подачи апелляции, поскольку эти действия требуют уплаты арбитражных сборов. Каждому присяжным заседателям, согласующимся с окончательным решением, будет выплачен гонорар, установленный судом, в котором разрешается спор. Арбитражный смарт-контракт определит, какая сторона будет платить гонорар присяжным это может варьироваться от одного приложения к другому.

Правила могут быть простыми. Например, они могут потребовать, чтобы сторона, создавшая спор, или сторона, подавшая апелляцию, оплатили сбор. Однако мы можем придумать более сложные правила для создания лучших стимулов. Например:

  • Вначале каждая сторона внесет сумму, равную гонорару присяжного заседателя в смарт-контракте. Если одна из сторон не сделает этого, смарт-контракт будет считать, что суд вынес решение в пользу стороны, которая внесла гонорар присяжного заседателя (даже не создавая спор в суде). Если обе стороны внесут средства, победившая сторона получит возмещение по окончании спора.
  • При подаче апелляции обе стороны должны внести арбитражный сбор. Истец также должен внести дополнительную ставку, пропорциональную арбитражному гонорару, которая будет передана стороне, выигравшей спор. Таким образом, если сторона делает необоснованные апелляции, чтобы нанести вред противной стороне, противная сторона получит компенсацию за потерянное время, а если апелляции будут окончательно признаны законными, ставка будет возвращена истцу. 

Голоса

После оценки доказательств присяжные принимают свой голос за один из вариантов. Они отправляют хеш (голос, соль, адрес). Соль - это случайное значение, генерируемое локально, чтобы добавить энтропию, чтобы предотвратить использование радужных таблиц. Адрес - это адрес жюри в Ethereum. Это необходимо для того, чтобы обязательства каждого присяжного были разными, таким образом предотвращая копирование одним из присяжных обязательств другого. Когда голосование завершается, они раскрывают {голосование, соль}, и смарт-контракт
Kleros подтверждает, что он соответствует обязательству. Жюри, не раскрывающие свой голос, наказываются.

После того, как присяжный заседатель взял на себя обязательство, его голос не может быть изменен. Но это по-прежнему не видно другим присяжным или сторонам. Это препятствует тому, чтобы голос одного из присяжных влиял на голоса других.

Присяжные по-прежнему могут заявить, что проголосовали определенным образом, но им сложно предоставить другим присяжным повод думать, что то, что они говорят, правду. Это важная особенность для возникновения точки Шеллинга. Если бы присяжные знали голоса других присяжных, они могли бы голосовать так же, как они, вместо того, чтобы голосовать за точку Шеллинга. 

После того, как все присяжные проголосовали (или после того, как время для голосования истекло), голоса объявляются присяжными.

Присяжные, не раскрывающие свой голос, наказываются. Наконец, голоса суммируются, и смарт-контракт выполняется. Вариант, набравший наибольшее количество голосов, считается выигрышным.

Поскольку этот двухэтапный процесс фиксации и последующего раскрытия своего голоса требует дополнительных взаимодействий с пользователем, в некоторых субкурсах с низкими ставками можно пожелать, чтобы голоса были опубликованы публично, чтобы упростить взаимодействие с пользователем. Какая система используется, определяется с помощью параметра субсуда.

Апелляции

Если после того, как жюри приняло решение, сторона не удовлетворена (потому что считает результат несправедливым), она может подать апелляцию и снова разрешить спор. Каждая новая апелляционная инстанция будет иметь вдвое большее количество присяжных заседателей плюс один. В связи с увеличением количества присяжных необходимо оплатить сборы за апелляцию (сборы за апелляцию = новые суммы присяжных * средний гонорар на одного присяжного).

Из-за того, что арбитражные сборы выплачиваются нескольким присяжным заседателям, которые экспоненциально увеличиваются при подаче апелляции, арбитражные сборы также растут экспоненциально с увеличением количества апелляций. Это означает, что в большинстве случаев стороны не будут подавать апелляцию или будут подавать апелляцию лишь небольшое количество раз. Однако возможность многократного обжалования важна для предотвращения подкупа злоумышленником присяжных.

Система поощрений

Опять же, мы говорим, что член жюри голосовал последовательно, если он голосовал за вариант, выбранный большинством.

Присяжные разрешают споры с целью взимания арбитражных сборов. Они заинтересованы в том, чтобы править честно, потому что после завершения спора присяжные, чей голос не согласуется с группой, не получат свои арбитражные сборы и, кроме того, они потеряют несколько жетонов. Затем как арбитражные сборы, которые они получили бы, если бы согласованные, так и их потерянные доли токенов были переданы согласованным присяжным.

После того, как Kleros принял решение по спору, жетоны размораживаются и перераспределяются между присяжными. Механизм перераспределения вдохновлен SchellingCoin, где присяжные получают или теряют жетоны в зависимости от того, соответствует ли их голос голосам других присяжных.

Количество потерянных жетонов на одного непоследовательного присяжного составляет: A - минимальная ставка, В - вес. Параметр определяет количество токенов, подлежащих перераспределению после постановления. Это эндогенная переменная, которая будет определяться механизмом управления как следствие внутренней динамики среды голосования. Параметр минимальной ставки - это минимальное количество токенов, которое может быть размещено в подкорте.

Арбитражные сборы и потерянные токены делятся между согласованными сторонами пропорционально их весу. Присяжные могут не раскрыть свой голос. Чтобы препятствовать такому поведению, наказание за не раскрытие своего голоса по крайней мере такое же большое, как штраф за бессвязное голосование. Это побуждает присяжных всегда раскрывать свой голос. В случае апелляции арбитражные сборы и жетоны перераспределяются на каждом уровне в соответствии с результатом финальной апелляции. 

Перераспределение токенов после голосования семью присяжными. Жетоны перераспределяются от присяжных, проголосовавших бессвязно, к присяжным, проголосовавшим последовательно. Василий проиграл спор и оплачивает арбитражный сбор. Остальные залоги возвращаются.

Когда нет нападения, партии мотивированы голосовать так, как они думают, честно и справедливо. В Kleros точка Шеллинга - это честность и справедливость. Можно утверждать, что эти решения являются субъективными (например, по сравнению с механизмом SchellingCoin для рынка прогнозирования), точка Шеллинга не возникает. В неформальные эксперименты, проведенные Томасом Шеллингом, показали, что в большинстве ситуаций точка Шеллинга, плебисцитируемая всеми сторонами, не существует.

Но Шеллинг обнаружил, что одни варианты будут выбраны с большей вероятностью, чем другие. Следовательно, даже если особенно очевидного варианта не существует, некоторые варианты будут восприниматься как более вероятные для выбора другими сторонами и будут выбраны эффективно. Мы не можем ожидать, что присяжные будут правы в 100% случаев. Этого добиться не может никакая арбитражная процедура.

Иногда честные присяжные теряют монеты. Но до тех пор, пока в целом они теряют меньше стоимости, чем то, что они выигрывают в виде арбитражных сборов и монет для других несогласованных сторон, система будет работать.

6 приложений

Kleros - это универсальная универсальная система, которую можно использовать в большом количестве ситуаций. Мы представляем несколько примеров возможных вариантов использования:

  • Условное депонирование: Чтобы заплатить за товар или услугу в сети, средства можно вложить в смарт-контракт. После получения товара или услуги покупатель может разблокировать средства продавцу. В случае спора, Kleros может быть использован для того, чтобы смарт-контракт либо возместил покупателю, либо заплатил продавцу. Такая система условного депонирования на основе Kleros уже доступна. Kleros Escrow также могут быть более сложными. Например, для договора аренды от арендатора могут потребовать внести залог. В случае, если имущество повреждено и арендатор не согласен с компенсацией, владелец может создать спор, чтобы потребовать часть гарантийного депозита.
  • Микро-задачи: Децентрализованные платформы могут оплачивать микрозадачи. Таскеры вносили залог и давали ответы на микрозадачи. Задачи будут тиражироваться. Если задача получает разные ответы, исполнители могут признать свою ошибку, это переведет часть залогового депозита на тех, кто выполнил задание правильно. В случае, если несколько исполнителей останутся на своей позиции, начнется процесс разрешения спора, и проигравшим исполнителям будет переведена часть своего гарантийного депозита победителям.
  • Страхование: Страхователь уплачивает страховщику комиссию, чтобы получить компенсацию в случае наступления определенного события. Страховщик должен будет внести некоторый гарантийный депозит, который может быть общим для нескольких страхователей (соблюдая правила управления рисками). Когда наступает страховой случай, страховщик может подтвердить его и выплатить компенсацию страхователю. Если страховщик не подтвердит событие, последует процесс разрешения спора. Если страхователь выиграет процесс разрешения спора, средства из гарантийного депозита страховщика будут переведены страхователю. В случае, если страховой депозит связан с тем, что несколько страхователей требуют больше, чем депозит, также потребуется процесс разрешения споров, чтобы определить, как эти средства должны быть разделены между страхователями.
  • Оракул: Децентрализованный поток данных для смарт-контрактов был одним из первых предполагаемых вариантов использования Ethereum. Сторона (которая может быть смарт-контрактом) задает вопрос. Каждый может внести залог и отправить ответ. Если все дают одинаковый ответ, он возвращается Oracle. При наличии нескольких ответов следует процедура разрешения спора. Oracle возвращает ответ, полученный в процессе разрешения споров, и стороны, ответившие неправильно, теряют свои депозиты, которые передаются честным отправителям. Realitio предоставляет службу Oracle, основанную на таких принципах, что дает возможность использовать Kleros для последующих споров. Более того, другие приложения, использующие оракул Realitio, такие как CryptoUnlocked, косвенно зависят от этого разрешения споров.
  • Кураторские списки: Кураторские списки могут быть белыми или черными списками. Например, белый список может перечислить смарт-контракты, выполнив надлежащие процедуры аудита. В черном списке могут быть перечислены имена ENS (Ethereum Name Service), зарегистрированные сторонами, не имеющими ничего общего с этим именем (например, злоумышленник может зарегистрировать «kleros-token-sale.eth», чтобы обманом заставить людей отправлять средства по этому адресу). Стороны могли вносить предметы в список, внося залог. Если никто не оспаривает принадлежность предмета к списку в течение достаточного времени, имя добавляется и депозит возвращается. Если некоторые стороны оспаривают внесение залога, начинается процесс разрешения спора. Если элемент считается принадлежащим к списку, он добавляется, и податель заявки получает депозиты участвующих сторон. В противном случае задаток подателя передается сторонам-участникам.
  • Социальные сети: Предотвращение спама, мошенничества и других злоупотреблений является сложной задачей для децентрализованных социальных сетей. Стороны могут сообщить о нарушениях сетевых политик и внести залог. Если нарушение оспаривается, начинается процесс разрешения спора. Если будет установлено, что нарушения не произошло, репортер теряет свой залог в пользу обвиняемой. Если нарушение не оспаривается или не подтверждается Клеросом, могут быть реализованы различные эффекты: контент может быть удален, автор контента может потерять регистрационный залог, а охват других его сообщений может быть уменьшен.