ECHO

ECHO — хеш-функция, выдвинутая как кандидат на конкурс SHA-3, проводимый Национальным институтом стандартов и технологий (США). Алгоритм разработан в Orange Labs, его авторы:

Ryad Benadjila Olivier Billet Henri Gilbert Gilles Macario-Rat

Thomas Peyrin Matt Robshaw Yannick Seurin

Краткий обзор

В качестве аргументов для хеш-функции выступают сообщение и «соль» (которая далее обозначается как $\text{SALT}$). Длина последнего аргумента составляет 128 бит, при этом по умолчанию его значение принимается равным 0. Размер выхода ECHO может меняться от 128 до 512 бит.

Алгоритм вычисления ECHO основан на построении Меркле-Дамгаарда и, в соответствии с этим построением, представляет собой последовательное применение функции сжатия (определена ниже), зависящей от переменной цепочки $V_{i-1}$, блока сообщения $M_i$ и, возможно, других параметров. При определении самой функции сжатия в ECHO используются операции AES.

Обозначения

ECHO работает со 128-битными словами, поэтому любое сообщение $M$ перед вычислением хеш-функции дополняется так, чтобы его длина была кратна 128. Дополненное сообщение $M^{\prime }$ можно представить битовой строкой длины $n$

$b_0{b}_1...b_{n-2}{b}_{n-1}$

или последовательностью из $s=\frac{n}{8}$ байт ($\Vert$ обозначает конкатенацию)

$B_0$	$=$	$b_0\Vert b_1\Vert ...\Vert b_7$
$B_1$	$=$	$b_8\Vert b_9\Vert ...\Vert b_{15}$
$⋮$
$B_{s-1}$	$=$	$b_{n-8}\Vert b_{n-7}\Vert ...\Vert b_{n-1}$

ECHO использует операции из AES, которые работают с байтовыми массивами размером 4 на 4. Соответственно, принимается следующая упаковка строки байт в массив:

$B_0\Vert B_1\Vert ...\Vert B_{15}⟶$

$B_0$ $B_4$ $B_8$ $B_{12}$ $B_1$ $B_5$ $B_9$ $B_{13}$ $B_2$ $B_6$ $B_{10}$ $B_{14}$ $B_3$ $B_7$ $B_{11}$ $B_{15}$

Аналогично, входное сообщение можно представить как последовательность $r=\frac{n}{128}$ 128-битовых слов

$w_0$	$=$	$B_0\Vert B_1\Vert ...\Vert B_{15}$	$=$	$b_0\Vert b_1\Vert ...\Vert b_{127}$
$w_1$	$=$	$B_{16}\Vert B_{17}\Vert ...\Vert B_{31}$	$=$	$b_{128}\Vert b_{129}\Vert ...\Vert b_{255}$
	$⋮$		$⋮$
$w_{r-1}$	$=$	$B_{s-16}\Vert B_{s-15}\Vert ...\Vert B_{s-1}$	$=$	$b_{n-128}\Vert b_{n-127}\Vert ...\Vert b_{n-1}$

Упаковка шестнадцати 128-битных слов в массив:

$w_0\Vert w_1\Vert ...\Vert w_{15}⟶$

$w_0$ $w_4$ $w_8$ $w_{12}$ $w_1$ $w_5$ $w_9$ $w_{13}$ $w_2$ $w_6$ $w_{10}$ $w_{14}$ $w_3$ $w_7$ $w_{11}$ $w_{15}$

Функция сжатия

В зависимости от желаемой битовой длины $\text{HSIZE}$ результата хеширования в ECHO применяются две функции сжатия: ${\text{COMPRESS}}_{512}$ и ${\text{COMPRESS}}_{1024}$. Нижний индекс равен длине $\text{CSIZE}$ переменной цепочки. На итерации $i$ обе функции принимают 4 параметра:

1. Текущее значение переменной цепочки $V_{i-1}$ с битовой длиной $\text{CSIZE}$.
2. Текущий блок сообщения с битовой длиной $\text{MSIZE}=2048-\text{CSIZE}$.
3. Полное число $C_i$ бит сообщения, обработанных к концу данной итерации. Если текущий блок $M$ — последний, то $C_i$ может оказаться меньше или равно значению $i*\text{MSIZE}$. В противном случае выполняется равенство $C_i=i*\text{MSIZE}$. Размер счётчик $C_i$ можно выбрать равным 64 или 128 битам.
4. $\text{SALT}$.

То, какая функция сжатия используется, зависит от выбранной битовой длины значения хеш-функции. Для $\text{HSIZE}$ от 128 до 256 бит применяется ${\text{COMPRESS}}_{512}$:

$V_i={\text{COMPRESS}}_{512}(V_{i-1},M_i,C_i,\text{SALT})$,

для $\text{HSIZE}$ от 257 до 512 бит переменная цепочки вычисляется по формуле

$V_i={\text{COMPRESS}}_{1024}(V_{i-1},M_i,C_i,\text{SALT})$

Результатом работы обеих функций является некоторое значение с фиксированной битовой длиной. Поэтому для получения величин размера $\text{HSIZE}$ конечный результат сокращается на необходимое число бит.

Инициализация

В начале хеширования счетчик $C$ устанавливается в 0: $C_0=0$. Начальное значение переменной цепочки устанавливается таким образом, что каждое её слово является 128 битовым представлением числа $\text{HSIZE}$, то есть размера результата хеширования. В том случае, когда используется ${\text{COMPRESS}}_{512}$ ($\text{HSIZE}$ лежит в пределах от 128 до 256 бит) переменная цепочки $V_0$ состоит из 4 слов:

$V_0=(v_0^0,v_0^1,v_0^2,v_0^3),$

$v_0^i=\{\begin{array}{cc}\text{E0000000 00000000 00000000 00000000},& \text{HSIZE}=224\\ \text{00010000 00000000 00000000 00000000},& \text{HSIZE}=256\end{array},0\le i\le 3$

Когда применяется ${\text{COMPRESS}}_{1024}$ ($\text{HSIZE}$ от 257 до 512 бит),

$V_0=(v_0^0,v_0^1,v_0^2,v_0^3,v_0^4,v_0^5,v_0^6,v_0^7),$

$v_0^i=\{\begin{array}{cc}\text{80010000 00000000 00000000 00000000},& \text{HSIZE}=384\\ \text{00020000 00000000 00000000 00000000},& \text{HSIZE}=512\end{array},0\le i\le 7$

Дополнение сообщения

Результатом дополнения сообщения $M$ является сообщение $M^{\prime }$, длина которого кратна 128. Обозначим через $L$ длину исходного сообщения. Тогда $M^{\prime }$ получается в несколько шагов:

1. К концу сообщения $M$ приписать бит «1».
2. Приписать $x$ битов «0», где $x=\text{MSIZE}-((L+144)mod\text{MSIZE})-1$
3. Приписать 16-битное представление числа $\text{HSIZE}$
4. Наконец, приписать 128-битное представление числа $L$

Дополненное сообщение $M^{\prime }$ записывается в виде

$M^{\prime }=\stackrel{L}{\overbrace{M}}\Vert 1\Vert \stackrel{x}{\overbrace{0.....0}}\Vert \stackrel{16}{\overbrace{\text{HSIZE}}}\Vert \stackrel{128}{\overbrace{L}}$

COMPRESS₅₁₂

Дополненное сообщение $M^{\prime }$ делится на $t$ блоков $M_1...M_t$, каждый длиной $\text{MSIZE}=1536$ бит. Эти блоки друг за другом подаются на вход функции ${\text{COMPRESS}}_{512}$, при этом в итоге вычисляется $t+1$ значений переменной цепочки:

$V_i={\text{COMPRESS}}_{512}(V_{i-1},M_i,C_i,\text{SALT}),0\le i\le t$

Каждый блок $M_i$ можно представить в виде двенадцати 128-битовых слов:

$M_i=m_i^0\Vert m_i^1\Vert m_i^2\Vert m_i^3\Vert m_i^4\Vert m_i^5\Vert m_i^6\Vert m_i^7\Vert m_i^8\Vert m_i^9\Vert m_i^{10}\Vert m_i^{11}$

Переменная цепочки $V_{i-1}$ аналогичным образом записывается в виде последовательности из 4 слов:

$V_{i-1}=v_{i-1}^0\Vert v_{i-1}^1\Vert v_{i-1}^2\Vert v_{i-1}^3$

Дальнейшие операции проводятся над матрицей состояния $S$ из 4 строк и 4 столбцов:

$S$

$=$

$w_0$ $w_4$ $w_8$ $w_{12}$ $w_1$ $w_5$ $w_9$ $w_{13}$ $w_2$ $w_6$ $w_{10}$ $w_{14}$ $w_3$ $w_7$ $w_{11}$ $w_{15}$

В начале $i$-ой итерации вычисления значения ${\text{COMPRESS}}_{512}$ $V_i$ и $M_i$ упаковываются в матрицу $S$ следующим образом:

$S$

$=$

$v_{i-1}^0$ $m_i^0$ $m_i^4$ $m_i^8$ $v_{i-1}^1$ $m_i^1$ $m_i^5$ $m_i^9$ $v_{i-1}^2$ $m_i^2$ $m_i^6$ $m_i^{10}$ $v_{i-1}^3$ $m_i^3$ $m_i^7$ $m_i^{11}$

Вычисление ${\text{COMPRESS}}_{512}$ происходит в 8 раундов, называемых в ECHO $\text{BIG.ROUND}$. Каждый такой раунд состоит из последовательного применения 3 функций:

$\text{BIG.SUBWORDS}(S,\text{ SALT},\kappa )$

$\text{BIG.SHIFTROWS}(S)$

$\text{BIG.MIXCOLUMNS}(S)$

BIG.SUBWORDS(S, SALT, κ)

$\text{BIG.SUBWORDS}(S,\text{ SALT},\kappa )$ — это 2 AES раунда. Обозначим действие одного раунда AES с ключом $k$ на 128-битное слово $w$ как

$w^{\prime }=\text{AES}(w,k)$

Здесь $\text{AES}$ состоит из операций $\text{SubBytes}$, $\text{ShiftRows}$, $\text{MixColumns}$ и $\text{AddRoundKey}$. Ключи $k$ для вычисления $w^{\prime }$ создаются из параметров $\text{SALT}$ и $\kappa$. Последний представляет собой внутренний счетчик, который инициализируется значением $C_i$ и увеличивается во время вычисления ${\text{COMPRESS}}_{512}$. Важно заметить, что, если в последнем блоке $M_t$ биты исходного сообщения отсутствуют (что могло случится, например, при длине сообщения $L$, кратной $\text{MSIZE}$), то $C_t$ полагается равным 0.

Значения ключей для двух раундов AES получаются следующим образом:

$k_1=\kappa \Vert \stackrel{64}{\overbrace{0..0}}\text{, }{k}_2=\text{SALT},$

если счетчик $C_i$ выбран 64-битным, и

$k_1=\kappa \text{ , }{k}_2=\text{SALT}$

для 128-битного счетчика.

Операцию $\text{BIG.SUBWORDS}(S,\text{ SALT},\kappa )$ можно описать равенствами

$w_{0^{\prime }}=AES(AES(w_0,k_1),k_2)$, увеличить $\kappa$ на 1 по модулю $2^{64}$ ($2^{128}$)

$w_{1^{\prime }}=AES(AES(w_1,k_1),k_2)$, увеличить $\kappa$ на 1 по модулю $2^{64}$ ($2^{128}$)

$...$

$w_{1^{\prime }5}=AES(AES(w_{15},k_1),k_2)$, увеличить $\kappa$ на 1 по модулю $2^{64}$ ($2^{128}$)

Счетчик $\kappa$ увеличивается на протяжении всех восьми раундов (которые выше названы $\text{BIG.ROUND}$), то есть, например, в начале второго раунда $\kappa =C_i+16$.

BIG.SHIFTROWS(S)

Операция $\text{BIG.SHIFTROWS}(S)$ проводит циклический сдвиг влево строк матрицы состояния $S$:

$w_{i^{\prime }+4j}=w_{i+4((i+j)mod4)},0\le i,j\le 3$.

Более наглядно:

$w_0$ $w_4$ $w_8$ $w_{12}$ $w_1$ $w_5$ $w_9$ $w_{13}$ $w_2$ $w_6$ $w_{10}$ $w_{14}$ $w_3$ $w_7$ $w_{11}$ $w_{15}$

$⟶$ $$

$w_0$ $w_4$ $w_8$ $w_{12}$ $w_5$ $w_9$ $w_{13}$ $w_1$ $w_{10}$ $w_{14}$ $w_2$ $w_6$ $w_{15}$ $w_3$ $w_7$ $w_{11}$

BIG.MIXCOLUMNS(S)

$\text{BIG.MIXCOLUMNS}(S)$ состоит из последовательного применения операции $\text{MixColumns}$, определенной в AES. Рассмотрим столбцы матрицы $S$, состоящие из 128-битных слов $w_i,...,w_{i+3}$, где $i\in \{0,4,8,12\}$. Элементы столбцов можно представить в виде байтовых строк:

$w_i$	$=$	$(B_{16i},B_{16i+1},...,B_{16i+15})$
$w_{i+1}$	$=$	$(B_{16i+16},B_{16i+17},...,B_{16i+31})$
$w_{i+2}$	$=$	$(B_{16i+32},B_{16i+33},...,B_{16i+47})$
$w_{i+3}$	$=$	$(B_{16i+48},B_{16i+49},...,B_{16i+63})$

Тогда $\text{BIG.MIXCOLUMNS}(S)$ вычисляется как

$\left(\begin{array}{c}{B}_{1^{\prime }6i+j}\\ B_{1^{\prime }6i+16+j}\\ B_{1^{\prime }6i+32+j}\\ B_{1^{\prime }6i+48+j}\end{array}\right)=\left(\begin{array}{cccc}02& 03& 01& 01\\ 01& 02& 03& 01\\ 01& 01& 02& 03\\ 03& 01& 01& 02\end{array}\right)\cdot \left(\begin{array}{c}{B}_{16i+j}\\ B_{16i+16+j}\\ B_{16i+32+j}\\ B_{16i+48+j}\end{array}\right),i\in \{0,4,8,12\},0\le j\le 15$

Последняя формула представляет собой операцию $\text{MixColumns}$, в которой сложение и умножение определены в поле $GF(2^8)$ по модулю многочлена $x^8+x^4+x^3+x+1$.

Окончание вычисления COMPRESS₅₁₂

Функцию ${\text{COMPRESS}}_{512}$ можно описать, используя определенные выше операции:

$\text{for i := 1 to 8 do}$

$\text{begin}$

$\text{BIG.SUBWORDS}(S,\text{ SALT},\kappa )$

$\text{BIG.SHIFTROWS}(S)$

$\text{BIG.MIXCOLUMNS}(S)$

$\text{end}$

$\text{BIG.FINAL}$

Операция $\text{BIG.FINAL}$ вычисляет значение переменной цепочки $V_i$, используя полученную в результате применения 8 раундов матрицу состояния $S$, блок сообщения $M_i$ и предыдущее значение переменной цепочки $V_{i-1}$:

$v_i^0$	$=$	$v_{i-1}^0\oplus m_i^0\oplus m_i^4\oplus m_i^8\oplus w_0\oplus w_4\oplus w_8\oplus w_{12}$
$v_i^1$	$=$	$v_{i-1}^1\oplus m_i^1\oplus m_i^5\oplus m_i^8\oplus w_1\oplus w_5\oplus w_9\oplus w_{13}$
$v_i^2$	$=$	$v_{i-1}^2\oplus m_i^2\oplus m_i^6\oplus m_i^9\oplus w_2\oplus w_6\oplus w_{10}\oplus w_{14}$
$v_i^3$	$=$	$v_{i-1}^3\oplus m_i^3\oplus m_i^7\oplus m_i^{10}\oplus w_3\oplus w_7\oplus w_{11}\oplus w_{15}$

Здесь за $w_0,...,w_{15}$ обозначены элементы матрицы $S$, $\oplus$ — операция исключающего ИЛИ.

Конечное значение хеш-функции

Конечное значение переменной цепочки — это строка из 512 бит:

$v_t^0\Vert v_t^1\Vert v_t^2\Vert v_t^3$

Результатом хеширования с битовой длиной $\text{HSIZE}$, принимающей значения от 128 до 256, являются $\text{HSIZE}$ крайних левых бит переменной цепочки. Например, для значения хеш-функции $h$ с длиной $\text{HSIZE}=256$:

$h=v_t^0\Vert v_t^1.$

COMPRESS₁₀₂₄

Для значений $\text{HSIZE}$, больших 256 (но не превышающих 512) бит применяется функция сжатия ${\text{COMPRESS}}_{1024}$. Операции в ${\text{COMPRESS}}_{1024}$ совпадают с операциями в ${\text{COMPRESS}}_{512}$, за исключением нескольких отличий:

1.  Дополненное сообщение $M^{\prime }$ разбивается на $t$ блоков $M_1...M_t$, каждый из которых имеет длину 1024 бит.

2.  Переменная цепочки состоит из восьми 128-битовых слов $V_i=v_i^0...v_i^7$ и инициализируется так, как описано выше.

3.  В начале сжатия переменная цепочки и блок сообщения упаковываются в матрицу 4 на 4 следующим образом:

$v_{i-1}^0$	$v_{i-1}^4$	$m_i^0$	$m_i^4$
$v_{i-1}^1$	$v_{i-1}^5$	$m_i^1$	$m_i^5$
$v_{i-1}^2$	$v_{i-1}^6$	$m_i^2$	$m_i^6$
$v_{i-1}^3$	$v_{i-1}^7$	$m_i^3$	$m_i^7$

4.  Вычисление состоит из десяти итераций $\text{BIG.ROUND}$ (а не из восьми, как в ${\text{COMPRESS}}_{512}$).

5.  Операция $\text{BIG.FINAL}$ для ${\text{COMPRESS}}_{1024}$ переопределяется следующим образом:

$v_i^0$	$=$	$v_{i-1}^0\oplus m_i^0\oplus w_0\oplus w_8$		$v_i^4$	$=$	$v_{i-1}^4\oplus m_i^4\oplus w_4\oplus w_{12}$
$v_i^1$	$=$	$v_{i-1}^1\oplus m_i^1\oplus w_1\oplus w_9$		$v_i^5$	$=$	$v_{i-1}^5\oplus m_i^5\oplus w_5\oplus w_{13}$
$v_i^2$	$=$	$v_{i-1}^2\oplus m_i^2\oplus w_2\oplus w_{10}$		$v_i^6$	$=$	$v_{i-1}^6\oplus m_i^6\oplus w_6\oplus w_{14}$
$v_i^3$	$=$	$v_{i-1}^3\oplus m_i^3\oplus w_3\oplus w_{11}$		$v_i^7$	$=$	$v_{i-1}^7\oplus m_i^7\oplus w_7\oplus w_{15}$

Конечное значение хеш-функции

Длина переменной цепочки для ${\text{COMPRESS}}_{1024}$ — 1024 бит, поэтому её конечное значение:

$V_t=v_t^0\Vert v_t^1\Vert v_t^2\Vert v_t^3\Vert v_t^4\Vert v_t^5\Vert v_t^6\Vert v_t^7$

Как и в ${\text{COMPRESS}}_{512}$, результатом хеширования $h$ являются $\text{HSIZE}$ крайних левых бит $V_t$. Например, для $\text{HSIZE}=384$

$h=v_t^0\Vert v_t^1\Vert v_t^2\Vert v_t^3$

Источники

• Шаблон:Cite web

• Шаблон:Cite web

Ссылки

• Шаблон:Cite web

• Шаблон:Cite web