Support for having any number of attributes in a token
Restructures prover. Math stuff is handled by a helper, and Prover takes
care of communication with the Issuer.