WikiDer > Доказательство знаний

Proof of knowledge

В криптография, а доказательство знаний является интерактивное доказательство в котором доказывающему удается «убедить» проверяющего в том, что он что-то знает. Что это значит для машина «знать что-то» определяется в терминах вычислений. Машина «что-то знает», если это что-то можно вычислить, учитывая машину в качестве входных данных. Поскольку программа доказывающего не обязательно раскрывает сами знания (как в случае с доказательства с нулевым разглашением^[1]) для воплощения этой идеи вводится машина с другой программой, называемой экстрактором знаний. Нас больше всего интересует, что можно доказать полиномиальное время ограниченные машины. В этом случае набор элементов знаний ограничивается набором свидетелей некоторых язык в НП.

Позволять ${displaystyle x}$ быть заявлением языка ${displaystyle L}$ в НП, и ${displaystyle W (x)}$ набор свидетелей x, которые следует принять в доказательство. Это позволяет нам определить следующее отношение: ${displaystyle R = {(x, w): xin L, win W (x)}}$ .

Доказательство знания для отношения ${displaystyle R}$ с ошибкой знания ${displaystyle kappa}$ это двухсторонний протокол с доказывающим ${displaystyle P}$ и верификатор ${displaystyle V}$ со следующими двумя свойствами:

Полнота: Если ${displaystyle (x, w) in R}$ , затем испытатель ${displaystyle P}$ кто знает свидетеля ${displaystyle w}$ за ${displaystyle x}$ удается убедить проверяющего ${displaystyle V}$ его знаний. Более формально: ${displaystyle Pr (P (x, w) leftrightarrow V (x) ightarrow 1) = 1}$ , т.е. с учетом взаимодействия между доказывающим P и проверяющим V, вероятность того, что проверяющий будет убежден, равна 1.
Срок действия: Валидность требует, чтобы вероятность успеха экстрактора знаний ${displaystyle E}$ в извлечении свидетеля, учитывая доступ оракула к возможно злонамеренной проверяющей ${displaystyle {ilde {P}}}$ , должно быть не меньше, чем вероятность успеха доказывающего ${displaystyle {ilde {P}}}$ в убеждении проверяющего. Это свойство гарантирует, что ни один доказывающий, не знающий свидетеля, не сможет убедить проверяющего.

Подробности об определении

Это более строгое определение Срок действия:^[2]

Позволять ${displaystyle R}$ быть свидетелем отношения, ${displaystyle W (x)}$ набор всех свидетелей по общественной значимости ${displaystyle x}$ , и ${displaystyle kappa}$ ошибка знания. Доказательство знания ${displaystyle kappa}$ -действительно, если существует машина полиномиального времени ${displaystyle E}$ , учитывая доступ оракула к ${displaystyle {ilde {P}}}$ , так что для каждого ${displaystyle {ilde {P}}}$ , это тот случай, когда ${displaystyle E ^ {{ilde {P}} (x)} (x) в чашке W (x) {ot}}$ и ${displaystyle Pr (E ^ {{ilde {P}} (x)} (x) in W (x)) geq Pr ({ilde {P}} (x) leftrightarrow V (x) ightarrow 1) -kappa (x ).}$

Результат ${displaystyle ot}$ означает, что машина Тьюринга ${displaystyle E}$ не пришли к выводу.

Ошибка знания ${displaystyle kappa (x)}$ обозначает вероятность того, что проверяющий ${displaystyle V}$ может принять ${displaystyle x}$ , даже если испытатель на самом деле не знает свидетеля ${displaystyle w}$ . Извлекатель знаний ${displaystyle E}$ используется для выражения того, что подразумевается под знанием Машина Тьюринга. Если ${displaystyle E}$ может извлечь ${displaystyle w}$ из ${displaystyle {ilde {P}}}$ мы говорим, что ${displaystyle {ilde {P}}}$ знает ценность ${displaystyle w}$ .

Это определение свойства достоверности представляет собой комбинацию свойств достоверности и строгой достоверности в.^[2] За небольшие ошибки в знаниях ${displaystyle kappa (x)}$ , например, ${displaystyle 2 ^ {- 80}}$ или же ${displaystyle 1 / mathrm {poly} (| x |)}$ его можно рассматривать как более сильный, чем прочность обычных интерактивные доказательства.

Отношение к общим интерактивным доказательствам

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

Позволять ${displaystyle langle gangle}$ быть циклическая группа с генератором ${displaystyle g}$ в котором решение дискретный логарифм проблема считается сложной. Определение принадлежности к языку ${displaystyle L = {xmid g ^ {w} = x}}$ тривиально, поскольку каждый ${displaystyle x}$ в ${displaystyle langle gangle}$ . Однако найдя свидетеля ${displaystyle w}$ такой, что ${displaystyle g ^ {w} = x}$ соответствует решению задачи дискретного логарифмирования.

Протоколы

Протокол Шнорра

Одно из самых простых и часто используемых доказательств знания, доказательство знания дискретный логарифм, связано с Шнорром.^[3] Протокол определен для циклическая группа ${displaystyle G_ {q}}$ порядка ${displaystyle q}$ с генератором ${displaystyle g}$ .

Чтобы доказать знание ${displaystyle x = log _ {g} y}$ , проверяющий взаимодействует с проверяющим следующим образом:

В первом раунде доказывающий совершает случайный выбор. ${displaystyle r}$ ; поэтому первое сообщение ${displaystyle t = g ^ {r}}$ также называется обязательство.
Проверяющий отвечает испытание ${displaystyle c}$ выбран наугад.
После получения ${displaystyle c}$ , доказывающий отправляет третье и последнее сообщение ( отклик) ${displaystyle s = r + cx}$ приведен по модулю порядка группы.

Проверяющий принимает, если ${displaystyle g ^ {s} = ty ^ {c}}$ .

Мы можем видеть, что это действительное доказательство знаний, потому что у него есть экстрактор, который работает следующим образом:

Смоделируйте прувер для вывода ${displaystyle t = g ^ {r}}$ . Прувер сейчас в состоянии ${displaystyle Q}$ .
Сгенерировать случайное значение ${displaystyle c_ {1}}$ и введите его в прувер. Он выводит ${displaystyle s_ {1} = r + c_ {1} x}$ .
Перемотайте прувер, чтобы указать ${displaystyle Q}$ . Теперь сгенерируйте другое случайное значение ${displaystyle c_ {1}}$ и введите его в доказывающий, чтобы получить ${displaystyle s_ {2} = r + c_ {2} x}$ .
Выход ${displaystyle (s_ {1} -s_ {2}) (c_ {1} -c_ {2}) ^ {- 1}}$ .

С ${displaystyle (s_ {1} -s_ {2}) = (r + c_ {1} x) - (r + c_ {2} x) = x (c_ {1} + c_ {2})}$ , мощность экстрактора точно ${displaystyle x}$ .

Этот протокол бывает незнание, хотя это свойство не требуется для доказательства знания.

Сигма протоколы

Протоколы, которые имеют указанную выше структуру из трех шагов (обязательство, вызов и ответ), называются сигма протоколы^{[нужна цитата]}. Греческая буква ${displaystyle Sigma}$ визуализирует поток протокола. Сигма-протоколы существуют для доказательства различных утверждений, например, относящихся к дискретным логарифмам. Используя эти доказательства, доказывающий может не только доказать знание дискретного логарифма, но и то, что дискретный логарифм имеет определенную форму. Например, можно доказать, что два логарифма ${displaystyle y_ {1}}$ и ${displaystyle y_ {2}}$ относительно баз ${displaystyle g_ {1}}$ и ${displaystyle g_ {2}}$ равны или выполняют другие линейный связь. За а и б элементы ${displaystyle Z_ {q}}$ , мы говорим, что доказывающий доказывает знание ${displaystyle x_ {1}}$ и ${displaystyle x_ {2}}$ такой, что ${displaystyle y_ {1} = g_ {1} ^ {x_ {1}} земля y_ {2} = g_ {2} ^ {x_ {2}}}$ и ${displaystyle x_ {2} = ax_ {1} + b}$ . Равенство соответствует частному случаю, когда а = 1 и б = 0. Поскольку ${displaystyle x_ {2}}$ возможно тривиально вычислено из ${displaystyle x_ {1}}$ это эквивалентно доказательству знания Икс такой, что ${displaystyle y_ {1} = g_ {1} ^ {x} land y_ {2} = {(g_ {2} ^ {a})} ^ {x} g_ {2} ^ {b}}$ .

Это интуиция, лежащая в основе следующих обозначений^[4], который обычно используется для выражения того, что именно доказано подтверждением знания.

{displaystyle PK {(x): y_ {1} = g_ {1} ^ {x} land y_ {2} = {(g_ {2} ^ {a})} ^ {x} g_ {2} ^ {b }},}

заявляет, что испытатель знает Икс это удовлетворяет приведенному выше соотношению.

Приложения

Доказательства знаний являются полезным инструментом для построения протоколов идентификации и, в их неинтерактивном варианте, схем подписи. Такими схемами являются:

Подпись Шнорра

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

Смотрите также

внешняя ссылка

Указатели по криптологии Хельгера Липмаа

[1] Шафи Гольдвассер, Сильвио Микали, и Чарльз Ракофф. Сложность знаний интерактивных систем доказательства. Материалы 17-го симпозиума по теории вычислений., Провиденс, Род-Айленд. 1985. Проект. Расширенная аннотация

[odpk-2] а ^б Михир Белларе, Одед Гольдрайх: Об определении доказательств знания. КРИПТО 1992: 390–420

[3] К. П. Шнорр, Эффективная идентификация и подписи для смарт-карт, в G Brassard, ed. Достижения в криптологии - Крипто '89, 239–252, Springer-Verlag, 1990. Lecture Notes in Computer Science, № 435

[4] ttps://www.researchgate.net/publication/243300730_Efficient_Group_Signature_Schemes_for_Large_Groups

[1]

[2]

[3]

[4]

Navigation