Рейтинг:2

GL-SPHF и свидетельское шифрование

флаг cn

я недавно наткнулся эта увлекательная статья, и задавался вопросом, можно ли использовать GL-SPHF, построенный в статье, для создания схемы шифрования свидетелей для программ с алгебраическим разветвлением. То есть, если бы Алиса могла вывести соответствующие параметры $\Гамма$ и $\тета$ для GL-SPHF для заданной программы алгебраического ветвления, то она могла бы получить симметричный ключ из хеша $Ч$ вычисляется из закрытого ключа хеширования $hk$, зашифровать некоторые данные, а затем отправить зашифрованные данные вместе с открытым ключом хэширования $hp$ и общедоступные параметры Бобу. Теперь Боб сможет получить симметричный ключ только в том случае, если он знает подходящего свидетеля.

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

Спасибо, и извините, если ответ очевиден.

Рейтинг:1
флаг cn

Да, из этого результата можно вывести шифрование свидетеля для языка, связанного с политиками политик политики. Как правило, легко построить шифрование свидетеля для языка. $\mathcal{L}$ предоставляется SPHF для того же языка.

Однако нужно быть осторожным с теми языками, о которых мы говорим. Документ специально нацелен на языки фиксации и подтверждения. В контексте ABP это означает, что мы можем получить шифрование-свидетель для языков вида

$\mathcal{L}_F = \{(c_1, \cdots, c_n) \;:\; c_1 = \mathsf{Com}(x_1) \клин \cdots \клин c_n = \mathsf{Com}(x_n) \клин F(x_1, \cdots, x_n) = 1\},$

куда $\mathsf{Com}$ представляет собой схему обязательств, и $F$ является арифметической ветвящейся программой (выбор константы $1$ в равенстве произвольно). Это относительно полезная и общая семья языков, но, тем не менее, это ограниченная семья.

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

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