Рейтинг:4

Неотличимая обфускация от функционального шифрования

флаг br

В чем разница между функциональным шифрованием и неотличимой запутанностью? У одного из них более надежная защита, чем у другого?

Рейтинг:4
флаг ag

Это эквивалентные примитивы предполагая существование односторонних функций, что подразумевает $\mathbf{P}\neq\mathbf{NP}$$^*$. В [G+,SW] было показано, что IO плюс OWF подразумевает FE с открытым ключом.$^{**}$ Обратное, что субэкспоненциально безопасный FE с открытым ключом (с некоторым свойством краткости) подразумевает IO, было показано в [BV].

С другой стороны, как указано в комментарии @integrator, если $\mathbf{P}=\mathbf{NP}$ тогда IO существует (просто выберите наименьшую/лексикографически первую схему, которая вычисляет ту же функцию), но FE (что подразумевает PKE) не существует.

$^*$Это было расслаблено для $\mathbf{NP}\not\subseteq \mathbf{io}- \mathbf{BPP}$ в [К+].

$^{**}$[G+] предполагает PKE и NIZK в дополнение к IO. Позже было показано, что они подразумеваются IO и OWF [SW].

[БВ] Битанский и Вайкунтанатан, Неотличимость обфускации от функционального шифрования, ФОКС'15

[G+] Гарг и др., Обфускация неразличимости кандидата и функциональное шифрование для всех цепей, ФОКС'13.

[K+] Комаргодски и др., Односторонние функции и (не)идеальное запутывание, ФОКС'14

[SW] Сахаи и Уотерс, Как использовать обфускацию неразличимости: шифрование, отклоняемое и многое другое, СТОЦ'14

integrator avatar
флаг cn
Сказать, что они эквивалентны, проще простого, поскольку другие примитивы, такие как NIZK или PKE, используются в обоих направлениях. И на самом деле, если P=NP, то iO для всех цепей существует, а функциональное шифрование — нет.
Hilder Vitor Lima Pereira avatar
флаг us
[BV] говорит, что «функциональное шифрование с открытым ключом с краткими схемами шифрования и субэкспоненциальной безопасностью» подразумевает iO. Мне интересно, являются ли стандартные/существующие конструкции FE субэкспоненциально безопасными и краткими...
ckamath avatar
флаг ag
@integrator: Это правда. Но всякий раз, когда кто-то говорит о IO, он неявно предполагает OWF, что подразумевает $\mathbf{P}\neq\mathbf{NP}$ (поскольку IO сам по себе не очень полезен). А IO+OWF подразумевает PKE/NIZK (Sahai and Waters, STOC'14). Изменю ответ, чтобы сделать это более явным.
ckamath avatar
флаг ag
@HilderVitorLimaPereira: Хороший вопрос. Еще раз взгляну на [BV].

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

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