Обеспечительный залог в децентрализованной PKI

Рассматривается механизм обеспечительного залога как инструмент демотивации в контексте следующих неправомерных действий:

·         Неисполнение обязательств по проверке транзакций.

·         Предоставление недостоверных учётных данных.

Предполагается, что транзакции размещаются в реестре (блокчейн) только после соответствующей проверки. Транзакция включает поле, содержащее учётные данные владельца общедоступного ключа. Способ проверки, а также назначение полей данных отдельной транзакции, описаны в документе {Chmora_Dec_2017}.

Следует признать, что обозначенные неправомерные действия невозможно предотвратить. Однако если субъект¹ руководствуется соображениями выгоды, то возможно создать условия, при которых такие действия вступают в противоречие с рациональной моделью поведения и поэтому маловероятны. Если действия произошли, то они приводят к определённым последствиям. Обнаружение последствий вызывает реакцию. Справедлива цепочка импликаций вида Действие Обнаружение Реакция. Это означает, что последствия неправомерных действий будут обнаружены и вызовут ответную реакцию. Субъект демотивирован, если ему не выгодно совершать неправомерные действия. Тогда обеспечительный залог выступает в роли такого демотиватора.

В разделе 2 разбирается случай неисполнения обязательств по проверке транзакций. В разделе 3 анализируются действия, связанные с предоставлением недостоверных учётных данных. Механизм обеспечительного залога рассматривается в разделе 4.

Обязательства по проверке транзакций

Подтверждение валидности электронной цифровой подписи (ЭЦП) - обязательное условие размещения транзакции в реестре. За проверку полагается вознаграждение в виде комиссии, которая списывается с кошелька владельца общедоступного ключа. Чем больше транзакций обработано, тем выше заработок проверяющего. Очевидно, что проверяющий заинтересован в получении комиссии, но не заинтересован в проверке, так как последняя связана с ресурсоёмкими вычислениями, выполнение которых приводит к снижению производительности² проверяющего, что в свою очередь отрицательно сказывается на его доходах. Тогда недобросовестный проверяющий может игнорировать проверку, или же выполнив проверку, и установив факт фальсификации данных, разместить транзакцию в реестре вопреки правилам.

Следовательно, необходим контроль за исполнением обязательств по проверке транзакций.

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

Достоверность учётных данных

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

В централизованной инфраструктуре общедоступных ключей (PKI) достоверность учётных данных проверяется в Центре регистрации (ЦР) или в Удостоверяющем центре (УЦ), если последний помимо выпуска сертификатов уполномочен осуществлять проверку учётных данных заявителей³. Как правило для проверки необходимо предъявить набор документов, удостоверяющих личность заявителя. Существует множество различных методик проверки, но ни одна из них не предоставляет полноценной гарантии достоверности документов. И соответственно, подлинность личности заявителя также не может быть гарантированно подтверждена.

ЦР и УЦ не предусмотрены в децентрализованной PKI (DPKI) по построению. Удостоверяющие личность документы не предъявляются. Заявитель самостоятельно заполняет регистрационную форму. Очевидно, что персональные данные могут быть фальсифицированы на этапе заполнения формы. Транзакция формируется на основе данных из формы и информации об общедоступном ключе.

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

Перечислим характерные особенности проверки учётных данных в PKI и DPKI.

1.       PKI

a.       За проверку отвечает специализированный орган.

b.       Проверка выполняется всегда.

c.       Результат проверки не раскрывается.

d.       Запрос на выпуск сертификата удовлетворяется исключительно по факту успешной проверки.

2.       DPKI

a.       Проверку может выполнить любой субъект инфраструктуры.

b.       Проверка выполняется тогда, когда в ней заинтересованы.

c.       Результат проверки всем известен.

d.       Проверка выполняется постфактум после занесения учётных данных в реестр.

Сравним характерные особенности проверки в PKI и DPKI.

vs. . В PKI методика проверки не известна, тогда как в DPKI проверка осуществляется любым доступным способом без каких-либо ограничений. Причем в проверке может одновременно принимать участие несколько заинтересованных субъектов DPKI и каждый может воспользоваться своей собственной методикой.
vs. . В проверке прежде всего заинтересован субъект, учётными данными которого воспользовались без его ведома с целью имперсонификации, а также все его корреспонденты. Это утверждение справедливо как для PKI, так и для DPKI. С другой стороны, в PKI проверка выполняется всегда и не зависит от инициативы конкретного субъекта или группы субъектов. Отметим, что в DPKI возможна также иная разновидность заинтересованности. Подробнее этот аспект рассмотрен в разделе 4. По построению в DPKI предоставляется доступ сразу ко всем объектам проверки без ограничений.
vs. . В PKI выпуск сертификата опосредованно свидетельствует о положительном результате проверки учётных данных. Хотя отказ в выпуске не всегда указывает на отрицательный результат проверки⁴. В DPKI результат проверки трактуется однозначно и известен всем заинтересованным субъектам инфраструктуры.
vs. . Если не принимать во внимание качество методик проверки, то сертификат в PKI выпускается при отсутствии противопоказаний. Это означает, что если сертификат выпущен, то учётные данные достоверны и подлинность заявителя подтверждена. В DPKI учётные данные заносятся в реестр без предварительной проверки. Достоверность данных, а также подлинность владельца общедоступного ключа, подтверждается постфактум при наличии субъектов, заинтересованных в этом подтверждении. Если в ходе проверки подлинность не подтверждена, то соответствующая транзакция должна быть аннулирована⁵.

Как следует из представленного выше сравнения принципиальное отличие DPKI заключается в том, что учётные данные владельца общедоступного ключа заносятся в реестр без подтверждения подлинности личности этого владельца. Соответствующая проверка может состояться, но только если в ней кто-то будет заинтересован. Теоретически возможна ситуация, когда личность владельца так и не будет подтверждена.

Обеспечительный залог

Предлагается воспользоваться обеспечительным залогом для противодействия таким неправомерным действиям как неисполнение обязательств по проверке транзакций,(раздел 2) и предоставление недостоверных учётных данных,(раздел 3). Не следует воспринимать обеспечительный залог как принципиальное решение, поскольку он не позволяет полностью устранить проблему, но выступает в роли демотиватора.

Предположим, что проверяющий также является субъектом и его учётные данные размещены в реестре. Введём два вида залога: один для проверяющего, а другой - для субъекта DPKI. Обозначим эти залоги как и соответственно. У каждого субъекта и проверяющего имеется свой кошелёк⁶ для начисления/списывания средств в криптовалюте или аналогах. Кроме этого, имеется так называемый залоговый кошелёк, предназначенный для управления залоговыми средствами.

Рассмотрим действие механизма обеспечительного залога в DPKI.

Инициализация и удержание

Для активизации обеспечительного залога необходимо выполнить соответствующую настройку и переместить средства на адрес залогового кошелька, а именно:

1.       Установить размер средств в единицах/долях криптовалюты: для и для .

2.       Задать время удержания: для и для .

3.       По факту успешной регистрации в DPKI:

a.       Переместить средства в размере единиц/долей криптовалюты с адреса кошелька проверяющего на адрес залогового кошелька.

b.       Переместить средства в размере единиц/долей криптовалюты с адреса кошелька субъекта на адрес залогового кошелька.

4.       По факту поступления средств на адрес залогового кошелька:

a.       Удерживать средства в размере в течение времени .

b.       Удерживать средства в размере в течение времени .

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

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

Для удобства обнаружения, а также для вовлечения субъектов в процесс проверки, разумно воспользоваться общедоступной доской объявлений⁷ для обнародования информации о новоразмещённых транзакциях.

Перераспределение и возврат

Обозначим событие «Неисполнение обязательств по проверке транзакций» через , а событие «Предоставление недостоверных учётных данных» через .

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

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

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

Действие обеспечительного залога различается в зависимости от исхода. Рассмотрим каждый из возможных исходов.

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

2.       Обнаружено событие В пользу субъектов перераспределяются средства в размере Средства в размере возвращаются залогодателю.

3.       Обнаружено событие В пользу субъектов перераспределяются средства в размере Средства в размере возвращаются залогодателю.

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

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

Заключение

Обеспечительный залог рассматривается как инструмент противодействия неправомерным действиям в DPKI. Выполнено сравнение методов проверки в PKI и DPKI. Описано действие механизма обеспечительного залога в DPKI. Показано как это действие реализуется на основе принципов поощрения и наказания.

¹Физическое или юридическое лицо, использующее централизованную/децентрализованную инфраструктуру общедоступных ключей (PKI/DPKI) для подтверждения подлинности общедоступных ключей.

²Уменьшается количество обработанных в единицу времени транзакций.

³Предоставляют общедоступные ключи и претендуют на выпуск сертификатов общедоступных ключей.

⁴Выпуск сертификатов общедоступных ключей регулируется правилами сертификационной политики конкретной PKI.

⁵Механизм аннулирования описан в другом документе.

⁶Для ссылки на кошелек используется уникальный адрес - значение хеш-функции от общедоступного ключа из состава пары ключей (секретный/общедоступный), ассоциированных с этим кошельком.

⁷Например, это может быть сайт аналогичный BlockCipher.

⁸Требуется дополнительная проработка.