Описание Kleros

Kleros (PNK) - это криптовалюта, работающая на платформе Ethereum. Т

О монете

Пользователи имеют экономический интерес в работе в качестве присяжных в Kleros: сбор арбитражных сборов в обмен на свою работу. Кандидаты самостоятельно выбирают себя в качестве присяжных, используя токен под названием pinakion (PNK) 2. Вероятность быть привлеченным в качестве присяжного для конкретного спора пропорциональна количеству жетонов, которое ставит присяжный заседатель. Чем больше токенов он ставит, тем выше вероятность того, что он будет привлечен в качестве присяжного. Присяжные, которые не делают ставки на PNK, не имеют шансов быть выбранными. Это предотвращает выбор неактивных присяжных. PNK выполняет две ключевые функции в дизайне Kleros. Во-первых, он защищает систему от хакерских атак. Если бы присяжные составлялись просто случайным образом, злоумышленник мог бы создать большое количество адресов, которые должны были быть выбраны много раз в каждом споре. Будучи привлеченным больше раз, чем все честные присяжные, злонамеренная сторона будет контролировать систему. Во-вторых, PNK предоставляет присяжным стимул к честному голосованию, заставляя непоследовательных присяжных, то есть членов жюри, голоса которых не согласуются с окончательным решением, выплачивают часть своей доли согласованным.

Выбор присяжных

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

Ставки PNK (кроме тех, которые оплачиваются непоследовательными присяжными) могут быть возвращены после того, как суд вынесет окончательное решение.

Генерация случайных числел

Для выбора присяжных нужен процесс выбора случайных чисел, устойчивых к манипуляциям. Использование протокола для создания случайного числа между двумя сторонами (5) не работает. Злоумышленник мог создать споры между собой, несколько раз выбрать себя в качестве присяжного и выбрать другого присяжного заседателя жертвы. Затем он будет координировать свои собственные голоса таким образом, чтобы они считались связными, но не голосами жертвы, чтобы украсть токены у жертвы при перераспределении PNK.

В настоящее время случайные числа, используемые для выбора присяжных, берутся из хешей блоков Ethereum. Хотя эти значения по-прежнему невозможно предсказать заранее, майнеры могут отказаться от выпуска блока, который приведет к случайным числам, неблагоприятным для них, за счет потери награды за блок. В будущем для получения случайных чисел, которыми злоумышленники с возможностями крупных майнеров не смогут даже манипулировать, эти значения будут генерироваться с последовательным доказательством работы.

Голосования

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

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

Стоимость арбитража

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

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

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

Апелляции

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

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

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

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

Механизм управления

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

Механизм управления может использоваться для:

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

2. Добавления новых подкортов

3. Изменения параметров в субсудах:

(a) Арбитражные сборы.

(б) Время каждого судебного заседания.

(c) Минимальное количество токенов для ставки.

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

Конфиденциальность контрактов

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

Сфера применения

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

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

• Микрозадачи: децентрализованные платформы могут оплачивать микрозадачи (как Amazon Mechanical Turk (1). Таскеры вносили залог и давали ответы на микрозадачи. Задачи будут тиражироваться. Если задача получает разные ответы, исполнители могут признать свою ошибку, это переведет часть залогового депозита на тех, кто правильно выполнил задание. В случае, если несколько исполнителей остаются на своей позиции, начнется процесс разрешения спора, и проигравшие исполнители будут переводить часть своего гарантийного депозита победителям.

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

• Oracle: децентрализованный поток данных для использования в смарт-контрактах был одним из первых предполагаемых вариантов использования Ethereum . Сторона (которая может быть смарт-контрактом) задает вопрос. Каждый может внести залог и отправить ответ. Если все дают одинаковый ответ, он возвращается Oracle. При наличии нескольких ответов следует процедура разрешения спора. Oracle возвращает ответ, полученный в процессе разрешения споров, и стороны, ответившие неправильно, теряют свои депозиты, которые передаются честным отправителям. Realitio предоставляет службу Oracle, основанную на таких принципах, что дает возможность использовать Kleros для последующих споров (4). Более того, другие приложения, использующие оракул Realitio, такие как CryptoUnlocked, косвенно зависят от этого разрешения споров.

• Курируемые списки: Курируемые списки могут быть белыми или черными списками. Например, в белом списке могут быть указаны смарт-контракты, прошедшие надлежащие процедуры аудита. В черном списке могут быть перечислены имена ENS (Ethereum Name Service (2)), зарегистрированные сторонами, не имеющими ничего общего с этим именем (например, злоумышленник может зарегистрировать «kleros-token-sale.eth», чтобы обманом заставить людей отправлять средства по этому адресу). Стороны могли вносить предметы в список, внося залог. Если никто не оспаривает принадлежность предмета к списку в течение достаточного количества времени, имя добавляется и депозит возвращается. Если некоторые стороны оспаривают внесение залога, начинается процесс разрешения спора. Если элемент считается принадлежащим к списку, он добавляется, и отправитель получает депозиты участвующих сторон. В противном случае задаток подателя передается сторонам-участникам. Kleros уже используется для курируемого токенами списка токенов, которые удовлетворяют различным свойствам (например, таким как ERC20) (19).

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