Pointcheval-Stern signature algorithm