Линейные конгруэнтные генераторы, класс псевдослучайных генераторов с рекурсивным правилом.
$x_{n+1}\equiv a\cdot x_n +b\ \ (\mod m)$, $a,b,x_n\in Z/mZ$, $m,n\in N$
считаются непригодными для использования в криптографии, так как константы $а$, $b$ можно вывести из небольшого набора выходных данных $x_n$. Теперь, когда вы выбираете $m=p-1$ для некоторого нечетного простого числа $р$, последовательность $(x_n)_{n\in N}$ могут жить как экспоненты некоторого генератора $г$ мультипликативной циклической группы $Z/pZ^*$, как $y_n:=g^{x_n}, n\in N$:
$y_{n+1}\equiv g^{x_{n+1}}\equiv g^{a\cdot x_n+b}\equiv (g^{x_n})^a\cdot g^b\equiv y_n ^а\cdot g^b\ (\mod p)$
Это эквивалентный степенной ряд.
Равное распределение идет с максимальным периодом. Условия на максимальный период $м$ последовательности $(y_n)_{n\in N}$ даются теоремой Кнута
- $gcd(m,b)=1$
- Для простого разложения $m=:\prod p_i^{\alpha_i}$ и все основные факторы $p_i$: $\ \ \ p_i/(a-1)$
- $m\equiv 0\ (\mod 4) \подразумевает a-1\equiv 0\ (\mod 4)$
Как $m=p-1$ четно и очень мало простых чисел с формой $р=2^к+1$, самый простой общий состав $p-1$ из простых чисел было бы $p-1=2^k\cdot p'$, $k\geq 1$ с $р'$ другой премьер.
По 2-му условию наименьший выбор $а$ является по $a-1=2\cdot p'$.
Во избежание тривиального случая $а-1=м$, $k\geq 2$ необходимо. При этом мы сталкиваемся с 3-м условием, так что $а-1$ имеет как минимум двукратный коэффициент $2$.
Опять же, избегание тривиального случая требует $k\geq 3$.
Теперь главная пара $(р,р')$ подгонка линейного уравнения $р=8р'+1$ допускает нетривиальный выбор $a-1=4p'$ и с этим силовым рядом $(y_n)$ может иметь максимальный период $м$.
Вопрос: Так как у нас есть 3 скрытых параметра $ г, г ^ а, г ^ б $ и нахождение логарифмов в мультипликативных группах считается трудным, может ли случайная последовательность $(y_n){n\in N}$ считаться безопасным для использования в криптографии; есть ли лучший выбор для постоянного $а$?
РЕДАКТИРОВАТЬ $г$ на самом деле не важен как параметр, так как мы поднимаем степени до $а$, где дополнительно $р$ неизвестно из вывода, т. е. неизвестные параметры $(р, а, г^б)$ .