Жесткий предикат - Hard-core predicate

В криптография, а жесткий предикат из односторонняя функция ж это предикат б (т.е. функция, вывод которой представляет собой один бит), которую легко вычислить (как функцию от Икс), но трудно вычислить, учитывая f (x). Формально нет вероятностный полиномиальный алгоритм (PPT) что вычисляет б (х) из f (x) с вероятностью значительно больше более чем на половину случайного выбора Икс.^[1]^:34 Другими словами, если Икс рисуется равномерно наугад, затем дано f (x), любой противник PPT может различить только хардкорный бит б (х) и равномерно случайный бит с незначительным преимущество по длине Икс.^[2]

А основная функция можно определить аналогично. То есть, если Икс выбирается равномерно случайным образом, тогда дано f (x), любой алгоритм PPT может различать только значение основной функции ч (х) и равномерно случайные биты длины | h (x) | с незначительным преимуществом по длине Икс.^[3]^[4]

Жесткий предикат фиксирует "в концентрированном смысле" трудность обращения ж.

Хотя одностороннюю функцию трудно обратить, нет никаких гарантий относительно возможности вычисления частичной информации о прообраз c с изображения f (x). Например, пока ЮАР предполагается односторонней функцией, Символ Якоби прообраза можно легко вычислить из прообраза.^[1]^:121

Понятно, что если индивидуальная функция имеет жесткий предикат, то он должен быть односторонним. Одед Гольдрайх и Леонид Левин (1989) показали, как любую одностороннюю функцию можно тривиально изменить, чтобы получить одностороннюю функцию, имеющую конкретный предикат жесткого ядра.^[5] Позволять ж быть односторонней функцией. Определять г (х, г) = (е (х), г) где длина р такой же, как у Икс. Позволять Икс_j обозначить j^th немного Икс и р_j в j^th немного р. потом

${ displaystyle b (x, r): = langle x, r rangle = bigoplus _ {j} x_ {j} r_ {j}}$

является жестким предикатом грамм. Обратите внимание, что б (х, г) = <х, г> где <·, ·> обозначает стандартную внутренний продукт на векторное пространство (Z₂)^п. Этот предикат является жестким из-за вычислительных проблем; то есть вычислить несложно, потому что г (х, г) является информация теоретически с потерями. Скорее, если существует алгоритм, который эффективно вычисляет этот предикат, то есть другой алгоритм, который может инвертировать ж эффективно.

Подобная конструкция дает хардкорную функцию с O (журнал | x |) выходные биты. Предполагать ж - сильная односторонняя функция. Определять г (х, г) = (е (х), г) где |р| = 2|Икс|, Выберите функцию длины л (п) = O (журнал n) s.t. л (п) ≤ п. Позволять

${ displaystyle b_ {i} (x, r) = bigoplus _ {j} x_ {j} r_ {i + j}.}$

потом ч (х, г) := б₁(х, г) б₂(х, г) ... б_{л (| х |)}(х, г) это основная функция с выходной длиной л (| х |).^[6]

Иногда бывает так, что фактический бит ввода Икс хардкорный. Например, каждый бит входных данных функции RSA является жестким предикатом RSA и блоками O (журнал | x |) кусочки Икс неотличимы от случайных битовых строк за полиномиальное время (при условии, что функцию RSA трудно инвертировать).^[7]

Жесткие предикаты дают возможность конструировать псевдослучайный генератор из любого односторонняя перестановка. Если б является жестким предикатом односторонней перестановки ж, и s является случайным семенем, тогда

${ Displaystyle {Ь (е ^ {п} (s)) } _ {п}}$

псевдослучайная битовая последовательность, где ж^п означает n-ю итерацию применения ж на s, и б является сгенерированным битом жесткого ядра в каждом раунде п.^[1]^:132

Жесткие предикаты односторонних перестановок лазейки (известные как предикаты-лазейки) можно использовать для построения семантически безопасный схемы шифрования с открытым ключом.^[1]^:129

Смотрите также

Список-декодирование (описывает декодирование списков; ядро конструкции Голдрейха-Левина жестких предикатов из односторонних функций можно рассматривать как алгоритм для декодирования списка Код Адамара ).

Жесткий предикат - Hard-core predicate

Смотрите также

Рекомендации