HPC (Hasty Pudding Cipher) — блочный симметричный криптоалгоритм, созданный известным американским криптологом и математиком Ричардом Шреппелем[en] из Университета штата Аризона в 1998 году. Первые два слова названия криптоалгоритма можно перевести как «мучной заварной пудинг». Столь странное название HPC получил, по всей видимости, из-за обилия «хитрых» числовых преобразований, что существенно затрудняет его анализ.

Общая структура править

HPC основан на ячейке Фейстеля и имеет интересную особенность — размер как шифруемого блока, так и ключа шифрования не ограничен ничем. Фактически, алгоритм HPC состоит из пяти различных(но взаимосвязанных) субалгоритмов, каждый из которых предназначен для шифрования блоков различной длины:

Название
Размер блока в битах
HPC-Tiny
0 — 35
HPC-Short
36 — 64
HPC-Medium
65 — 128
HPC-Long
129 — 512
HPC-Extended
513 и более

Структура раунда HPC-Medium[1][2] править

 
Раунд алгоритма HPC-Medium

Шифрование выполняется в 8 раундов. Шифруемый 128-битный блок записывается в два 64-битных регистра   и  , после чего над ними производится огромное число различных математических операций:

Обозначение Операция
  
сложение по модулю 2
 
сложение по модулю  
 
вычитание по модулю  
 
циклический сдвиг влево на n разрядов
 
циклический сдвиг вправо на n разрядов
 
обнуление младшего байта 64-битного блока
 
побитовое логическое "и"

Кроме того,в раунде также принимают участие некоторые константы:

  •  
  •   - значения, определяющие количество бит циклического сдвига:
    •  
    •  
      •   - текущее на момент выполнения значение регистра  
      •   - номер текущего раунда, начиная с нуля
  •   - фрагмент расширенного ключа:
    •  
    •  [3]
    •  
    •  
  •   - фрагменты дополнительного ключа:
    •  
    •  
    •  
    •  
    •  

По завершении 8 раундов преобразования производится ещё 2 операции:

  •  
  •  

Расшифровка производится посредством выполнения обратных операций в обратном порядке.

Процедура расширения ключа править

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

Этап 1: Инициализация править

  •  
  •  
  •  

Остальные 253 слова ключа инициализируются следующим образом:

  •  

Этап 2: Сложение править

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

Этап 3: Перемешивание править

 
Раунд перемешивания ключа

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

Шаг 1 править

Выполняется инициализация регистров  :

  •  

Шаг 2 править

Для каждого слова расширенного ключа выполняется операция, приведённая на рисунке. Для усиления эффекта автор алгоритма рекомендует проводить 3 раунда перемешивания.

  •   - побитовое логическое "или"
  •   - номер вычисляемого слова расширенного ключа
  •   - номер раунда перемешивания
  •   - текущие значения слов расширенного ключа:
    •  
    •  
    •  

Этап 4: Добавление править

Если размер ключа превышает 128 64-битных слов, то для каждого блока из 128 слов повторяются Этапы 2 и 3. Таким образом, процедура перемешивания ключей по порядку сложности примерно похожа на саму процедуру шифрования.

Дополнительный ключ править

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

Достоинства и недостатки править

  1. Один раунд шифрования алгоритма HPC состоит из очень большого количества элементарных операций. В сравнении, например, с отечественным алгоритмом ГОСТ 28147-89, который состоит всего из 4 элементарных операций, HPC представляется чрезвычайно сложным и громоздким. Тем не менее, из-за того, что все операции проводятся над 64-битными словами, HPC показал удивительно высокую скорость работы на 64-битных платформах. На конкурсе стандартов шифрования AES по скорости шифрования 128-битных блоков HPC уступил только алгоритму DFC, а 512- и 1024-битные блоки HPC шифровал в 2-3 раза быстрее всех своих конкурентов.
  2. К явным недостаткам алгоритма можно отнести, кроме сложности, невозможность распараллеливания процессов шифрования и перемешивания, а также огромные требования, предъявляемые алгоритмом к энергонезависимой и оперативной памяти, что достаточно затрудняет его применение в смарт-картах.
  3. Алгоритм не попал во второй этап AES. В своей статье[4] автор обрушился с критикой на экспертов AES, считая, что на конкурсе приоритеты были расставлены неправильно. По мнению Ричарда Шреппеля[en], в качестве мирового стандарта необходимо выбирать алгоритмы, приспособленные под 64-битные платформы, так как именно за ними будущее. Кроме того, автор HPC утверждал, что нельзя разработать алгоритм, работающий одинаково хорошо как на мощных многоядерных 64-битных серверах, так и на слабых и дешевых 8-битных смарт-картах. Однако, на результаты конкурса эта позиция никак не повлияла.

Криптоанализ править

  • Чтобы стимулировать интерес к криптоанализу своего изобретения, автор обязался награждать каждого криптоаналитика бутылкой знаменитого шампанского "Дом Периньон". Награждения будут проходить до тех пор, пока шифр не будет вскрыт, либо пока не опустеет ящик(10 бутылок).[5]
  • По словам автора шифра, HPC имеет уровень защищённости в 400 бит, то есть, для успешной атаки на шифр потребуется   испытаний. Такое утверждение основано на подсчёте количества промежуточных состояний в процессе шифрования, а также на размере расширенного ключа[6].

Уязвимости править

Дэвид Вагнер[en] обнаружил уязвимость в шифре HPC[7], а позднее Carl D’Halluin, Gert Bijnens, Барт Пренель и Винсент Рэймен опубликовали статью[8], подтверждающую это. Оказалось, что примерно каждый 256-й ключ алгоритма имеет 230 эквивалентных ключей. Однако, этот недостаток был оперативно исправлен автором ещё до подведения итогов первого раунда конкурса.

Атака "Chosen Spice" править

При таком виде атаки злоумышленник, имея доступ к парам открытых и шифрованных текстов, может, манипулируя массивом дополнительного ключа "Spice", смотреть, как при этом меняется открытый или шифрованный текст в последующих шифрованиях. Однако, по словам автора, атак такого вида ещё не наблюдалось, а для работ в этой области нужны усилия криптоаналитического сообщества.[2]

Примечания править

  1. Панасенко С. П. Алгоритмы шифрования. Специальный справочникСПб.: BHV-СПб, 2009. — 576 с. — ISBN 978-5-9775-0319-8
  2. 1 2 Richard Schroeppel,«Hasty Pudding Cipher Specification», May 1999. Дата обращения: 31 октября 2010. Архивировано из оригинала 17 июля 2011 года.
  3.   и   имеют одинаковый вид, но, вообще говоря, это будут разные числа, так как они зависят от текущего значения  .
  4. Rich Schroeppel, Puddingmeister, «The Hasty Pudding Cipher: One Year Later», June 12, 1999. Дата обращения: 31 октября 2010. Архивировано из оригинала 30 ноября 2021 года.
  5. «СИСТЕМЫ БЕЗОПАСНОСТИ связи и телекоммуникаций», 1999. Дата обращения: 30 октября 2010. Архивировано 3 июля 2011 года.
  6. Rich Schroeppel, Hilarie Orman, «An Overview of the Hasty Pudding Cipher», July 1998. Дата обращения: 31 октября 2010. Архивировано из оригинала 30 ноября 2021 года.
  7. Richard Schroeppel, «Tweaking the Hasty Pudding Cipher» May 14, 1999. Дата обращения: 31 октября 2010. Архивировано из оригинала 30 ноября 2021 года.
  8. «Equivalent Keys of HPC»,1999