Тест на следующий бит

Тест на следующий бит () — тест, служащий для проверки генераторов псевдо-случайных чисел на криптостойкость. Тест гласит, что не должно существовать полиномиального алгоритма, который, зная первые k битов случайной последовательности, сможет предсказать k+1 бит с вероятностью, неравной ½.

Проблема определения случайности 
В теории криптографии отдельной проблемой является определение того, насколько последовательность чисел или бит, сгенерированных генератором, является случайной. Как правило для этой цели используются различные статистические тесты, такие как например тесты DIEHARD или тесты NIST. Эндрю Яо доказал в 1982 году что генератор, прошедший «тест на следующий бит», пройдет и любые другие статистические тесты на случайность, выполнимые за полиномиальное время.

Формулировка 
Двоичный генератор проходит тест на следующий бит, если: для любого  и любого вероятностного полиномиального по времени алгоритма A:  -> {0,1} (Алгоритм, имеющий в качестве начальных данных последовательность битов длиной , и выдающий на своём выходе бит), выполняется следующее неравенство:
 
где  — обозначение функции, убывающей быстрее, чем обратный полином степени n.

Стоит отметить, что определение теста на следующий бит не даёт никакого алгоритма для выполнения этого теста.

Расширенный тест на следующий бит 
Бинарная последовательность , полученная от источника S, считается прошедшей расширенный тест на следующий бит, если: для любого i и l: 1 < i, l < n и любого вероятностного полиномиального по времени алгоритма A:  ->  выполняется то, что при помощи A не может предсказать следующие l бит или, в случае предсказания, выполнимо неравенство:
 

Доказано, что расширенный тест на следующий бит и тест на следующий бит — эквивалентны.

Тестирование несбалансированных последовательностей 
Хоть тест на следующий бит и является универсальным методом проверки независимости выходных бит последовательности, он пригоден лишь для несмещенных последовательностей, то есть таких, в которых вероятность появления единицы эквивалентна вероятности появления нуля.

Если же выходная последовательность должна заведомо обладать некоторым смещением , то есть , то данный тест не пригоден.

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

Сравнительный тест на следующий бит 
Двоичный генератор проходит S сравнительный тест на следующий бит относительно модели M, если: для любого i и любого вероятностного полиномиального по времени алгоритма  (то есть алгоритм, имеющий в качестве начальных данных последовательность битов длиной i и выдающий на своём выходе бит), выполняется следующее неравенство:
 
где  — вероятность предсказания алгоритмом следующего бита для модельного генератора.

Очевидно, что задавшись моделью M, представляющей истинно случайную последовательность, мы получим , то есть классический тест на следующий бит. Задавшись же моделью с  и , получим искомый случай теста для несбалансированной последовательности с заданным смещением .

Практические реализации

Алгоритм Садегияна-Махаери (Sadeghiyan-Mohajeri test) 
Данный тест использует преимущество древовидной структуры, способной сохранить всю информацию о подпоследовательностях в общей последовательности.

Алгоритм вычисления m-битных последовательностей может быть представлен в виде двоичного дерева с взвешенными ребрами. В данном дереве каждый лист на глубине l хранит информацию о том, сколько раз встретилась данная l-битная последовательность. Так как дерево является взвешенным, то его каждому его ребру приписывается отношение количества, записанного в дочернем листе, к количеству, записанному в родительском. Для достаточно большой случайной последовательности предполагается, что числа, соответствующие рёбрам, будут примерно равны 1/2.

Шаги алгоритма Садегияна-Махаери 
 Задаём уровень ошибки , соответствующий χ²-распределению с одной степенью свободы и допущением ошибки 5 %.
 Вычисляем l = round((n) — 1), n — длина исследуемой последовательности.
 Приписываем к концу последовательности первые  бит и разделяем последовательность на перекрывающиеся блоки длины .
 Вычисляем частоту встреч для всех листьев длины .
 Формируем  и  уровни дерева. Вычисляем соответствующие вероятности для всех рёбер.
 Для каждого листа на уровне (l-1), если следующий бит(0 или 1) появляется с вероятностью меньшей, чем α, следующий бит предсказывается соответственно частоте этого появления. В противном случае предсказание невозможно.
 Отбрасываем самый левый бит l-битной последовательности. Используя оставшиеся (l-1) бит снова переходим на шаг 6 и определяем следующий бит. Повторяем данную операцию до тех пор, пока это возможно. После того, как получаем невозможность предсказания следующего бита, подсчитываем количество предсказанных бит. Таким образом мы получим для каждой последовательности длины (l-1) количество следующих бит, предсказываемых при помощи предыдущего шага.
 Вычисляем P-value равное отношению предсказанных бит ко всем попыткам предсказания.
Зададим величину r как вероятность того, что идеальный генератор сгенерировал последовательность менее случайную, чем исследуемый. Обычно r выбирают в пределах [0.001; 0.01]. Тогда если P-value больше r, то исследуемая последовательность считается случайной и наоборот в противном случае.

Тест Садегяна-Мохаери не дает ясного и точного критерия для определения случайности последовательности. Вместо этого создатели алгоритма предполагают возможность сделать некоторые выводы о общем поведении последовательности. Когда алгоритм успешно предсказывает (l+1) бит, то считается, что наступила локальная детерминированность.

Практический тест на следующий бит (PNB) 
Цель данного теста — определение отклонений в статистике появления следующего бита для подпоследовательности. Если же такое отклонение имеется — тест пытается использовать его для предсказания следующего бита. Последовательность считается неслучайной, если она содержит слишком много подпоследовательностей, чей последний бит предсказуем.

Практический тест показывает более разумные результаты в сравнении с оригинальным тестом Садегяна-Мохаери.

Шаги алгоритма PNB 
 Задаём уровень ошибки , соответствующий -распределению с одной степенью свободы и допущением ошибки 5 %, аналогично алгоритму Садегяна-Мохаери.
 Вычисляем l = round((n) — 2), n — длина исследуемой последовательности.
 Перемещаем первые l бит в конец последовательности.
 Составляем дерево, аналогичное дереву в алгоритме Садегяна-Мохаери, в конечных узлах устанавливаем счетчики, соответствующие количеству нулей и единиц в следующем бите.
 «Сканируем» последовательность окном размером l бит. Начальное положение окна — первые l бит. С каждым тактом двигаем окно на 1 бит вперед и в зависимости от значения в следующем за окном бите, увеличиваем счетчик узла, соответствующего значениям битов в окне.
 Для каждого из узлов вычисляем отношения  и , где  и  — значения счетчиков для данного узла. Если одно из этих отношений превышает α, то увеличиваем счетчик .
 Вычисляем P-value = (1/2)*erfc(( — μ)/sqrt(2σ²)

Стоит отметить, что нет известной теории, позволяющей вычислить точные значения μ и σ, используемые в последнем шаге алгоритма. Поэтому эти значения вычисляются приближенно.

См. также 
 Тестирование псевдослучайных последовательностей
 Алгоритм Блюма — Микали

Примечания

Литература 
 Andrew Chi-Chih Yao. Theory and applications of trapdoor functions.
 A. Lavasani and T. Eghlidos. Practical Next Bit Test for Evaluating Pseudorandom Sequence
 Rafael Pass. Cryptography. Lections.

Генераторы псевдослучайных чисел