Псевдослучайная функция Наора — Рейнгольда

Псевдослучайная функция Наора — Рейнгольда — псевдослучайная функция^[en], введённая в 1997 году Мони Наором^[en] и Омером Рейнгольдом^[en] для построения различных криптографических примитивов в симметричном шифровании и криптографии с открытым ключом. Отличительными особенностями данной псевдослучайной функции являются низкая вычислительная сложность^[⇨] и высокая криптографическая стойкость^[⇨]. Данные свойства вместе с тем фактом, что распределение значений данной функции близко к равномерному^[⇨], позволяют использовать ее в качестве основы для многих криптографических схем^[⇨].

ПостановкаПравить

В криптографии под семейством псевдослучайных функций понимают набор функций (которые могут быть эффективно вычислены за полиномиальное время), обладающих следующим свойством: злоумышленник не может эффективно найти какое-либо существенное различие между поведением функции из данного семейства и истинной случайной функции. Пусть $p$$p$  — это $n$$n$ -битное простое число, $l$$l$  — простое число, являющееся делителем $p-<!--\; -\; -->1$$p-1$ , а $g\in <!--\; \in \; -->{\mathbb{F}}_p^{\ast <!--\; \ast \; -->}$$g\in {\mathbb {F} }_{p}^{*}$ , — некоторый элемент с мультипликативным порядком $l$$l$  по модулю $p$$p$ . Тогда функция Наора — Рейнгольда $f_a(x)$$f_{a}(x)$  определяется некоторым $(n+1)$$(n+1)$ -мерным вектором $a=(a_0,a_1,...,a_n)\in <!--\; \in \; -->({\mathbb{F}}_l{)}^{n+1}$$a=(a_{0},a_{1},...,a_{n})\in ({\mathbb {F} }_{l})^{n+1}$  над полем ${\mathbb{F}}_l$$\mathbb {F} _{l}$  и равна:

$f_a(x)=g^{a_0\cdot <!--\; \cdot \; -->a_1^{x_1}{a}_2^{x_2}...a_n^{x_n}}\in <!--\; \in \; -->{\mathbb{F}}_p$$f_{a}(x)=g^{a_{0}\cdot a_{1}^{x_{1}}a_{2}^{x_{2}}...a_{n}^{x_{n}}}\in \mathbb {F} _{p}$ 

где $x=x_1,...,x_n$$x=x_{1},...,x_{n}$  — это двоичное представление целого числа $x,$$x,$  $0\leq x<2^{n}$ , с добавлением ведущих нулей, если это необходимо.

ПримерПравить

Пусть $p=7$$p=7$  и $l=3$$l=3$ . В качестве $g\in <!--\; \in \; -->{\mathbb{F}}_7^{\ast <!--\; \ast \; -->}$$g\in \mathbb {F} _{7}^{*}$  с мультипликативным порядком $3$$3$  можно выбрать $g=4$$g=4$ . Тогда при $n=3$$n=3$ , $a=(1,1,3,1)$$a=(1,1,3,1)$  и $x=5$$x=5$  функция $f_a(5)$$f_{a}(5)$  вычисляется как

$f_a(x)=g^{a_0\cdot <!--\; \cdot \; -->a_1^{x_1}{a}_2^{x_2}...a_n^{x_n}}=4^{1\cdot <!--\; \cdot \; -->1^1{3}^0{1}^1}=4^1=4\in <!--\; \in \; -->{\mathbb{F}}_7$$f_{a}(x)=g^{a_{0}\cdot a_{1}^{x_{1}}a_{2}^{x_{2}}...a_{n}^{x_{n}}}=4^{1\cdot 1^{1}3^{0}1^{1}}=4^{1}=4\in \mathbb {F} _{7}$ 

Так как двоичное представление числа $5$$5$  — это $(1,0,1)$$(1,0,1)$ .

Вычислительная сложностьПравить

Построение псевдослучайной функции Наора — Рейнгольда требует $n$$n$  умножений по модулю $l$$l$  и одно возведение в степень по модулю $p$$p$ , которое может быть сделано за $O\left(\frac{n}{\log <!--\; \; -->n}\right)$$O\left({\frac {n}{\log n}}\right)$  умножений по этому модулю.

Для схемной сложности^[en] данной функции было показано, что существует такой полином $p(x)$$p(x)$ , что для любого $a=(a_0,a_1,...,a_n)\in <!--\; \in \; -->({\mathbb{F}}_l{)}^{n+1}$$a=(a_{0},a_{1},...,a_{n})\in ({\mathbb {F} }_{l})^{n+1}$ , $f_a(x)$$f_{a}(x)$  может быть реализована схемой из пороговых элементов глубины $d$$d$  и размера, не превышающего $p(n)$$p(n)$ . Это означает, что функции Наора — Рейнгольда принадлежит классу TC^0[en] в терминах булевых схем^[en].

ПрименениеПравить

Псевдослучайная функция Наора — Рейнгольда может быть использована в качестве основы многих криптографических схем, включая симметричное шифрование, аутентификацию и электронные подписи.

Также было показано, что данная функция может быть использована в:

• динамически идеальном хешировании^[en]: даже если злоумышленник может изменить распределение ключей в зависимости от значений, которые функция хеширования присвоила предыдущим ключам, он не сможет умышленно вызвать коллизии.
• построении схем аутентификации на основе имитовставки, которые надёжно защищены от атак.
• выдаче статичных идентификационных номеров, которые могут быть проверены устройствами, располагающими лишь небольшим объёмом памяти.
• построении систем радиолокационного опознавания.

БезопасностьПравить

Псевдослучайная функция Наора — Рейнгольда имеет высокую криптографичекую стойкость. Пусть злоумышленнику известны значения функции в нескольких точках: $f_a(1)=g^{a_0{a}_1},f_a(2)=g^{a_0{a}_2},\dots <!--\; \dots \; -->,f_a(k)=g^{a_0{a}_1^{x_1}{a}_2^{x_2}...a_n^{x_n}}$$f_{a}(1)=g^{a_{0}a_{1}},f_{a}(2)=g^{a_{0}a_{2}},\dots ,f_{a}(k)=g^{a_{0}a_{1}^{x_{1}}a_{2}^{x_{2}}...a_{n}^{x_{n}}}$ и ему необходимо вычислить $f_a(k+1)$$f_{a}(k+1)$ . Если $x_1=0$$x_{1}=0$ , то чтобы получить $f_a(k+1)=g^{a_0{a}_1{a}_2^{x_2}\dots <!--\; \dots \; -->a_n^{x_n}}$$f_{a}(k+1)=g^{a_{0}a_{1}a_{2}^{x_{2}}\dots a_{n}^{x_{n}}}$ , злоумышленнику необходимо решить задачу Диффи — Хеллмана^[en] для $f_a(1)=g^{a_0{a}_1}$$f_{a}(1)=g^{a_{0}a_{1}}$  и $f_a(k)=g^{a_0{a}_2^{x_2}...a_n^{x_n}}$$f_{a}(k)=g^{a_{0}a_{2}^{x_{2}}...a_{n}^{x_{n}}}$ . Но по предположению о сложности Диффи — Хеллмана^[en] не существует эффективного алгоритма, способного решить данную задачу.

Поток чисел, генерируемый псевдослучайной функцией, также должен быть непредсказуемым, то есть, он должен быть неотличим от совершенно случайного набора чисел. Пусть ${\mathcal{A}}^f$${\mathcal {A}}^{f}$  обозначает алгоритм, имеющий доступ к оракулу, который вычисляет $f_a(x)$$f_{a}(x)$ . Предположим, что предположение Диффи — Хеллмана^[en] выполняется для ${\mathbb{F}}_p$$\mathbb {F} _{p}$ . Тогда для любого вероятностного полиномиального алгоритма $\mathcal{A}$${\mathcal {A}}$  и достаточно большого $n$$n$  выполнено:

$|{\text{Pr }}[{\mathcal {A}}^{f_{a}(x)}(p,g)=1]-{\text{Pr }}[{\mathcal {A}}^{R}(p,g)=1]|<\epsilon$ , где $\mathrm{ϵ<!--\; ϵ\; -->}(n)$$\epsilon (n)$  — пренебрежимо мало.

Первая вероятность равна доле наборов $s=(p,g,a)$$s=(p,g,a)$ , на которых алгоритм выдаёт единицу, а вторая получается из случайного выбора пары $(p,g)$$(p,g)$  и функции $R_a(x)$$R_{a}(x)$  среди множества всех функций $\{0,1{\}}^n\to <!--\; \to \; -->{\mathbb{F}}_p$$\{0,1\}^{n}\to {\mathbb {F} }_{p}$ .

Линейная сложностьПравить

Одним из естественных показателей того, насколько последовательность может быть полезной для криптографических целей, является её линейная сложность. Линейная сложность $n$$n$ -элементной последовательности $W(x),x=0,\dots <!--\; \dots \; -->,n-<!--\; -\; -->1$$W(x),\;x=0,\dots ,n-1$ , над кольцом $\mathcal{R}$${\mathcal {R}}$  — это длина $l$$l$  кратчайшего линейного рекуррентного соотношения $W(x+l)=A_{l-<!--\; -\; -->1}W(x+l-<!--\; -\; -->1)+\cdots <!--\; \cdots \; -->+A_{0}W(x),x=0,\dots <!--\; \dots \; -->,n-<!--\; -\; -->(l-<!--\; -\; -->1)$$W(x+l)=A_{l-1}W(x+l-1)+\dots +A_{0}W(x),\;x=0,\dots ,n-(l-1)$ , где $A_0,\dots <!--\; \dots \; -->,A_{l-<!--\; -\; -->1}\in <!--\; \in \; -->\mathcal{R}$$A_{0},\dots ,A_{l-1}\in {\mathcal {R}}$ . Для функции Наора — Рейнгольда было показано, что существуют такие $\mathrm{\gamma <!--\; \gamma \; -->}>0$$\gamma > 0$  и $n⩾<!--\; ⩾\; -->(1+\mathrm{\gamma <!--\; \gamma \; -->})\log <!--\; \; -->l$$n\geqslant (1+\gamma )\log l$ , что для любого $\mathrm{\delta <!--\; \delta \; -->}>0$$\delta > 0$  и достаточно большого $l$$l$  линейная сложность $L_a$$L_{a}$  последовательности $f_a(x)$$f_{a}(x)$ , $0\leq x<2^{n}$ , удовлетворяет следующему неравенству:

$L_{a}\geqslant {\begin{cases}l^{1-\ \delta \,\!}&{\text{, если }}\gamma \,\!\geqslant 2\\l^{\left({\tfrac {\ \gamma \,\!}{2-\ \delta \,\!}}\right)}&{\text{, если }}\gamma \,\!<2\end{cases}}$ 

для всех, кроме не более чем $3(l-<!--\; -\; -->1{)}^{n-<!--\; -\; -->\mathrm{\delta <!--\; \delta \; -->}}$$3(l-1)^{n-\delta }$  векторов $a\in <!--\; \in \; -->({\mathbb{F}}_l{)}^{n+1}$$a\in (\mathbb {F} _{l})^{n+1}$ .

Равномерность распределенияПравить

Статистическое распределение $f_a(x)$$f_{a}(x)$  экспоненциально близко к равномерному распределению почти для всех векторов $a\in <!--\; \in \; -->({\mathbb{F}}_l{)}^{n+1}$$a\in ({\mathbb {F} }_{l})^{n+1}$ :

пусть ${\mathbf{D}}_a$${\mathbf {D} }_{a}$  — расхождение^[en] множества $\{f_{a}(x)|0\leq x<2^{n}\}$  или, другими словами, отклонение распределения значений псевдослучайной функции от равномерного распределения. Было показано, что если $n=\log <!--\; \; -->p$$n=\log p$  — это битовая длина $p$$p$ , тогда для всех векторов $a$$a$  ∈ $({\mathbb{F}}_l{)}^{n+1}$$(\mathbb {F} _{l})^{n+1}$  справедливо неравенство ${\mathbf{D}}_a\le <!--\; \le \; -->\mathrm{\Delta <!--\; \Delta \; -->}(l,p)$${\mathbf {D} }_{a}\leq \Delta (l,p)$ , где:

$\Delta (l,p)={\begin{cases}p^{\left({\tfrac {1-\ \gamma \,\!}{2}}\right)}l^{\left({\tfrac {-1}{2}}\right)}\log ^{2}p&{\text{ если }}l\geqslant p^{\gamma \,\!}\\p^{\left({\tfrac {1}{2}}\right)}l^{-1}\log ^{2}p&{\text{ если }}p^{\gamma \,\!}>l\geqslant p^{\left({\tfrac {2}{3}}\right)}\\p^{\left({\tfrac {1}{4}}\right)}l^{\left({\tfrac {-5}{8}}\right)}\log ^{2}p&{\text{ если }}p^{\left({\tfrac {2}{3}}\right)}>l\geqslant p^{\left({\tfrac {1}{2}}\right)}\\p^{\left({\tfrac {1}{8}}\right)}l^{\left({\tfrac {-3}{8}}\right)}\log ^{2}p&{\text{ если }}p^{\left({\tfrac {1}{2}}\right)}>l\geqslant p^{\left({\tfrac {1}{3}}\right)}\\\end{cases}}$ 

и $\mathrm{\gamma <!--\; \gamma \; -->}=2,5-<!--\; -\; -->\log <!--\; \; -->3\approx <!--\; \approx \; -->0,9150\dots <!--\; \dots \; -->$$\gamma =2,5-\log 3\approx 0,9150\dots$ .

Это свойство не имеет непосредственного криптографического значения, но если бы оно не было выполнено, это могло бы повлечь катастрофические последствия для применения функции.

Последовательности на эллиптической кривойПравить

Анализ этой функции на эллиптической кривой позволяет улучшить криптографическую стойкость соответствующей системы. Пусть $p>3$$p>3$  — простое число и $E$$E$  — эллиптическая кривая над ${\mathbb{F}}_p$$\mathbb {F} _{p}$ . Тогда любой вектор $a=(a_0,a_1,\dots <!--\; \dots \; -->,a_n)\in <!--\; \in \; -->({\mathbb{F}}_l^{\ast <!--\; \ast \; -->}{)}^{n+1}$$a=(a_{0},a_{1},\dots ,a_{n})\in ({\mathbb {F} }_{l}^{*})^{n+1}$  определяет конечную последовательность $f_a(x)=(a_0{a}_1^{x_1}{a}_2^{x_2}\dots <!--\; \dots \; -->a_n^{x_n})G\in <!--\; \in \; -->{\mathbb{F}}_p^2$$f_{a}(x)=(a_{0}a_{1}^{x_{1}}a_{2}^{x_{2}}\dots a_{n}^{x_{n}})G\in \mathbb {F} _{p}^{2}$  в циклической группе $⟨<!--\; ⟨\; -->G⟩<!--\; ⟩\; -->$$\langle G\rangle$ , где $x=x_1\dots <!--\; \dots \; -->x_n$$x=x_{1}\dots x_{n}$  — битовое представление $x,\;0\leq x<2^{n}$ , $G\in <!--\; \in \; -->{\mathbb{F}}_p^2$$G\in \mathbb {F} _{p}^{2}$ , — некоторый элемент на $E$$E$  с мультипликативным порядком $l$$l$ , а $(a_0{a}_1^{x_1}{a}_2^{x_2}\dots <!--\; \dots \; -->a_n^{x_n})G$$(a_{0}a_{1}^{x_{1}}a_{2}^{x_{2}}\dots a_{n}^{x_{n}})G$  — это операция возведения элемента $G$$G$  в степень $a_0{a}_1^{x_1}{a}_2^{x_2}\dots <!--\; \dots \; -->a_n^{x_n}$$a_{0}a_{1}^{x_{1}}a_{2}^{x_{2}}\dots a_{n}^{x_{n}}$  относительно групповой операции в абелевой группе ${\mathbb{F}}_p$$\mathbb {F} _{p}$ -рациональных точек эллиптической кривой. В таких обозначениях последовательность Наора — Рейнгольда на эллиптической кривой определяется как $u_k=X(f_a(k))$$u_{k}=X(f_{a}(k))\;$ , где $X(P)$$X(P)$  обозначает абсциссу точки $P\in <!--\; \in \; -->E$$P\in E$ .

Если предположение Диффи — Хеллмана выполнено, то индекса $k$$k$  не достаточно для вычисления $u_k$$u_{k}$  за полиномиальное время. Для эллиптической кривой Наора — Рейнгольда было показано, что существуют такие $\mathrm{\gamma <!--\; \gamma \; -->}>0$$\gamma > 0$  и $n⩾<!--\; ⩾\; -->(1+\mathrm{\gamma <!--\; \gamma \; -->})\log <!--\; \; -->l$$n\geqslant (1+\gamma )\log l$ , что для любого $\mathrm{\delta <!--\; \delta \; -->}>0$$\delta > 0$  и достаточно большого $l$$l$  линейная сложность $L_a$$L_{a}$  последовательности $(u_k{)}_{k=0}^{2^n-<!--\; -\; -->1}$$(u_{k})_{k=0}^{2^{n}-1}$  удовлетворяет следующему неравенству:

$L_a⩾<!--\; ⩾\; -->min\left(l^{\frac{1}{3}-<!--\; -\; -->\mathrm{\delta <!--\; \delta \; -->}},\frac{l^{(\mathrm{\gamma <!--\; \gamma \; -->}-<!--\; -\; -->3\mathrm{\delta <!--\; \delta \; -->})}}{{\log }^2<!--\; \; -->l}\right)$$L_{a}\geqslant \min \left(l^{{\frac {1}{3}}-\delta },{\frac {l^{(\gamma -3\delta )}}{\log ^{2}l}}\right)$ 

для всех, кроме не более чем $O((l-<!--\; -\; -->1{)}^{n-<!--\; -\; -->\mathrm{\delta <!--\; \delta \; -->}})$$O((l-1)^{n-\delta })$  векторов $a\in <!--\; \in \; -->({\mathbb{F}}_l^{\ast <!--\; \ast \; -->}{)}^{n+1}$$a\in (\mathbb {F} _{l}^{*})^{n+1}$ .

См. такжеПравить

• Симметричные криптосистемы
• Конечное поле
• Инверсный конгруэнтный метод
• Криптосистема с открытым ключом