VSH

В криптографии очень гладкая хеш-функция (англ. Very Smooth Hash (VSH)) — n-битная эффективная криптографическая функция хеширования, разработанная в 2005 году Скоттом Котини, Лестрой Арьен и Роном Штайнфельдом. Является устойчивой к коллизиям в предположении большой вычислительной сложности нахождения нетривиального квадратного корня очень гладкого числа по модулю n. Под понятием очень гладкой функции подразумевается, что граница гладкости является фиксированной полиномиальной функцией от n. Данный алгоритм хеширования предполагает одиночное умножение на $\mathrm{\Omega }(n)$ бит сообщения и использует арифметику RSA-типа, что избавляет от необходимости отдельного хранения кода хеш-функции. Поэтому данный алгоритм полезен во встроенных средах, где пространство кода ограничено. Очень гладкая хеш-функция также может быть использована для создания односторонней функции с потайным входом, которая может быть применена в схемах подписи для ускорения проверки и усиления конфиденциальности.

VSSR и VSN

Для VSH основной математической проблемой является устойчивость к коллизиям, которая по сути состоит в извлечении корней по модулю n из очень гладких чисел, называемых очень гладкими корнями (VSSR). В свою очередь, проблема вычисления очень гладкого корня по модулю n тесно связана с факторизацией целых чисел с использованием общего метода решета числового поля.

Для фиксированных постоянных c и n целое число m называется очень гладким числом, если все простые множители m не больше чем (log n)^c. Целое число b является очень гладким квадратичным остатком по модулю n, если наибольшее простой множитель b — не более чем (log n)^c и существует целое x такое что $b\equiv x^{2}modn$. Целое x называют очень корнем квадратным по модулю  b.

Нас интересуют только корни где x² ≥ n. Так как, если x² < n, то корень может быть легко вычислен, используя поле характеристики 0. Вычисление очень гладкого корня является следующей задачей: пусть n является произведением двух простых чисел примерно одного размера и пусть $k\le (\log n{)}^c$, а $p_1=2,p_2=3,p_3=5,\dots$ последовательность простых чисел. По данному n необходимо найти $x\in {\mathbb{Z}}_n^{*}$, такое, что $x^2\equiv {\prod }_{i=0}^k{p}_i^{e_i}$ и хотя бы один из e₀,…,e_k будет нечетным.

Пример VSN и VSSR

Пусть зафиксированы следующие параметры: $c=5$ и $n=31$.

Тогда $m_1=35=5\cdot 7$ очень гладкое число от данных параметров, потому что $(\log 31{)}^5\dot{=}7.37$ больше чем все простые множители $m_1$. С другой стороны, $m_2=55=5\cdot 11$ не является очень гладким числом от $c=5$ и $n=31$.

Целое число $b_1=9$ является очень гладким квадратичным остатком по модулю $n$, потому что это число очень гладкое (от $c,n$) и существует $x_1=3$, такое что $x_1^2=b_1$ (mod $n$). Это тривиальный квадратный корень, потому что $3^2\ge ̸n$ и поэтому модуль при возведении в квадрат не учитывается.

Целое число $b_2=15$ также является квадратичным остатком по модулю $n$. Все простые множители меньше чем 7.37, а все квадратные корни по модулю равны $x_2=20$, так как $20^2=400\equiv 15$ (mod $n$). Задача VSSR состоит в том, чтобы найти $x_2$ по данным $b_2$ и $n$. И вычислительно так же сложна, как факторизация $n$.

VSH, базовый алгоритм

Пусть $p_1=2,p_2=3,\dots$ последовательность простых чисел. Пусть $k$ длина блока, наибольшее целое число, такое, что ${\prod }_{i=1}^k{p}_i<n$. Пусть $m$ есть $\ell$-битное сообщение, состоящее из $(m_1,\dots ,m_{\ell })$, которое должно быть хешировано, причем $\ell <2^k$.Чтобы вычислить хеш $m$:

1. x₀ = 1
2. Пусть $L$ наименьшее целое число, большее или равное $l/k$, будет числом блоков. Пусть $m_i=0$ для $l<i\le Lk$
3. Пусть $\ell ={\sum }_{i=1}^k{l}_i{2}^{i-1}$ с ${\ell }_i\in \{0,1\}$ — бинарное представление сообщения длины $\ell$ и определим $m_{Lk+i}={\ell }_i$ для $1\le i\le k$.
4. для каждого j = 0, 1,…, L вычисляем $x_{j+1}=x_j^2\prod _{i=1}^k{p}_i^{m_{jk+i}}modn$
5. возвращаем x_{L + 1}.

Функция на шаге 4 называется функцией сжатия.

Свойства VSH

• Не нужно знать заранее длину сообщения.
• Сложность обнаружения коллизий равна сложности нахождения очень гладкого корня, поэтому VSH устойчива к коллизиям. Стойкость к коллизиям единственное доказанное свойство для VSH.
• Функция сжатия не является стойкой к коллизиям. Однако хеш-функция устойчива к коллизиям на основе VSSR-предположения. Следующая версия VSH* использует стойкую к коллизиям функцию сжатия и работает в 5 раз быстрее на коротких сообщениях.
• VSH мультипликативна:

Пусть x, y, and z — трехбитные строчки равной длины, где z состоит только из нулевых бит и удовлетворяет x AND y = z. Тогда H(z)H(x OR y) ≡ H(x)H(y) (mod n). VSH уступает классической атаке на временную память, которая применяется к мультипликативным и аддитивным хешам.

Вариации VSH

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

• Кубический VSH (вместо квадратичного).
• VSH с увеличением количества простых чисел.
• VSH с вычисленным произведением простых чисел.
• Быстрый VSH.
• Быстрый VSH с увеличенным числом блоков.
• VSH-DL

VSH-DL - VSH с дискретным логарифмом, у которого нет односторонней функции с потайным входом, его безопасность зависит от сложности нахождения дискретного логарифма по модулю простого числа p.

Very Smooth Number Discrete Logarithm (VSDL) — это дискретный логарифм от некоторого VSN, взятый по модулю некоторого числа n.

Аналогично введенным ранее обозначениям, возьмем $p_i$ как $i$-е простое число. Пусть $c$ — фиксированная постоянная и $p$, $q$ — простые числа, такие, что $p=2q+1$ и $k\le (\log p{)}^c$. VSDL-задача: по данному $p$ найти целые $e_1,...,e_k$, такие, что $2^{e_1}\equiv \prod _{i=2}^k{p}_i^{e_i}modp$, где $|e_i|<q$ для всех $i=1,...,k$, причем, хотя бы один из $e_1,...,e_k$ ненулевой.

Предположение VSDL состоит в том, что не существует вероятностного полиномиального по времени алгоритма, решающего VSDL. Существует тесная связь между сложностью вычисления VSDL и сложностью вычисления дискретного логарифма по модулю $p$.

См. также

• Криптографические хеш-функции
• Хеширование

Литература

• Шаблон:Статья
• Шаблон:Статья
• Шаблон:Статья