В настоящем стандарте применены следующие обозначения:
V* - множество всех двоичных векторов-строк конечной размерности (далее - векторы), включая пустую строку;
|А| - размерность (число компонент) вектора (если А - пустая строка, то |А|=0);
- множество всех n-мерных двоичных векторов, где n - целое неотрицательное число; нумерация подвекторов и компонент вектора осуществляется справа налево, начиная с нуля;
- операция покомпонентного сложения по модулю 2 двух двоичных векторов одинаковой размерности;
А||В - конкатенация векторов A, , т.е. вектор из
, в котором левый подвектор из
совпадает с вектором А, а правый подвектор из
совпадает с вектором В;
- конкатенация
экземпляров вектора А;
- кольцо вычетов по модулю
;
- операция сложения в кольце
;
- биективное отображение, сопоставляющее элементу кольца
его двоичное представление, т.е. для любого элемента z кольца
представленного вычетом
, где
, j=0,..., n-1, выполнено равенство
;
- отображение, обратное отображению
, т.е.
;
- отображение, ставящее в соответствие вектору
,
, вектор
;
а := b - операция присваивания переменной a значения b;
- произведение отображений, при котором отображение
действует первым;
М - двоичный вектор, подлежащий хэшированию, MV*,
;
- функция хэширования, отображающая вектор (сообщение) М в вектор (хэш-код) Н(М);
IV - инициализационный вектор функции хэширования, .