Изменения
Нет описания правки
===Доказательство===
Рассмотрим функцию <tex> h_{a, b} = ((ax+b)\ mod\ p</tex> в поле <tex> ) mod\mathbb{F}_{2^n}</tex> для простого <tex>p \in (2^n; 2^{n+1}]</tex>, любых <tex>a, b \in \mathbb{Z}_p</tex>, <tex>a \ne 0</tex>
Для <tex>r=(ax_1+b)\ mod\ p</tex> и <tex>rs=(ax_2+b)\ mod\ p</tex>, где <tex>x_1 \ne x_2 </tex>:
<tex> P(h(x_1)=y_1 \land h(x_2)=y_2)=P(r\ mod\ 2^n = y_1 \land s\ mod\ 2^n = y_2)</tex>, где <tex>r \ne s </tex>.
