Регистрация Войти
Рейтинг:1
Chenghong avatar Crypto

Доказательство с нулевым разглашением зафиксированной ценности

флаг jp
Chenghong

Я рассматриваю следующие вопросы и буду признателен за любую помощь.

Постановка проблемы:

Предположим, Алиса хранит секретное значение $х$ и есть публичная логическая предикатная функция $\texttt{Pred}$ это относится к $х$, $\texttt{Pred}: x \rightarrow \{0,1\}$. Примером предикатной функции может быть то, будут ли входные данные $х$ находится в определенном диапазоне или нет.

Теперь Алиса вычисляет $y\gets\texttt{Pred}(x)$, но вместо публикации $у$, он публикует шифрование $у$, $\texttt{Enc(y)}$ или зафиксируйте это значение $\texttt{comm}_y$. Может ли Алиса доказать, что зашифрованное значение или зафиксированное значение вычислено правильно, оценивая $\texttt{Pred}$ над $х$ не раскрывая $х$ и $у$?

(Пожалуйста, сделайте дополнительные предположения, если это необходимо для решения этой проблемы).

66
1 + 0
Рейтинг:0
Ievgeni avatar Crypto
флаг cn
Ievgeni

Да, это возможно, но вам нужно найти уравнения $E_1, E_2$ которые позволяют проверить: $$\texttt{Enc}(y)=c \iff E_1(y, c) $$ $$\texttt{Pred}(x) = y \iff E_2 (x,y) $$

Затем вам нужно найти систему доказательства с нулевым разглашением, которая позволит вам доказывать такие уравнения, как $E_1, E_2$. Например, если эти уравнения находятся в контексте билинейной группы, то Грот-Сахаи идеально подходит: https://eprint.iacr.org/2007/155

Или если $E_1$ и $E_2$ схемы, вы можете посмотреть это: https://eprint.iacr.org/2017/872.pdf

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

0 + 2
Chenghong avatar
флаг jp
Chenghong
Привет, это действительно полезно. Могу ли я интерпретировать это, поскольку это также будет работать для схем обязательств. Например, предположим, что $y=f(x)$, и будут обязательства $com_x$ и $com_y$, тогда я смогу доказать (не раскрывая x и y), что зафиксированное значение $com_y$ вычисляется путем применения $f()$ больше зафиксированного значения $com_x$?
0
Ответить
Ievgeni avatar
флаг cn
Ievgeni
Обязательства являются частью доказательства, поэтому ответ на ваш вопрос «да для того, кто знает случайность обязательств».
0
Ответить
флаг Moldova
Admin
Этот вопрос на других языках:

Ответить или комментировать

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