Хеш функции на основе блочных шифров

Чтобы достичь большего критерия неразличимости по Мауреру, пофиксив некоторые возможности манипулировать паддингом на входе и атакам удлинения сообщения на выходе. В качестве примера удобно рассматривать обобщение Sponge-конструкций до конструкций Parazoa. См. работу и слайды.

Cм. описание Skein 1.1:

8.

5 Optional Argument System

The best way to think of the configuration block is as a method of computing the starting value for the chaining state. Rather than define a large number of random-looking starting values, we compute them using the configuration block.
Originally we applied the output transformation only if the output size was larger than the state size. Unfortunately, without the output transform, you can construct two messages M and M0 such that H(M) ⊕ H(M0) is the same as the XOR of the last blocks of M and M0. This violates the requirement that the hash function behave like a random mapping. We chose the simplest solution to this problem: always apply the output transformation.

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

http://www.zas-comm.ru

Неразличимость от рэндома (при ограничениях, заданных определённой моделью) — самый надёжный и универсальный критерий стойкости. Иначе придёться каждый раз уточнять, какая именно подразумевается разновидность стойкости.

Неразличимость от рэндома (при ограничениях, заданных определённой моделью) — самый надёжный и универсальный критерий стойкости.

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

//

---

Однажды Вы упомянули, что делали свой IDEA-подобный шифр. Опубликуйте пожалуйста. Было бы интересно посмотреть, какую выбрали конструкцию, чем руководствовались, как решили key schedule, число раундов и некоторые другие моменты.
Откуда получился различитель, как его исправить.