Как стать автором
Обновить

Хеш-функция, что это такое?

Время на прочтение8 мин
Количество просмотров164K

Приветствую уважаемого читателя!

Сегодня я хотел бы рассказать о том, что из себя представляет хеш-функция, коснуться её основных свойств, привести примеры использования и в общих чертах разобрать современный алгоритм хеширования SHA-3, который был опубликован в качестве Федерального Стандарта Обработки Информации США в 2015 году.

Общие сведения

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

Результат, производимый хеш-функцией, называется «хеш-суммой» или же просто «хешем», а входные данные часто называют «сообщением».

Для идеальной хеш-функции выполняются следующие условия:

а) хеш-функция является детерминированной, то есть одно и то же сообщение приводит к одному и тому же хеш-значению
b) значение хеш-функции быстро вычисляется для любого сообщения
c) невозможно найти сообщение, которое дает заданное хеш-значение
d) невозможно найти два разных сообщения с одинаковым хеш-значением
e) небольшое изменение в сообщении изменяет хеш настолько сильно, что новое и старое значения кажутся некоррелирующими

Давайте сразу рассмотрим пример воздействия хеш-функции SHA3-256.

Число 256 в названии алгоритма означает, что на выходе мы получим строку фиксированной длины 256 бит независимо от того, какие данные поступят на вход.

На рисунке ниже видно, что на выходе функции мы имеем 64 цифры шестнадцатеричной системы счисления. Переводя это в двоичную систему, получаем желанные 256 бит.

Любой заинтересованный читатель задаст себе вопрос: "А что будет, если на вход подать данные, бинарный код которых во много раз превосходит 256 бит?"

Ответ таков: на выходе получим все те же 256 бит!
Дело в том, что 256 бит - это 2^{256} соответствий, то есть 2^{256}различных входов имеют свой уникальный хеш.
Чтобы прикинуть, насколько велико это значение, запишем его следующим образом:

2^{256} \approx 1,158 \times 10 ^{77}

Надеюсь, теперь нет сомнений в том, что это очень внушительное число!

Поэтому ничего не мешает нам сопоставлять длинному входному массиву данных массив фиксированной длины.

Свойства

Криптографическая хеш-функция должна уметь противостоять всем известным типам криптоаналитических атак.
В теоретической криптографии уровень безопасности хеш-функции определяется с использованием следующих свойств:

Pre-image resistance

Имея заданное значение h, должно быть сложно найти любое сообщение m такое, что h = hash(m)

Second pre-image resistance

Имея заданное входное значение m_1, должно быть сложно найти другое входное значение m_2такое, что

hash(m_1) = hash(m_2)

Collision resistance

Должно быть сложно найти два различных сообщения m_1и m_2таких, что

hash(m_1)=hash(m_2)

Такая пара сообщений m_1и m_2называется коллизией хеш-функции

Давайте чуть более подробно поговорим о каждом из перечисленных свойств.

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

Несмотря на то, что хеш-функций без коллизий не существует, некоторые из них достаточно надежны и считаются устойчивыми к коллизиям.

Pre-image resistance. Это свойство называют сопротивлением прообразу. Хеш-функция считается защищенной от нахождения прообраза, если существует очень низкая вероятность того, что злоумышленник найдет сообщение, которое сгенерировало заданный хеш. Это свойство является важным для защиты данных, поскольку хеш сообщения может доказать его подлинность без необходимости раскрытия информации. Далее будет приведён простой пример и вы поймете смысл предыдущего предложения.

Second pre-image resistance. Это свойство называют сопротивлением второму прообразу. Для упрощения можно сказать, что это свойство находится где-то посередине между двумя предыдущими. Атака по нахождению второго прообраза происходит, когда злоумышленник находит определенный вход, который генерирует тот же хеш, что и другой вход, который ему уже известен. Другими словами, злоумышленник, зная, что hash(m_1) = h, пытается найти m_2 такое, что hash(m_2) = h

Отсюда становится ясно, что атака по нахождению второго прообраза включает в себя поиск коллизии. Поэтому любая хеш-функция, устойчивая к коллизиям, также устойчива к атакам по поиску второго прообраза.

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

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

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

Применение хеш-функций

Рассмотрим несколько достаточно простых примеров применения хеш-функций:

• Проверка целостности сообщений и файлов
Сравнивая хеш-значения сообщений, вычисленные до и после передачи, можно определить, были ли внесены какие-либо изменения в сообщение или файл.

• Верификация пароля
Проверка пароля обычно использует криптографические хеши. Хранение всех паролей пользователей в виде открытого текста может привести к массовому нарушению безопасности, если файл паролей будет скомпрометирован. Одним из способов уменьшения этой опасности является хранение в базе данных не самих паролей, а их хешей. При выполнении хеширования исходные пароли не могут быть восстановлены из сохраненных хеш-значений, поэтому если вы забыли свой пароль вам предложат сбросить его и придумать новый.

• Цифровая подпись
Подписываемые документы имеют различный объем, поэтому зачастую в схемах ЭП подпись ставится не на сам документ, а на его хеш. Вычисление хеша позволяет выявить малейшие изменения в документе при проверке подписи. Хеширование не входит в состав алгоритма ЭП, поэтому в схеме может быть применена любая надежная хеш-функция.

Предлагаю также рассмотреть следующий бытовой пример:

Алиса ставит перед Бобом сложную математическую задачу и утверждает, что она ее решила. Боб хотел бы попробовать решить задачу сам, но все же хотел бы быть уверенным, что Алиса не блефует. Поэтому Алиса записывает свое решение, вычисляет его хеш и сообщает Бобу (сохраняя решение в секрете). Затем, когда Боб сам придумает решение, Алиса может доказать, что она получила решение раньше Боба. Для этого ей нужно попросить Боба хешировать его решение и проверить, соответствует ли оно хеш-значению, которое она предоставила ему раньше.

Теперь давайте поговорим о SHA-3.

SHA-3

Национальный институт стандартов и технологий (NIST) в течение 2007—2012 провёл конкурс на новую криптографическую хеш-функцию, предназначенную для замены SHA-1 и SHA-2.

Организаторами были опубликованы некоторые критерии, на которых основывался выбор финалистов:

• Безопасность

Способность противостоять атакам злоумышленников

• Производительность и стоимость

Вычислительная эффективность алгоритма и требования к оперативной памяти для программных реализаций, а также количество элементов для аппаратных реализаций

• Гибкость и простота дизайна

Гибкость в эффективной работе на самых разных платформах, гибкость в использовании параллелизма или расширений ISA для достижения более высокой производительности

В финальный тур попали всего 5 алгоритмов:

• BLAKE

• Grøstl

• JH

• Keccak

• Skein

Победителем и новым SHA-3 стал алгоритм Keccak.

Давайте рассмотрим Keccak более подробно.

Keccak

Хеш-функции семейства Keccak построены на основе конструкции криптографической губки, в которой данные сначала «впитываются» в губку, а затем результат Z «отжимается» из губки.

Любая губчатая функция Keccak использует одну из семи перестановок Keccak-f,которая обозначается Keccak-f[b], где b \in  \{25, 50, 100, 200, 400, 800, 1600\}

Keccak-fперестановки представляют собой итерационные конструкции, состоящие из последовательности почти одинаковых раундов. Число раундов n_rзависит от ширины перестановки и задаётся как n_r = 12+2l, где 2l = b/25

В качестве стандарта SHA-3 была выбрана перестановка Keccak-f[1600], для неё количество раундов n_r=24

Далее будем рассматривать Keccak-f[1600]

Давайте сразу введем понятие строки состояния, которая играет важную роль в алгоритме.

Строка состояния представляет собой строку длины 1600 бит, которая делится на r и c части, которые называются скоростью и ёмкостью состояния соотвественно.

Соотношение деления зависит от конкретного алгоритма семейства, например, для SHA3-256 r = 1088, c = 512

В SHA-3 строка состояния S представлена в виде массива 5 \times 5слов длины w=64бит, всего 5 \times 5 \times 64 = 1600 бит. В Keccak также могут использоваться слова длины w, равные меньшим степеням 2.

Алгоритм получения хеш-функции можно разделить на несколько этапов:

• С помощью функции дополнения исходное сообщение M дополняется до строки P длины кратной r

• Строка P делится на n блоков длины r: P_0, P_1, …, P_{n-1}

• «Впитывание»: каждый блок P_{i} дополняется нулями до строки длиной b бит (b = r+c) и суммируется по модулю 2 со строкой состояния S, далее результат суммирования подаётся в функцию перестановки fи получается новая строка состояния S, которая опять суммируется по модулю 2 с блоком P_{i+1}и дальше опять подаётся в функцию перестановки f. Перед началом работы криптографической губки все элементыSравны 0.

• «Отжимание»: пока длина результата Z меньше чем d, где d - количество бит в выходном массиве хеш-функции, r первых бит строки состояния Sдобавляется к результату Z. После каждой такой операции к строке состояния применяется функция перестановок f и данные продолжают «отжиматься» дальше, пока не будет достигнуто значение длины выходных данных d.

Все сразу станет понятно, когда вы посмотрите на картинку ниже:

Функция дополнения

В SHA-3 используется следующий шаблон дополнения 10...1: к сообщению добавляется 1, после него от 0 до r - 1 нулевых бит и в конце добавляется 1.

r - 1 нулевых бит может быть добавлено, когда последний блок сообщения имеет длину r - 1 бит. В этом случае последний блок дополняется единицей и к нему добавляется блок, состоящий из r - 1 нулевых бит и единицы в конце.

Если длина исходного сообщения M делится на r, то в этом случае к сообщению добавляется блок, начинающийся и оканчивающийся единицами, между которыми находятся r - 2 нулевых бит. Это делается для того, чтобы для сообщения, оканчивающегося последовательностью бит как в функции дополнения, и для сообщения без этих бит значения хеш-функции были различны.

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

Функция перестановок

Базовая функция перестановки состоит из 12 + 2l раундов по пять шагов:

  1. Шаг \theta

  2. Шаг \rho

  3. Шаг \pi

  4. Шаг \chi

  5. Шаг \iota

Тета, Ро, Пи, Хи, Йота

Далее будем использовать следующие обозначения:

Так как состояние S имеет форму массива 5 \times 5 \times 64, то мы можем обозначить каждый бит состояния как a[x][y][z]

Обозначим A[x][y][z] результат преобразования состояния функцией перестановки

Также обозначим ROT(a,d)функцию, которая выполняет следующее соответствие:

ROT(a[x][y][z], d) = a[x][y][z+d\:\: mod \:w]


ROT(a,d) - обычная функция трансляции, которая сопоставляет биту z бит z+d\:\: mod \:w,

где w- длина слова (64 бит в нашем случае)

Я хочу вкратце описать каждый шаг функции перестановок, не вдаваясь в математические свойства каждого.

Шаг \theta

Эффект отображения \theta можно описать следующим образом: оно добавляет к каждому биту a[x][y][z]побитовую сумму двух столбцов a[x-1] [\cdot] [z] и a[x+1][\cdot][z-1]

Схематическое представление функции:

Псевдокод шага:

Шаг \rho

Отображение \rho направлено на трансляции внутри слов (вдоль оси z).

Проще всего его описать псевдокодом и схематическим рисунком:

Шаг \pi

Шаг \pi представляется псевдокодом и схематическим рисунком:

Шаг \chi

Шаг \chi является единственный нелинейным преобразованием в Keccak-f

Псевдокод и схематическое представление:

Шаг \iota

Отображение \iotaсостоит из сложения с раундовыми константами и направлено на нарушение симметрии. Без него все раунды Keccak-fбыли бы эквивалентными, что делало бы его подверженным атакам, использующим симметрию. По мере увеличения lраундовые константы добавляют все больше и больше асимметрии.

Ниже приведена таблица раундовых констант RC[i]для w = 64 бит

Все шаги можно объединить вместе и тогда мы получим следующее:

Где константы r[x,y]являются циклическими сдвигами и задаются таблицей:

Итоги

В данной статье я постарался объяснить, что такое хеш-функция и зачем она нужна
Также в общих чертах мной был разобран принцип работы алгоритма SHA-3 Keccak, который является последним стандартизированным алгоритмом семейства Secure Hash Algorithm

Надеюсь, все было понятно и интересно

Всем спасибо за внимание!

Теги:
Хабы:
Всего голосов 9: ↑9 и ↓0+9
Комментарии6

Публикации

Истории

Работа

Ближайшие события

27 августа – 7 октября
Премия digital-кейсов «Проксима»
МоскваОнлайн
3 – 18 октября
Kokoc Hackathon 2024
Онлайн
10 – 11 октября
HR IT & Team Lead конференция «Битва за IT-таланты»
МоскваОнлайн
25 октября
Конференция по росту продуктов EGC’24
МоскваОнлайн
7 – 8 ноября
Конференция byteoilgas_conf 2024
МоскваОнлайн
7 – 8 ноября
Конференция «Матемаркетинг»
МоскваОнлайн