Рейтинг:1

Доказательство диапазона для зашифрованного текста elgamal

У Алисы есть открытый ключ Эль-Гамаля. $у=г^х$. Боб шифрует значение $г^б$ на основе открытого ключа Алисы Эльгамаля, и он получает зашифрованный текст $(г^by^r, г^г)$. Может ли Боб доказать, что значение $b$ находится в каком-то диапазоне, не раскрывая его, или вам нужно быть «владельцем» секретного ключа Эль-Гамаля $х$ создавать такие доказательства?

Если $г^б$ сбивает с толку, затем проигнорируйте его и рассмотрите значение $b$, мне просто нужно знать, могу ли я создать доказательство диапазона, не зная $х$.

Geoffroy Couteau avatar
флаг cn
Привет! Я несколько раз отвечал на варианты этих вопросов на этом веб-сайте, см., например, [эту тему] (https://crypto.stackexchange.com/questions/53745/is-it-possible-to-create-a-zero-knowledge- доказательство того, что число больше нуля/53762#53762). Если это не отвечает на ваш вопрос, не могли бы вы указать, где вы застряли?
@GeoffroyCouteau Здравствуйте, я был более конкретным в комментарии к ответу ниже.
Рейтинг:0
флаг es

Если ваш метод сопоставления вашей ценности $б$ к групповому элементу $г^б$, то создание доказательства диапазона для шифрования Эль-Гамаля точно такое же, как создание доказательства диапазона для обязательства Педерсена.

С Эль Гамаль у вас есть $g^by^r$ куда $б$ это значение, $г$ является эфемерным закрытым ключом отправителя, и $у$ является открытым ключом получателя.

Интерпретируется как обязательство Педерсена, у вас есть $g^by^r$ куда $б$ это значение, $г$ является ослепляющим фактором, и $у$ — альтернативная базовая точка, для которой дискретный логарифм с.р.т. $г$ (т.е. $х$) неизвестен коммиттеру/отправителю.

Обратите внимание, что поскольку получатель знает $х$, они могут подделать доказательства дальности.

Подробности о том, как создать простое доказательство диапазона, см. здесь.

Таким образом, только получатель, который знает $x$, может подделать доказательство диапазона для $b$ в $g^{b}y^{r}$? Если, например, я зашифрую значение $b$ на основе чужого $y$, которое конечно, я не знаю $x$, могу ли я сгенерировать доказательство диапазона для $g^b$?
knaccc avatar
флаг es
Только тот, кто знает $x$, может подделать его, и да, вы можете сгенерировать доказательство диапазона, не зная $x$.

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

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