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