Проверка цифровой подписи

α (множество ненулевых вычетов): P (модуль): a (секретный ключ): X (сообщение): r (рандомизатор):