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

Докажите, что данные, зашифрованные разными ключами, совпадают

флаг in
Newbie

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

Как лучше всего проверить, что одни и те же данные были переданы пользователю Б, не зная данных, закрытых ключей пользователя А и пользователя Б?

41
1 + 8
Ievgeni avatar
флаг cn
Ievgeni
Это домашнее задание?
0
Ответить
флаг in
Newbie
нет, пытаюсь понять, возможно ли это вообще и о чем мне следует больше читать. Хотелось бы создать что-то подобное на Ethereum, чтобы секретные данные можно было безопасно передавать между людьми публично.
0
Ответить
Ievgeni avatar
флаг cn
Ievgeni
Вопрос: Это детерминированная схема шифрования?
0
Ответить
флаг in
Newbie
Я не знаю, возможно ли это на данный момент, поэтому слишком рано устанавливать какие-либо границы. Хотя было бы предпочтительнее, если бы он был детерминированным.
0
Ответить
Ievgeni avatar
флаг cn
Ievgeni
Другой вопрос: уполномочен ли $A$ добавлять новые данные (например, ZK-доказательства), чтобы помочь B выполнить проверку? Если да, то каковы ограничения безопасности?
0
Ответить
флаг in
Newbie
@levgeni Да, дополнительные данные могут быть добавлены, однако перед передачей должна быть выполнена проверка (до того, как пользователь B получит данные). Я ищу что-то вроде этого: 1. Пользователь А -> хранить данные, зашифрованные с помощью открытого ключа пользователя А, в публичном контракте. 2. Пользователь A -> пытается передать те же данные, на этот раз зашифрованные с использованием открытого ключа пользователя B, через тот же публичный контракт. 3. Контракт проверяет, не врал ли Пользователь А (передавал разные данные).Если проверка прошла успешно, данные сохраняются, в противном случае запрос отклоняется. Контракт должен проверять это, а не пользователь Б.
0
Ответить
флаг in
Newbie
^ В приведенном выше примере контракт не знает данных и не знает закрытых ключей пользователя A и пользователя B. Ему известны открытые ключи A и B, данные, зашифрованные с использованием открытого ключа A, и данные, зашифрованные с использованием Открытый ключ Б. Любые дополнительные метаданные могут быть добавлены, чтобы облегчить эту проверку без раскрытия данных.
0
Ответить
ming alex avatar
флаг in
ming alex
Несколько примеров решения вашего вопроса приведены в разделе 20.2 [книги](http://toc.cryptobook.us/book.pdf)
0
Ответить
Рейтинг:1
Ievgeni avatar Crypto
флаг cn
Ievgeni

Доказательство с нулевым разглашением кажется подходящим для вашей цели. $А$ должен доказать, что он существует $ млн $ такой, что $C=Enc(M, pk_A)$, и $C^\prime=Enc(M, pk_B)$. Это ЗКП можно сделать без раскрытия какой-либо информации о данных $ млн $ (вот почему мы называем это нулевым разглашением). Для конкретного экземпляра вы можете использовать шифрование Эль-Гамаля и Методы ZK-доказательства Groth-Sahai:

https://en.wikipedia.org/wiki/ЭльГамал_шифрование

https://eprint.iacr.org/2007/155

Обратите внимание, что вам не нужно использовать закрытый ключ $В$ чтобы проверить равенство, но если это проверяет контакт, это, вероятно, лучше.

0 + 0
флаг Moldova
Admin
Этот вопрос на других языках:

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

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